Search NASA⌕ Search

SEARCH · Search NASA

Results for “synthesis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1981

Grafting of 2 (2-hydroxy-5-vinylphenyl) 2H-benzotriazole onto polymers with aliphatic groups. Synthesis and polymerization of 2 (2-hydroxy-5-isopropenylphenyl) 2H-benzotriazole and a new synthesis of 2 (2-hydroxy-5-vinylphenyl) 2H-benzotriazole

Successful grafting of 2(2-hydroxy-5-vinylphenyl)2H-benzotriazole onto saturated aliphatic C-H groups of polymers has been accomplished. When the grafting reaction was carried out in chlorobenzene at 150 C = 160 C with di-tertiarybutylperoxide as the grafting initiator, grafts as high as 20 percent - 30 percent at a grafting efficiency of 50 percent and 80 percent have readily been obtained. The grafting reaction was carried out in tubes sealed under high vacuum since trace amounts of oxygen cause complete inhibition of the grafting reaction by the phenolic monomer. On a variety of different polymers including atactic polypropylene, ethylene/vinyl acetate copolymer, poly(methyl methacrylate), poly(butyl acrylate), and polycarbonate were used.

Pradellok, W.↗
NASA NTRS1994

Experiment K-7-22: Growth Hormone Regulation Synthesis and Secretion in Microgravity: Growth Hormone Regulation Synthesis and Secretion in Microgravity - Part 1

Changes in the musculoskeletal, immune, vascular, and endocrine system of the rat occur as a result of short-term spaceflight. Since pituitary gland growth hormone (GH) plays a role in the control of these systems, and since the results of an earlier spaceflight mission (Spacelab 3, 1985) showed that GH cell function was compromised in a number of post-flight tests, we repeated and extended the 1985 experiment in two subsequent spaceflights: the 12.5 day mission of Cosmos 1887 (in 1987) and the 14 day mission of Cosmos 2044 (in 1989). The results of these later two flight experiments are the subject of this report. They document repeatable and significant changes in the GH cell system of the spaceflown rat in several post-flight tests.

Hymer, W. C.↗
NASA NTRS1994

ATP Synthesis in the Extremely Halophilic Bacteria

The proton-translocating ATPases are multimeric enzymes that carry out a multitude of essential functions. Their origin and evolution represent a seminal event in the early evolution of life. Amino acid sequences of the two largest subunits from archaeal ATPases (A-ATPases), vacuolar ATPases (V-ATPases), and FOF1-ATP syntheses (FATPases) suggest these ATPases evolved from an ancestral vacuolar-like ATP syntheses. A necessary consequence of this notion is that the A-ATPases are ATP syntheses. With the possible exception of the A-ATPase from Halobacterium salinarium. no A-ATPase has been demonstrated to synthesize ATP. The evidence for this case is dubious since ATP synthesis occurs only when conditions are distinctively unphysiological. We demonstrated that ATP synthesis in H.saccharovorum is inconsistent with the operation of an A-type ATPase. In order to determine if this phenomenon was unique to H. saccharovorum, ATP synthesis was examined in various extremely halophilic bacteria with the goal of ascertaining if it resembled what occurred in a. saccharovorum, or was consistent with the operation of an A-type ATPase. A-, V-, and F-type ATPases respond singularly to certain inhibitors. Therefore, the effect of these inhibitors on ATP synthesis in several extreme halophiles was determined. Inhibitors that either blocked or collapsed proton-gradients inhibited the steady state synthesis of ATP thus verifying that synthesis took place at the expense of a proton gradient. Azide, an inhibitor of F-ATPases inhibited ATP synthesis. Since the arginine-dependent synthesis of ATP, which occurs by way of substrate-level phosphorylation, was unaffected by azide, it was unlikely that azide acted as an "uncoupler." N -ethylmaleimide and nitrate, which inhibit V- and A-ATPases, either did not inhibit ATP synthesis or resulted in higher steady-state levels of ATP. These results suggest there are two types of proton-motive ATPases in the extreme halophiles (and presumably in other Archaea). One, the V-like enzyme which, provides protons that are subsequently used for solute translocation. The other ATPase is the familiar and ubiquitous F-ATPase that functions as a reversible proton pump and is the ATP Synthase in the extreme halophiles. Thus, while the suggested evolution of the proton -translocating ATPases accounts for the relationship among these ATPases, this scheme does not account for the presence of F-ATPases in the Archaea. Discounting lateral gene transfer, perhaps an F-type ATPase evolved before the eucaryal-archaeal and bacterial bifurcation. The presence of V-type ATPases in the Bacterial Domain is consistent with this suggestion. Finally, it is of interest to note that if an F-type ATPase appeared before the bifurcation, an endosymbiotic event need not be invoked to explain the presence of F-ATPases in the Eucarya.

Hochstein, Lawrence I.↗
NASA NTRS1996

Evidence for the Synthesis of ATP by an F0F1 ATP Synthase in Membrane Vesicles from Halorubrum Saccharovorum

Vesicles prepared in a buffer containing ADP, Mg(2+) and Pi synthesized ATP at an initial rate of 2 nmols/min/mg protein after acidification of the bulk medium (pH 8 (right arrow) 4). The intravesicular ATP concentration reached a steady state after about 30 seconds and slowly declined thereafter. ATP synthesis was inhibited by low concentrations of dicyclohexylcarbodiimide and m-chlorophenylhydrazone indicating that synthesis took place in response to the proton gradient. NEM and PCMS, which inhibit vacuolar ATPases and the vacuolar-like ATPases of extreme halophiles, did not affect ATP synthesis, and, in fact, produced higher steady state levels of ATP. This suggested that two ATPase activities were present, one which catalyzed ATP synthesis and one that caused its hydrolysis. Azide, a specific inhibitor of F0F1 ATP Synthases, inhibited halobacterial ATP synthesis. The distribution of acridine orange as imposed by a delta pH demonstrated that azide inhibition was not due to the collapse of the proton gradient due to azide acting as a protonophore. Such an effect was observed, but only at azide concentrations higher than those that inhibited ATP synthesis. These results confirm the earler observations with cells of H. saccharovorum and other extreme halophiles that ATP synthesis is inconsistent with the operation of a vacuolar-like ATPase. Therefore, the observation that a vacuolar-like enzyme is responsible for ATP synthesis (and which serves as the basis for imputing ATP synthesis to the vacuolar-like ATPases of the extreme halophiles, and the Archaea in general) should be taken with some degree of caution.

Faguy, David↗
NASA NTRS1996

Products of the Strecker Synthesis as Indicators of Parent Body Conditions of the Murchison Meteorite

The Strecker synthesis, R2C=O + HCN + NH3 yields R2C(NH2)CN + H2O yields R2C(NH2)CO2H has been proposed as a source of amino acids in meteorites. The detection of carbonlyl compounds, the precursors of the amino acids in the Strecker synthesis, and a-hydroxy acids, important by-products of the Strecker synthesis, in the Murchison meteorite supports this conjecture. However, the following observations raise questions about the Strecker synthesis as the source of a-amino and a-hydroxy acids in Murchison: a) Imino acetic acids are also important by-products of the Strecker synthesis and have not been reported in Murchison. b) a-aminisobutyric acid (AIBA) is one of the most abundant amino acids in Murchison but the Strecker synthesis conducted at room temperature produced only small amounts of AIBA relative to other amino acids. c) If the a-amino and a-hydroxy acids observed in Murchison arose from a common precursor this ought to be reflected in their relative abundances, but the straight chain a-hydroxy acids appeared to be relatively abundant compared with the analogous a-amino acids. In order to address question a) we have examined a non-hydrolyzed aqueous extract of the Murchison meteorite. Imino di acetic acid, Imino propionic acetic acid and Imino butyric acetic acid (both isomers) have been identified in this fraction. The relative abundances of amino acids and imino acetic acids in this fraction are consistent with a Strecker synthesis at low temperature (263 K) as a origin of both the amino acids and the imino acetic acids found on Murchison. To deal with questions b) and c) we have carried out laboratory simulations of the Strecker synthesis. The starting concentrations for carbonlyl compounds used were based on estimates of what these concentrations might have been on the parent body. for the carbonyl compounds this estimate was determined by the amount of carbonyl compound found on Murchison plus the amounts of the corresponding amino acid and hydroxy acid found on Murchison and the rock to water ratio estimated by Clayton and Mayeda (1984). The cyanide concentration was that estimated by Peltzer et al. (1984). The ammonia concentration and pH were varied. We studied these mixtures at 298 K and 263 K. We found that high relative abundances of AIBA were produced at 263 K but not at 298 K. We only produced a-methyl a-amino hydroxy acids at 263 K with no initial ammonia. The abundances of a-amino acids, a-hydroxy acids and imino acids found on Murchison are consistent with a Strecker synthesis which took place at low temperature and with a low concentration of ammonia.

Lerner, Narcinda R.↗
NASA NTRS2006

Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns

Automated code synthesis is a constructive process that can be used to generate programs from specifications. It can, thus, greatly reduce the software development cost and time. The use of formal code synthesis approach for software generation further increases the dependability of the system. Though code synthesis has many potential benefits, the synthesis techniques are still limited. Meanwhile, components are widely used in embedded system development. Applying code synthesis to component based software development (CBSD) process can greatly enhance the capability of code synthesis while reducing the component composition efforts. In this paper, we discuss the issues and techniques for applying deductive code synthesis techniques to CBSD. For deductive synthesis in CBSD, a rule base is the key for inferring appropriate component composition. We use the code patterns to guide the development of rules. Code patterns have been proposed to capture the typical usages of the components. Several general composition operations have been identified to facilitate systematic composition. We present the technique for rule development and automated generation of new patterns from existing code patterns. A case study of using this method in building a real-time control system is also presented.

automated code synthesis↗
NASA NTRS2011

AutoBayes Program Synthesis System System Internals

This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use and importance of the symbolic system for synthesis. Any synthesis system is a large and complex piece of code. In this lecture, we will study Autobayes in detail. AutoBayes has been developed at NASA Ames and has been made open source. It takes a compact statistical specification and generates a customized data analysis algorithm (in C/C++) from it. AutoBayes is written in SWI Prolog and many concepts from rewriting, logic, functional, and symbolic programming. We will discuss the system architecture, the schema libary and the extensive support infra-structure. Practical hands-on experiments and exercises will enable the student to get insight into a realistic program synthesis system and provides knowledge to use, modify, and extend Autobayes.

Statistical Algorithms↗
NASA NTRS1997

Towards High-Assurance High-Performance Program Synthesis

Domain-specific automatic program synthesis tools, also called application generators, are playing an ever-increasing role in software development. However, high-performance application generators require difficult manual construction, and are very difficult to verify correct. This paper describes research and an implemented system that transforms program synthesis tools based on deductive synthesis into high-performance application generators. Deductive synthesis uses theorem-proving to construct solutions when given problem specifications. The verification condition for a deductive synthesis tool is essentially the soundness of the implemented inference rules. Theory Operationalization for Program Synthesis (TOPS) synergistically combines reformulation, automated mathematical classification, and compilation through partial deduction to decision procedures. It transforms general-purpose deductive synthesis, with exponential performance, into efficient special-purpose deductive synthesis, with near-linear performance. This paper describes our experience with and empirical results of PD(TH) theory-based partial deduction - in which partial deduction of a set of first-order formulae is performed within the context of a background theory. The implemented TOPS system currently performs a special variant of PD(TH) in which the compilation process results in the transformation of a set of first order formulae into the theory of an instantiated library decision procedure augmented by a compiled unit theory.

Lowry, Michael↗
NASA NTRS2003

Flame Synthesis Of Single-Walled Carbon Nanotubes And Nanofibers

Carbon nanotubes are widely sought for a variety of applications including gas storage, intercalation media, catalyst support and composite reinforcing material [1]. Each of these applications will require large scale quantities of CNTs. A second consideration is that some of these applications may require redispersal of the collected CNTs and attachment to a support structure. If the CNTs could be synthesized directly upon the support to be used in the end application, a tremendous savings in post-synthesis processing could be realized. Therein we have pursued both aerosol and supported catalyst synthesis of CNTs. Given space limitations, only the aerosol portion of the work is outlined here though results from both thrusts will be presented during the talk. Aerosol methods of SWNT, MWNT or nanofiber synthesis hold promise of large-scale production to supply the tonnage quantities these applications will require. Aerosol methods may potentially permit control of the catalyst particle size, offer continuous processing, provide highest product purity and most importantly, are scaleable. Only via economy of scale will the cost of CNTs be sufficient to realize the large-scale structural and power applications on both earth and in space. Present aerosol methods for SWNT synthesis include laser ablation of composite metalgraphite targets or thermal decomposition/pyrolysis of a sublimed or vaporized organometallic [2]. Both approaches, conducted within a high temperature furnace, have produced single-walled nanotubes (SWNTs). The former method requires sophisticated hardware and is inherently limited by the energy deposition that can be realized using pulsed laser light. The latter method, using expensive organometallics is difficult to control for SWNT synthesis given a range of gasparticle mixing conditions along variable temperature gradients; multi-walled nanotubes (MWNTs) are a far more likely end products. Both approaches require large energy expenditures and produce CNTs at prohibitive costs, around $500 per gram. Moreover these approaches do not possess demonstrated scalability. In contrast to these approaches, flame synthesis can be a very energy efficient, low-cost process [3]; a portion of the fuel serves as the heating source while the remainder serves as reactant. Moreover, flame systems are geometrically versatile as illustrated by innumerable boiler and furnace designs. Addressing scalability, flame systems are commercially used for producing megatonnage quantities of carbon black [4]. Although it presents a complex chemically reacting flow, a flame also offers many variables for control, e.g. temperature, chemical environment and residence times [5]. Despite these advantages, there are challenges to scaling flame synthesis as well.

Wal, Randy L. Vander↗
NASA NTRS2004

The Role of Ontologies in Schema-based Program Synthesis

Program synthesis is the process of automatically deriving executable code from (non-executable) high-level specifications. It is more flexible and powerful than conventional code generation techniques that simply translate algorithmic specifications into lower-level code or only create code skeletons from structural specifications (such as UML class diagrams). Key to building a successful synthesis system is specializing to an appropriate application domain. The AUTOBAYES and AUTOFILTER systems, under development at NASA Ames, operate in the two domains of data analysis and state estimation, respectively. The central concept of both systems is the schema, a representation of reusable computational knowledge. This can take various forms, including high-level algorithm templates, code optimizations, datatype refinements, or architectural information. A schema also contains applicability conditions that are used to determine when it can be applied safely. These conditions can refer to the initial specification, to intermediate results, or to elements of the partially-instantiated code. Schema-based synthesis uses AI technology to recursively apply schemas to gradually refine a specification into executable code. This process proceeds in two main phases. A front-end gradually transforms the problem specification into a program represented in an abstract intermediate code. A backend then compiles this further down into a concrete target programming language of choice. A core engine applies schemas on the initial problem specification, then uses the output of those schemas as the input for other schemas, until the full implementation is generated. Since there might be different schemas that implement different solutions to the same problem this process can generate an entire solution tree. AUTOBAYES and AUTOFILTER have reached the level of maturity where they enable users to solve interesting application problems, e.g., the analysis of Hubble Space Telescope images. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.

Bures, Tomas↗
NASA NTRS1999

The Effects of Gravity on Combustion and Structure Formation During Synthesis of Advanced Materials

Combustion in a variety of heterogeneous systems, leading to the synthesis of advanced materials, is characterized by high temperatures (2000-3500 K) and heating rates (up to 10(exp 6) K/s) at and ahead of the reaction front. These high temperatures generate liquids and gases which are subject to gravity-driven flow. The removal of such gravitational effects is likely to provide increased control of the reaction front, with a consequent improvement in control of the microstructure of the synthesized products. Thus, microgravity experiments can lead to major advances in the understanding of fundamental aspects of combustion and structure formation under the extreme conditions of the combustion synthesis wave. In addition, the specific features of microgravity environment allow one to produce unique materials, which cannot be obtained under terrestrial conditions. The general goals of the current research are: 1) to improve the understanding of fundamental phenomena taking place during combustion of heterogeneous systems, 2) to use low-gravity experiments for insight into the physics and chemistry of materials synthesis processes, and 3) based on the obtained knowledge, to optimize processing conditions for synthesis of advanced materials with desired microstructures and properties. This research follows logically from the results of investigations we have conducted in the framework of our previous grant on gravity influence on combustion synthesis (CS) of gasless systems. Prior work, by others and by us, has clearly demonstrated that gravity plays an important role during combustion synthesis of materials. The immediate tasks for the future are to quantitatively identify the nature of observed effects, and to create accurate local kinetic models of the processes, which can lead to a control of the microstructure and properties of the synthesized materials. In summary, this is the value of the proposed research. Based on our prior work, we focus on the fundamental aspects of combustion and structure formation under the unique condition of microgravity.

Varma, A.↗
NASA NTRS1995

Microwave Induced Combustion Synthesis of Ceramic and Ceramic-Metal Composites

In recent years, there has been a renewed interest in combustion synthesis reactions, commonly called self-propagating high-temperature synthesis. These reactions are an attractive, energy efficient approach to the synthesis of high temperature composite materials and metastable phases. Microwaves are used to induce self-propagating high temperature synthesis of ceramic and ceramic-metal composites.

high-temperature ceramics high-temperature synthes↗
NASA NTRS1981

Protein synthesis rates in atrophied gastrocnemius muscles after limb immobilization

Noting that protein synthesis declines in the gastrocnemius 6 hr after immobilization, the study sought to detect an increase of protein synthesis when the limb was freed, and to examine the effects of exercise on the rate of increase. Rats were used as subjects, with their hind legs in plaster of Paris in plantar flexion to eliminate strain on the gastrocnemius. Periods of immobilization were varied and samples of blood from the muscle were taken to track protein synthesis rates for different groups in immobilization and exercise regimens (running and weightlifting). Synthesis rates declined 3.6% during time in the cast, then increased 6.3%/day after the casts were removed. Both running and weightlifting were found to increase the fractional rate of protein formation in the gastrocnemius muscle when compared with contralateral muscles that were not exercised and were used as controls, suggesting that the mechanism controlling protein synthesis in skeletal muscles is rapidly responsive to changes in muscular contractile activity.

Tucker, K. R.↗
NASA NTRS1982

Synthesis of amino acids in weight bearing and non-weight bearing leg muscles of suspended rats

The effect of hypokinesia (HYP) for 6 days on the de novo synthesis of glutamine (GLN) and glutamate (GLU), and of alanine was tested in isolated leg muscles of intact, adrenalectomized (ADX) and ADX cortisol-treated rats. The net synthesis of GLN and GLU was lower in soleus muscles of HYP animals of these three groups of rats. The synthesis of alanine was lowered by HYP in ADX animals and apparently raised by HYP in ADX cortisol-treated rats. No HYP effect was seen in the extensor digitorum longus (EDL) muscles of these animals. Although ADX lowered the synthesis of GLN and GLU in soleus muscles of control rats, while cortisol treatment restored this process to near normal, neither ADX nor cortisol treatment produced any effect in the HYP animals. However, effects of ADX and cortisol treatment on synthesis of GLN and GLU in EDL muscles and of alanine in both muscles seemed normal in HYP animals.

Tischler, M. E.↗
NASA NTRS1989

Substructural controller synthesis

A decentralized design procedure which combines substructural synthesis, model reduction, decentralized controller design, subcontroller synthesis, and controller reduction is proposed for the control design of flexible structures. The structure to be controlled is decomposed into several substructures, which are modeled by component mode synthesis methods. For each substructure, a subcontroller is designed by using the linear quadratic optimal control theory. Then, a controller synthesis scheme called Substructural Controller Synthesis (SCS) is used to assemble the subcontrollers into a system controller, which is to be used to control the whole structure.

Su, Tzu-Jeng↗
NASA NTRS1990

Containerless synthesis of ceramic materials using microwave heating

It was demonstrated that microwave heating technique may be employed for the synthesis of a number of multicomponent ceramic oxide-based materials, e.g., YBa2Cu3O7 and CuFe2O4. A characteristic, and potentially extremely useful, feature of such synthesis is that they occur in significantly less time than that required using conventional furnace-based techniques. However, the information obtained to date is necessarily rather empirical, and systematic investigations of the use of microwave heating for the synthesis of ceramic materials are required. The synthesis of ceramic materials at high temperatures are often affected by unwanted, deleterious reactions of the reactants and/or products with the reaction container. Consequently, it is of interest to investigate the high temperature synthesis of ceramic materials using microwave heating in a containerless environment.

Dunn, B.↗
NASA NTRS1990

Synthesis: Intertwining product and process

Synthesis is a proposed systematic process for rapidly creating different members of a program family. Family members are described by variations in their requirements. Requirements variations are mapped to variations on a standard design to generate production quality code and documentation. The approach is made feasible by using principles underlying design for change. Synthesis incorporates ideas from rapid prototyping, application generators, and domain analysis. The goals of Synthesis and the Synthesis process are discussed. The technology needed and the feasibility of the approach are also briefly discussed. The status of current efforts to implement Synthesis methodologies is presented.

Weiss, David M.↗
NASA NTRS1992

Hydrothermal organic synthesis experiments

The serious scientific debate about spontaneous generation which raged for centuries reached a climax in the nineteenth century with the work of Spallanzani, Schwann, Tyndall, and Pasteur. These investigators demonstrated that spontaneous generation from dead organic matter does not occur. Although no aspects of these experiments addressed the issue of whether organic compounds could be synthesized abiotically, the impact of the experiments was great enough to cause many investigators to assume that life and its organic compounds were somehow fundamentally different than inorganic compounds. Meanwhile, other nineteenth-century investigators were showing that organic compounds could indeed be synthesized from inorganic compounds. In 1828 Friedrich Wohler synthesized urea in an attempt to form ammonium cyanate by heating a solution containing ammonia and cyanic acid. This experiment is generally recognized to be the first to bridge the artificial gap between organic and inorganic chemistry, but it also showed the usefulness of heat in organic synthesis. Not only does an increase in temperature enhance the rate of urea synthesis, but Walker and Hambly showed that equilibrium between urea and ammonium cyanate was attainable and reversible at 100 C. Wohler's synthesis of urea, and subsequent syntheses of organic compounds from inorganic compounds over the next several decades dealt serious blows to the 'vital force' concept which held that: (1) organic compounds owe their formation to the action of a special force in living organisms; and (2) forces which determine the behavior of inorganic compounds play no part in living systems. Nevertheless, such progress was overshadowed by Pasteur's refutation of spontaneous generation which nearly extinguished experimental investigations into the origins of life for several decades. Vitalism was dealt a deadly blow in the 1950's with Miller's famous spark-discharge experiments which were undertaken in the framework of the Oparin and Haldane hypotheses concerning the origin of life. These hypotheses were constructed on some basic assumptions which included a reduced atmosphere, and a low surface temperature for the early Earth. These ideas meshed well with the prevailing hypothesis of the 1940's and 50's that the Earth had formed through heterogeneous accretion of dust from a condensing solar nebula. Miller's experiments were extremely successful, and were followed by numerous other experiments by various investigators who employed a wide variety of energy sources for abiotic synthesis including spark discharges, ultra-violet radiation, heat, shock waves, plasmas, gamma rays, and other forms of energy. The conclusion reached from this body of work is that energy inputs can drive organic synthesis from a variety of inorganic starting materials.

Shock, Everett L.↗