Search NASA⌕ Search

SEARCH · Search NASA

Results for “INSTRUMENTATION PROGRAM”

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 343 records · Page 19

Monitoring Java Programs with Java PathExplorer

We present recent work on the development Java PathExplorer (JPAX), a tool for monitoring the execution of Java programs. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program's late code which will then omit events to an observer during its execution. The observer checks the events against user provided high level requirement specifications, for example temporal logic formulae, and against lower level error detection procedures, for example concurrency related such as deadlock and data race algorithms. High level requirement specifications together with their underlying logics are defined in the Maude rewriting logic, and then can either be directly checked using the Maude rewriting engine, or be first translated to efficient data structures and then checked in Java.

Havelund, Klaus↗

Evaluation of two transport aircraft and several ground test vehicle friction measurements obtained for various runway surface types and conditions. A summary of test results from joint FAA/NASA Runway Friction Program

Tests with specially instrumented NASA Boeing 737 and 727 aircraft together with several different ground friction measuring devices were conducted for a variety of runway surface types and conditions. These tests are part of joint FAA/NASA Aircraft/Ground Vehicle Runway Friction Program aimed at obtaining a better understanding of aircraft ground handling performance under adverse weather conditions and defining relationships between aircraft and ground vehicle tire friction measurements. Aircraft braking performance on dry, wet, snow and ice-covered runway conditions is discussed as well as ground vehicle friction data obtained under similar runway conditions. For a given contaminated runway surface condition, the correlation between ground vehicles and aircraft friction data is identified. The influence of major test parameters on friction measurements such as speed, test tire characteristics, type and amount of surface contaminant, and ambient temperature are discussed. The effect of surface type on wet friction levels is also evaluated from comparative data collected on grooved and ungrooved concrete and asphalt surfaces.

Yager, Thomas J.↗

Simulating Responses of Gravitational-Wave Instrumentation

Synthetic LISA is a computer program for simulating the responses of the instrumentation of the NASA/ESA Laser Interferometer Space Antenna (LISA) mission, the purpose of which is to detect and study gravitational waves. Synthetic LISA generates synthetic time series of the LISA fundamental noises, as filtered through all the time-delay-interferometry (TDI) observables. (TDI is a method of canceling phase noise in temporally varying unequal-arm interferometers.) Synthetic LISA provides a streamlined module to compute the TDI responses to gravitational waves, according to a full model of TDI (including the motion of the LISA array and the temporal and directional dependence of the arm lengths). Synthetic LISA is written in the C++ programming language as a modular package that accommodates the addition of code for specific gravitational wave sources or for new noise models. In addition, time series for waves and noises can be easily loaded from disk storage or electronic memory. The package includes a Python-language interface for easy, interactive steering and scripting. Through Python, Synthetic LISA can read and write data files in Flexible Image Transport System (FITS), which is a commonly used astronomical data format.

Armstrong, John↗

A Low Mass Translation Mechanism for Planetary FTIR Spectrometry using an Ultrasonic Piezo Linear Motor

One of the key components of a Fourier Transform Infrared Spectrometer (FTIR) is the linear translation stage used to vary the optical path length between the two arms of the interferometer. This translation mechanism must produce extremely constant velocity motion across its entire range of travel to allow the instrument to attain high signal-to-noise ratio and spectral resolving power. A new spectrometer is being developed at the Jet Propulsion Laboratory under NASA s Planetary Instrument Definition and Development Program (PIDDP). The goal of this project is to build upon existing spaceborne FTIR spectrometer technology to produce a new instrument prototype that has drastically superior spectral resolution and substantially lower mass, making it feasible for planetary exploration. In order to achieve these goals, Alliance Spacesystems, Inc. (ASI) has developed a linear translation mechanism using a novel ultrasonic piezo linear motor in conjunction with a fully kinematic, fault tolerant linear rail system. The piezo motor provides extremely smooth motion, is inherently redundant, and is capable of producing unlimited travel. The kinematic rail uses spherical Vespel(R). rollers and bushings, which eliminates the need for wet lubrication, while providing a fault tolerant platform for smooth linear motion that will not bind under misalignment or structural deformation. This system can produce velocities from 10 - 100 mm/s with less than 1% velocity error over the entire 100-mm length of travel for a total mechanism mass of less than 850 grams. This system has performed over half a million strokes under vacuum without excessive wear or degradation in performance. This paper covers the design, development, and testing of this linear translation mechanism as part of the Planetary Atmosphere Occultation Spectrometer (PAOS) instrument prototype development program.

Heverly, Matthew↗

Soho and Cluster - The scientific instruments

The mission goals and instrumentation of the Soho and cluster spacecraft to be launched in 1995 as part of the international Solar-Terrestrial Science Program are discussed. Instruments such as normal-incidence, grazing-incidence, and EUV coronal spectrometers aboard the Soho spacecraft will study the origin of the solar wind and the physical properties of the solar atmosphere. The four Cluster spacecraft will measure electric and magnetic fields, plasmas, and energetic particles using instruments including a wide-band receiver system, a relaxation sounder, and a search coil magnetometer.

Domingo, V.↗

Current status of Joint FAA/NASA Runway Friction Program

Tests with specially instrumented NASA B-737 and FAA B-727 aircraft together with several different ground friction measuring devices have been conducted for a variety of runway surface types and wetness conditions. This effort is part of the Joint FAA/NASA Aircraft Ground Vehicle Runway Friction Program aimed at obaining a better understanding of aircraft ground handling performance under adverse weather conditions and defining relationships between aircraft and ground vehicle tire friction measurements. Aircraft braking performance on dry, wet, snow-, and ice-covered runway conditions is discussed together with ground vehicle friction data obtained under similar runway conditions. For the wet, compacted snow- and ice-covered runway conditions, the relationship between ground vehicles and aircraft friction data is identified. The influence of major test parameters on friction measurements such as speed, test tire characteristics, and surface contaminant type are discussed. The test results indicate that use of properly maintained and calibrated ground vehicles for monitoring runway friction conditions should be encouraged particularly under adverse weather conditions. The current status of the runway friction program is summarized and future test plans are identified.

Yager, Thomas J.↗

Automated Instrumentation and Monitoring of Data Movement for Parallel Programs

Writing efficient parallel programs is complicated by the need to select the right data structure alignments and distributions, which determine the nature and volume of inter-processor communications. A large number of performance tools for parallel programs have been developed recently to expose these inter-processor communications. However, none of them support performance views or provide statistics in terms of inter-processor data structure interactions. A performance tool that tracks the interaction between individual data structures and the context of these interactions is essential for understanding the performance of both explicit message passing programs and data-parallel languages such as HPF. In this paper we discuss the use of compiler front end tools for automatically tracking data structure movements in message passing programs, and low-overhead monitoring and postprocessing of such codes. We demonstrate that robust instrumentation and low overhead monitoring of inter-processor data structure movements is possible, with the use of a number of NAS benchmark codes, run on the i860 hypercube. We also show that the data so collected can be used effectively by post processing tools that expose performance bottlenecks using graphical displays and performance statistics.

Sarukkai, Sekhar↗

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗

Testing Microshutter Arrays Using Commercial FPGA Hardware

NASA is developing micro-shutter arrays for the Near Infrared Spectrometer (NIRSpec) instrument on the James Webb Space Telescope (JWST). These micro-shutter arrays allow NIRspec to do Multi Object Spectroscopy, a key part of the mission. Each array consists of 62414 individual 100 x 200 micron shutters. These shutters are magnetically opened and held electrostatically. Individual shutters are then programmatically closed using a simple row/column addressing technique. A common approach to provide these data/clock patterns is to use a Field Programmable Gate Array (FPGA). Such devices require complex VHSIC Hardware Description Language (VHDL) programming and custom electronic hardware. Due to JWST's rapid schedule on the development of the micro-shutters, rapid changes were required to the FPGA code to facilitate new approaches being discovered to optimize the array performance. Such rapid changes simply could not be made using conventional VHDL programming. Subsequently, National Instruments introduced an FPGA product that could be programmed through a Labview interface. Because Labview programming is considerably easier than VHDL programming, this method was adopted and brought success. The software/hardware allowed the rapid change the FPGA code and timely results of new micro-shutter array performance data. As a result, numerous labor hours and money to the project were conserved.

Rapchun, David↗

AGE (Argon Geochronology Experiment): An Instrument for Geochronology on the Surface of Mars

As our knowledge of the planet Mars continues to grow, one parameter that remains elusive is the absolute chronology of the planet s geological history. Although crater counts have provided a robust relative chronology, impactor fluxes are poorly enough known that there are places on Mars where the absolute age is uncertain by a factor of two or more. To resolve these uncertainties, it will be necessary to either analyze well-documented samples returned to the Earth from the Martian surface or to perform in situ measurements with sufficient precision. Sample return is still at least a decade away, and even then it might be from a biologically interesting area that might be geologically complex. Hence an in situ measurement, within an uncertainty of 20% or better, could greatly improve our knowledge of the history of Mars. With funding from the Planetary Instrument Definition and Development Program (PIDDP), we have been working on an instrument to perform potassium-argon (K-Ar) and cosmic-ray exposure (CRE) dating in situ on the surface of Mars. For either of these techniques, it is necessary to measure the abundance of one or more major or minor elements (K in the case of KAr; all majors and minors in the case of CRE) and the abundance and isotopes composition of a noble gas (Ar in the case of K-Ar; He, Ne and Ar for CRE dating). The technology for either of these types of measurements exists, but has never before been integrated for a spacecraft. We refer to the instrument as AGE, the Argon Geochronology Experiment (although we will measure the noble gases He and Ne as well for CRE ages). We report here on the basic components that go into such an instrument, both those that use existing technology and those that had to be developed to create the integrated package.

Swindle, T. D.↗

Design trade-offs for a multispectral linear array (MLA) instrument

The NASA Landsat program with imagery produced by the Multispectral Scanner has been thoroughly successful. The second generation of Landsat is represented by the Thematic Mapper, while the MLA sensor belongs to a third generation. It is pointed out that the strength of the MLA concept emanates from the pushbroom image-formation approach, which offers some fundamental improvements over opto-mechanically scanned instruments. The increased dwell time of the MLA sensor can be employed to improve signal-to-noise, spectral resolution, and spatial resolution simultaneously. Problems regarding design tradeoffs are considered, taking into account instrument sizing, configuration tradeoffs, optical design tradeoffs, aspects of spectral separation and registration, and radiometric accuracy and calibration tradeoffs. A description is provided of the instrument concept to which the design tradeoffs have led.

Mika, A. M.↗

A discussion of some proposed measurement techniques for hypersonic flight and instrumentation research experiments

Sensors, instrumentation, and test techniques proposed for the Hypersonic Flight Instrumentation and Research Experiment are discussed. The project is concerned with Mach 4 to 16 flight at pressure altitudes of 50,000 to 150,000 feet. The developmental instrumentation for the program includes angle-of-attack sensors, transition sensors, skin-friction sensors, particle sensors, species-concentration sensors, and temperature and heat flux sensors. Support instrumentation (required to monitor basic flight parameters and to supply data from which the performance of the developmental instruments may be evaluated) considered include surface pressure sensors, inertial instrumentation, magnetic attitude sensors, and signal conditioning and data transmission instrumentation.

Hellbaum, R. F.↗

The Magnetospheric Multiscale Magnetometers

The success of the Magnetospheric Multiscale mission depends on the accurate measurement of the magnetic field on all four spacecraft. To ensure this success, two independently designed and built fluxgate magnetometers were developed, avoiding single-point failures. The magnetometers were dubbed the digital fluxgate (DFG), which uses an ASIC implementation and was supplied by the Space Research Institute of the Austrian Academy of Sciences and the analogue magnetometer (AFG) with a more traditional circuit board design supplied by the University of California, Los Angeles. A stringent magnetic cleanliness program was executed under the supervision of the Johns Hopkins University,s Applied Physics Laboratory. To achieve mission objectives, the calibration determined on the ground will be refined in space to ensure all eight magnetometers are precisely inter-calibrated. Near real-time data plays a key role in the transmission of high-resolution observations stored onboard so rapid processing of the low-resolution data is required. This article describes these instruments, the magnetic cleanliness program, and the instrument pre-launch calibrations, the planned in-flight calibration program, and the information flow that provides the data on the rapid time scale needed for mission success.

Magnetosphere↗