Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “ATP”

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 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
NASA NTRS1987

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 NTRS1988

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 NTRS1988

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 NTRS1997

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.↗
NASA NTRS1997

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.↗
NASA NTRS1999

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↗
NASA NTRS2000

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↗
NASA NTRS1994

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.↗
NASA NTRS2001

[ ] 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↗
NASA NTRS1981

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↗
NASA NTRS2000

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↗
NASA NTRS2000

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↗
NASA NTRS2004

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↗
NASA NTRS2004

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↗
NASA NTRS2002

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↗
NASA NTRS1988

Promotion of beta-glucan synthase activity in corn microsomal membranes by calcium and protein phosphorylation

Regulation of the activity of beta-glucan synthase was studied using microsomal preparations from corn coleoptiles. The specific activity as measured by the incorporation of glucose from uridine diphospho-D-[U-14C]glucose varied between 5 to 15 pmol (mg protein)-1 min-1. Calcium promoted beta-glucan synthase activity and the promotion was observed at free calcium concentrations as low as 1 micromole. Kinetic analysis of substrate-velocity curve showed an apparent Km of 1.92 x 10(-4) M for UDPG. Calcium increased the Vmax from 5.88 x 10(-7) mol liter-1 min-1 in the absence of calcium to 9.52 x 10(-7) mol liter-1 min-1 and 1.66 x 10(-6) mol liter-1 min-1 in the presence of 0.5 mM and 1 mM calcium, respectively. The Km values remained the same under these conditions. Addition of ATP further increased the activity above the calcium-promoted level. Sodium fluoride, a phosphoprotein phosphatase inhibitor, promoted glucan synthase activity indicating that phosphorylation and dephosphorylation are involved in the regulation of the enzyme activity. Increasing the concentration of sodium fluoride from 0.25 mM to 10 mM increased glucan synthase activity five-fold over the + calcium + ATP control. Phosphorylation of membrane proteins also showed a similar increase under these conditions. Calmodulin, in the presence of calcium and ATP stimulated glucan synthase activity substantially, indicating that calmodulin could be involved in the calcium-dependent phosphorylation and promotion of beta-glucan synthase activity. The role of calcium in mediating auxin action is discussed.

NASA Program Space Biology↗
NASA NTRS2003

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 bioenergetic 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.

Non-programmatic↗
NASA NTRS1994

Control of cytoskeletal mechanics by extracellular matrix, cell shape, and mechanical tension

We have investigated how extracellular matrix (ECM) alters the mechanical properties of the cytoskeleton (CSK). Mechanical stresses were applied to integrin receptors on the apical surfaces of adherent endothelial cells using RGD-coated ferromagnetic microbeads (5.5-microns diameter) in conjunction with a magnetic twisting device. Increasing the number of basal cell-ECM contacts by raising the fibronectin (FN) coating density from 10 to 500 ng/cm2 promoted cell spreading by fivefold and increased CSK stiffness, apparent viscosity, and permanent deformation all by more than twofold, as measured in response to maximal stress (40 dyne/cm2). When the applied stress was increased from 7 to 40 dyne/cm2, the stiffness and apparent viscosity of the CSK increased in parallel, although cell shape, ECM contacts, nor permanent deformation was altered. Application of the same stresses over a lower number ECM contacts using smaller beads (1.4-microns diameter) resulted in decreased CSK stiffness and apparent viscosity, confirming that this technique probes into the depth of the CSK and not just the cortical membrane. When magnetic measurements were carried out using cells whose membranes were disrupted and ATP stores depleted using saponin, CSK stiffness and apparent viscosity were found to rise by approximately 20%, whereas permanent deformation decreased by more than half. Addition of ATP (250 microM) under conditions that promote CSK tension generation in membrane-permeabilized cells resulted in decreases in CSK stiffness and apparent viscosity that could be detected within 2 min after ATP addition, before any measurable change in cell size.(ABSTRACT TRUNCATED AT 250 WORDS).

Non-NASA Center↗