Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “synthesis and processing”

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 55 records · Page 3

Product-oriented Software Certification Process for Software Synthesis

The purpose of this document is to propose a product-oriented software certification process to facilitate use of software synthesis and formal methods. Why is such a process needed? Currently, software is tested until deemed bug-free rather than proving that certain software properties exist. This approach has worked well in most cases, but unfortunately, deaths still occur due to software failure. Using formal methods (techniques from logic and discrete mathematics like set theory, automata theory and formal logic as opposed to continuous mathematics like calculus) and software synthesis, it is possible to reduce this risk by proving certain software properties. Additionally, software synthesis makes it possible to automate some phases of the traditional software development life cycle resulting in a more streamlined and accurate development process.

Nelson, Stacy↗

Plasma Chemical Conversion and Resource Generation Beyond Low-Earth Orbit

As humanity gears up for its return to the moon after more than half a century, collaborative efforts between NASA, Artemis Accords Partners, and private industry are underway to establish the necessary infrastructure and technologies for lunar habitation and eventual Mars exploration. However, the traditional ISS resupply and waste management model is impractical and economically infeasible for prolonged missions to the Moon and Mars. Advanced chemical conversion technologies are needed to generate vital consumable products from local planetary resources (ISRU) and recycled gasses and waste within semi-closed loop life-support systems. Low-temperature plasma reactors are emerging power-to-gas technologies with the potential to facilitate various chemical synthesis processes with hardware commonality and redundancy. In plasma-based systems, electrical power is used to ionize a feedstock gas, creating a highly reactive environment that leverages electron excitation chemistry to break stable molecular bonds and form value added products. Unlike thermal chemical processes, plasma reactors operate at non-equilibrium conditions, allowing for lower-temperature operation and instantaneous start-up, making them adaptable to intermittent power availability. Moreover, their scalability permits deployment in both portable astronaut systems and large-scale industrial setups for colonies. One promising application of plasmas is for CO 2 conversion. Carbon dioxide comprises 96% of the Martian atmosphere and is a byproduct of human respiration, which typically must be scrubbed and vented from space habitats. A plasma source integrated with membrane separation technology could generate a stream of oxygen for life support and rocket propellant. CO 2 splitting may also be beneficial as a precursor to manufacture carbon-based products and fuels in situ, like methane, methanol, and polyethylene. Plasma-assisted CO 2 conversion is a simpler case to study without the concern of selectivity and is the first step toward complex chemical synthesis. This work presents preliminary experimental case study from a plasma reactor for CO 2 conversion and casts a vision for the potential of plasma technologies in a sub-architecture for resource production to enable the next generation of human spaceflight activities.

Plasma↗

Experimental Study of Abiotic Organic Synthesis at High Temperature and Pressure Conditions: Carbon Isotope and Mineral Surface Characterizations

Abiotic organic synthesis processes have been proposed as potential mechanisms for methane generation in subseafloor hydrothermal systems on Earth, and on other planets. To better understand the detailed reaction pathways and carbon isotope fractionations in this process under a wide range of physical and chemical conditions, hydrothermal experiments at high temperature (750 C) and pressure (0.55 GPa) were performed using piston cylinder apparatus. Formic acid was used as the source of CO2 and H2, and magnetite was the mineral catalyst. The chemical and carbon isotopic compositions of dissolved organic products were determined by GC-C-MS-IRMS, while organic intermediaries on the mineral catalyst were characterized by Pyrolysis-GC-MS. Among experimental products, dissolved CO2 was the dominant carbon species with a relative abundance of 88 mol%. Dissolved CH4 and C2H6 were also identified with a mole ratio of CH4 over C2H6 of 15:1. No dissolved CO was detected in the experiment, which might be attributable to the loss of H2 through the Au capsule used in the experiments at high temperature and pressure conditions and corresponding conversion of CO to CO2 by the water-gas shift reaction. Carbon isotope results showed that the 13C values of CH4 and C2H6 were -50.3% and -39.3% (V-PDB), respectively. CO2 derived from decarboxylation of formic acid had a (sigma)C-13 value of -19.2%, which was 3.2% heavier than its source, formic acid. The (sigma)C-13 difference between CO2 and CH4 was 31.1%, which was higher than the value of 9.4% calculated from theoretical isotopic equilibrium predictions at experimental conditions, suggesting the presence of a kinetic isotope effect. This number was also higher than the values (4.6 to 27.1%) observed in similar experiments previously performed at 400 C and 50 MPa with longer reaction times. CH4 is 11.0% less enriched in C-13 than C2H6. Alcohols were observed as carbon compounds on magnetite surfaces by Pyrolysis-GC-MS, which confirms the hypothesis regarding the reaction pathways of hydrothermal abiotic organic synthesis proposed by Fu et al. (2007, 2008). In this proposed pathway, hydroxymethylene (-CHOH) groups serve as organic intermediaries on mineral surfaces while dissolved H2 serves as a chain terminator/breaker to generate short chain hydrocarbons and oxygenated compounds. This pathway is different from the carbide polymerization theory of Fischer- Tropsch-type (FTT) synthesis in a gas phase. The observed increase of (sigma)C-13 values of C1 and C2 alkanes with carbon number in our hydrothermal experiments can be readily interpreted by hydroxymethylene pathway, and might be used to differentiate between hydroxymethylene and carbide polymerization pathways. Carbon isotope analysis of alcohols on mineral catalyst surfaces is under way to provide further constraints on formation of organic compounds by FTT in hydrothermal systems.

Fu, Qi↗

STUDIES IN EXPERIMENTAL ORGANIC COSMOCHEMISTRY

Organic synthesis processes, which may have occurred in the primitive earth atmosphere or in comets, produced in the laboratory by methods of electric discharge, uv light and ionizing radiation

ORGANIC CHEMISTRY↗

High temperature resistant composites from bismaleimide resin.

It is shown that bismaleimide/woven fiberglass composites molded at moderate pressures (100 psi) yield void-free laminates of good integrity. The strength of the laminates at room temperature compares favorably with epoxy/glass laminates; at 260 C, the laminates are far superior in oxidative aging to epoxy and silicon laminates. The synthesis, processing, and fabrication of a bismaleide polymer are discussed.

Gilwee, W. J.↗

Hydrogen uses

Brief descriptions are given of some of the present and future uses of hydrogen. Industrial synthesis, process uses, and applications to other sectors of the national economy are also considered.

Manvi, R.↗

Status review of PMR polyimides

The current status of first and second generation PMR polyimides are reviewed. Synthesis, processing, and applications were considered, using prepreg materials based on processable, high temperature resistant polyimides.

Serafini, T. T.↗

Low-speed single-element airfoil synthesis

The use of recently developed airfoil analysis/design computational tools to clarify, enrich and extend the existing experimental data base on low-speed, single element airfoils is demonstrated. A discussion of the problem of tailoring an airfoil for a specific application at its appropriate Reynolds number is presented. This problem is approached by use of inverse (or synthesis) techniques, wherein a desirable set of boundary layer characteristics, performance objectives, and constraints are specified, which then leads to derivation of a corresponding viscous flow pressure distribution. Examples are presented which demonstrate the synthesis approach, following presentation of some historical information and background data which motivate the basic synthesis process.

Mcmasters, J. H.↗

Adaptive Finite Element Technology in Integrated Design and Analysis

An assessment of the potential impact of adaptive finite element technology on the analysis part of the aircraft structural synthesis process is presented. The main conclusion is that adaptive application of the p-version of the finite element method based on indirect error estimation procedures results in substantial cost reduction and increased reliability of the computed data. Adaptivity based on direct a posteriori error estimation has the potential for additional savings.

Szabo, B. A.↗

Amino acids of the Murchison meteorite. II - Five carbon acyclic primary beta-, gamma-, and delta-amino alkanoic acids

The five-carbon acyclic primary beta, gamma, and delta amino alkanoic acids of the Murchison meteorite are studied using gas chromatography-mass spectrometry and ion exchange chromatography. The chromatograms reveal that alpha is the most abundant monoamino alkanoic acid followed by gamma and beta, and an exponential increase in the amount of amino acid is observed as the carbon number increases in the homologous series. The influence of frictional heating, spontaneous thermal decomposition, and radiation of the synthesis of amino acids is examined. The data obtained support an amino acid synthesis process involving random combination of single-carbon precursors.

Cronin, J. R.↗

Chemistry of the solar system: An elementary introductionto cosmochemistry

An introduction is presented to the chemistry of the solar system. The qualitative and quantitative elemental analysis of the solar system is reviewed, and the elemental synthesis processes that led to the formation of the solar system are discussed. The chemical processes of the primordial mixture from which the solar system formed are examined, and the resulting chemical composition of meteorites, asteroids, comets, and planets is described.

Suess, Hans E.↗

Control augmented structural synthesis with dynamic stability constraints

Dynamic stability constraints are included in a computer program that simultaneously synthesizes a structure and its control system. Two measures of stability, the real part of the system complex eigenvalues and the damping ratio, are examined. The procedure for calculating the sensitivities of the two measures of stability to changes in the structure and its control system is explained. The sensitivities are used to formulate an approximate problem that is solved at each design iteration. The effects of structural damping and noncollated controllers on the synthesis process are discussed.

Thomas, H. L.↗

Production of organic compounds in plasmas - A comparison among electric sparks, laser-induced plasmas, and UV light

In order to ascertain the features of organic compound-production in planetary atmospheres under the effects of plasmas and shocks, various mixtures of N2, CH4, and H2 modeling the atmosphere of Titan were subjected to discrete sparks, laser-induced plasmas, and UV radiation. The experimental results obtained suggest that UV photolysis from the plasma is an important organic compound synthesis process, as confirmed by the photolysis of gas samples that were exposed to the light but not to the shock waves emitted by the sparks. The thermodynamic equilibrium theory is therefore incomplete in the absence of photolysis.

Scattergood, Thomas W.↗

Thermally Conductive Fluid Compatible With Hypergols

Proposed thermally conductive fluid thermally couples temperature probe to dry well to monitor temperature of hypergolic fluids. Chemically inert in its intended environment, has terrestrial applications in some organic-chemical synthesis processes.

Kurtz, Gary W.↗

Parallel-vector computation for linear structural analysis and non-linear unconstrained optimization problems

Several parallel-vector computational improvements to the unconstrained optimization procedure are described which speed up the structural analysis-synthesis process. A fast parallel-vector Choleski-based equation solver, pvsolve, is incorporated into the well-known SAP-4 general-purpose finite-element code. The new code, denoted PV-SAP, is tested for static structural analysis. Initial results on a four processor CRAY 2 show that using pvsolve reduces the equation solution time by a factor of 14-16 over the original SAP-4 code. In addition, parallel-vector procedures for the Golden Block Search technique and the BFGS method are developed and tested for nonlinear unconstrained optimization. A parallel version of an iterative solver and the pvsolve direct solver are incorporated into the BFGS method. Preliminary results on nonlinear unconstrained optimization test problems, using pvsolve in the analysis, show excellent parallel-vector performance indicating that these parallel-vector algorithms can be used in a new generation of finite-element based structural design/analysis-synthesis codes.

Nguyen, D. T.↗

Localization using nonindividualized head-related transfer functions

The paper investigates the accuracy of localization by inexperienced listeners of the direction (azimuth and elevation) of wideband noisebursts presented in the free-field or over headphones, with headphone stimuli being synthesized using head-related transfer functions (HRTFs) from a representative subject of Wightman and Kistler (1989). Many subjects showed high rates of front-back and up-down confusions that increased significantly for virtual sources compared to the free-field stimuli. When confusions were resolved, localization of virtual sources was quite accurate and comparable to the free-field sources for 12 out of 16 subjects. The results of this study suggest that, while the interaural cues to horizontal location are robust, the spectral cues considered important for resolving location along a particular cone-of-confusion are distorted by a synthesis process that uses nonindividualized HRTFs.

Wenzel, Elizabeth M.↗

High performance techniques for space mission scheduling

In this paper, we summarize current research at Carnegie Mellon University aimed at development of high performance techniques and tools for space mission scheduling. Similar to prior research in opportunistic scheduling, our approach assumes the use of dynamic analysis of problem constraints as a basis for heuristic focusing of problem solving search. This methodology, however, is grounded in representational assumptions more akin to those adopted in recent temporal planning research, and in a problem solving framework which similarly emphasizes constraint posting in an explicitly maintained solution constraint network. These more general representational assumptions are necessitated by the predominance of state-dependent constraints in space mission planning domains, and the consequent need to integrate resource allocation and plan synthesis processes. First, we review the space mission problems we have considered to date and indicate the results obtained in these application domains. Next, we summarize recent work in constraint posting scheduling procedures, which offer the promise of better future solutions to this class of problems.

Smith, Stephen F.↗

FPGA Based Reconfigurable ATM Switch Test Bed

Various issues associated with "FPGA Based Reconfigurable ATM Switch Test Bed" are presented in viewgraph form. Specific topics include: 1) Network performance evaluation; 2) traditional approaches; 3) software simulation; 4) hardware emulation; 5) test bed highlights; 6) design environment; 7) test bed architecture; 8) abstract sheared-memory switch; 9) detailed switch diagram; 10) traffic generator; 11) data collection circuit and user interface; 12) initial results; and 13) the following conclusions: Advances in FPGA make hardware emulation feasible for performance evaluation, hardware emulation can provide several orders of magnitude speed-up over software simulation; due to the complexity of hardware synthesis process, development in emulation is much more difficult than simulation and requires knowledge in both networks and digital design.

Chu, Pong P.↗