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

An allotment planning concept and related computer software for planning the fixed satellite service at the 1988 space WARC

Described is a two-phase approach to allotment planning suitable for use in establishing the fixed satellite service at the 1988 Space World Administrative Radio Conference (ORB-88). The two phases are (1) the identification of predetermined geostationary arc segments common togroups of administrations, and (2) the use of a synthesis program to identify example scenarios of space station placements. The planning approach is described in detail and is related to the objectives of the confernece. Computer software has been developed to implement the concepts, and a complete discussion on the logic and rationale for identifying predetermined arc segments is given. Example scenarios are evaluated to give guidance in the selection of the technical characteristics of space communications systems to be planned. The allotment planning concept described guarantees in practice equitable access to the geostationary orbit, provides flexibility in implementation, and reduces the need for coordination among administrations.

Miller, Edward F.↗
NASA NTRS1988

High performance composites research at NASA-Langley

Barriers to the more extensive use of advanced composites in heavily loaded structures on commercial transports are discussed from a materials viewpoint. NASA-Langley matrix development activities designed to overcome these barriers are presented. These include the synthesis of processible, tough, durable matrices, the development of resin property/composite property relationships which help guide the synthesis program, and the exploitation of new processing technology to effectively combine reinforcement filament with polymer matrices. Examples of five classes of polymers being investigated as matrix resins at NASA Langley are presented, including amorphous and semicrystalline thermoplastics, lightly crosslinked thermoplastics, semi-interpenetrating networks and toughened thermosets. Relationships between neat resin modulus, resin fracture energy, interlaminar fracture energy, composite compression strength, and post-impact compression strength are shown. Powder and slurry processing techniques are discussed.

Stclair, Terry L.↗
NASA NTRS1987

An allotment planning concept and related computer software for planning the fixed satellite service at the 1988 space WARC

The authors describe a two-phase approach to allotment planning suitable for use in planning the fixed satellite service at the 1988 Space World Administrative radio Conference (ORB-88). The two phases are (1) the identification of predetermined geostationary arc segments common to groups of administrations and (2) the use of a synthesis program to identify example scenarios of space station placements. The planning approach is described in detail and is related to the objectives of the conference. Computer software has been developed to implement the concepts, and the logic and rationale for identifying predetermined arc segments is discussed. Example scenarios are evaluated to give guidance in the selection of the technical characteristics of space communications systems to be planned. The allotment planning concept described guarantees equitable access to the geostationary orbit, provides flexibility in implementation, and reduces the need for coordination among administrations.

Miller, Edward F.↗
NASA NTRS1988

High performance composites research at NASA-Langley

Barriers to the more extensive use of advanced composites in heavily loaded structures on commercial transports are discussed from a materials viewpoint. NASA Langley matrix development activities designed to overcome these barriers are presented. These include the synthesis of processable, tough, durable matrices, the development of resin-property/composite-property relationships which help guide the synthesis program, and the exploitation of new processing technology to effectively combine reinforcement filaments with polymer matrices. Examples of five classes of polymers being investigated as matrix resins at NASA Langley are presented, including amorphous and semicrystalline thermoplastics, lightly crosslinked thermoplastics, semiinterpenetrating networks, and toughened thermosets. Relationships between neat resin modulus, resin fracture energy, interlaminar fracture energy, composite compression strength, and postimpact compression strength are shown. Powder and slurry processing techniques are discussed.

Saint Clair, Terry L.↗
NASA NTRS1988

Aircraft interior noise prediction using a structural-acoustic analogy in NASTRAN modal synthesis

The noise induced inside a cylindrical fuselage model by shaker excitation is investigated theoretically and experimentally. The NASTRAN modal-synthesis program is used in the theoretical analysis, and the predictions are compared with experimental measurements in extensive graphs. Good general agreement is obtained, but the need for further refinements to account for acoustic-cavity damping and structural-acoustic interaction is indicated.

Grosveld, Ferdinand W.↗
NASA NTRS2002

A New Look at NASA: Strategic Research In Information Technology

This viewgraph presentation provides information on research undertaken by NASA to facilitate the development of information technologies. Specific ideas covered here include: 1) Bio/nano technologies: biomolecular and nanoscale systems and tools for assembly and computing; 2) Evolvable hardware: autonomous self-improving, self-repairing hardware and software for survivable space systems in extreme environments; 3) High Confidence Software Technologies: formal methods, high-assurance software design, and program synthesis; 4) Intelligent Controls and Diagnostics: Next generation machine learning, adaptive control, and health management technologies; 5) Revolutionary computing: New computational models to increase capability and robustness to enable future NASA space missions.

Alfano, David↗
NASA NTRS2004

A Generic Software Safety Document Generator

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

Denney, Ewen↗
NASA NTRS2005

A Program Certification Assistant Based on Fully Automated Theorem Provers

We describe a certification assistant to support formal safety proofs for programs. It is based on a graphical user interface that hides the low-level details of first-order automated theorem provers while supporting limited interactivity: it allows users to customize and control the proof process on a high level, manages the auxiliary artifacts produced during this process, and provides traceability between the proof obligations and the relevant parts of the program. The certification assistant is part of a larger program synthesis system and is intended to support the deployment of automatically generated code in safety-critical applications.

Denney, Ewen↗
NASA NTRS2021

Aircraft Flaps Modeling in OpenMDAO

The goal of this project was to develop a model for a single subsystem in the aerodynamics discipline, in this case the flaps of an aircraft. Flaps are high-lift devices used by planes to allow for quicker takeoffs, and slower landings. A computer-based aircraft model of the flaps of an aircraft was developed using the Python based open-source framework OpenMDAO. OpenMDAO is used to develop multi-disciplinary aircraft models using gradient-based optimization; design optimization (MDO) is concerned with solving design problems involving numerical models of complex engineering systems. There were 4 components in the model; each has input values, output variables, and equations to calculate said outputs. The variables and equations are sourced from NASA Fortran code from the 1970s, in a project called the General Aviation Synthesis Program (GASP). These variables and equations which create the model are being converted to Python for ease of use. The flaps model developed will be integrated into a larger model of a conventional aircraft’s flight phases. All subsystems of the model will first be built using the parameters of a Boeing 737 MAX-8, to validate its functionality and accuracy. Then, the aircraft model will be used for hybrid-electric research; running optimizations to improve efficiency, minimize fuel burn, and advance hybrid-electric technology in the aerospace field.

Computer-based aircraft modeling↗
NASA NTRSDate not supplied

Analysis and Optimization of Baseline Single Aisle Aircraft for Future Electrified Powertrain Flight Demonstrator Comparisons

The purpose of this study is to provide baseline single-aisle vehicles for future comparisons NASA’s Electrified Powertrain Flight Demonstrator (EPFD) turbofan powered Vision Systems. Both a large single-aisle (≈150 passenger) and a small single-aisle (≈100 passenger) vehicle will be analyzed using NASA’s General Aviation Synthesis Program and a modernized Python-based version of this program that enables efficient gradient-based optimization of both the airframe and propulsion that currently is being referred to as GASPy. A technology build-up will be conducted to bring the current State-of-the-art vehicles to a projected 2035 technology level by incorporating estimations for improvements in aerodynamics, structures, and propulsions. These vehicles can be used in NASA’s future EPFD project as baselines to measure the benefits of future hybrid and fully electric aircraft against. The advanced, large single-aisle will then be used to demonstrate the benefits of a coupled engine-airframe optimization for fuel burn reduction.

Carl J Recine↗
NASA NTRSDate not supplied

Advanced Turboprop Transport Aircraft Modeling for the Electrified Powertrain Flight Demonstration Project

The objective of this study is to establish models for state of the art, representative regional non-electrified turboprop configurations in the 19-50 passenger capability range and assess performance impacts from advanced aircraft technologies. Two of these models will serve as reference baseline configurations for comparison to electrified aircraft propulsion (EAP) demonstrator concepts for the Electrified Powertrain Flight Demonstration (EPFD) project. The other two non-electrified configurations will primarily assess the impacts of advanced technologies on fuel consumption and CO₂ emissions. This paper details an aircraft synthesis and performance analysis approach using the General Aviation Synthesis Program (GASP) which is used to establish baseline performance capabilities, calibrate airplane and engine models using published manufacturer data and conduct technology sensitivity studies. Advanced technologies are selected from the categories of propulsion, aerodynamics, and flight systems. Performance assessments use Monte Carlo method coupled with GASP simulations to obtain performance distributions of the expected fuel burn, propulsive, aerodynamic, and weight benefits on the representative turboprop configurations from the application of advanced technologies. The final paper will present the impact of the advanced technologies on fuel burn and CO₂ emissions.

aircraft performance↗
NASA NTRSDate not supplied

Analysis and Optimization of Baseline Single Aisle Aircraft for Future Electrified Powertrain Flight Demonstrator Comparisons

The purpose of this study is to provide baseline single-aisle vehicles for future comparisons with NASA’s Electrified Powertrain Flight Demonstration (EPFD) turbofan-powered Vision Systems. State-of-the-art single-aisle transports with varying design capacities of 100 to 150 passengers are modeled using NASA Ames Research Center’s General Aviation Synthesis Program (GASP) as well as GASPy. GASPy is a modernized Python-based version of GASP built on the OpenMDAO framework to allow for future, efficient gradient-based optimization and coupled airframe-propulsion design. In order to meet projected NASA Aeronautics goals for 2035, advanced aircraft technologies must be incorporated into these vehicle systems. Methodology to parametrically infuse baseline aircraft models with advanced technologies simulating improvements in aerodynamics, structures, and propulsion systems is detailed, along with the results of technology sensitivity studies. Comparison of the baseline and advanced configurations will allow for future analysis of the benefits of future hybrid and fully electric aircraft concepts in the EPFD project, where fuel consumption and emissions will be modeled and assessed. This study has been conducted under the EPFD project to establish benchmark turbofan models and demonstrate System Analysis capabilities in multi-disciplinary aircraft design, analysis, and optimization for advanced turbofan concepts.

Carl J. Recine↗
NASA NTRSDate not supplied

Advanced Turboprop Transport Aircraft Modeling for the Electrified Powertrain Flight Demonstration Project

The objective of this study is to establish models for state of the art, representative regional non-electrified turboprop configurations in the 19 to 50 passenger capability range and assess performance impacts from advanced aircraft technologies. Two of these models will serve as reference baseline configurations for comparison to electrified aircraft propulsion (EAP) demonstrator concepts for the Electrified Powertrain Flight Demonstration (EPFD) project. The other two non-electrified configurations will primarily assess the impacts of advanced technologies on fuel consumption and CO₂ emissions. This paper details an aircraft synthesis and performance analysis approach using the General Aviation Synthesis Program (GASP) which is used to establish baseline performance capabilities, calibrate airplane and engine models using published manufacturer data and conduct technology sensitivity studies. Advanced technologies are selected from the categories of propulsion, aerodynamics, and flight systems. A GASP-Monte Carlo simulation framework for uncertainty propagation is used to obtain performance distributions of the expected fuel burn, weight reduction and CO₂ emissions reductions from advanced aircraft technologies. Significant fuel burn savings from application of aerodynamics and propulsion technologies was observed.

Dahlia D.V. Pham↗
NASA NTRSDate not supplied

GASP Advancements With Symbolic Computations, Optimization, and Decoupled Numerical Methods

NASA is exploring advancements in hybrid-electric propulsion concepts for aircraft design. A new analysis capability has been deployed at NASA’s Ames Research Center using a new mathematical modeling framework in Python that leverages symbolic representation of mathematical expressions, optimization-based problem formulations, and standalone numerical methods. This capability, called Gascon, has been verified against NASA’s General Aviation Synthesis Program (GASP) results for several vehicles that exercise the analysis capability for a variety of aircraft classes and engine models, including both turbofans and turboprops. We believe this capability will set the stage for more rapid development of novel aircraft models with more flexible design assessments using optimization, and more traceable analysis for reproducibility. Additionally, a novel Pareto optimization-based design space exploration that shows the trade between range flown and fuel burn by manipulating the thrust split during cruise for a true parallel hybrid aircraft was developed by leveraging the unique features of Gascon.

aircraft design↗
NASA NTRSDate not supplied

Parallel Hybrid Turboprop Performance Modeling and Optimization

NASA’s Electrified Powertrain Flight Demonstration (EPFD) project conducts ground and flight tests of integrated Megawatt (MW) class hybrid-electric powertrain systems on regional turboprop aircraft demonstrators. To meet the increased demand for assessment of potential capabilities and benefits from these novel vehicle configurations, NASA is developing tooling and models to estimate the performance of hybridized regional turboprops. This paper covers the development of a parametrically driven performance model for a De Havilland Canada Dash 8-400 (Q400) regional turboprop integrated with a novel parallel hybrid architecture using the Gascon framework. Gascon is a modern reimplementation of the General Aviation Synthesis Program (GASP) built using the Condor mathematical modeling framework in Python. Within Gascon, a parametric representation of the parallel hybrid architecture was synthesized, which features the electric motor coupled to the power turbine. This capability allows for in-the-loop optimization of the parametric parallel hybrid architecture to characterize the mission capabilities and fuel savings of the design and determine optimal power scheduling strategies for efficient electric power management for a given mission. The study shows that a fuel savings of up to 20% can be achieved, but that increased fuel savings comes at the expense of payload capacity.

Gascon↗
NASA NTRSDate not supplied

Parallel Hybrid Turboprop Performance Modeling and Optimization

NASA’s Electrified Powertrain Flight Demonstration (EPFD) project conducts ground and flight tests of integrated Megawatt (MW) class hybrid-electric powertrain systems on regional turboprop aircraft demonstrators. To meet the increased demand for assessment of potential capabilities and benefits from these novel vehicle configurations, NASA is developing tooling and models to estimate the performance of hybridized regional turboprops. This paper covers the development of a parametrically driven performance model for a De Havilland Canada Dash 8-400 (Q400) regional turboprop integrated with a novel parallel hybrid architecture using the Gascon framework. Gascon is a modern reimplementation of the General Aviation Synthesis Program (GASP) built using the Condor mathematical modeling framework in Python. Within Gascon, a parametric representation of the parallel hybrid architecture was synthesized, which features the electric motor coupled to the power turbine. This capability allows for in-the-loop optimization of the parametric parallel hybrid architecture to characterize the mission capabilities and fuel savings of the design and determine optimal power scheduling strategies for efficient electric power management for a given mission. The study shows that a fuel savings of up to 20% can be achieved, but that increased fuel savings comes at the expense of payload capacity.

Gascon↗
NASA NTRS1988

Automatic programming for critical applications

The important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.

Loganantharaj, Raj L.↗