SEARCH · Search NASA

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS1977

A study of commuter airplane design optimization

Problems of commuter airplane configuration design were studied to affect a minimization of direct operating costs. Factors considered were the minimization of fuselage drag, methods of wing design, and the estimated drag of an airplane submerged in a propellor slipstream; all design criteria were studied under a set of fixed performance, mission, and stability constraints. Configuration design data were assembled for application by a computerized design methodology program similar to the NASA-Ames General Aviation Synthesis Program.

Roskam, J.↗

NASA NTRS1990

Derivation of sorting programs

Program synthesis for critical applications has become a viable alternative to program verification. Nested resolution and its extension are used to synthesize a set of sorting programs from their first order logic specifications. A set of sorting programs, such as, naive sort, merge sort, and insertion sort, were successfully synthesized starting from the same set of specifications.

Varghese, Joseph↗

NASA NTRS1971

Interactive program for analysis and design problems in advanced composites technology

During the past year an experimental program in the fracture of advanced fiber composites has been completed. The experimental program has given direction to additional experimental and theoretical work. A synthesis program for designing low weight multifastener joints in composites is proposed, based on extensive analytical background. A number of failed joints have been thoroughly analyzed to evaluate the failure hypothesis used in the synthesis procedure. Finally, a new solution is reported for isotropic and anisotropic laminates using the boundary-integral method. The solution method offers significant savings of computer core and time for important problems.

Cruse, T. A.↗

NASA NTRS1986

Optimum structural sizing of conventional cantilever and joined wing configurations using equivalent beam models

The present paper describes an approach for the optimum sizing of single and joined wing structures that is based on representing the built-up finite element model of the structure by an equivalent beam model. The low order beam model is computationally more efficient in an environment that requires repetitive analysis of several trial designs. The design procedure is implemented in a computer program that requires geometry and loading data typically available from an aerodynamic synthesis program, to create the finite element model of the lifting surface and an equivalent beam model. A fully stressed design procedure is used to obtain rapid estimates of the optimum structural weight for the beam model for a given geometry, and a qualitative description of the material distribution over the wing structure. The synthesis procedure is demonstrated for representative single wing and joined wing structures.

Hajela, P.↗

NASA NTRS1992

Data synthesis and display programs for wave distribution function analysis

At the National Space Science Data Center (NSSDC) software was written to synthesize and display artificial data for use in developing the methodology of wave distribution analysis. The software comprises two separate interactive programs, one for data synthesis and the other for data display.

Storey, L. R. O.↗

NASA NTRS1971

Program on application of communications satellites to educational development

Interdisciplinary research in needs analysis, communications technology studies, and systems synthesis is reported. Existing and planned educational telecommunications services are studied and library utilization of telecommunications is described. Preliminary estimates are presented of ranges of utilization of educational telecommunications services for 1975 and 1985; instructional and public television, computer-aided instruction, computing resources, and information resource sharing for various educational levels and purposes. Communications technology studies include transmission schemes for still-picture television, use of Gunn effect devices, and TV receiver front ends for direct satellite reception at 12 GHz. Two major studies in the systems synthesis project concern (1) organizational and administrative aspects of a large-scale instructional satellite system to be used with schools and (2) an analysis of future development of instructional television, with emphasis on the use of video tape recorders and cable television. A communications satellite system synthesis program developed for NASA is now operational on the university IBM 360-50 computer.

Morgan, R. P.↗

NASA NTRS1967

Computer program for network synthesis by frequency response fit

Computer program synthesizes a passive network by minimizing the difference in desired and actual frequency response. The program solves for the critical points of the error function /weighted least squares fit between calculated and desired frequency response/ by the multivariable Newton-Raphson method with components constrained to an admissible region.

Green, S.↗

NASA NTRS1985

Matrix resin development at NASA Langley Research Center

The polymer program at NASA Langley Research Center involves exploratory studies in polymer science. These include the synthesis of novel polymers and their characterization. Polymer synthesis programs involve the development of novel thermoplastics, pseudothermoplastics, and thermosets. Recent investigations have led to the development of more easily processable polyimides, solvent-resistant polysulfones and polyphenylquinoxalines, and tougher high and intermediate-temperature polymers. Characterization efforts have 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 has been studied by rheology, mechanical behavior, separation techniques and spectroscopy. Some of these programs have involved the degradation 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.

St.clair, T. L.↗

NASA NTRS1992

High-speed research program systems analysis activities at Ames Research Center

The Ames Systems Analysis Branch has been working to support the High Speed Research Program (HSRP) for nearly one year. Both the status of methodology development activities and the results of studies are presented whether completed or underway. The discussion involves the conceptual design synthesis program used for High Speed Civil Transport (HSCT) studies, ACSYNT (aircraft synthesis), and enhancements that have been made especially for HSRP. Some results are presented for one study that has been completed and two that are underway. These are the advanced controls integration study, the fuel cost impact study, and the oblique wing configuration evaluation that is part of a larger innovative concepts study.

Kidwell, George H.↗

NASA NTRS1989

Computational architecture for integrated controls and structures design

To facilitate the development of control structure interaction (CSI) design methodology, a computational architecture for interdisciplinary design of active structures is presented. The emphasis of the computational procedure is to exploit existing sparse matrix structural analysis techniques, in-core data transfer with control synthesis programs, and versatility in the optimization methodology to avoid unnecessary structural or control calculations. The architecture is designed such that all required structure, control and optimization analyses are performed within one program. Hence, the optimization strategy is not unduly constrained by cold starts of existing structural analysis and control synthesis packages.

Belvin, W. Keith↗

NASA NTRS1994

UV extinction and IR emission in diffuse H2 regions

During this period, much work was spent in an attempt to use theoretical UV line indices as a basis for spectral calibration of the program stars. Five line indices are shown as functions of effective temperature and log g, calculated with the spectral synthesis programs of Kurucz. Open stars and circles are observed values from Fanelli et al., using the spectral class-effective temperature calibration of Schmidt-Kaler. We conclude that these line indices may be used to determine an effective stellar temperature, but with uncertainties of approximately a few thousand degrees. Also, for the hotter stars, theoretical line opacities are systematically low compared to observations. We have also found that Kurucz's new models appear to represent hot stars very well, even at far-UV wavelengths. This is shown in an example where two spectra of mu Col (spectral class 09.5 V) are compared to a synthetic spectrum for T(sub eff) = 33,000 K, log g = 4.0. Also shown (uppermost curve) is an empirical estimate of the intrinsic flux distribution for 09.5 V stars from Papaj, Wegner, and Krelowski.

Aannestad, Per A.↗

NASA NTRS2004

Adding Assurance to Automatically Generated Code

Code to estimate position and attitude of a spacecraft or aircraft belongs to the most safety-critical parts of flight software. The complex underlying mathematics and abundance of design details make it error-prone and reliable implementations costly. AutoFilter is a program synthesis tool for the automatic generation of state estimation code from compact specifications. It can automatically produce additional safety certificates which formally guarantee that each generated program individually satisfies a set of important safety policies. These safety policies (e.g.. array-bounds, variable initialization) form a core of properties which are essential for high-assurance software. Here we describe the AutoFilter system and its certificate generator and compare our approach to the static analysis tool PolySpace.

Denney, Ewen↗

NASA NTRS1984

Application of advanced control techniques to aircraft propulsion systems

Two programs are described which involve the application of advanced control techniques to the design of engine control algorithms. Multivariable control theory is used in the F100 MVCS (multivariable control synthesis) program to design controls which coordinate the control inputs for improved engine performance. A systematic method for handling a complex control design task is given. Methods of analytical redundancy are aimed at increasing the control system reliability. The F100 DIA (detection, isolation, and accommodation) program, which investigates the uses of software to replace or augment hardware redundancy for certain critical engine sensor, is described.

Lehtinen, B.↗

NASA NTRS2002

Software Construction and Analysis Tools for Future Space Missions

NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.

Lowry, Michael R.↗

NASA NTRS1972

Performance Analysis and Design Synthesis (PADS) computer program. Volume 2: Program description, part 2

The QL module of the Performance Analysis and Design Synthesis (PADS) computer program is described. Execution of this module is initiated when and if subroutine PADSI calls subroutine GROPE. Subroutine GROPE controls the high level logical flow of the QL module. The purpose of the module is to determine a trajectory that satisfies the necessary variational conditions for optimal performance. The module achieves this by solving a nonlinear multi-point boundary value problem. The numerical method employed is described. It is an iterative technique that converges quadratically when it does converge. The three basic steps of the module are: (1) initialization, (2) iteration, and (3) culmination. For Volume 1 see N73-13199.

Source record↗

NASA NTRS2010

Analysis of Air Traffic Track Data with the AutoBayes Synthesis System

The Next Generation Air Traffic System (NGATS) is aiming to provide substantial computer support for the air traffic controllers. Algorithms for the accurate prediction of aircraft movements are of central importance for such software systems but trajectory prediction has to work reliably in the presence of unknown parameters and uncertainties. We are using the AutoBayes program synthesis system to generate customized data analysis algorithms that process large sets of aircraft radar track data in order to estimate parameters and uncertainties. In this paper, we present, how the tasks of finding structure in track data, estimation of important parameters in climb trajectories, and the detection of continuous descent approaches can be accomplished with compact task-specific AutoBayes specifications. We present an overview of the AutoBayes architecture and describe, how its schema-based approach generates customized analysis algorithms, documented C/C++ code, and detailed mathematical derivations. Results of experiments with actual air traffic control data are discussed.

Schumann, Johann Martin Philip↗

NASA NTRS1986

Optimal design of structures with multiple design variables per group and multiple loading conditions on the personal computer

A finite element based programming system for minimum weight design of a truss-type structure subjected to displacement, stress, and lower and upper bounds on design variables is presented. The programming system consists of a number of independent processors, each performing a specific task. These processors, however, are interfaced through a well-organized data base, thus making the tasks of modifying, updating, or expanding the programming system much easier in a friendly environment provided by many inexpensive personal computers. The proposed software can be viewed as an important step in achieving a 'dummy' finite element for optimization. The programming system has been implemented on both large and small computers (such as VAX, CYBER, IBM-PC, and APPLE) although the focus is on the latter. Examples are presented to demonstrate the capabilities of the code. The present programming system can be used stand-alone or as part of the multilevel decomposition procedure to obtain optimum design for very large scale structural systems. Furthermore, other related research areas such as developing optimization algorithms (or in the larger level: a structural synthesis program) for future trends in using parallel computers may also benefit from this study.

Nguyen, D. T.↗

NASA NTRS1971

Substructuring techniques

The substructure function generator program is discussed. Input to this program consists of a definition of a finite element model of a substructure, and specification of the type and number of displacement functions to be generated. Primary output is a substructure data file containing the substructure mass and stiffness matrices expressing kinetic and potential energies as quadratic forms in coefficients of the displacement functions, etc. The substructure synthesis program forms complete system mass, stiffness, and damping matrices, computes system modes and frequencies, and executes transient response calculations. Input to this program consists of the array of substructure data files generated by the function generator program for individual substructures, and data cards defining the position and interconnection of the substructures, damping data, forcing function details, and function control parameters.

Whetstone, W. D.↗