Electronics & Software

The Automated Test Monitor computer program provides for continuous monitoring of the operations of a complex system (e.g., a spacecraft). This program implements a rigorous analytic (instead of an ad hoc) technique that prescribes exactly how to express requirements for the operation of...

The Mission Planning Graphical Tool (MPGT) computer program provides a mouse-driven graphical representation of data on a spacecraft and its environment, for use in planning a space flight. MPGT is designed to be a generic software tool that can be configured to analyze any specified...

The differential miscibility of castor oil in ethanol and water would be exploited to separate ethanol from water, according to a proposal. Burning the separated ethanol would produce more energy than would be consumed in the separation process. In contrast, the separation of a small amount...

A system of electronic monitoring equipment under central computer control records and displays the readouts of environmental-quality instrumentation in clean rooms in the Space Station Processing Facility at Kennedy Space Center. The instruments include airborne-particle counters,...

A collection of four documents contains information on various aspects of the flight software of the Solar Anomalous and Magnetospheric Particle Explorer (SAMPEX) spacecraft. The first document is part of a longer paper that presents design requirements for the software; the information in...

The Pathcalc computer program estimates the time needed to execute a given application program on a parallel computer of given computation and network capabilities. Pathcalc can be used to analyze the effects of changes in such parameters as central-processing-unit (CPU) speed, network bandwidth,...

"Planning and Resource Reasoning" ("PARR") is the name now applied to a scheduling methodology and to computer programs developed to implement the methodology during the years 1985 through 1987. In PARR, one uses heuristics and reactive techniques to build schedules. PARR software is generic enough to be...

A computer-based automated system for scheduling, reporting, and tracking fire inspections at Kennedy Space Center has supplanted a manual system based on paper fire-inspection reports transmitted by mail. The automated system not only minimizes the consumption of paper and other resources but...

Advances in time gating of ultrasonic signals in scanning acoustic microscopes have been proposed to enable detailed nondestructive examination of bonds and other interfaces deep within the interiors of such micromachined objects as high-density integrated electronic circuits and...