Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Synthesizers”

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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

A software architecture for hard real-time execution of automatically synthesized plans or control laws

The design of a flexible, real-time software architecture for trajectory planning and automatic control of redundant manipulators is described. Emphasis is placed on a technique of designing control systems that are both flexible and robust yet have good real-time performance. The solution presented involves an artificial intelligence algorithm that dynamically reprograms the real-time control system while planning system behavior.

Schoppers, Marcel↗
NASA NTRS1994

Synthesized spectra of turbulent clouds

A comparison has been made of the velocity structure of non-star-forming dense molecular clouds and the output of a 512(exp 3) hydrodynamic code for compressible gas displaying features of turbulence. A remarkable similarity exists between the interstellar line profiles and the velocity profiles found by integrating, with an optically thin assumption, through subsections of the simulation. This similarity is in terms of both the structure of individual spectra, showing skewness, multiple peaks, and wings, and also the variations of the spectra from point to point. It is possible to see the origin of the various velocity substructures and how they correlate with regions of high density and velocity divergence, or regions of high vorticity, by deprojecting individual spectra of the simulation. It is found that the interstellar medium spectra are best represented by the epoch of the simulation in which the energy spectrum is essentially Kolmogorov-like and initially developed shocks have been largely converted into vorticity structures. Further, it is found that the vorticity peaks ascribed to intermittency contribute to the non-Gaussian features and wings of the line profile, but at an intensity level that is weak compared to the contribution of the bulk of the flow.

Falgarone, E.↗
NASA NTRS1995

Injection of freshly synthesized Ca-41 in the early solar nebula by an asymptotic giant branch star

We show that ejecta from the envelope of one asymptotic giant branch star of M is approximately 3 solar mass may account for many of the short-lived nuclei in the early solar system and also for the recent evidence of the presence of Ca-41 (bar-tau(sub 41) = 1.50 x 10(exp 5) yr) in early solar nebular condensates. This would require that the injection into the protosolar molecular cloud took place within a narrow time interval of (5-7) x 10(exp 5) yr before the formation of the solar system. If true, this places extremely tight constraints on the whole process of injection mixing and collapse. The timescales for both Ca-41 and Al-26 require that the placental medium be a dense molecular cloud (2 x 10(exp 3) -8 x 10(exp 3( H/cc). If the observed residual Ca-41 is instead produced by a proton bombardment mechanism within the early solar system, similar to what appears necessary to explain Mn-53, then the time interval is relaxed but would still be (1-2) x 10(exp 6) yr from consideration of Al-26.

Wasserburg, G. J.↗
NASA NTRS1996

Potentially Prebiotic Syntheses of Condensed Phosphates

In view of the importance of a prebiotic source of high energy phosphates, we have investigated a number of potentially prebiotic processes to produce condensed phosphates from orthophosphate and cyclic trimetaphosphate from tripolyphosphate. The reagents investigated include polymerizing nitriles, acid anhydrides, lactones, hexamethylene tetramine and carbon suboxide. A number of these processes give substantial yields of pyrophosphate from orthophosphate and trimetaphosphate from tripolyphosphate. Although these reactions may have been applicable in local areas, they are not sufficiently robust to have been of importance in the prebiotic open ocean.

Keefe, Anthony D.↗
NASA NTRS1999

Surface Texture and Structure of ZnO Films Synthesized by Off-Axis Sputtering Deposition

Morphology and structure of ZnO films deposited on (0001) sapphire and glass substrates by off-axis sputtering are investigated at various temperatures and pressures. All films show highly textured structures on glass substrates and epitaxial growth on sapphire substrates. The full width at half maximum of theta rocking curves for epitaxial films is less than 0.5 degrees. In textured films, it rises to several degrees. The trend of surface textures in films grown at low pressures is similar to those grown at high temperatures. A morphology transition from large well-defined hexagonal grains to flat surface was observed at a pressure of 50 mtorr and temperature of 550 C. The experiment results are explained by the transport behavior of depositing species.

Zhu, Shen↗
NASA NTRS2001

Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

Rosu, Grigore↗
NASA NTRS2002

Synthesizing Monitors for Safety Properties

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in time analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic programming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events given as input and runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula. Further optimizations of the algorithm are suggested. Past time operators suitable for writing succinct specifications axe introduced and shown definitionally equivalent to the standard operators. This work is part of the PathExplorer project, the objective of which it is to construct a flexible framework for monitoring and analyzing program executions.

Havelund, Klaus↗
NASA NTRS2003

Where was the Iron Synthesized in Cassiopeia A?

We investigate the properties of Fe-rich knots on the east limb of the Cassiopeia A supernova remnant observed with Chandra/AXAF CCD Imaging Spectrometer (ACIS). Using analysis methods developed in a companion paper, we constrain the ejecta density profile and the Lagrangian mass coordinates of the knots from their fitted ionization age and electron temperature. Fe-rich knots which also have strong emission from Si, S, Ar, and Ca are clustered around mass coordinates q approx. equal to 0.35 - 0.4 in the shocked ejecta of 2 solar masses; this places them 0.7 - 0.8 solar masses out from the center (or 2 - 2.1 solar masses, allowing for the mass of a compact object). We also find an Fe clump that is evidently devoid of line emission from lower mass elements, as would be expected for a region that had undergone alpha-rich freeze out. This clump has a similar mass coordinate to the other Fe knots.

Hwang, Una↗
NASA NTRS2003

Visualization of Space-Time Ambiguities to be Explored by NASA GEC Mission with a Critique of Synthesized Measurements for Different GEC Mission Scenarios

The Grant supported research addressing the question of how the NASA Solar Terrestrial Probes (STP) Mission called Geospace electrodynamics Connections (GEC) will resolve space-time structures as well as collect sufficient information to solve the coupled thermosphere-ionosphere- magnetosphere dynamics and electrodynamics. The approach adopted was to develop a high resolution in both space and time model of the ionosphere-thermosphere (I-T) over altitudes relevant to GEC, especially the deep-dipping phase. This I-T model was driven by a high- resolution model of magnetospheric-ionospheric (M-I) coupling electrodynamics. Such a model contains all the key parameters to be measured by GEC instrumentation, which in turn are the required parameters to resolve present-day problems in describing the energy and momentum coupling between the ionosphere-magnetosphere and ionosphere-thermosphere. This model database has been successfully created for one geophysical condition; winter, solar maximum with disturbed geophysical conditions, specifically a substorm. Using this data set, visualizations (movies) were created to contrast dynamics of the different measurable parameters. Specifically, the rapidly varying magnetospheric E and auroral electron precipitation versus the slower varying ionospheric F-region electron density, but rapidly responding E-region density.

Sojka, Jan J.↗
NASA NTRS2002

Synthesizing Certified Code

Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

Whalen, Michael↗
NASA NTRS2003

Organics Synthesized Using Iron-Grain Silicates

We use Fischer-Tropsch type (FTT) synthesis to produce hydrocarbons by hydrogenating carbon monoxide via catalytic reactions. The products of these reactions have been studied using 'natural' catalysts and calculations of the efficiency of FTT synthesis in the Solar Nebula suggest that these types of reactions could make significant contributions to the composition of material near three AU. We coat Fe-silicate grains with organic material using FTT synthesis to simulate the chemistry in the early Solar Nebula. In our experimental setup, we roughly model a nebular environment where grains are successively transported from hot to cold regions of the nebula. In other words, the starting gases and FTT products are continuously circulated through the grains at high temperature with intervals of cooling. Organics generated in this manner could represent the carbonaceous material incorporated in comets and meteorites. We analyze the resulting organics and present the results.

Johnson, N. M.↗
NASA NTRS2004

Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming

In code certification the code consumer publishes a safety policy and the code producer generates a proof that the produced code is in compliance with the published safety policy. In this paper, a novel viewpoint approach towards an implementational re-use oriented framework for code certification is taken. It adopts ingredients from Necula's approach for proof-carrying code, but in this work safety properties can be analyzed on a higher code level than assembly language instructions. It consists of three parts: (1) The specification language is extended to include generic pre-conditions that shall ensure safety at all states that can be reached during program execution. Actual safety requirements can be expressed by providing domain-specific definitions for the generic predicates which act as interface to the environment. (2) The Floyd-Hoare inductive assertion method is refined to obtain proof rules that allow the derivation of the proof obligations in terms of the generic safety predicates. (3) A meta-interpreter is designed and experimentally implemented that enables automatic synthesis of proof obligations for submitted programs by applying the modified Floyd-Hoare rules. The proof obligations have two separate conjuncts, one for functional correctness and another for the generic safety obligations. Proof of the generic obligations, having provided the actual safety definitions as context, ensures domain-specific safety of program execution in a particular environment and is simpler than full program verification.

Eusterbrock, Jutta↗
NASA NTRS2004

Synthesizing 3D Surfaces from Parameterized Strip Charts

We believe 3D information visualization has the power to unlock new levels of productivity in the monitoring and control of complex processes. Our goal is to provide visual methods to allow for rapid human insight into systems consisting of thousands to millions of parameters. We explore this hypothesis in two complex domains: NASA program management and NASA International Space Station (ISS) spacecraft computer operations. We seek to extend a common form of visualization called the strip chart from 2D to 3D. A strip chart can display the time series progression of a parameter and allows for trends and events to be identified. Strip charts can be overlayed when multiple parameters need to visualized in order to correlate their events. When many parameters are involved, the direct overlaying of strip charts can become confusing and may not fully utilize the graphing area to convey the relationships between the parameters. We provide a solution to this problem by generating 3D surfaces from parameterized strip charts. The 3D surface utilizes significantly more screen area to illustrate the differences in the parameters and the overlayed strip charts, and it can rapidly be scanned by humans to gain insight. The selection of the third dimension must be a parallel or parameterized homogenous resource in the target domain, defined using a finite, ordered, enumerated type, and not a heterogeneous type. We demonstrate our concepts with examples from the NASA program management domain (assessing the state of many plans) and the computers of the ISS (assessing the state of many computers). We identify 2D strip charts in each domain and show how to construct the corresponding 3D surfaces. The user can navigate the surface, zooming in on regions of interest, setting a mark and drilling down to source documents from which the data points have been derived. We close by discussing design issues, related work, and implementation challenges.

Robinson, Peter I.↗
NASA NTRS1987

Ion-exchange chromatography separates activities synthesizing and degrading fructose 2,6-bisphosphate from C3 and C4 leaves but not from rat liver

Fructose-6-phosphate,2-kinase and fructose-2,6-bisphosphatase were separated on the basis of charge from leaves of C3 (spinach, lettuce, and pea) and C4 (sorghum and amaranthus) plants but not from rat liver--a tissue known to contain a bifunctional enzyme with both activities. [2-32P]Fructose 2,6-bisphosphate binding experiments also suggest that the major forms of these activities reside on different proteins in leaves.

NASA Discipline Exobiology↗
NASA NTRS1993

Prebiotic syntheses of vitamin coenzymes: I. Cysteamine and 2-mercaptoethanesulfonic acid (coenzyme M)

The reaction of NH3 and SO3(2-) with ethylene sulfide is shown to be a prebiotic synthesis of cysteamine and 2-mercaptoethanesulfonic acid (coenzyme M). A similar reaction with ethylene imine would give cysteamine and taurine. Ethylene oxide would react with NH3 and N(CH3)3 to give the phospholipid components ethanolamine and choline. The prebiotic sources of ethylene sulfide, ethylene imine and ethylene oxide are discussed. Cysteamine itself is not a suitable thioester for metabolic processes because of acyl transfer to the amino group, but this can be prevented by using an amide of cysteamine. The use of cysteamine in coenzyme A may have been due to its prebiotic abundance. The facile prebiotic synthesis of both cysteamine and coenzyme M suggests that they were involved in very early metabolic pathways.

NASA Discipline Number 52-20↗
NASA NTRS1997

Information transfer from peptide nucleic acids to RNA by template-directed syntheses

Peptide nucleic acids (PNAs) are uncharged analogs of DNA and RNA in which the ribose-phosphate backbone is substituted by a backbone held together by amide bonds. PNAs are interesting as models of alternative genetic systems because they form potentially informational base paired helical structures. A PNA C10 oligomer has been shown to act as template for efficient formation of oligoguanylates from activated guanosine ribonucleotides. In a previous paper we used heterosequences of DNA as templates in sequence-dependent polymerization of PNA dimers. In this paper we show that information can be transferred from PNA to RNA. We describe the reactions of activated mononucleotides on heterosequences of PNA. Adenylic, cytidylic and guanylic acids were incorporated into the products opposite their complement on PNA, although less efficiently than on DNA templates.

NASA Discipline Exobiology↗
NASA NTRS1997

Information transfer from DNA to peptide nucleic acids by template-directed syntheses

Peptide nucleic acids (PNAs) are analogs of nucleic acids in which the ribose-phosphate backbone is replaced by a backbone held together by amide bonds. PNAs are interesting as models of alternative genetic systems because they form potentially informational base paired helical structures. Oligocytidylates have been shown to act as templates for formation of longer oligomers of G from PNA G2 dimers. In this paper we show that information can be transferred from DNA to PNA. DNA C4T2C4 is an efficient template for synthesis of PNA G4A2G4 using G2 and A2 units as substrates. The corresponding synthesis of PNA G4C2G4 on DNA C4G2C4 is less efficient. Incorporation of PNA T2 into PNA products on DNA C4A2C4 is the least efficient of the three reactions. These results, obtained using PNA dimers as substrates, parallel those obtained using monomeric activated nucleotides.

NASA Discipline Exobiology↗