An experimental evaluation of error seeding as a program validation technique

A previously reported experiment in error seeding as a program validation technique is summarized. The experiment was designed to test the validity of three assumptions on which the alleged effectiveness of error seeding is based. Errors were seeded into 17 functionally identical but independently programmed Pascal programs in such a way as to produce 408 programs, each with one seeded error. Using mean time to failure as a metric, results indicated that it is possible to generate seeded errors that are arbitrarily but not equally difficult to locate. Examination of indigenous errors demonstrated that these are also arbitrarily difficult to locate. These two results support the assumption that seeded and indigenous errors are approximately equally difficult to locate. However, the assumption that, for each type of error, all errors are equally difficult to locate was not borne out. Finally, since a seeded error occasionally corrected an indigenous error, the assumption that errors do not interfere with each other was proven wrong. Error seeding can be made useful by taking these results into account in modifying the underlying model

Critical mutation rate has an exponential dependence on population size in haploid and diploid populations

Understanding the effect of population size on the key parameters of evolution is particularly important for populations nearing extinction. There are evolutionary pressures to evolve sequences that are both fit and robust. At high mutation rates, individuals with greater mutational robustness can outcompete those with higher fitness. This is survival-of-the-flattest, and has been observed in digital organisms, theoretically, in simulated RNA evolution, and in RNA viruses. We introduce an algorithmic method capable of determining the relationship between population size, the critical mutation rate at which individuals with greater robustness to mutation are favoured over individuals with greater fitness, and the error threshold. Verification for this method is provided against analytical models for the error threshold. We show that the critical mutation rate for increasing haploid population sizes can be approximated by an exponential function, with much lower mutation rates tolerated by small populations. This is in contrast to previous studies which identified that critical mutation rate was independent of population size. The algorithm is extended to diploid populations in a system modelled on the biological process of meiosis. The results confirm that the relationship remains exponential, but show that both the critical mutation rate and error threshold are lower for diploids, rather than higher as might have been expected. Analyzing the transition from critical mutation rate to error threshold provides an improved definition of critical mutation rate. Natural populations with their numbers in decline can be expected to lose genetic material in line with the exponential model, accelerating and potentially irreversibly advancing their decline, and this could potentially affect extinction, recovery and population management strategy. The effect of population size is particularly strong in small populations with 100 individuals or less; the exponential model has significant potential in aiding population management to prevent local (and global) extinction events

Interferometric tracking system for the tracking and data relay satellite

This report documents construction and testing of the Interferometric Tracking System project developed under the NASA SBIR contract NAS5-30313. Manuals describing the software and hardware, respectively entitled: 'Field Station Guide to Operations' and 'Field Station Hardware Manual' are included as part of this final report. The objective of this contract was to design, build, and operate a system of three ground stations using Very Long Baseline Interferometry techniques to measure the TDRS orbit. The ground stations receive signals from normal satellite traffic, store these signals in co-located computers, and transmit the information via phone lines to a central processing site which correlates the signals to determine relative time delays. Measurements from another satellite besides TDRS are used to determine clock offsets. A series of such measurements will ultimately be employed to derive the orbital parameters, yielding positions accurate to within 50 meters or possibly better

A translator writing system for microcomputer high-level languages and assemblers

In order to implement high level languages whenever possible, a translator writing system of advanced design was developed. It is intended for routine production use by many programmers working on different projects. As well as a fairly conventional parser generator, it includes a system for the rapid generation of table driven code generators. The parser generator was developed from a prototype version. The translator writing system includes various tools for the management of the source text of a compiler under construction. In addition, it supplies various default source code sections so that its output is always compilable and executable. The system thereby encourages iterative enhancement as a development methodology by ensuring an executable program from the earliest stages of a compiler development project. The translator writing system includes PASCAL/48 compiler, three assemblers, and two compilers for a subset of HAL/S

Two-fluid model of the solar corona

A simple model of the lower corona which allows for a possible difference in the electron and proton temperatures is analyzed. With the introduction of a phenomenological heating term, temperature and density profiles are calculated for several different cases. It is found that, under certain circumstances, the electron and proton temperatures may differ significantly

Investigation of sputtering effects on the moon's surface Eleventh quarterly status report, 25 Oct. 1965 - 24 Jan. 1966

Implications of Lunar 9 moon probe, sputtering yield reduction due to surface roughness, water formation by solar wind bombardment, photometric function of moon, and chemical sputterin

The adsorption structure of furan on Pd(1 1 1)

The structure of molecular furan, C4H4O, on Pd(1 1 1) has been investigated by O K-edge near-edge X-ray absorption fine structure (NEXAFS) and C 1s scanned-energy mode photoelectron diffraction (PhD). NEXAFS shows the molecule to be adsorbed with the molecular plane close to parallel to the surface, a conclusion confirmed by the PhD analysis. Chemical-state specific C 1s PhD data were obtained for the two inequivalent C atoms in the furan, the α-C atoms adjacent to the O atom, and the β-C atoms bonded only to C atoms, but only the PhD modulations for the α-C emitters were of sufficiently large amplitude for detailed evaluation using multiple scattering calculations. This analysis shows the α-C atoms to be located approximately 0.6 Å off-atop surface Pd atoms with an associated C–Pd bondlength of 2.13 ± 0.03 Å. Two alternative local geometries consistent with the data place the O atom in off-atop or near-hollow locations, and for each of these local structures there are two equally-possible registries relative to the fcc and hcp hollow sites. The results are in good agreement with earlier density functional theory calculations which indicate that the fcc and hcp registries are equally probable, but the PhD results fail to distinguish the two distinct local bonding geometries

A structural study of a C3H3 species coadsorbed with CO on Pd(1 1 1)

The combination of chemical-state-specific C 1s scanned-energy mode photoelectron diffraction (PhD) and O K-edge near-edge X-ray absorption fine structure (NEXAFS) has been used to determine the local adsorption geometry of the coadsorbed C3H3 and CO species formed on Pd(1 1 1) by dissociation of molecular furan. CO is found to adopt the same geometry as in the Pd(1 1 1)c(4 × 2)-CO phase, occupying the two inequivalent three-fold coordinated hollow sites with the C–O axis perpendicular to the surface. C3H3 is found to lie with its molecular plane almost parallel to the surface, most probably with the two ‘outer’ C atoms in equivalent off-atop sites, although the PhD analysis formally fails to distinguish between two distinct local adsorption sites

CSM Testbed Development and Large-Scale Structural Applications

A research activity called Computational Structural Mechanics (CSM) conducted at the NASA Langley Research Center is described. This activity is developing advanced structural analysis and computational methods that exploit high-performance computers. Methods are developed in the framework of the CSM Testbed software system and applied to representative complex structural analysis problems from the aerospace industry. An overview of the CSM Testbed methods development environment is presented and some new numerical methods developed on a CRAY-2 are described. Selected application studies performed on the NAS CRAY-2 are also summarized

Video data modulation study, volume 1 Final report

Video data modulation technique