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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Development of a figure-of-merit for space missions

The concept of a quantitative figure-of-merit (FOM) to evaluate different and competing options for space missions is further developed. Over six hundred individual factors are considered. These range from mission orbital mechanics to in-situ resource utilization (ISRU/ISMU) plants. The program utilizes a commercial software package for synthesis and visual display; the details are completely developed in-house. Historical FOM's are derived for successful space missions such as the Surveyor, Voyager, Apollo, etc. A cost FOM is also mentioned. The bulk of this work is devoted to one specific example of Mars Sample Return (MSR). The program is flexible enough to accommodate a variety of evolving technologies. Initial results show that the FOM for sample return is a function of the mass returned to LEO, and that missions utilizing ISRU/ISMU are far more cost effective than those that rely on all earth-transported resources.

Preiss, Bruce↗
NASA NTRS1986

Modal Analysis and Gain Estimation

Interactive program yields eigenvectors, eigenvalues, and gains for feedback-control systems. Interactive Modal Analysis and Gain Estimation System (IMAGES) provides eigensystem synthesis capability to control-system engineer. IMAGES modular and flexible. Capable of both modal and spectral synthesis of multi-input control systems. IMAGES user-oriented, interactive program that frees engineer to concentrate on eigensystem synthesis. Engineer provided with scratch-pad capability that speeds control-system design.

Jones, R. L.↗
DOE OSTI2026

Metamaterials as a Platform for the Development of Novel Materials for Energy Applications

To explore the fundamental properties of metamaterials (MMs) / metasurfaces and their potential for control of energy at the sub‐wavelength scale in support of the mission of the Department of Energy and the office of Basic Energy Sciences. Electromagnetic metamaterials provide a platform for the discovery and design of new materials with novel structures, functions, and properties. The PI proposes to advance the knowledge base of these materials through fundamental investigations of the experimental and theoretical properties of metamaterials for the discovery, prediction and design of new materials with novel structures, functions, and properties. The proposed research activities emphasize a complete basic research program including the conceptual / computational design, fabrication / synthesis of the materials, and the characterization and analysis of their electromagnetic properties. The proposed project explores the fundamental properties of metamaterials / metasurfaces and their potential for energy applications. There are three main topics which will be investigated: 1) Dispersion engineering with metamaterials and metasurfaces, 2) Epsilon near zero metamaterial absorbers and emitters, and 3) All dielectric metamaterials. The program implements a complete basic research program consisting of theory / design, modeling, characterization, and analysis, in order to fully characterize metamaterials and metasurfaces, while at the same time minimizing iterations necessary to achieve the proposal goals.

36 MATERIALS SCIENCE↗
NASA NTRS1985

A research program in active control/aeroelasticity

In this research period a synthesis methodology for multifunctional robust aeroservoelastic systems was developed. The development consisted of the following stages: (1) development of an universal diagram to determine phase and gain margins of a multi-input multi-output (MIMO) system using singular value based stability margin criteria; (2) determination of singular value gradients with respect to design parameters and their application to improve stability margins of multiloop system; and (3) application of constrained optimization techniques to synthesize a low order robust controller for a high order MIMO aeroservoelastic system while satisfying several design constraints on the dynamic loads and responses and stability margins at the plant input and output. Overall research activities are summarized.

Source record↗
DOE OSTI2022

An MLIR-based Compiler Flow for System-Level Design and Hardware Acceleration

The generation of custom hardware accelerators for applications implemented within high-level productive programming frameworks requires considerable manual effort. To automate this process, we introduce \sodaopt, a compiler tool that extends the MLIR infrastructure. \sodaopt automatically searches, outlines, tiles, and pre-optimizes relevant code regions to generate high-quality accelerators through high-level synthesis. \sodaopt can support any high-level programming framework and domain-specific language that interface with the MLIR infrastructure. By leveraging MLIR, \sodaopt solves compiler optimization problems with specialized abstractions. Backend synthesis tools connect to \sodaopt through progressive intermediate representation lowerings. \sodaopt interfaces to a design space exploration engine to identify the combination of compiler optimization passes and options that provides high-performance generated designs for different backends and targets. We demonstrate the practical applicability of the compilation flow by exploring the automatic generation of accelerators for deep neural networks operators outlined at arbitrary granularity and by combining outlining with tiling on large convolution layers. Experimental results with kernels from the PolyBench benchmark show that \sodaopt high-level optimizations improve execution delays of synthesized accelerators up to 60x. We also show that for the selected kernels, our solution outperforms the current of state-of-the art in more than 70% of the benchmarks and provides better average speedup in 55% of them.

Bohm Agostini, Nicolas↗
NASA NTRS1991

Compile-time estimation of communication costs in multicomputers

An important problem facing numerous research projects on parallelizing compilers for distributed memory machines is that of automatically determining a suitable data partitioning scheme for a program. Any strategy for automatic data partitioning needs a mechanism for estimating the performance of a program under a given partitioning scheme, the most crucial part of which involves determining the communication costs incurred by the program. A methodology is described for estimating the communication costs at compile-time as functions of the numbers of processors over which various arrays are distributed. A strategy is described along with its theoretical basis, for making program transformations that expose opportunities for combining of messages, leading to considerable savings in the communication costs. For certain loops with regular dependences, the compiler can detect the possibility of pipelining, and thus estimate communication costs more accurately than it could otherwise. These results are of great significance to any parallelization system supporting numeric applications on multicomputers. In particular, they lay down a framework for effective synthesis of communication on multicomputers from sequential program references.

Gupta, Manish↗
NASA NTRS1987

Automation of Shuttle Tile Inspection - Engineering methodology for Space Station

The Space Systems Integration and Operations Research Applications (SIORA) Program was initiated in late 1986 as a cooperative applications research effort between Stanford University, NASA Kennedy Space Center, and Lockheed Space Operations Company. One of the major initial SIORA tasks was the application of automation and robotics technology to all aspects of the Shuttle tile processing and inspection system. This effort has adopted a systems engineering approach consisting of an integrated set of rapid prototyping testbeds in which a government/university/industry team of users, technologists, and engineers test and evaluate new concepts and technologies within the operational world of Shuttle. These integrated testbeds include speech recognition and synthesis, laser imaging inspection systems, distributed Ada programming environments, distributed relational database architectures, distributed computer network architectures, multimedia workbenches, and human factors considerations.

Wiskerchen, M. J.↗
DOE OSTI2022

Bi-metallic Nanoparticle Synthesis for Advanced Manufactured Melt Wires

Science Undergraduate Laboratory Internship (SULI) Program Report: Additive manufacturing (AM) based on direct-write technologies has emerged as the predominant method for the fabrication of passive sensors for the harsh operating environments seen in a nuclear reactor. Through the modification of previous methods, Idaho National Laboratory and Villanova University have improved the synthesis process for AM feedstock, which will allow for the improvement of advanced nuclear sensors and instrumentation. A major part of this work includes the synthesis process of relevant AM compatible feedstock to support the development, fabrication, and testing of AM sensors for peak temperature detection. For this report, bismuth, bismuth/platinum, tin, tin/silver, tin/zinc, indium, and indium/silver bi-metallic nanoparticles were synthesized using the polyol method, which will enhance temperature sensitivity and allow for miniaturization. To characterize the synthesized nanoparticles, we used x-ray fluorescence to evaluate the elemental composition of the nanoparticles and differential scanning calorimetry and thermogravimetric analysis to determine the melting point and mass loss of the samples. Results show that bi-metallic nanoparticles are a viable option for the fabrication of high-resolution AM melt wires. The temperature sensitivity can be brought to within 5°C and melt wires can be fabricated that are in the micrometer scale. This will expand the range of irradiation experiments melt wires can be used for and the measured temperature will be significantly more accurate.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS1999

Systems Engineering Design Via Experimental Operation Research: Complex Organizational Metric for Programmatic Risk Environments (COMPRE)

Unique and innovative graph theory, neural network, organizational modeling, and genetic algorithms are applied to the design and evolution of programmatic and organizational architectures. Graph theory representations of programs and organizations increase modeling capabilities and flexibility, while illuminating preferable programmatic/organizational design features. Treating programs and organizations as neural networks results in better system synthesis, and more robust data modeling. Organizational modeling using covariance structures enhances the determination of organizational risk factors. Genetic algorithms improve programmatic evolution characteristics, while shedding light on rulebase requirements for achieving specified technological readiness levels, given budget and schedule resources. This program of research improves the robustness and verifiability of systems synthesis tools, including the Complex Organizational Metric for Programmatic Risk Environments (COMPRE).

Mog, Robert A.↗
NASA NTRS2009

Atmospheric Aerosol Properties and Climate Impacts

This report critically reviews current knowledge about global distributions and properties of atmospheric aerosols, as they relate to aerosol impacts on climate. It assesses possible next steps aimed at substantially reducing uncertainties in aerosol radiative forcing estimates. Current measurement techniques and modeling approaches are summarized, providing context. As a part of the Synthesis and Assessment Product in the Climate Change Science Program, this assessment builds upon recent related assessments, including the Fourth Assessment Report of the Intergovernmental Panel on Climate Change (IPCC AR4, 2007) and other Climate Change Science Program reports. The objectives of this report are (1) to promote a consensus about the knowledge base for climate change decision support, and (2) to provide a synthesis and integration of the current knowledge of the climate-relevant impacts of anthropogenic aerosols for policy makers, policy analysts, and general public, both within and outside the U.S government and worldwide.

Chin, Mian↗
NASA NTRS1994

Developing a workstation-based, real-time simulation for rapid handling qualities evaluations during design

This paper describes the Rapid Aircraft DynamIcs AssessmeNt (RADIAN) project - an integration of the Aircraft SYNThesis (ACSTNT) design code with the USAD DATCOM code that estimates stability derivatives. Both of these codes are available to universities. These programs are then linked to flight simulation and flight controller synthesis tools and resulting design is evaluated on a graphics workstation. The entire process reduces the preliminary design time by an order of magnitude and provides an initial handling qualities evaluation of the design coupled to a control law. The integrated design process is applicable to both conventional aircraft taken from current textbooks and to unconventional designs emphasizing agility and propulsive control of attitude. The interactive and concurrent nature of the design process has been well received by industry and by design engineers at NASA. The process is being implemented into the design curriculum and is being used by students who view it as a significant advance over prior methods.

Anderson, Frederick↗
NASA NTRS1991

Lunar Production and Application of Solar Cells, and Synthesis of Diamond Film

Two projects which are carried out under the Summer Faculty Fellowship Program-1991 are discussed. A conceptual design of a solar cell manufacturing plant on a lunar base is discussed. This is a large program that requires a continuous and expanded effort, the present status of which is reflected here. An experiment on the synthesis of diamond film is discussed. Encouraging, but not yet conclusive evidence has been obtained on a new method to synthesize diamond film. The procedures and observations are presented. A third project is an analysis of the solar cell performance over five years on the moon based on Apollo missions. A paper has been completed and will be submitted to the journal Solar Cells for publication.

Fang, P. H.↗
NASA NTRS2006

Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns

Automated code synthesis is a constructive process that can be used to generate programs from specifications. It can, thus, greatly reduce the software development cost and time. The use of formal code synthesis approach for software generation further increases the dependability of the system. Though code synthesis has many potential benefits, the synthesis techniques are still limited. Meanwhile, components are widely used in embedded system development. Applying code synthesis to component based software development (CBSD) process can greatly enhance the capability of code synthesis while reducing the component composition efforts. In this paper, we discuss the issues and techniques for applying deductive code synthesis techniques to CBSD. For deductive synthesis in CBSD, a rule base is the key for inferring appropriate component composition. We use the code patterns to guide the development of rules. Code patterns have been proposed to capture the typical usages of the components. Several general composition operations have been identified to facilitate systematic composition. We present the technique for rule development and automated generation of new patterns from existing code patterns. A case study of using this method in building a real-time control system is also presented.

automated code synthesis↗
DOE OSTI2022

Low Cost High Efficiency Photovoltaics Using Semiconductor Nanocrystals: Cooperative Research and Development CRADA Number CRD-15-00598 (Final Report)

Collaboration will occur between NREL and KIMM in the area of semiconductor nanocrystals for use in advanced solar photon energy conversion strategies. The project takes advantage of the unique capabilities and expertise regarding the incorporation of quantum dots (QD) into solar energy technologies that are available at NREL within the BES-funded programs. KIMM has unique expertise in the synthesis of new types of nanocrystals as well as advanced processes for solution processing.

14 SOLAR ENERGY↗
DOE OSTI2024

A Novel Integrated Fermentation Process with Engineered Microbial Consortia for Butanol Production from Lignocellulose Sugars without CO 2 Emission

The goal of this project was to develop a synthetic microbial consortium consisting of a lactic acid bacterium, a carboxydotrophic acetogen, and a solventogenic clostridia for the production of n butanol, an advanced biofuel and industrial chemical, from lignocellulose sugars (mainly glucose and xylose) and formate (produced from CO 2 by electrochemical reduction) in an integrated bioprocess (biorefinery), which can provide an effective solution to the technical challenges in developing energy and carbon optimized synthesis for the bioeconomy and achieve the program objectives of ARPA-E. The project focused on the design, modeling and construction of synthetic microbial consortia consisting of three bacterial species to maximize carbon conversion and butanol production with a 100% theoretical product yield from glucose and zero or negative CO 2 emission.

09 BIOMASS FUELS↗
NASA NTRS1979

A graph-theoretic method to quantify the airline route authority

The paper introduces a graph-theoretic method to quantify the legal statements in route certificate which specifies the airline routing restrictions. All the authorized nonstop and multistop routes, including the shortest time routes, can be obtained, and the method suggests profitable route structure alternatives to airline analysts. This method to quantify the C.A.B. route authority was programmed in a software package, Route Improvement Synthesis and Evaluation, and demonstrated in a case study with a commercial airline. The study showed the utility of this technique in suggesting route alternatives and the possibility of improvements in the U.S. route system.

Chan, Y.↗
NASA NTRS1980

Logic synthesis from DDL description

The implementation of DDLTRN and DDLSIM programs on SEL-2 computer system is reported. These programs were tested with DDL descriptions of various complexity. An algorithm to synthesize the combinational logic using the cells available in the standard IC cell library was formulated. The algorithm is implemented as a FORTRAN program and a description of the program is given.

Shiva, S. G.↗