ALBERT

Description: A variant form of a group I ribozyme, optimized by in vitro evolution for its ability to catalyze magnesium-dependent phosphoester transfer reactions involving DNA substrates, also catalyzes the cleavage of an unactivated alkyl amide when that linkage is presented in the context of an oligodeoxynucleotide analog. Substrates containing an amide bond that joins either two DNA oligos, or a DNA oligo and a short peptide, are cleaved in a magnesium-dependent fashion to generate the expected products. The first-order rate constant, kcat, is 0.1 x 10(-5) min-1 to 1 x 10(-5) min-1 for the DNA-flanked substrates, which corresponds to a rate acceleration of more than 10(3) as compared with the uncatalyzed reaction.

Description: Using kinetic data, we have estimated the racemization half-lives and times for total racemization of amino acids under conditions relevant to the surface of Mars. Amino acids from an extinct martian biota maintained in a dry, cold (〈250 K) environment would not have racemized significantly over the lifetime of the planet. Racemization would have taken place in environments where liquid water was present even for time periods of only a few million years following biotic extinction. The best preservation of both amino acid homochirality and nucleic acid genetic information associated with extinct martian life would be in the polar regions.

Description: The involvement of coenzyme A in many enzyme reactions suggests that it acted in this capacity very early in the development of life on Earth. Particularly relevant in this regard is its role in the activation of amino acids and hydroxy acids in the biosynthesis of some peptide antibiotics--a mechanism of peptide synthesis that forms the basis for the proposal that a thioester world could have preceded the RNA world. The components of coenzyme A have been shown to be probable prebiotic compounds: beta-alanine, pantoyl lactone and cysteamine and possibly adenosine. We show here that the pantetheine moiety of coenzyme A (which also occurs in a number of enzymes) can be synthesized in yields of several per cent by heating pantoyl lactone, beta-alanine and cysteamine at temperatures as low as 40 degrees C. These components are extremely soluble and so would have been preferentially concentrated in evaporating bodies of water, for example on beaches and at lagoon margins. Our results show that amide bonds can be formed at temperatures as low as 40 degrees C, and provide circumstantial support for the suggestion that pantetheine and coenzyme A were important in the earliest metabolic systems.

Description: Thin thermal barrier coatings for protecting aircraft turbine section airfoils are examined in this paper. The discussion focuses on those advances that led first to their use for component life extension, and more recently as an integral part of airfoil design. Development has been driven by laboratory rig and furnace testing corroborated by engine testing and engine field experience. The technology has also been supported by performance modeling to demonstrate benefits and life modeling for mission analysis. Factors which have led to the selection of the current state-of-the-art plasma sprayed and physical vapor deposited zirconia-yttria/MCrAlX TBC's are emphasized, as are observations fundamentally related to the their behavior. Current directions in research into thermal barrier coatings and recent progress at NASA are also noted.

Description: No abstract available

Description: Under prebiotic conditions, formaldehyde adds to uracil at the C-5 position to produce 5-hydroxymethyluracil with favorable rates and equilibria. Hydroxymethyluracil adds a variety of nucleophiles, such as ammonia, glycine, guanidine, hydrogen sulfide, hydrogen cyanide, imidazole, indole, and phenol, to give 5-substituted uracils with the side chains of most of the 20 amino acids in proteins. These reactions are sufficiently robust that, if uracil had been present on the primitive Earth, then these substituted uracils would also have been present. The ribozymes of the RNA world would have included many of the functional groups found in proteins today, and their catalytic activities may have been considerably greater than presently assumed.

Description: In contrast to the purines, the routes that have been proposed for the prebiotic synthesis of pyrimidines from simple precursors give only low yields. Cytosine can be synthesized from cyanoacetylene and cyanate; the former precursor is produced from a spark discharge in a CH4/N2 mixture and is an abundant interstellar molecule. But this reaction requires relatively high concentrations of cyanate (〉 0.1 M), which are unlikely to occur in aqueous media as cyanate is hydrolysed rapidly to CO2 and NH3. An alternative route that has been explored is the reaction of cyanoacetaldehyde (formed by hydrolysis of cyanoacetylene) with urea. But at low concentrations of urea, this reaction produces no detectable quantities of cytosine. Here we show that in concentrated urea solution--such as might have been found in an evaporating lagoon or in pools on drying beaches on the early Earth--cyanoacetaldehyde reacts to form cytosine in yields of 30-50%, from which uracil can be formed by hydrolysis. These reactions provide a plausible route to the pyrimidine bases required in the RNA world.

Description: The use of Green's function has played a fundamental role in transport calculations for high-charge high-energy (HZE) ions. Two recent developments have greatly advanced the practical aspects of implementation of these methods. The first was the formulation of a closed-form solution as a multiple fragmentation perturbation series. The second was the effective summation of the closed-form solution through nonperturbative techniques. The nonperturbative methods have been recently extended to an inhomogeneous, two-layer transport media to simulate the lead scattering foil present in the Lawrence Berkeley Laboratories (LBL) biomedical beam line used for cancer therapy. Such inhomogeneous codes are necessary for astronaut shielding in space. The transport codes utilize the Langley Research Center atomic and nuclear database. Transport code and database evaluation are performed by comparison with experiments performed at the LBL Bevalac facility using 670 A MeV 20Ne and 600 A MeV 56Fe ion beams. The comparison with a time-of-flight and delta E detector measurement for the 20Ne beam and the plastic nuclear track detectors for 56Fe show agreement up to 35%-40% in water and aluminium targets, respectively.

Description: The origin of the RNA world is not easily understood, as effective prebiotic syntheses of the components of RNA, the beta-ribofuranoside-5'-phosphates, are hard to envisage. Recognition of this difficulty has led to the proposal that other genetic systems, the components of which are more easily formed, may have preceded RNA. This raises the question of how transitions between one genetic system and another could occur. Peptide nucleic acid (PNA) resembles RNA in its ability to form double-helical complexes stabilized by Watson-Crick hydrogen bonding between adenine and thymine and between cytosine and guanine, but has a backbone that is held together by amide rather than by phosphodiester bonds. Oligonucleotides bases on RNA are known to act as templates that catalyse the non-enzymatic synthesis of their complements from activated mononucleotides, we now show that RNA oligonucleotides facilitate the synthesis of complementary PNA strands and vice versa. This suggests that a transition between different genetic systems can occur without loss of information.

Description: This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.