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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1977

Conceptual design of single turbofan engine powered light aircraft

The conceptual design of a four place single turbofan engine powered light aircraft was accomplished utilizing contemporary light aircraft conventional design techniques as a means of evaluating the NASA-Ames General Aviation Synthesis Program (GASP) as a preliminary design tool. In certain areas, disagreement or exclusion were found to exist between the results of the conventional design and GASP processes. Detail discussion of these points along with the associated contemporary design methodology are presented.

Snyder, F. S.↗
NASA NTRS1978

A study of commuter airplane design optimization

The usability of the general aviation synthesis program (GASP) was enhanced by the development of separate computer subroutines which can be added as a package to this assembly of computerized design methods or used as a separate subroutine program to compute the dynamic longitudinal, lateral-directional stability characteristics for a given airplane. Currently available analysis methods were evaluated to ascertain those most appropriate for the design functions which the GASP computerized design program performs. Methods for providing proper constraint and/or analysis functions for GASP were developed as well as the appropriate subroutines.

Keppel, B. V.↗
NASA NTRS1980

Alternatives for jet engine control

Alternatives to linear quadratic regulator theory in the linear case are examined along with nonlinear modelling and optimization approaches for global control. Context for the studies has been set by the DYNGEN digital simulator and by models generated for various phases of the F100 Multivariable Control Synthesis Program. With respect to the linear alternatives, the multivariable frequency domain is stressed. Progress is reported in both the direct algebraic approach to exact model matching, by means of stimulating work on the basic computational issues, and in the indirect generalized Nyquist approach. With respect to nonlinear modelling and optimization, the emphasis is twofold: the development of analytical nonlinear models of the jet engine and the use of these models in conjunction with techniques of mathematical programming in order to study global control over nonincremental portions of the flight envelope. The possibility of using tensor methods is explored.

Sain, M. K.↗
NASA NTRS1981

Application of the MNA design method to a nonlinear turbofan engine

Using nonlinear digital simulation as a representative model of the dynamic operation of the QCSEE turbofan engine, a feedback control system is designed by variable frequency design techniques. Transfer functions are generated for each of five power level settings covering the range of operation from approach power to full throttle (62.5% to 100% full power). These transfer functions are then used by an interactive control system design synthesis program to provide a closed loop feedback control using the multivariable Nyquist array and extensions to multivariable Bode diagrams and Nichols charts.

Leininger, G. G.↗
NASA NTRS1981

Conceptual/preliminary design study of subsonic v/stol and stovl aircraft derivatives of the S-3A

A computerized aircraft synthesis program was used to examine the feasibility and capability of a V/STOL aircraft based on the Navy S-3A aircraft. Two major airframe modifications are considered: replacement of the wing, and substitution of deflected thrust turbofan engines similar to the Pegasus engine. Three planform configurations for the all composite wing were investigated: an unconstrained span design, a design with the span constrained to 64 feet, and an unconstrained span oblique wing design. Each design was optimized using the same design variables, and performance and control analyses were performed. The oblique wing configuration was found to have the greatest potential in this application. The mission performance of these V/STOL aircraft compares favorably with that of the CTOL S-3A.

Kidwell, G. H., Jr.↗
NASA NTRS1982

Assessment of advanced technologies for high performance single-engine business airplanes

The prospects for significantly increasing the fuel efficiency and mission capability of single engine business aircraft through the incorporation of advanced propulsion, aerodynamics and materials technologies are explored. It is found that turbine engines cannot match the fuel economy of the heavier rotary, diesel and advanced spark reciprocating engines. The rotary engine yields the lightest and smallest aircraft for a given mission requirement, and also offers greater simplicity and a multifuel capability. Great promise is also seen in the use of composite material primary structures in conjunction with laminar flow wing surfaces, a pusher propeller and conventional wing-tail configuration. This study was conducted with the General Aviation Synthesis Program, which can furnish the most accurate mission performance calculations yet obtained.

Kohlman, D. L.↗
NASA NTRS1982

Polymer research at NASA Langley Research Center

Polymer synthesis programs involve the development of Novel thermoplastics, pseudothermoplastics, and thermosets. These systems are prepared to elucidate structure-property relationships involving thermal capabilities, toughness, processability and environmental stability. Easily processable polyimides, solvent-resistant polysulfones and polyphenylquinoxalines, and tougher high and intermediate temperature polymers were developed. Characterization efforts included high pressure liquid chromatography methodology, the development of toughness tests for fiber reinforced composites, a study of electrical properties of metal ion filled polyimides, and a study of the mutagenicity of aromatic diamines. Also the mechanism of cure/degradation of experimental polymers was studied by rheology, mechanical behavior, separation techniques and spectroscopy. The degradative crosslinking of alkyl-containing polyimides, the separation and identification of crosslinked phenylquinoxalines, the rheological behavior of hot-melt polyimides, and the elucidation of the cure of norbornene endcapped imides were also studied.

Terry L. St. Clair↗
NASA NTRS1982

Performance improvements of single-engine business airplanes by the integration of advanced technologies

An assessment is presented of the performance gains and economic impact of the integration in general aviation aircraft of advanced technologies, relating to such aspects of design as propulsion, natural laminar flow, lift augmentation, unconventional configurations, and advanced aluminum and composite structures. All considerations are with reference to a baseline mission of 1300 nm range and 300-knot cruise speed with a 1300-lb payload, and a baseline aircraft with a 40 lb/sq ft wing loading and an aspect ratio of 8. Extensive analytical results are presented from the NASA-sponsored General Aviation Synthesis Program. Attention is given to the relative performance gains to be expected from the single-engined baseline aircraft's use of a low cost general aviation turbine engine, a spark-ignited reciprocating engine, a diesel engine, and a Wankel rotary engine.

Kohlman, D. L.↗
NASA NTRS1984

Thermoplastic/Melt-Processable Polyimides

Several polyimides were prepared which show promise for aircraft composite applications. This was achieved through a systematic polymer synthesis program where the glass transition temperatures were greatly lowered when compared to the older polyimide systems. Several of the materials were shown to be hot-melt processable and are attractive matrix resin candidates especially in light of their high g(sub Ic) values. At least two of these polyimides are available for evaluation and others are on the research horizon.

St.clair, T. L.↗
NASA NTRS1984

Computer study of a jet flap ASTVOL 'Harrier'

A study of the costs/benefits trade-off was conducted for an Advanced Supersonic Short Takeoff and Vertical Landing (ASTOVL) aircraft incorporating a jet flap. The data used were the theory of jet flaps and high aspect ratio nozzles, experience with a V/STOL aircraft study performed for NASA Ames Research Center in February 1982, and a high performance aircraft-synthesis program (ACSYNT). The methodology was to accurately model the supersonic Harrier V/STOL aircraft design on ACSYNT, and then modify the design by both adding high aspect-ratio nozzles in place of the rear (core-flow) nozzles on the Pegasus-type turbofan engine, and integrating these nozzles on each wing's trailing edge, thus creating a jet flap. The predicted performance advantages (increase in maximum lift coefficient with flap deflection and horizontal thrust recovery) were traded off against the disadvantages (additional weight and thrust loss due to ducting) on two representative missions.

Wilson, S. B., III↗
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↗