SEARCH · Engineering Papers

Results for “compiler directive”

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 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS2011

Assessment of the Draft AIAA S-119 Flight Dynamic Model Exchange Standard

An assessment of a draft AIAA standard for flight dynamics model exchange, ANSI/AIAA S-119-2011, was conducted on behalf of NASA by a team from the NASA Engineering and Safety Center. The assessment included adding the capability of importing standard models into real-time simulation facilities at several NASA Centers as well as into analysis simulation tools. All participants were successful at importing two example models into their respective simulation frameworks by using existing software libraries or by writing new import tools. Deficiencies in the libraries and format documentation were identified and fixed; suggestions for improvements to the standard were provided to the AIAA. An innovative tool to generate C code directly from such a model was developed. Performance of the software libraries compared favorably with compiled code. As a result of this assessment, several NASA Centers can now import standard models directly into their simulations. NASA is considering adopting the now-published S-119 standard as an internal recommended practice.

Jackson, E. Bruce↗

NASA NTRS1976

Directivity and stimulation in Jovian decametric radiation

Analysis of an 18-year synoptic monitoring record compiled at the University of Texas Radio Astronomy Observatory (UTRAO) reveals the existence of distinct Io-controlled and Io-independent source mechanisms which differ in second-order morphology and in intrinsic emission directivity. After a discussion of statistical models and estimation, the UTRAO 1974 analysis catalog is described, Io-controlled and Io-independent sources are defined, and their morphology is described and compared. The sources are distinguished on the basis of their directivity, and the conditions for Io control are discussed.

Bozyan, F. A.↗

NASA NTRS1998

Enhancement to Hitran to Support the NASA EOS Program

The HITRAN molecular database has been enhanced with the object of providing improved capabilities for the EOS program scientists. HITRAN itself is the database of high-resolution line parameters of gaseous species expected to be observed by the EOS program in its remote sensing activities. The database is part of a larger compilation that includes IR cross-sections, aerosol indices of refraction, and software for filtering and plotting portions of the database. These properties have also been improved. The software has been advanced in order to work on multiple platforms. Besides the delivery of the compilation on CD-ROM, the effort has been directed toward making timely access of data and software on the world wide web.

Kirby, Kate P.↗

NASA NTRS1999

Enhancement to HITRAN to Support the NASA EOS Program

Kirby, Kate P.↗

NASA NTRS1972

Mathematical computer programs: A compilation

Computer programs, routines, and subroutines for aiding engineers, scientists, and mathematicians in direct problem solving are presented. Also included is a group of items that affords the same users greater flexibility in the use of software.

Source record↗

NASA NTRS1985

PCG: A prototype incremental compilation facility for the SAGA environment, appendix F

A programming environment supports the activity of developing and maintaining software. New environments provide language-oriented tools such as syntax-directed editors, whose usefulness is enhanced because they embody language-specific knowledge. When syntactic and semantic analysis occur early in the cycle of program production, that is, during editing, the use of a standard compiler is inefficient, for it must re-analyze the program before generating code. Likewise, it is inefficient to recompile an entire file, when the editor can determine that only portions of it need updating. The pcg, or Pascal code generation, facility described here generates code directly from the syntax trees produced by the SAGA syntax directed Pascal editor. By preserving the intermediate code used in the previous compilation, it can limit recompilation to the routines actually modified by editing.

Kimball, Joseph John↗

NASA NTRS1990

SEPEC conference proceedings: Hypermedia and Information Reconstruction. Aerospace applications and research directions. Addendum

The papers presented at the conference on hypermedia and information reconstruction are compiled. The following subject areas are covered: hypertext, typographic man, and the notion of literacy; a knowledge base browser using hypermedia; Ai GERM - a logic programming front end for GERM; and HEAVENS system for software artifacts.

Source record↗

NASA NTRS1976

An algorithm for automatic reduction of complex signal flow graphs

A computer algorithm is developed that provides efficient means to compute transmittances directly from a signal flow graph or a block diagram. Signal flow graphs are cast as directed graphs described by adjacency matrices. Nonsearch computation, designed for compilers without symbolic capability, is used to identify all arcs that are members of simple cycles for use with Mason's gain formula. The routine does not require the visual acumen of an interpreter to reduce the topology of the graph, and it is particularly useful for analyzing control systems described for computer analyses by means of interactive graphics.

Young, K. R.↗

NASA NTRS1972

Design and development of a brushless, direct drive solar array reorientation system

This report covers the design and development of the laboratory model, and is essentially a compilation of reports covering the system and its various parts. To enhance completeness, the final report of Phase 1 covering circuit development of the controller is also included. A controller was developed for a brushless, direct-drive, single axis solar array reorientation system for earth-pointed, passively-stabilized spacecraft. A control systems was designed and breadboard circuits were built and tested for performance. The controller is designed to take over automatic control of the array on command after the spacecraft is stabilized in orbit. The controller will orient the solar array to the sun vector and automatically track to maintain proper orientation. So long as the orbit is circular, orientation toward the sun is maintained even though the spacecraft goes into the shadow of the earth. Particular attention was given in the design to limit reaction between the array and the spacecraft.

Jessee, R. D.↗

NASA NTRS1990

An architecture for rule based system explanation

A system architecture is presented which incorporate both graphics and text into explanations provided by rule based expert systems. This architecture facilitates explanation of the knowledge base content, the control strategies employed by the system, and the conclusions made by the system. The suggested approach combines hypermedia and inference engine capabilities. Advantages include: closer integration of user interface, explanation system, and knowledge base; the ability to embed links to deeper knowledge underlying the compiled knowledge used in the knowledge base; and allowing for more direct control of explanation depth and duration by the user. User models are suggested to control the type, amount, and order of information presented.

Fennel, T. R.↗

NASA NTRS1990

Graphical explanation in an expert system for Space Station Freedom rack integration

The rationale and methodology used to incorporate graphics into explanations provided by an expert system for Space Station Freedom rack integration is examined. The rack integration task is typical of a class of constraint satisfaction problems for large programs where expertise from several areas is required. Graphically oriented approaches are used to explain the conclusions made by the system, the knowledge base content, and even at more abstract levels the control strategies employed by the system. The implemented architecture combines hypermedia and inference engine capabilities. The advantages of this architecture include: closer integration of user interface, explanation system, and knowledge base; the ability to embed links to deeper knowledge underlying the compiled knowledge used in the knowledge base; and allowing for more direct control of explanation depth and duration by the user. The graphical techniques employed range from simple statis presentation of schematics to dynamic creation of a series of pictures presented motion picture style. User models control the type, amount, and order of information presented.

Craig, F. G.↗

NASA NTRS2008

Proving Correctness for Pointer Programs in a Verifying Compiler

This research describes a component-based approach to proving the correctness of programs involving pointer behavior. The approach supports modular reasoning and is designed to be used within the larger context of a verifying compiler. The approach consists of two parts. When a system component requires the direct manipulation of pointer operations in its implementation, we implement it using a built-in component specifically designed to capture the functional and performance behavior of pointers. When a system component requires pointer behavior via a linked data structure, we ensure that the complexities of the pointer operations are encapsulated within the data structure and are hidden to the client component. In this way, programs that rely on pointers can be verified modularly, without requiring special rules for pointers. The ultimate objective of a verifying compiler is to prove-with as little human intervention as possible-that proposed program code is correct with respect to a full behavioral specification. Full verification for software is especially important for an agency like NASA that is routinely involved in the development of mission critical systems.

Kulczycki, Gregory↗

NASA NTRS1995

Determination of stability and control derivatives from the NASA F/A-18 HARV from flight data using the maximum likelihood method

This report is a compilation of PID (Proportional Integral Derivative) results for both longitudinal and lateral directional analysis that was completed during Fall 1994. It had earlier established that the maneuvers available for PID containing independent control surface inputs from OBES were not well suited for extracting the cross-coupling static (i.e., C(sub N beta)) or dynamic (i.e., C(sub Npf)) derivatives. This was due to the fact that these maneuvers were designed with the goal of minimizing any lateral directional motion during longitudinal maneuvers and vice-versa. This allows for greater simplification in the aerodynamic model as far as coupling between longitudinal and lateral directions is concerned. As a result, efforts were made to reanalyze this data and extract static and dynamic derivatives for the F/A-18 HARV (High Angle of Attack Research Vehicle) without the inclusion of the cross-coupling terms such that more accurate estimates of classical model terms could be acquired. Four longitudinal flights containing static PID maneuvers were examined. The classical state equations already available in pEst for alphadot, qdot and thetadot were used. Three lateral directional flights of PID static maneuvers were also examined. The classical state equations already available in pEst for betadot, p dot, rdot and phi dot were used. Enclosed with this document are the full set of longitudinal and lateral directional parameter estimate plots showing coefficient estimates along with Cramer-Rao bounds. In addition, a representative time history match for each type of meneuver tested at each angle of attack is also enclosed.

Napolitano, Marcello R.↗

NASA NTRS1977

The Potential for Helicopter Passenger Service in Major Urban Areas

An interurban helicopter cost model having the capability of selecting an efficient helicopter network for a given city in terms of service and total operating costs was developed. This model which is based upon the relationship between total and direct operating costs and the number of block hours of helicopter operation is compiled in terms of a computer program which simulates the operation of an intracity helicopter fleet over a given network. When applied to specific urban areas, the model produces results in terms of a break-even air passenger market penetration rate, which is the percent of the air travelers in each of those areas that must patronize the helicopter network to make it break even commercially. A total of twenty major metropolitan areas are analyzed and are ranked initially according to cost per seat mile and then according to break-even penetration rate.

Dajani, J. S.↗

NASA NTRS1978

Programming in HAL/S

HAL/S is a computer programming language; it is a representation for algorithms which can be interpreted by either a person or a computer. HAL/S compilers transform blocks of HAL/S code into machine language which can then be directly executed by a computer. When the machine language is executed, the algorithm specified by the HAL/S code (source) is performed. This document describes how to read and write HAL/S source.

Ryer, M. J.↗

NASA NTRS1991

A special purpose silicon compiler for designing supercomputing VLSI systems

Design of general/special purpose supercomputing VLSI systems for numeric algorithm execution involves tackling two important aspects, namely their computational and communication complexities. Development of software tools for designing such systems itself becomes complex. Hence a novel design methodology has to be developed. For designing such complex systems a special purpose silicon compiler is needed in which: the computational and communicational structures of different numeric algorithms should be taken into account to simplify the silicon compiler design, the approach is macrocell based, and the software tools at different levels (algorithm down to the VLSI circuit layout) should get integrated. In this paper a special purpose silicon (SPS) compiler based on PACUBE macrocell VLSI arrays for designing supercomputing VLSI systems is presented. It is shown that turn-around time and silicon real estate get reduced over the silicon compilers based on PLA's, SLA's, and gate arrays. The first two silicon compiler characteristics mentioned above enable the SPS compiler to perform systolic mapping (at the macrocell level) of algorithms whose computational structures are of GIPOP (generalized inner product outer product) form. Direct systolic mapping on PLA's, SLA's, and gate arrays is very difficult as they are micro-cell based. A novel GIPOP processor is under development using this special purpose silicon compiler.

Venkateswaran, N.↗

NASA NTRS1996

Development of a material property database on selected ceramic matrix composite materials

Ceramic Matrix Composites, with fiber/whisker/particulate reinforcement, possess the attractive properties of ceramics such as high melting temperature, high strength and stiffness at high temperature, low density, excellent environmental resistance, combined with improved toughness and mechanical reliability. These unique properties have made these composites an enabling technology for thermomechanically demanding applications in high temperature, high stress and aggressive environments. On a broader scale, CMC's are anticipated to be applicable in aircraft propulsion, space propulsion, power and structures, in addition to ground based applications. However, it is also true that for any serious commitment of the material toward any of the intended critical thermo-mechanical applications to materialize, vigorous research has to be conducted for a thorough understanding of the mechanical and thermal behavior of CMC's. The high technology of CMC'S is far from being mature. In view of this growing need for CMC data, researchers all over the world have found themselves drawn into the characterization of CMC's such as C/SiC, SiC/SiC, SiC/Al203, SiC/Glass, SiC/C, SiC/Blackglas. A significant amount of data has been generated by the industries, national laboratories and educational institutions in the United States of America. NASA/Marshall Space Flight Center intends to collect the 'pedigreed' CMC data and store those in a CMC database within MAPTIS (Materials and Processes Technical Information System). The task of compilation of the CMC database is a monumental one and requires efforts in various directions. The project started in the form of a summer faculty fellowship in 1994 and has spilled into the months that followed and into the summer faculty fellowship of 1995 and has the prospect of continuing into the future for a healthy growth, which of course depends to a large extent on how fast CMC data are generated. The 10-week long summer fellowship has concentrated, basically, on establishing the procedure for a smooth transfer of data into a CMC database on MAPTIS which is a vital part of the following broader picture of the project.

Mahanta, Kamala↗

NASA NTRS1972

Digital circuits for computer applications: A compilation

The innovations in this updated series of compilations dealing with electronic technology represent a carefully selected collection of digital circuits which have direct application in computer oriented systems. In general, the circuits have been selected as representative items of each section and have been included on their merits of having universal applications in digital computers and digital data processing systems. As such, they should have wide appeal to the professional engineer and scientist who encounter the fundamentals of digital techniques in their daily activities. The circuits are grouped as digital logic circuits, analog to digital converters, and counters and shift registers.

Source record↗