SEARCH · Search NASA
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.
A raw computer resource capable of one billion floating point operations per second will have multiple parallel and/or segmented functional units to obtain such a speed. The system programmers, software writers and users are faced with the task of writing operating systems, compilers and application programs to utilize such a capability efficiently. The software problem of giving the user access to the available power of the machine is discussed.
The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.
This report documents the PIFCGT computer program. In FORTRAN, PIFCGT is a computer design aid for determing Proportional-Integral-Filter (PIF) control laws for aircraft autopilots implemented with a Command Generator Tracker (CGT). The program uses Linear-Quadratic-Regulator synthesis algorithms to determine feedback gains, and includes software to solve the feedforward matrix equation which is useful in determining the command generator tracker feedforward gains. The program accepts aerodynamic stability derivatives and computes the corresponding aerodynamic linear model. The nine autopilot modes that can be designed include four maneuver modes (ROLL SEL, PITCH SEL, HDG SEL, ALT SEL), four final approach models (APR GS, APR LOCI, APR LOCR, APR LOCP), and a BETA HOLD mode. The program has been compiled and executed on a CDC computer.
A compilation is presented of the active research tasks as of the end of the FY87 of the Microgravity Science and Applications Program, NASA-Office of Space Science and Applications, involving several NASA centers and other organizations. An overview is provided of the program scope for managers and scientists in industry, university, and government communities. An introductory description is provided of the program along with the strategy and overall goal, identification of the organizational structures and people involved, and a description of each task. A list of recent publications is also provided. The tasks are grouped into six major categories: Electronic Materials; Solidification of Metals, Alloys, and Composites; Fluid Dynamics and Transport Phenomena; Biotechnology; Glasses and Ceramics; and Combustion. Other categories include Experimental Technology, General Studies and Surveys; Foreign Government Affiliations; Industrial Affiliations; and Physics and Chemistry Experiments (PACE). The tasks are divided into ground based and flight experiments.
An experiment was conducted which showed that a leaky faucet can offer valuable insights on predicting fluid flow. In this experiment, a flow control and drop detector were connected to the printer port of an IBM PC, which computed and saved the time intervals using a program for droptime compiled with Turbo C. It is noted that the time intervals change from periodic to doubly periodic as the flow rate is increased and then to various forms of chaos, interrupted by windows of periodicity. A number of two- and three-dimensional plots are displayed and discussed. Attention is focused on one of the simpler plots which is approximately parabolic, where each successive time interval is a quadratic function of the preceding interval, with a steepness which depends upon the flow rate. It is shown that a single past analog can predict a dripping faucet with reasonable accuracy 7-10 drops ahead. While such methods are more difficult to apply in higher-dimensional systems, this experiment aids in understanding how fluid flow may be predicted even under conditions of unstable flows caused by increase in velocity.
The development of computer science has produced a vast number of machine architectures, programming languages, and compiler technologies. The cross product of these three characteristics defines the spectrum of previous and present data representation methodologies. With regard to computer networks, the uniqueness of these methodologies presents an obstacle when disparate host environments are to be interconnected. Interoperability within a heterogeneous network relies upon the establishment of data representation commonality. The International Standards Organization (ISO) is currently developing the abstract syntax notation one standard (ASN.1) and the basic encoding rules standard (BER) that collectively address this problem. When used within the presentation layer of the open systems interconnection reference model, these two standards provide the data representation commonality required to facilitate interoperability. The details of a compiler that was built to automate the use of ASN.1 and BER are described. From this experience, insights into both standards are given and potential problems relating to this development effort are discussed.
Miscellaneous tasks related to mission operations and data analysis for the Burst and Transient Source Experiment on the Gamma Ray Observatory, to collection, analysis, and interpretation of data from the Marshall Space Flight Center Very Low Frequency transient monitoring program, and to compilation and analysis of induced radioactivity data were performed. The results are summarized and relevant references are included.
We describe recent work at NIST to develop and maintain databases for spectra, transition probabilities, and energy levels of atoms that are astrophysically important. Our programs to critically compile these data as well as to develop a new database to compare plasma calculations for atoms that are not in local thermodynamic equilibrium are also summarized.
Virtual Satellite (VirtualSat) is a computer program that creates an environment that facilitates the development, verification, and validation of flight software for a single spacecraft or for multiple spacecraft flying in formation. In this environment, enhanced functionality and autonomy of navigation, guidance, and control systems of a spacecraft are provided by a virtual satellite that is, a computational model that simulates the dynamic behavior of the spacecraft. Within this environment, it is possible to execute any associated software, the development of which could benefit from knowledge of, and possible interaction (typically, exchange of data) with, the virtual satellite. Examples of associated software include programs for simulating spacecraft power and thermal- management systems. This environment is independent of the flight hardware that will eventually host the flight software, making it possible to develop the software simultaneously with, or even before, the hardware is delivered. Optionally, by use of interfaces included in VirtualSat, hardware can be used instead of simulated. The flight software, coded in the C or C++ programming language, is compilable and loadable into VirtualSat without any special modifications. Thus, VirtualSat can serve as a relatively inexpensive software test-bed for development test, integration, and post-launch maintenance of spacecraft flight software.
Cockpit Avionics Prototyping Environment (CAPE) is a computer program that simulates the functions of proposed upgraded avionics for a space shuttle. In CAPE, pre-existing space-shuttle-simulation programs are merged with a commercial-off-the-shelf (COTS) display-development program, yielding a package of software that enables high-fi46 NASA Tech Briefs, September 2008 delity simulation while making it possible to rapidly change avionic displays and the underlying model algorithms. The pre-existing simulation programs are Shuttle Engineering Simulation, Shuttle Engineering Simulation II, Interactive Control and Docking Simulation, and Shuttle Mission Simulator playback. The COTS program Virtual Application Prototyping System (VAPS) not only enables the development of displays but also makes it possible to move data about, capture and process events, and connect to a simulation. VAPS also enables the user to write code in the C or C++ programming language and compile that code into the end-product simulation software. As many as ten different avionic-upgrade ideas can be incorporated in a single compilation and, thus, tested in a single simulation run. CAPE can be run in conjunction with any or all of four simulations, each representing a different phase of a space-shuttle flight.
In preparation for exploration-class missions, the Exploration Medical Capability (ExMC) element of NASA's Human Research Program (HRP) has compiled a large evidence base, which previously was available only to persons within the NASA community. The evidence base is comprised of several types of data, for example: information on more than 80 medical conditions which could occur during space flight, derived from several sources (including data on incidence and potential outcomes of these medical conditions, as captured in the Integrated Medical Model's Clinical Finding Forms). In addition, approximately 35 gap reports are included in the evidence base, identifying current understanding of the medical challenges for exploration, as well as any gaps in knowledge and/or technology that would need to be addressed in order to provide adequate medical support for these novel missions. In an effort to make the ExMC information available to the general public and increase collaboration with subject matter experts within and outside of NASA, ExMC has developed an online collaboration tool, very similar to a wiki, titled the NASA Human Research Wiki. The platform chosen for this data sharing, and the potential collaboration it could generate, is a MediaWiki-based application that would house the evidence, allow "read only" access to all visitors to the website, and editorial access to credentialed subject matter experts who have been approved by the Wiki's editorial board. Although traditional wikis allow users to edit information in real time, the NASA Human Research Wiki includes a peer review process to ensure quality and validity of information. The wiki is also intended to be a pathfinder project for other HRP elements that may want to use this type of web-based tool. The wiki website will be released with a subset of the data described and will continue to be populated throughout the year.
In this paper we present a novel lightweight approach to validate compilers for synchronous languages. Instead of verifying a compiler for all input programs or providing a fixed suite of regression tests, we extend the compiler to generate a test-suite with high behavioral coverage and geared towards discovery of faults for every compiled artifact. We have implemented and evaluated our approach using a compiler from Lustre to C.
COGENT /COmpiler and GENeralized Translator/ programming system is a compiler whose input language enables a description of symbolic and linguistic manipulation algorithms. Primarily for use as a compiler-compiler, it is also applicable to algebraic manipulation, mechanical theorem proving, and heuristic programming.
We have continued our program of infrared (IR) photometric, imaging, spectroscopic, and polarimetric temporal observations of comets to study the properties of comet dust and comet nuclei. During the first two years we digitized our IR data base on P/Halley and other recent comets to facilitate further analysis and comparison with other data bases, and found compelling evidence for the emission of a burst of small grains from P/Halley's nucleus at perihelion. We reported imaging and photometric observations of Comets Austin 1990 V and Swift-Tuttle 1992. The Swift-Tuttle 1992t observations included IR photometry, several 7-14 micron long-slit spectra of the coma and a time-sequence of more than 150 10 micron broadband images of the coma. An analysis of near-IR images of the inner coma of P/Halley obtained on three consecutive nights in 1986 March showed sunwardjets. We completed our analysis of IR imaging spectrosco-photometric data on comets. We also obtained observations of Comets Hyakutake 1996 B2 and Hale/Bopp 1995 01. We obtained infrared imaging, photometric, spectroscopic and polarimetric temporal observations of bright comets using a network of five telescopes, with emphasis on simultaneous observations of comets at many wavelengths with different instruments. Our program offers several unique advantages: 1) rapid observational response to new comets with dedicated infrared telescopes; 2) observations within a few degrees of the sun when comets are near perihelion and 3) access to advanced infrared array imagers and spectrometers. In particular, reduction, analysis, publication and archiving of our Jupiter/sl-9 and Comet Hyakutake infrared data received special emphasis. Instrumentation development included installation of the latest version of the innovative FORTH telescope control and a data acquisition system that enables us to control three telescopes remotely by telephone from anywhere in the world for comet observations in broad daylight. We have acquired more than 3000 256x256 images totaling nearly two gigabytes of data detailing the near-IR development of the impact sites of the S-L9 fragments on Jupiter. These data were obtained using the University of Rochester Imaging IR Camera at the cassegrain focus of the 92" at WIRO. The WIRO data set covers 8 days and is, to our knowledge, one of the most extensive observational records of the S-L/Jupiter encounter obtained by any ground-based telescope. This program benefitted from the compilation during these last few months of an upgrade to the data acquisition program at WIRO with support of this NASA contract.
An extensive propulsion and pyrotechnic test program has been in progress at the NASA White Sands Test Facility since 1995. This program created the capabilities to: accurately measure and characterize pyrovalve combustion product blow-by into propellant systems; characterize valve operation using a Velocity Interferometer System for Any Reflector (VISAR); and evaluate hydrazine and monomethylhydrazine thermal decomposition initiated by blow-by. These capabilities were further utilized and refined this year. Low blow-by pyrovalves manufactured by Conax Florida Corporation continued to be evaluated as a potential corrective measure for blow-by induced propellant explosions. Development and testing of various advanced pyrovalves and investigation of explosion mechanisms also continued. Current and near-term testing includes: evaluation of 3/8 in. Conax pyrovalves and other commercially available valves; development and testing of advanced pyrovalve subcomponent technologies including a zero blow-by pyrovalve ram, composite overwrapped ram cylinder, and a zero particulate generating poppet; investigation of non-destructive evaluation techniques to evaluate pyrovalve ram seals; and testing and modeling of pyrotechnically induced explosive hydrazine decomposition. Evaluation of 3/8 in. Conax valves will include operational margin testing to be accomplished at NASA Langley Research Center. The test program also seeks to compile and format significant amounts of data from this and other pyrovalve test programs to generate a pyrovalve applications handbook. The handbook will facilitate formation of standards that ensure safe spacecraft applications. Current data and future plans are discussed, and community interaction is encouraged.
Automated system rapidly diagnoses MOS integrated circuits. Its programed electronics investigate transistor and cell characteristics to compile data needed for screening. Program can be changed rapidly to alter test procedures, test duration, and precision.
Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.
A compiler and runtime support mechanism is described and demonstrated. The methods presented are capable of solving a wide range of sparse and unstructured problems in scientific computing. The compiler takes as input a FORTRAN 77 program enhanced with specifications for distributing data, and the compiler outputs a message passing program that runs on a distributed memory computer. The runtime support for this compiler is a library of primitives designed to efficiently support irregular patterns of distributed array accesses and irregular distributed array partitions. A variety of Intel iPSC/860 performance results obtained through the use of this compiler are presented.