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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1978

GASP- General Aviation Synthesis Program. Volume 3: Aerodynamics

Aerodynamics calculations are treated in routines which concern moments as they vary with flight conditions and attitude. The subroutines discussed: (1) compute component equivalent flat plate and wetted areas and profile drag; (2) print and plot low and high speed drag polars; (3) determine life coefficient or angle of attack; (4) determine drag coefficient; (5) determine maximum lift coefficient and drag increment for various flap types and flap settings; and (6) determine required lift coefficient and drag coefficient in cruise flight.

Hague, D.↗
NASA NTRS1978

GASP- General Aviation Synthesis Program. Volume 5: Weight

Subroutines for determining the weights of propulsion system related components and the airframe components of an aircraft configuration are presented. Subroutines that deal with design load conditions, aircraft balance, and tail sizing are included. Options for turbine and internal combustion engines are provided.

Hague, D.↗
NASA NTRS1978

GASP- General Aviation Synthesis Program. Volume 6: Performance

Aircraft performance modeling requires consideration of propulsion, aerodynamics, and weight characteristics. Eleven subroutines used in modeling aircraft performance are presented and their interactions considered. Manuals for performance model users and programmers are included.

Hague, D.↗
NASA NTRS1984

General Aviation Synthesis Program

Program performs preliminary design of fixed-wing aircraft. Emphasis placed on fixed wing aircraft with propulsion systems varying from single piston engine with fixed-pitch propeller through twin turbo-prop/turbofan systems used in business or transport aircraft. GASP written in FORTRAN IV.

Galloway, T.↗
NASA NTRS1994

A spectrum synthesis program for binary stars

A new program produces synthetic spectra of binary stars at arbitrary values of orbital longitude, including longitudes of partial or complete eclipse. The stellar components may be distorted, either tidally or rotationally, or both. Either or both components may be rotating nonsynchronously. We illustrate the program performance with two cases: EE Peg, an eclipsing binary with small distortion, and SX Aur, an eclipsing binary that is close to contact.

Linnell, Albert P.↗
NASA NTRS1986

Programing Structural Synthesis System

Program aids research in analysis and optimization. Programing Structural Synthesis System (PROSSS2) developed to provide structural-synthesis capability by combining access to SPAR with CONMIN program and set of interface procedures. SPAR is large general-purpose finite-element structural-analysis program, and CONMIN is large general-purpose optimization program. PROSSS2 written in FORTRAN IV for batch execution.

Rogers, James L., Jr.↗
NASA NTRS1968

Digital filter synthesis computer program

Digital filter synthesis computer program expresses any continuous function of a complex variable in approximate form as a computational algorithm or difference equation. Once the difference equation has been developed, digital filtering can be performed by the program on any input data list.

Moyer, R. A.↗
NASA NTRS2004

Automating Traceability for Generated Software Artifacts

Program synthesis automatically derives programs from specifications of their behavior. One advantage of program synthesis, as opposed to manual coding, is that there is a direct link between the specification and the derived program. This link is, however, not very fine-grained: it can be best characterized as Program is-derived- from Specification. When the generated program needs to be understood or modified, more $ne-grained linking is useful. In this paper, we present a novel technique for automatically deriving traceability relations between parts of a specification and parts of the synthesized program. The technique is very lightweight and works -- with varying degrees of success - for any process in which one artifact is automatically derived from another. We illustrate the generality of the technique by applying it to two kinds of automatic generation: synthesis of Kalman Filter programs from speci3cations using the Aut- oFilter program synthesis system, and generation of assembly language programs from C source code using the GCC C compilel: We evaluate the effectiveness of the technique in the latter application.

Richardson, Julian↗
NASA NTRS1970

The revised solar array synthesis computer program

The Revised Solar Array Synthesis Computer Program is described. It is a general-purpose program which computes solar array output characteristics while accounting for the effects of temperature, incidence angle, charged-particle irradiation, and other degradation effects on various solar array configurations in either circular or elliptical orbits. Array configurations may consist of up to 75 solar cell panels arranged in any series-parallel combination not exceeding three series-connected panels in a parallel string and no more than 25 parallel strings in an array. Up to 100 separate solar array current-voltage characteristics, corresponding to 100 equal-time increments during the sunlight illuminated portion of an orbit or any 100 user-specified combinations of incidence angle and temperature, can be computed and printed out during one complete computer execution. Individual panel incidence angles may be computed and printed out at the user's option.

Source record↗
NASA NTRS1973

Development of weight/sizing design synthesis computer program. Volume 3: User Manual

The user manual for the weight/sizing design synthesis program is presented. The program is applied to an analysis of the basic weight relationships for the space shuttle which contribute significant portions of the inert weight. The relationships measure the parameters of load, geometry, material, and environment. A verbal description of the processes simulated, data input procedures, output data, and values present in the program is included.

Garrison, J. M.↗
NASA NTRS1976

Structural Sizing of the EDIN0620 Body Components Using the APAS Structural Synthesis Computer Program

The use of a structural synthesis computer program to design components for a heavy lift launch vehicle is defined. A loads program was used to determine the vehicle shears, bending moments, and axial loads at two design loading conditions. A comparison was made between results from the structures program and the results of a weight estimating program which used historical data in determining component weights.

Nolte, W. E.↗
NASA NTRS2003

Traceability Through Automatic Program Generation

Program synthesis is a technique for automatically deriving programs from specifications of their behavior. One of the arguments made in favour of program synthesis is that it allows one to trace from the specification to the program. One way in which traceability information can be derived is to augment the program synthesis system so that manipulations and calculations it carries out during the synthesis process are annotated with information on what the manipulations and calculations were and why they were made. This information is then accumulated throughout the synthesis process, at the end of which, every artifact produced by the synthesis is annotated with a complete history relating it to every other artifact (including the source specification) which influenced its construction. This approach requires modification of the entire synthesis system - which is labor-intensive and hard to do without influencing its behavior. In this paper, we introduce a novel, lightweight technique for deriving traceability from a program specification to the corresponding synthesized code. Once a program has been successfully synthesized from a specification, small changes are systematically made to the specification and the effects on the synthesized program observed. We have partially automated the technique and applied it in an experiment to one of our program synthesis systems, AUTOFILTER, and to the GNU C compiler, GCC. The results are promising: 1. Manual inspection of the results indicates that most of the connections derived from the source (a specification in the case of AUTOFILTER, C source code in the case of GCC) to its generated target (C source code in the case of AUTOFILTER, assembly language code in the case of GCC) are correct. 2. Around half of the lines in the target can be traced to at least one line of the source. 3. Small changes in the source often induce only small changes in the target.

Richardson, Julian↗
NASA NTRS1981

An implementation of the programming structural synthesis system (PROSSS)

A particular implementation of the programming structural synthesis system (PROSSS) is described. This software system combines a state of the art optimization program, a production level structural analysis program, and user supplied, problem dependent interface programs. These programs are combined using standard command language features existing in modern computer operating systems. PROSSS is explained in general with respect to this implementation along with the steps for the preparation of the programs and input data. Each component of the system is described in detail with annotated listings for clarification. The components include options, procedures, programs and subroutines, and data files as they pertain to this implementation. An example exercising each option in this implementation to allow the user to anticipate the type of results that might be expected is presented.

Rogers, J. L., Jr.↗
NASA NTRS1987

Analysis and synthesis of abstract data types through generalization from examples

The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing and run-time monitoring. Describing the behavior is characterized as a learning process in which general patterns can be easily characterized. The learning algorithm must choose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

Wild, Christian↗
NASA NTRS1987

Analysis and synthesis of abstract data types through generalization from examples

The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing, and run-time monitoring. Describing the behavior is characterized as a learning process in which the set of inputs is mapped into an appropriate transform space such that general patterns can be easily characterized. The learning algorithm must chose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

Wild, Christian↗