Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “ATPS”

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 199 records · Page 11

A quinone-assisted photoformation of energy-rich chemical bonds

In a study of biochemical means of solar energy conversion, ADP and inorganic phosphates were converted to ATP by white light in the nonaqueous solvent dimethylformamide in the presence of tetrachloro-p-quinone or ubiquinone. Conversion of ADP to ATP has been accomplished in aqueous suspension by the use of cell-like structures aggregated from poly(aspartic acid, glutamic acid, tyrosine). This is believed to occur through the formation of dopaquinone in the peptide structure during illumination. The way in which the quantitative yield of ATP has been influenced by pH and by added substances, such as FeCl2, was studied.

Fox, S. W.↗

The effects of cutting or of stretching skeletal muscle in vitro on the rates of protein synthesis and degradation

Skeletal muscle preparations using cut muscle fibers have often been used in studies of protein metabolism. The present paper reports an investigation of the effect of muscle cutting or stretching in vitro on the rates of protein synthesis and/or degradation. Protein synthesis and content, and ATP and phosphocreatine levels were monitored in soleus and extensor digitorum longus muscles from the rat with various extents of muscle fiber cuts and following stretching to about 120% the resting length. Rates of protein synthesis are found to be significantly lower and protein degradation higher in the cut muscles than in uncut controls, while ATP and phosphocreatine concentrations decreased. Stretched intact muscles, on the other hand, are observed to have higher concentrations of high-energy phosphates than unstretched muscles, while rates of protein degradation were not affected. Results thus demonstrate that the cutting of skeletal muscle fibers alters many aspects of muscle metabolism, and that moderate decreases in ATP concentration do not alter rates of protein concentration in intact muscles in vitro.

Seider, M. J.↗

Models of glycolysis: Glyceraldehyde as a source of energy and monomers for prebiotic condensation reactions

All organisms require energy in a chemical form for maintenance and growth. In contemporary life this chemical energy is obtained by the synthesis of the phosphoanhydride bonds of ATP. Among the biological processes that yield ATP, fermentation is generally considered primitive, because it operates under anaerobic conditions by substrate-level phosphorylation which does not require compartmentation by membranes. Fermentation by the glycolytic pathway, which is found in almost every living cell, is an especially attractive energy source for primitive life. Glycolysis not only produces useful chemical energy (ATP), but intermediates of this pathway are also involved in amino acid synthesis and photosynthetic carbon-fixation. It is believed that energy and substrates needed for the origin of life were provided by nonenzymatic chemical reactions that resemble the enzyme-mediated reactions of glycolysis. These nonenzymatic reactions would have provided a starting point for the evolutionary development of glycolysis.

Weber, A. L.↗

Annoyance response to simulated advanced turboprop aircraft interior noise containing tonal beats

A study is done to investigate the effects on subjective annoyance of simulated advanced turboprop (ATP) interior noise environments containing tonal beats. The simulated environments consisted of low-frequency tones superimposed on a turbulent-boundary-layer noise spectrum. The variables used in the study included propeller tone frequency (100 to 250 Hz), propeller tone levels (84 to 105 dB), and tonal beat frequency (0 to 1.0 Hz). Results indicated that propeller tones within the simulated ATP environment resulted in increased annoyance response that was fully predictable in terms of the increase in overall sound pressure level due to the tones. Implications for ATP aircraft include the following: (1) the interior noise environment with propeller tones is more annoying than an environment without tones if the tone is present at a level sufficient to increase the overall sound pressure level; (2) the increased annoyance due to the fundamental propeller tone frequency without harmonics is predictable from the overall sound pressure level; and (3) no additional noise penalty due to the perception of single discrete-frequency tones and/or beats was observed.

Leatherwood, Jack D.↗

NASA/industry advanced turboprop technology program

Experimental and analytical effort shows that use of advanced turboprop (propfan) propulsion instead of conventional turbofans in the older narrow-body airline fleet could reduce fuel consumption for this type of aircraft by up to 50 percent. The NASA Advanced Turboprop (ATP) program was formulated to address the key technologies required for these thin, swept-blade propeller concepts. A NASA, industry, and university team was assembled to develop and validate applicable design codes and prove by ground and flight test the viability of these propeller concepts. Some of the history of the ATP project, an overview of some of the issues, and a summary of the technology developed to make advanced propellers viable in the high-subsonic cruise speed application are presented. The ATP program was awarded the prestigious Robert J. Collier Trophy for the greatest achievement in aeronautics and astronautics in America in 1987.

Ziemianski, Joseph A.↗

NASA/industry advanced turboprop technology program

Experimental and analytical effort shows that use of advanced turboprop (propfan) propulsion instead of conventional turbofans in the older narrow-body airline fleet could reduce fuel consumption for this type of aircraft by up to 50 percent. The NASA Advanced Turboprop (ATP) program was formulated to address the key technologies required for these thin, swept-blade propeller concepts. A NASA, industry, and university team was assembled to develop and validate applicable design codes and prove by ground and flight test the viability of these propeller concepts. Some of the history of the ATP Project, an overview of some of the issues, and a summary of the technology developed to make advanced propellers viable in the high-subsonic cruise speed application are presented. The ATP program was awarded the prestigious Robert J. Collier Trophy for the greatest achievement in aeronautics and astronautics in America in 1987.

Ziemianski, Joseph A.↗

Energy from Redox Disproportionation of Sugar Carbon Drives Biotic and Abiotic Synthesis

To identify the energy source that drives the biosynthesis of amino acids, lipids, and nucleotides from glucose, we calculated the free energy change due to redox disproportionation of the substrate carbon of: (1) 26-carbon fermentation reactions and (2) the biosynthesis of amino acids and lipids of E. coli from glucose. The free energy (cal/mmol of carbon) of these reactions was plotted as a function of the degree of redox disproportionation of carbon (disproportionative electron transfers (mmol)/mmol of carbon). The zero intercept and proportionality between energy yield and degree of redox disproportionation exhibited by this plot demonstrate that redox disproportionation is the principal energy source of these redox reactions (slope of linear fit = -10.4 cal/mmol of disproportionative electron transfers). The energy and disproportionation values of E. coli amino acid and lipid biosynthesis from glucose lie near this linear curve fit with redox disproportionation accounting for 84% and 96% (and ATP only 6% and 1 %) of the total energy of amino acid and lipid biosynthesis, respectively. These observations establish that redox disproportionation of carbon, and not ATP, is the primary energy source driving amino acid and lipid biosynthesis from glucose. In contrast, we found that nucteotide biosynthesis involves very little redox disproportionation, and consequently depends almost entirely on ATP for energy. The function of sugar redox disproportionation as the major source of free energy for the biosynthesis of amino acids and lipids suggests that sugar disproportionation played a central role in the origin of metabolism, and probably the origin of life.

Weber, Arthur L.↗

Energy from Redox Disproportionation of Sugar Carbon Drives Biotic and Abiotic Synthesis

To identify the energy source that drives the biosynthesis of amino acids, lipids, and nucleotides from glucose, we calculated the free energy change due to redox disproportionation of the substrate carbon of: (1) 26-carbon fermentation reactions and (2) the biosynthesis of amino acids and lipids of E. coli from glucose. The free energy (cal/mmol of carbon) of these reactions was plotted as a function of the degree of redox disproportionation of carbon (disproportionative electron transfers (mmol)/mmol of carbon). The zero intercept and proportionality between energy yield and degree of redox disproportionation exhibited by this plot demonstrate that redox disproportionation is the principal energy source of these redox reactions (slope of linear fit = -10.4 cal/mmol of disproportionative electron transfers). The energy and disproportionation values of E. coli amino acid and lipid biosynthesis from glucose lie near this linear curve fit with redox disproportionation accounting for 84% and 96% (and ATP only 6% and 1%) of the total energy of amino acid and lipid biosynthesis, respectively. These observations establish that redox disproportionation of carbon, and not ATP, is the primary energy source driving amino acid and lipid biosynthesis from glucose. In contrast, we found that nucleotide biosynthesis involves very little redox disproportionation, and consequently depends almost entirely on ATP for energy. The function of sugar redox disproportionation as the major source of free energy for the biosynthesis of amino acids and lipids suggests that sugar disproportionation played a central role in the origin of metabolism, and probably the origin of life.

Weber, Arthur L.↗

Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper

In contrast to pure mathematical applications where automated theorem provers (ATPs) are quite capable, proof tasks arising form real-world applications from the area of Software Engineering show quite different characteristics: they usually do not only contain much arithmetic (albeit often quite simple one), but they also often contain reasoning about specific structures (e.g. graphics, sets). Thus, an ATP must be capable of performing reasoning together with a fair amount of simplification, calculation and solving. Therefore, powerful simplifiers and other (symbolic and semi-symbolic) algorithms seem to be ideally suited to augment ATPs. In the following we shortly describe two major points of interest in combining SASs (symbolic algebraic systems) with top-down automated theorem provers (here: SETHEO [Let92, GLMS94]).

Schumann, Johann↗

Models of the Protocellular Structures, Functions and Evolution

In the absence of extinct or extant record of protocells, the most direct way to test our understanding of the origin of cellular life is to construct laboratory models that capture important features of protocellular systems. Such efforts are currently underway in a collaborative project between NASA-Ames, Harvard medical School and University of California. They are accompanied by computational studies aimed at explaining self-organization of simple molecules into ordered structures. The centerpiece of this project is a method for the in vitro evolution of protein enzymes toward arbitrary catalytic targets. A similar approach has already been developed for nucleic acids: First, a very large population of candidate molecules is generated using a random synthetic approach. Next, the small numbers of molecules that can accomplish the desired task are selected. These molecules are next vastly multiplied using the polymerase chain reaction. A mutagenic approach, in which the sequences of selected molecules are randomly altered, can yield further improvements in performance or alterations of specificities. Unfortunately, the catalytic potential of nucleic acids is rather limited. Proteins are more catalytically capable but cannot be directly amplified. In the new technique, this problem is circumvented by covalently linking each protein of the initial, diverse, pool to the RNA sequence that codes for it. Then, selection is performed on the proteins, but the nucleic acids are replicated. To date, we have obtained "a proof of concept" by evolving simple, novel proteins capable of selectively binding adenosine tri-phosphate (ATP). Our next goal is to create an enzyme that can phosphorylate amino acids and another to catalyze the formation of peptide bonds in the absence of nucleic acid templates. This latter reaction does not take place in contemporary cells. once developed, these enzymes will be encapsulated in liposomes so that they will function in a simulated cellular environment. To provide a continuous energy supply, usually needed to activate the substrates, an energy transduction complex which generates ATP from adenosine diphosphate, inorganic phosphate and light will be used. This system, consisting of two modern proteins, ATP synthase and bacteriorhodopsin, has already been built and shown to work efficiently. By coupling chemical synthesis to such a system, it will be possible to drive chemical reactions by light if only the substrates for these reactions are supplied.

Pohorille, Andrew↗

Inhibition of the Vacuolar-like ATPase from Halobacterium saccharovorum by Thiol Reagents: Evidence for Different Functional Thiols

N-Ethylmaleimide (NEM) inhibited the vacuolar-like ATPase from Halobacterium saccharovorum (K(sub i) approximately 1 mM) by modifying one or more of the thiols located on the largest of the subunit. ATP protected against inhibition and coincidentally prevented NEM binding which suggested that NEM acts at or near the catalytic site. p-Chloromercuriphenylsulfonate (PCMS) also inhibited this ATPase (K(sub i) approximately 90 microM). ATP did not protect against PCMS inhibition. Dithiothreitol (DTT) partially reversed PCMS inhibition and restored approximately half of the initial activity of 90% inhibited enzyme. DTT did not restore activity of the NEM-inhibited enzyme or the PCMS-inhibited enzyme when it was subsequently incubated with NEM. The failure of ATP to protect against PCMS inhibition and the inability of DTT to restore activity of enzyme incubated in the presence of PCMS and NEM suggests these reagents react with different thiols and that the PCMS-sensitive thiol may have a structural role.

Hochstein, L. I.↗

[ ] or SUCCESS is Not Enough: Current Technology and Future Directions in Proof Presentation

Automated theorem provers for first order logic are now around for several decades. Over the last few years, their deductive power to solve hard problems has increased tremendously. The annual CASC system competitions [Se97] give a clear picture of this situation. However, today's automated theorem provers are restricted "more by general usability than by raw deductive power." As a result of this, there are only very few serious applications of automated theorem provers. There are numerous features which a theorem prover lacks for real-world applicability. An automated theorem prover (as it is currently seen) is nothing more than a fast and elaborate search procedure. In that sense, an ATP can compared to a formulated race car, cool and fast, but virtually unusable for shopping groceries around the corner. Many important features are missing, or are optimized for speed rather than for applicability. [Schol] identifies important features which are needed for practical usability like detection of non-theorems, handling of modal/inductive proof tasks, control of the prover, and proof output. In this paper, we will focus solely on the last point, the presentation of the ATP's result to the user. In the rest of this paper, we will first discuss the general importance of providing feedback to the user, then we will describe the system ExplainIt!, a part of the deductive synthesis system AMPHION/NAV. In the conclusions we will relate proof presentation to other ways of post-processing a proof found by an ATP and stress their role in the future of automated deduction.

Schumann, Johann↗

Bacteria Counter

Science Applications, Inc.'s ATP Photometer makes a rapid and accurate count of the bacteria in a body fluid sample. Instrument provides information on the presence and quantity of bacteria by measuring the amount of light emitted by the reaction between two substances. Substances are ATP adenosine triphosphate and luciferase. The reactants are applied to a human body sample and the ATP Photometer observes the intensity of the light emitted displaying its findings in a numerical output. Total time lapse is usually less than 10 minutes, which represents a significant time savings in comparison of other techniques. Other applications are measuring organisms in fresh and ocean waters, determining bacterial contamination of foodstuffs, biological process control in the beverage industry, and in assay of activated sewage sludge.

Source record↗

Systematic Sensitivity Analysis of Metabolic Controllers During Reductions in Skeletal Muscle Blood Flow

An acute reduction in oxygen delivery to skeletal muscle is generally associated with profound derangements in substrate metabolism. Given the complexity of the human bioenergetic system and its components, it is difficult to quantify the interaction of cellular metabolic processes to maintain ATP homeostasis during stress (e.g., hypoxia, ischemia, and exercise). Of special interest is the determination of mechanisms relating tissue oxygenation to observed metabolic responses at the tissue, organ, and whole body levels and the quantification of how changes in oxygen availability affect the pathways of ATP synthesis and their regulation. In this study, we apply a previously developed mathematical model of human bioenergetics to study effects of ischemia during periods of increased ATP turnover (e.g., exercise). By using systematic sensitivity analysis the oxidative phosphorylation rate was found to be the most important rate parameter affecting lactate production during ischemia under resting conditions. Here we examine whether mild exercise under ischemic conditions alters the relative importance of pathways and parameters previously obtained.

Radhakrishnan, Krishnan↗

A Quantitative Study of Oxygen as a Metabolic Regulator

An acute reduction in oxygen delivery to a tissue is associated with metabolic changes aimed at maintaining ATP homeostasis. However, given the complexity of the human bio-energetic system, it is difficult to determine quantitatively how cellular metabolic processes interact to maintain ATP homeostasis during stress (e.g., hypoxia, ischemia, and exercise). In particular, we are interested in determining mechanisms relating cellular oxygen concentration to observed metabolic responses at the cellular, tissue, organ, and whole body levels and in quantifying how changes in tissue oxygen availability affect the pathways of ATP synthesis and the metabolites that control these pathways. In this study; we extend a previously developed mathematical model of human bioenergetics, to provide a physicochemical framework that permits quantitative understanding of oxygen as a metabolic regulator. Specifically, the enhancement - sensitivity analysis - permits studying the effects of variations in tissue oxygenation and parameters controlling cellular respiration on glycolysis, lactate production, and pyruvate oxidation. The analysis can distinguish between parameters that must be determined accurately and those that require less precision, based on their effects on model predictions. This capability may prove to be important in optimizing experimental design, thus reducing use of animals.

Radhakrishnan, Krishnan↗

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen↗

An Empirical Evaluation of Automated Theorem Provers in Software Certification

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Denney, Ewen↗

Autophosphorylation-dependent inactivation of plant chimeric calcium/calmodulin-dependent protein kinase

Chimeric calcium/calmodulin dependent protein kinase (CCaMK) is characterized by the presence of a visinin-like Ca(2+)-binding domain unlike other known calmodulin- dependent kinases. Ca(2+)-Binding to the visinin-like domain leads to autophosphorylation and changes in the affinity for calmodulin [Sathyanarayanan P.V., Cremo C.R. & Poovaiah B.W. (2000) J. Biol. Chem. 275, 30417-30422]. Here, we report that the Ca(2+)-stimulated autophosphorylation of CCaMK results in time-dependent loss of enzyme activity. This time-dependent loss of activity or self-inactivation due to autophosphorylation is also dependent on reaction pH and ATP concentration. Inactivation of the enzyme resulted in the formation of a sedimentable enzyme due to self-association. Specifically, autophosphorylation in the presence of 200 microm ATP at pH 7.5 resulted in the formation of a sedimentable enzyme with a 33% loss in enzyme activity. Under similar conditions at pH 6.5, the enzyme lost 67% of its activity and at pH 8.5, 84% enzyme activity was lost. Furthermore, autophosphorylation at either acidic or alkaline reaction pH lead to the formation of a sedimentable enzyme. Transmission electron microscopic studies on autophosphorylated kinase revealed particles that clustered into branched complexes. The autophosphorylation of wild-type kinase in the presence of AMP-PNP (an unhydrolyzable ATP analog) or the autophosphorylation-site mutant, T267A, did not show formation of branched complexes under the electron microscope. Autophosphorylation- dependent self-inactivation may be a mechanism of modulating the signal transduction pathway mediated by CCaMK.

NASA Discipline Plant Biology↗