Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compiler”

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 1,153 records · Page 64

Ulysses: A functional description and simulation software system

Current design tools for digital circuits and systems are not well-integrated among the behavioral, gate, and transistor levels of design. Ulysses is a prototype software system that consists of a description language, a description compiler, and a simulator that make no distinction among these levels. The language is uniform over the entire range of logical descriptions, the description is hierarchical with no fundamental restrictions on depth or mixing of levels, and the simulator is fully integrated with the description. The structure of the language, compiler, and simulator are described in terms of their relationships to the abstractions of physical systems that are made in order to create logical descriptions and models of behavior.

Griswold, T. W.↗

Orbital flight simulation utility software unit specifications, revision 1

The HP PASCAL source code defines the specifications for a Utility Software Unit (USU) designed to support orbital flight simulators such as MANHANDLE and GREAS (General Research and Engineering Analysis Simulator). Besides providing basic input/output, mathematical, matrix, quaternion, and statistical routines for such simulators, one of the primary functions of the USU is to isolate all system-dependent codes in one well-defined compartment, thereby facilitating transportation of the simulations from one computer to another. Directives are given for the PASCAL compilers of the HP-9000 Series 200 Pascal 3.0 and the HP-9000 Series 500 HP-UX 5.0 operating systems that produce a single file of relocatable code from four separate files of source code. Three of the source code files are common to both operating systems. The fourth source code file (utilspif.I) contains all of the system-dependent PASCAL code for the USU. A fifth file of source code written in C is required to interface utilspif.I with the HP-UX I/O package. The Pascal 3.0 compiler directives and the driver source code for a unit rest program and counterparts for the HP-UX 5.0 operating system are given. The major portion of the unit test program source code is common to both operating systems. Unit test results from the Pascal 3.0 operating system and results from the HP-UX operating system are given.

Wilson, S. W.↗

Exploiting loop level parallelism in nonprocedural dataflow programs

Discussed are how loop level parallelism is detected in a nonprocedural dataflow program, and how a procedural program with concurrent loops is scheduled. Also discussed is a program restructuring technique which may be applied to recursive equations so that concurrent loops may be generated for a seemingly iterative computation. A compiler which generates C code for the language described below has been implemented. The scheduling component of the compiler and the restructuring transformation are described.

Gokhale, Maya B.↗

An evaluation of Turbo Prolog with an emphasis on its application to the development of expert systems

Turbo Prolog is a recently available, compiled version of the programming language Prolog. Turbo Prolog is designed to provide not only a Prolog compiler, but also a program development environment for the IBM Personal Computer family. An evaluation of Turbo Prolog was made, comparing its features to other versions of Prolog and to the community of languages commonly used in artificial intelligence (AI) research and development. Three programs were employed to determine the execution speed of Turbo Prolog applied to various problems. The results of this evaluation demonstrated that Turbo Prolog can perform much better than many commonly employed AI languages for numerically intensive problems and can equal the speed of development languages such as OPS5+ and CLIPS, running on the IBM PC. Applications for which Turbo Prolog is best suited include those which (1) lend themselves naturally to backward-chaining approaches, (2) require extensive use of mathematics, (3) contain few rules, (4) seek to make use of the window/color graphics capabilities of the IBM PC, and (5) require linkage to programs in other languages to form a complete executable image.

Loftin, Richard B.↗

Atlas of Absorption Lines from 0 to 17900 Cm (sup)-1

Plots of logarithm (base 10) of absorption line strength versus wavenumber from 0 to 17900/cm(sup)-1 are shown for the 28 atmospheric gases (H2O, CO2, O3, N2O, CO, CH4, O2, NO, SO2, NO2, NH3, HNO3, OH, HF, HCl, HBr, HI, ClO, OCS, H2CO, HOCl, N2, HCN, CH3Cl, H2O2, C2H2, C2H6, PH3), which appear in the 1986 Air Force Geophysics Laboratory high-resolution transmission molecular absorption data base (HITRAN) compilation, and for O(P-3), O-18 isotopic ozone, and HO2 from the 1984 JPL compilation in the 0- to 200/cm(sup)-1 region, and infrared solar CO lines at 4500 K. Also shown are plots of logarithm (base 10) of approximate infrared absorption cross sections of 11 heavy molecules versus wavenumber. The cross-section data cover 700 to 1800/cm(sup)-1 and are included as a separate data file in the 1986 HITRAN database.

Park, J. H.↗

An inference engine for embedded diagnostic systems

The implementation of an inference engine for embedded diagnostic systems is described. The system consists of two distinct parts. The first is an off-line compiler which accepts a propositional logical statement of the relationship between facts and conclusions and produces data structures required by the on-line inference engine. The second part consists of the inference engine and interface routines which accept assertions of fact and return the conclusions which necessarily follow. Given a set of assertions, it will generate exactly the conclusions which logically follow. At the same time, it will detect any inconsistencies which may propagate from an inconsistent set of assertions or a poorly formulated set of rules. The memory requirements are fixed and the worst case execution times are bounded at compile time. The data structures and inference algorithms are very simple and well understood. The data structures and algorithms are described in detail. The system has been implemented on Lisp, Pascal, and Modula-2.

Fox, Barry R.↗

Vegetation studies on Vandenberg Air Force Base, California

Vandenburg Air Force Base, located in coastal central California with an area of 98,400 ac, contains resources of considerable biological significance. Available information on the vegetation and flora of Vandenburg is summarized and new data collected in this project are presented. A bibliography of 621 references dealing with vegetation and related topics related to Vanderburg was compiled from computer and manual literature searches and a review of past studies of the base. A preliminary floristic list of 642 taxa representing 311 genera and 80 families was compiled from past studies and plants identified in the vegetation sampling conducted in this project. Fifty-two special interest plant species are known to occur or were suggested to occur. Vegetation was sampled using permanent plots and transects in all major plant communities including chaparral, Bishop pine forest, tanbark oak forest, annual grassland, oak woodland, coastal sage scrub, purple sage scrub, coastal dune scrub, coastal dunes, box elder riparian woodland, will riparian woodland, freshwater marsh, salt marsh, and seasonal wetlands. Comparison of the new vegetation data to the compostie San Diego State University data does not indicate major changes in most communities since the original study. Recommendations are made for additional studies needed to maintain and extend the environmental data base and for management actions to improve resource protection.

Schmalzer, Paul A.↗

Microgravity science and applications bibliography, 1987 revision

This edition of the Microgravity Science and Applications (MSA) Bibliography is a compilation of Government reports, contractor reports, conference proceedings, and journal articles dealing with flight experiments utilizing a low gravity environment to elucidate and control various processes or with ground based activities that provide supporting research. It encompasses literature published but not cited in the 1984 Revision and literature which has been published in the past year. Subdivisions of the bibliography include six major categories: Electronic Materials; Metals, Alloys, and Composites; Fluid Dynamics and Transport; Biotechnology; Glass and Ceramics; and Combustion. Also included are publications from the European, Soviet, and Japanese MSA programs. In addition, there is a list of patents and appendices providing a compilation of an anonymously authored collection of reports and a cross reference index.

Source record↗

Digital cartography of the planets - New methods, its status, and its future

A system has been developed that establishes a standardized cartographic database for each of the 19 planets and major satellites that have been explored to date. Compilation of the databases involves both traditional and newly developed digital image processing and mosaicking techniques, including radiometric and geometric corrections of the images. Each database, or digital image model (DIM), is a digital mosaic of spacecraft images that have been radiometrically and geometrically corrected and photometrically modeled. During compilation, ancillary data files such as radiometric calibrations and refined photometric values for all camera lens and filter combinations and refined camera-orientation matrices for all images used in the mapping are produced. The system is designed to aid in the following: access to and utilization of spatial data returned by planetary spacecraft; coregistration of cartographic image and topographic elevation models with geological, geophysical, and geochemical databases; and the design and preparation of both standard and custom map products. A major goal of the project is to publish the DIMs on compact computer-compatible media such as digital-optical (CD-ROM) disks.

Batson, R. M.↗

The BLAZE language - A parallel language for scientific programming

A Pascal-like scientific programming language, BLAZE, is described. BLAZE contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus BLAZE should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with conceptually sequential control flow. A central goal in the design of BLAZE is portability across a broad range of parallel architectures. The multiple levels of parallelism present in BLAZE code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of BLAZE are described and it is shown how this language would be used in typical scientific programming.

Mehrotra, Piyush↗

High performance solid and liquid lubricants: An industrial guide

This handbook is intended to provide a ready reference for many of the solid and liquid lubricants used in the space industry. Lubricants and lubricant properties are arranged systematically so that designers, engineers, and maintenance personnel can conveniently locate data needed for their work. This handbook is divided into two major parts (A and B). Part A is a compilation of solid lubricant suppliers information on chemical and physical property of data of more than 250 solid lubricants, bonded solid lubricants, dispersions, and composites. Part B is a compilation of chemical and physical property data of more than 250 liquid lubricants, greases, oils, compounds, and fluids. The listed materials cover a broad spectrum from manufacturing and ground support to hardware applications of spacecraft.

Mcmurtrey, Ernest L.↗

Utilities for master source code distribution: MAX and Friends

MAX is a program for the manipulation of FORTRAN master source code (MSC). This is a technique by which one maintains one and only one master copy of a FORTRAN program under a program developing system, which for MAX is assumed to be VAX/VMS. The master copy is not intended to be directly compiled. Instead it must be pre-processed by MAX to produce compilable instances. These instances may correspond to different code versions (for example, double precision versus single precision), different machines (for example, IBM, CDC, Cray) or different operating systems (i.e., VAX/VMS versus VAX/UNIX). The advantage os using a master source is more pronounced in complex application programs that are developed and maintained over many years and are to be transported and executed on several computer environments. The version lag problem that plagues many such programs is avoided by this approach. MAX is complemented by several auxiliary programs that perform nonessential functions. The ensemble is collectively known as MAX and Friends. All of these programs, including MAX, are executed as foreign VAX/VMS commands and can easily be hidden in customized VMS command procedures.

Felippa, Carlos A.↗

A distributed programming environment for Ada

Despite considerable commercial exploitation of fault tolerance systems, significant and difficult research problems remain in such areas as fault detection and correction. A research project is described which constructs a distributed computing test bed for loosely coupled computers. The project is constructing a tool kit to support research into distributed control algorithms, including a distributed Ada compiler, distributed debugger, test harnesses, and environment monitors. The Ada compiler is being written in Ada and will implement distributed computing at the subsystem level. The design goal is to provide a variety of control mechanics for distributed programming while retaining total transparency at the code level.

Brennan, Peter↗

A distributable APSE

A distributed Ada program library is a key element in a distributed Ada Program Support Environment (APSE). To implement this successfully, the program library universe as defined by the Ada Reference Manual must be broken up into independently manageable pieces. This in turn requires the support of a distributed database system, as well as a mechanism for identifying compilation units, linkable subprograms, and Ada types in a decentralized way, to avoid falling victim to the bottlenecks of a global database and/or global unique-identifier manager. It was found that the ability to decentralize Ada program library activity is a major advantage in the management of large Ada programs. Currently, there are 18 resource-catalog revision sets, each in its own Host Interface (HIF) partition, plus 18 partitions for testing each of these, plus 11 partitions for the top-level compiler/linker/program library manager components. Compiling and other development work can proceed in parallel in each of these partitions, without suffering the performance bottlenecks of global locks or global unique-identifier generation.

Taft, Tucker, S.↗

Vector-matrix-quaternion, array and arithmetic packages: All HAL/S functions implemented in Ada

The HAL/S avionics programmers have enjoyed a variety of tools built into a language tailored to their special requirements. Ada is designed for a broader group of applications. Rather than providing built-in tools, Ada provides the elements with which users can build their own. Standard avionic packages remain to be developed. These must enable programmers to code in Ada as they have coded in HAL/S. The packages under development at JPL will provide all of the vector-matrix, array, and arithmetic functions described in the HAL/S manuals. In addition, the linear algebra package will provide all of the quaternion functions used in Shuttle steering and Galileo attitude control. Furthermore, using Ada's extensibility, many quaternion functions are being implemented as infix operations; equivalent capabilities were never implemented in HAL/S because doing so would entail modifying the compiler and expanding the language. With these packages, many HAL/S expressions will compile and execute in Ada, unchanged. Others can be converted simply by replacing the implicit HAL/S multiply operator with the Ada *. Errors will be trapped and identified. Input/output will be convenient and readable.

Klumpp, Allan R.↗

Run-time implementation issues for real-time embedded Ada

A motivating factor in the development of Ada as the department of defense standard language was the high cost of embedded system software development. It was with embedded system requirements in mind that many of the features of the language were incorporated. Yet it is the designers of embedded systems that seem to comprise the majority of the Ada community dissatisfied with the language. There are a variety of reasons for this dissatisfaction, but many seem to be related in some way to the Ada run-time support system. Some of the areas in which the inconsistencies were found to have the greatest impact on performance from the standpoint of real-time systems are presented. In particular, a large part of the duties of the tasking supervisor are subject to the design decisions of the implementer. These include scheduling, rendezvous, delay processing, and task activation and termination. Some of the more general issues presented include time and space efficiencies, generic expansions, memory management, pragmas, and tracing features. As validated compilers become available for bare computer targets, it is important for a designer to be aware that, at least for many real-time issues, all validated Ada compilers are not created equal.

Maule, Ruth A.↗

Microgravity science and applications bibliography, 1988 revision

The Microgravity Science and Applications (MSA) Bibliography is a compilation of government reports, contractor reports, conference proceedings, and journal articles dealing with flight experiments utilizing a low-gravity environment to elucidate and control various processes or with ground-based activities that provide supporting research. It encompasses literature published but not cited in the 1984 Revision and the literature which was published in the past year. Subdivisions of the bibliography include: electronic materials; metals, alloys, and composites; fluid dynamics and transports; biotechnology; glass and ceramics; and combustion. Also included are publications from the European, Soviet, and Japanese MSA programs. In addition, there is a list of patents and appendices providing a compilation of anonymously authored collections of reports and a cross reference index.

Source record↗

The impact of mass extinctions

In the years since Snowbird an explosive growth of research on the patterns, causes, and consequences of extinction was seen. The fossil record of extinction is better known, stratigraphic sections were scrutinized in great detail, and additional markers of environmental change were discovered in the rock record. However flawed, the fossil record is the only record that exists of natural extinction. Compilations from the primary literature contain a faint periodic signal: the extinctions of the past 250 my may be regulary spaced. The reality of the periodicity remains a subject for debate. The implications of periodicity are so profound that the debate is sure to continue. The greater precision from stratigraphic sections spanning extinction events has yet to resolve controversies concerning the rates at which extinctions occurred. Some sections seem to record sudden terminations, while others suggest gradual or steplike environmental deterioration. Unfortunately, the manner in which the strata record extinctions and compile stratigraphic ranges makes a strictly literal reading of the fossil record inadvisable. Much progress was made in the study of mass extinctions. The issues are more sharply defined but they are not fully resolved. Scenarios should look back to the phenomena they purport to explain - not just an iridium-rich layer, but the complex fabric of a mass extinction.

Flessa, Karl W.↗