Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program 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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

A Gene Cluster That Encodes Histone Deacetylase Inhibitors Contributes to Bacterial Persistence and Antibiotic Tolerance in Burkholderia thailandensis

Persister cells are genetically identical variants in a bacterial population that have phenotypically modified their physiology to survive environmental stress. In bacterial pathogens, persisters are able to survive antibiotic treatment and reinfect patients in a frustrating cycle of chronic infection. To better define core persistence mechanisms for therapeutics development, we performed transcriptomics analyses of Burkholderia thailandensis populations enriched for persisters via three methods: flow sorting for low proton motive force, meropenem treatment, and culture aging. Although the three persister-enriched populations generally displayed divergent gene expression profiles that reflect the multimechanistic nature of stress adaptations, there were several common gene pathways activated in two or all three populations. These include polyketide and nonribosomal peptide synthesis, Clp proteases, mobile elements, enzymes involved in lipid metabolism, and ATP binding cassette (ABC) transporter systems. In particular, identification of genes that encode polyketide synthases (PKSs) and fatty acid catabolism factors indicates that generation of secondary metabolites, natural products, and complex lipids could be part of the metabolic program that governs the persistence state. We also found that loss-of-function mutations in the PKS-encoding gene locus BTH_I2366, which plays a role in biosynthesis of histone deacetylase (HDAC) inhibitors, resulted in increased sensitivity to antibiotics targeting DNA replication. Furthermore, treatment of multiple bacterial pathogens with a fatty acid synthesis inhibitor, CP-640186, potentiated the efficacy of meropenem against the persister populations. Altogether, our results suggest that bacterial persisters may exhibit an outwardly dormant physiology but maintain active metabolic processes that are required to maintain persistence.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2020

Mediated Fuel Cells: Soluble Redox Mediators and their Applications to Electrochemical Reduction of O2 and Oxidation of H2, Alcohols, Biomass, and Complex Fuels

Mediated fuel cells are electrochemical devices that produce power in a manner similar to that of conventional proton exchange membrane fuel cells (PEMFCs). They differ from PEMFCs in their use of redox mediators dissolved in liquid electrolyte to conduct oxidation of the fuel or reduction of the oxidant, typically O2, in bulk solution. The mediators transport electrons (and often protons) between the electrode and the catalysts or chemical reagents in solution. This strategy can help overcome many of the challenges associated with conventional fuel cells, including managing complex multi-phase reactions (as in O2 reduction) or the use of challenging or heterogeneous fuels, such as hydrocarbons, polyols and biomass. Mediators are also commonly used in enzymatic fuel cells, where direct electron transfer from the electrode to the enzymatic active site can be slow. This review provides a comprehensive survey of historical and recent mediated fuel cell efforts, including applications using chemical and enzymatic catalysts. Our research on in this field has been exploring a number of different topics and has been supported different funding sources: the Center for Molecular Electrocatalysis, an Energy Frontier Research Center funded by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences (molecular mediators for catalytic oxygen reduction); the Great Lakes Bioenergy Research Center, DOE Office of Science DE-SC0018409 (research on biomass-based fuels; U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences, Catalysis Program, DE-FG02-05ER15690 (copper-catalyzed oxidation reactions); and the NIH NIGMS, R01 GM100143 and R35 GM134929 (use of molecular mediators for organic chemical synthesis).

Anson, Colin W.↗
DOE OSTI2023

Architecture-Preserving Provable Repair of Deep Neural Networks

Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image recognition. However, DNNs are far from infallible, and incorrect behavior of DNNs can have disastrous real-world consequences. This paper addresses the problem of architecture-preserving V-polytope provable repair of DNNs. A V-polytope defines a convex bounded polytope using its vertex representation. V-polytope provable repair guarantees that the repaired DNN satisfies the given specification on the infinite set of points in the given V-polytope. An architecture-preserving repair only modifies the parameters of the DNN, without modifying its architecture. The repair has the flexibility to modify multiple layers of the DNN, and runs in polynomial time. It supports DNNs with activation functions that have some linear pieces, as well as fully-connected, convolutional, pooling and residual layers. To the best our knowledge, this is the first provable repair approach that has all of these features. We implement our approach in a tool called APRNN. Using MNIST, ImageNet, and ACAS Xu DNNs, we show that it has better efficiency, scalability, and generalization compared to PRDNN and REASSURE, prior provable repair methods that are not architecture preserving.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1982

The 1981 NASA/ASEE Summer Faculty Fellowship Program: Research reports

Research reports related to spacecraft industry technological advances, requirements, and applications were considered. Some of the topic areas addressed were: (1) Fabrication, evaluation, and use of high performance composites and ceramics, (2) antenna designs, (3) electronics and microcomputer applications and mathematical modeling and programming techniques, (4) design, fabrication, and failure detection methods for structural materials, components, and total systems, and (5) chemical studies of bindary organic mixtures and polymer synthesis. Space environment parameters were also discussed.

Karr, G. R.↗
NASA NTRS1982

Eigenspace techniques for active flutter suppression

Mathematical models to be used in the control system design were developed. A computer program, which takes aerodynamic and structural data for the ARW-2 aircraft and converts these data into state space models suitable for use in modern control synthesis procedures, was developed. Reduced order models of inboard and outboard control surface actuator dynamics and a second order vertical wind gust model were developed. An analysis of the rigid body motion of the ARW-2 was conducted. The deletion of the aerodynamic lag states in the rigid body modes resulted in more accurate values for the eigenvalues associated with the plunge and pitch modes than were obtainable if the lag states were retained.

Garrard, W. L.↗
NASA NTRS1992

Mars trajectory options for the Space Exploration Initiative

The Mission Definition Office within the Lunar and Mars Exploration Program Office at the NASA/Johnson Space Center has the responsibility for leading the Space Exploration Initiative mission design activities across the Agency. In support of the Synthesis Group architecture analyses, a mission concept that includes fast one-way transits to and from Mars, a powered flyby abort, and an early return option has been developed. This paper will describe this integrated approach to Mars mission planning.

Soldner, John K.↗
NASA NTRS1996

Conceptual Design Oriented Wing Structural Analysis and Optimization

Airplane optimization has always been the goal of airplane designers. In the conceptual design phase, a designer's goal could be tradeoffs between maximum structural integrity, minimum aerodynamic drag, or maximum stability and control, many times achieved separately. Bringing all of these factors into an iterative preliminary design procedure was time consuming, tedious, and not always accurate. For example, the final weight estimate would often be based upon statistical data from past airplanes. The new design would be classified based on gross characteristics, such as number of engines, wingspan, etc., to see which airplanes of the past most closely resembled the new design. This procedure works well for conventional airplane designs, but not very well for new innovative designs. With the computing power of today, new methods are emerging for the conceptual design phase of airplanes. Using finite element methods, computational fluid dynamics, and other computer techniques, designers can make very accurate disciplinary-analyses of an airplane design. These tools are computationally intensive, and when used repeatedly, they consume a great deal of computing time. In order to reduce the time required to analyze a design and still bring together all of the disciplines (such as structures, aerodynamics, and controls) into the analysis, simplified design computer analyses are linked together into one computer program. These design codes are very efficient for conceptual design. The work in this thesis is focused on a finite element based conceptual design oriented structural synthesis capability (CDOSS) tailored to be linked into ACSYNT.

Lau, May Yuen↗
NASA NTRS2001

Brain-Pituitary Axis Development In The CEBAS Minimodule

The CEBAS minimodule system is a man-made aquatic ecological system that incorporates animals, plants, snails, and microorganisms. It has been proposed that CEBAS will lead to a multigenerational experimental facility for utilization in a space station as well as for the development of an aquatic CELSS to produce animal and plant biomass for human nutrition. In this context, research on the reproductive biology of the organisms within the system should receive the highest priority. 1bus, the goals of our proposal were to provide information on space-flight-induced changes in the brain-pituitary axis and in the organs that receive information from the environment in the vertebrate selected for the CEBAS Minimodule program, the freshwater teleost Xiphophorus helleri (the swordtail). We studied the development of the brain- pituitary axis in neonates, immature and mature swordtails using histology, cytology, immunohistochemistry, morphometry, and in situ histochemistry to evaluate the synthesis, storage, and release of neurotransmitters, neuroregulatory peptides, neurohormones, and pituitary hormones as well as the structure of the organs and cells that produce, store, or are the target organs for these substances. We flew experiments in the CEBAS-minimodule on two shuttle missions, STS-89 and STS-90. In both flights four gravid females and about 200 juvenile (7 days old) swordtails (Xiphophorus helleri) constituted the aquatic vertebrates to be studied, in addition to the plants and snails that were studied by other team members. In a sample sharing agreement developed with Dr. Volker Bluem, organizer of the CEBAS research program, we received a small number of the juveniles and shared the brains of two adult females.

Schreibman, Martin P.↗
DOE OSTI2026

Achieving Phase Control of Polymorphic Tungsten Carbide Catalysts

The polymorphism of tungsten carbide (W x C) and the challenge of selectively synthesizing pure phases have impeded a precise understanding of catalytic structure−property relationships. This study establishes a framework for phase-selective synthesis of W x C through controlling carburization kinetics. By maintaining particle sizes below 10 nm, β-W 2 C is selectively synthesized using gaseous carbon precursors (CH 4 /H 2 ) via temperature-programmed carburization (TPC). Our findings reveal that W 2 C stabilization is predominantly dictated by particle size and carburization kinetics rather than support interactions, providing a tunable approach to synthesize tungsten carbide catalysts. We elucidate the mechanistic pathway of WO x carburization, demonstrating that CH 4 activation occurs at mild temperatures via lattice oxygen. Our reactor studies establish ex situ synthesized β- W 2 C as an active and stable catalyst for the reverse water-gas shift (RWGS) reaction. However, the need for passivation and reduction pretreatment leads to a complex surface structure with diminished intrinsic activity. In contrast, our in situ synthesis protocol for β-W 2 C eliminates the need for passivation and exhibits increased CO STY during RWGS, illustrating the intrinsically higher activity compared to metallic W, WC 1−x (0.5 < x < 1), and stoichiometric WC.

CO2 conversion↗
DOE OSTI2023

Support for the Second MOSAiC Science Conference support (Final Report)

This is a final report for a conference support project. The US Department of Energy’s Atmospheric System Research Program provided funding support for the Second MOSAiC Science Conference. MOSAiC is the Multidisciplinary drifting Observatory for the Study of Arctic Climate, a yearlong, international expedition into the rapidly changing Arctic sea ice. The expedition collected measurements of the atmosphere, sea ice, and ocean to study coupled physical, chemical, and biological processes. The Second MOSAiC Science Conference provided an important opportunity to bring the MOSAiC-interested community together to discuss MOSAiC data, scientific analyses, synthesis, modeling activities, and more. Overall, the conference was a significant success and has motivated and facilitated a great deal of ongoing research. The support provide by this project was used along with support from other agencies to implement a participant support program that enabled participation in the conference by a diverse collection of researchers from many different countries and disciplines, 60% of whom were female. Most of these participants were Early Career Researchers. Participation by these researchers was vital to the overall success of the conference and has helped to build leadership and research skills for the participants that will serve both themselves and the broader scientific community in the future.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2002

Low Melt Viscosity Resins for Resin Transfer Molding

In recent years, resin transfer molding (RTM) has become one of the methods of choice for high performance composites. Its cost effectiveness and ease of fabrication are major advantages of RTM. RTM process usually requires resins with very low melt viscosity (less than 10 Poise). The optimum RTM resins also need to display high thennal-oxidative stability, high glass transition temperature (T(sub g)), and good toughness. The traditional PMR-type polyimides (e.g. PMR-15) do not fit this requirement, because the viscosities are too high and the nadic endcap cures too fast. High T(sub g), low-melt viscosity resins are highly desirable for aerospace applications and NASA s Reusable Launch Vehicle (RLV) program. The objective of this work is to prepare low-melt viscosity polyimide resins for RTM or resin film infusion (RFI) processes. The approach involves the synthesis of phenylethynyl-terminated imide oligomers. These materials have been designed to minimize their melt viscosity so that they can be readily processed. During the cure, the oligomers undergo both chain extension and crosslinking via the thermal polymerization of the phenylethynyl groups. The Phenylethynyl endcap is preferred over the nadic group due to its high curing temperature, which provides broader processing windows. This work involved the synthesis and polymerization of oligomers containing zig-zag backbones and twisted biphenyl structures. Some A-B type precursors which possessed both nitro and anhydride functionality, or both nitro and amine functionality, were also synthesized in order to obtain the well defined oligomers. The resulting zig-zag structured oligomers were then end-capped with 4-phenylethynylphthalic anhydride (PEPA) for further cure. The properties of these novel imide oligomers are evaluated.

Harris, Frank W.↗
NASA NTRS2005

List Models of Procedure Learning

This paper presents a new theory of the initial stages of skill acquisition and then employs the theory to model current and future training programs for fight management systems (FMSs) in modern commercial airliners like the Boeing 777 and the Airbus A320. The theoretical foundations for the theory are a new synthesis of the literature on human memory and the latest version of the ACT-R theory of skill acquisition.

Matessa, Michael P.↗
NASA NTRS2012

Modeling of Laser Vaporization and Plume Chemistry in a Boron Nitride Nanotube Production Rig

Flow in a pressurized, vapor condensation (PVC) boron nitride nanotube (BNNT) production rig is modeled. A laser provides a thermal energy source to the tip of a boron ber bundle in a high pressure nitrogen chamber causing a plume of boron-rich gas to rise. The buoyancy driven flow is modeled as a mixture of thermally perfect gases (B, B2, N, N2, BN) in either thermochemical equilibrium or chemical nonequilibrium assuming steady-state melt and vaporization from a 1 mm radius spot at the axis of an axisymmetric chamber. The simulation is intended to define the macroscopic thermochemical environment from which boron-rich species, including nanotubes, condense out of the plume. Simulations indicate a high temperature environment (T > 4400K) for elevated pressures within 1 mm of the surface sufficient to dissociate molecular nitrogen and form BN at the base of the plume. Modifications to Program LAURA, a finite-volume based solver for hypersonic flows including coupled radiation and ablation, are described to enable this simulation. Simulations indicate that high pressure synthesis conditions enable formation of BN vapor in the plume that may serve to enhance formation of exceptionally long nanotubes in the PVC process.

Gnoffo, Peter A.↗
NASA NTRS1990

Automated synthesis of sequence invariant state machines

A computer aided design (CAD) tool for the design of very large scale integration (VLSI) synchronous sequential controllers is presented. Both the design and layout of the state machine are automatically generated. The program is process independent allowing a choice of design rules to base generation upon. An incremental layout creation approach was implemented which makes the tool useful in a wide range of layout applications. Flow table descriptions are input to characterize the desired machine and a layout archive is output.

Buehler, D.↗
DOE OSTI2022

Techno-Economic Analysis of Natural Gas Fuel Cell Plant Configurations

The United States (U.S.) Department of Energy (DOE) Office of Fossil Energy and Carbon Management (FECM) and the National Energy Technology Laboratory (NETL) have been pursuing the development of solid oxide fuel cell (SOFC) technology to enable future power generation systems that are consistent with the cornerstones of the DOE mission—to ensure America’s security and prosperity by addressing its energy and environmental challenges through transformative science and technology solutions. The U.S. DOE FECM SOFC Program is currently focused on the development of low-cost, highly efficient, and reliable SOFC power systems. NETL’s SOFC technology development roadmap is aligned with near-term market opportunities in the distributed generation sector to validate and advance the technology while paving the way for utility-scale (> 50 MW) natural gas and coal-derived synthesis gas-fueled applications via progressively larger system demonstrations. The present study represents a part of a series of system evaluations being developed at NETL to aid in prioritizing technological advances along research pathways to the realization of utility-scale SOFC systems, a transformational goal of the fuel cell program. In particular, the system performance of utility-scale natural gas fuel cell (NGFC) systems with and without carbon dioxide (CO 2 ) capture is presented. The objective of the study is to provide targeted research and development (R&D) guidance to the FECM SOFC Program and SOFC commercial developers to accelerate technology deployment.

03 NATURAL GAS↗
NASA NTRS2024

Global Optimization via Quadratic Disjunctive Programming for Water Networks Design with Energy Recovery

Generalized disjunctive programming (GDP) models with bilinear and concave constraints, often seen in water network design, are challenging optimization problems. This work proposes quadratic and piecewise linear approximations for nonlinear terms to reformulate GDP models into quadratic GDP (QGDP) models that suitable solvers may solve more efficiently. We illustrate the benefits of the quadratic reformulation with a water treatment network design problem in which nonconvexities arise from bilinear terms in the mixers’ mass balances and concave investment cost functions of treatment units. Given the similarities with water network design problems, we suggest quadratic approximation for the GDP model for the optimal design of a large-scale reverse electrodialysis (RED) process. This power technology can recover energy from salinity differences between by-product streams of the water sector, such as desalination brine mixed with regenerated wastewater effluents. The solver Gurobi excels in handling QGDP problems, but weighing the problem’s precision and tractability balance is crucial. The piecewise linear approximation yields more accurate, yet larger QGDP models that may require longer optimization times in large-scale process synthesis problems.

Water Networks↗