Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

The Tropospheric Wind Lidar Technology Experiment (TWiLiTE): An Airborne Direct Detection Doppler Lidar Instrument Development Program

Global measurement of tropospheric winds is a key measurement for understanding atmospheric dynamics and improving numerical weather prediction. Global wind profiles remain a high priority for the operational weather community and also for a variety of research applications including studies of the global hydrologic cycle and transport studies of aerosols and trace species. In addition to space based winds, a high altitude airborne system flown on UAV or other advanced platforms would be of great interest for studying mesoscale dynamics and hurricanes. The Tropospheric Wind Lidar Technology Experiment (TWiLiTE) project was selected in 2005 by the NASA Earth Sun Technology Office as part of the Instrument Incubator Program. TWiLiTE will leverage significant research and development investments in key technologies made in the past several years. The primary focus will be on integrating these sub-systems into a complete molecular direct detection Doppler wind lidar system designed for autonomous operation on a high altitude aircraft, such as the NASA WB57, so that the nadir viewing lidar will be able to profile winds through the full troposphere. TWiLiTE is a collaboration involving scientists and technologists from NASA Goddard, NOAA ESRL, Utah State University Space Dynamics Lab and industry partners Michigan Aerospace Corporation and Sigma Space Corporation. NASA Goddard and it's partners have been at the forefront in the development of key lidar technologies (lasers, telescopes, scanning systems, detectors and receivers) required to enable spaceborne global wind lidar measurement. The TWiLiTE integrated airborne Doppler lidar instrument will be the first demonstration of a airborne scanning direct detection Doppler lidar and will serve as a critical milestone on the path to a fixture spaceborne tropospheric wind system. The completed system will have the capability to profile winds in clear air from the aircraft altitude of 18 h to the surface with 250 m vertical resolution and less than 2 meters per second velocity accuracy. The instrument design, technologies and predicted performance will be presented.

Gentry, Bruce↗
NASA NTRS1970

Energetic particles experiment instrumentation packaging program for IMP-F (Explorer 34) and IMP-G (Explorer 41) NASA Interplanetary Monitoring Platform program

The package design and assembly techniques for the IMP-F and IMP-G space-physics experiments, provided for the NASA Interplanetary Monitoring Platform Program are described. Thin-film, hybrid, integrated circuits used in these instruments to increase component density and reliability, and special procedures and precautions for the fabrication of space hardware are described.

Source record↗
NASA NTRS2003

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗
NASA NTRS2001

Full-Time, Eye-Safe Cloud and Aerosol Lidar Observation at Atmospheric Radiation Measurement Program Sites: Instruments and Data Analysis

Atmospheric radiative forcing, surface radiation budget, and top of the atmosphere radiance interpretation involves a knowledge of the vertical height structure of overlying cloud and aerosol layers. During the last decade, the U.S. Department of Energy through I the Atmospheric Radiation Measurement (ARM) program has constructed four long- term atmospheric observing sites in strategic climate regimes (north central Oklahoma, In Barrow. Alaska, and Nauru and Manus Islands in the tropical western Pacific). Micro Pulse Lidar (MPL) systems provide continuous, autonomous observation of all significant atmospheric cloud and aerosol at each of the central ARM facilities. Systems are compact and transmitted pulses are eye-safe. Eye-safety is achieved by expanding relatively low-powered outgoing Pulse energy through a shared, coaxial transmit/receive telescope. ARM NIPL system specifications, and specific unit optical designs are discussed. Data normalization and calibration techniques are presented. A multiple cloud boundary detection algorithm is also described. These techniques in tandem represent an operational value added processing package used to produce normalized data products for Cloud and aerosol research and the historical ARM data archive.

Campbell, James R.↗
NASA NTRS1994

(abstract) JPL Cryocooler Development and Test Program Overview

Many near-term and future space-instrument programs within NASA and the Ballistic Missile Defense Organization (BMDO) depend on the successful development of long-life, low-vibration space cryocoolers. The most demanding near-term programs include a number of science instruments selected for NASA's Earth Observing System (Eos) program, and a number of space reconnaissance instruments associated with the BMDO's Brilliant Eyes program; both of these programs require delivery of similar types of flight coolers in the next few years. To help ensure the success of these cooler commitments, JPL has implemented an extensive cryocooler program in support of the NASA/JPL AIRS project, the Air Force Phillips Laboratory (AFPL), and the Air Force Space and Missiles Systems Division (SMC). This program is directed at assisting industry in developing advanced cryocoolers that successfully address the broad array of complex performance requirements needed for NASA and BMDO long-life space instruments. The JPL cryocooler program includes extensive characterization and life testing of industry-developed cryocoolers, development and flight testing of advanced sorption cooler systems for detector cooling to 10 K , development of mechanical cryocooler enhancement technologies, and flight tests of advanced low-vibration Stirling-cooler systems.

development design testing↗
NASA NTRS1983

HOST instrumentation R and D program overview

The HOST Instrumentation R&D program is focused on two categories of instrumentation. One category is that required to characterize the environment imposed on the hot section components of turbine engines. This category includes instruments for measuring gas flow, gas temperature, and heat flux. The second category is that for measuring the effect of the environment on the hot section components. This category includes strain measuring instruments and an optical system for viewing the interior of an operating combustor to detect cracks, buckling, carbon buildup, etc.

Englund, D. R.↗
NASA NTRS1986

HOST instrumentation R and D program overview

The HOST Instrumentation R and D program is focused on two categories of instrumentation. One category is that required to characterize the environment imposed on the hot section components of turbine engines. This category includes instruments for measuring gas flow, gas temperature, and heat flux. The second category is that for measuring the effect of the environment on the hot section components. This category includes strain measuring instruments and an optical system for viewing the interior of an operating combustor to detect cracks, buckling, carbon buildup, etc.

Englund, D. R.↗
NASA NTRS1993

The ParaScope parallel programming environment

The ParaScope parallel programming environment, developed to support scientific programming of shared-memory multiprocessors, includes a collection of tools that use global program analysis to help users develop and debug parallel programs. This paper focuses on ParaScope's compilation system, its parallel program editor, and its parallel debugging system. The compilation system extends the traditional single-procedure compiler by providing a mechanism for managing the compilation of complete programs. Thus, ParaScope can support both traditional single-procedure optimization and optimization across procedure boundaries. The ParaScope editor brings both compiler analysis and user expertise to bear on program parallelization. It assists the knowledgeable user by displaying and managing analysis and by providing a variety of interactive program transformations that are effective in exposing parallelism. The debugging system detects and reports timing-dependent errors, called data races, in execution of parallel programs. The system combines static analysis, program instrumentation, and run-time reporting to provide a mechanical system for isolating errors in parallel program executions. Finally, we describe a new project to extend ParaScope to support programming in FORTRAN D, a machine-independent parallel programming language intended for use with both distributed-memory and shared-memory parallel computers.

Cooper, Keith D.↗
NASA NTRS1986

Summary of laser speckle photogrammetry for HOST

High temperature static strain measurement capability is important for the success of the HOST program. As part of the NASA Lewis effort to develop the technology for improved hot-section durability, the HOST instrumentation program has, as a major goal, the development of methods for measuring strain at high temperature. Development work includes both improvements in resistance strain-gauge technology and, as an alternative approach, the development of optical techniques for high temperature strain measurement.

Pollack, Frank G.↗
NASA NTRS1999

Atmospheric Science Measurements by the EOS Geoscience Laser Altimeter System

Scheduled for Launch in July 2001, the Geoscience Laser Altimeter System (GLAS) is to be the first satellite instrument to provide full global lidar profiling of clouds and aerosol in the earth's atmosphere. GLAS is an EOS program instrument that is on its own satellite, now called the Ice, Cloud and land Elevation Satellite. The instrument is both a surface laser ranging system and an atmospheric profiling lidar. A most important surface measurement for the instrument is to study the change in the mass balance of the polar ice sheets by measuring the change in regional altitudes to an accuracy of 1.5 cm per year. The strategy to combine the surface measurement with a Cloud and aerosol lidar profiling mission is based on the compatibility of the altimetry instrument requirements with those for the required lidar measurements. The primary atmospheric science goal of the GLAS cloud and aerosol measurement is to determine the radiative forcing and vertically resolved atmospheric heating rate due to cloud and aerosol by directly observing the vertical structure and magnitude of cloud and aerosol parameters that are important for the radiative balance of the earth-atmosphere system, but which are ambiguous or impossible to obtain from existing or planned passive remote sensors. A further goal is to directly measure the height of atmospheric transition layers (inversions) which are important for dynamics and mixing, the planetary boundary layer and lifting condensation level.

Spinhirne, James↗
NASA NTRS1976

NASA's present and future sensor technology developments

NASA's overall sensing, data acquisition, and instrumentation programs are reviewed. The review shows that the trends in advanced sensor technology involve increased use of solid-state sensors, multiapplication sensors, standardized instrumentation, and miniaturized detectors. Examples are given of several new technologies, showing how improvements in sensor operational capability (such as enhanced sensitivity and spectral range) derived from these advances have resulted in relaxed spacecraft stability requirements, mission time savings, and savings in weight, size, and power. The introduction of multiapplication sensors and standardized instrumentation will result in measurement cost reduction and improved compatibility with standardized spacecraft.

Rubin, B.↗
NASA NTRS1991

Infrared astronomy

The decade of 1990's presents an opportunity to address fundamental astrophysical issues through observations at IR wavelengths made possible by technological and scientific advances during the last decade. The major elements of recommended program are: the Space Infrared Telescope Facility (SIRTF), the Stratospheric Observatory For Infrared Astronomy (SOFIA) and the IR Optimized 8-m Telescope (IRO), a detector and instrumentation program, the SubMilliMeter Mission (SMMM), the 2 Microns All Sky Survey (2MASS), a sound infrastructure, and technology development programs. Also presented are: perspective, science opportunities, technical overview, project recommendations, future directions, and infrastructure.

Gillett, Frederick↗
NASA NTRS1975

Flight testing air-to-air missiles for flutter

The philosophy of the design of air-to-air missiles and hence of flight testing them for flutter differs from that of manned aircraft. Primary emphasis is put on analytical and laboratory evaluation of missile susceptibility to aeroelastic and aero-servo-elastic instabilities and uses flight testing for confirmation of the absence of such instabilities. Flight testing for flutter is accomplished by using specially instrumented programmed missiles, air or ground launched with a booster to reach the extreme flight conditions of tactical use, or by using guided missiles with telemetered performance data. The instrumentation and testing techniques are discussed along with the success of recent flight tests.

Kutschinski, C. R.↗
NASA NTRS1998

On the Information Content of Program Traces

Program traces are used for analysis of program performance, memory utilization, and communications as well as for program debugging. The trace contains records of execution events generated by monitoring units inserted into the program. The trace size limits the resolution of execution events and restricts the user's ability to analyze the program execution. We present a study of the information content of program traces and develop a coding scheme which reduces the trace size to the limit given by the trace entropy. We apply the coding to the traces of AIMS instrumented programs executed on the IBM SPA and the SCSI Power Challenge and compare it with other coding methods. Our technique shows size of the trace can be reduced by more than a factor of 5.

Frumkin, Michael↗
NASA NTRS2012

TraceContract

TraceContract is an API (Application Programming Interface) for trace analysis. A trace is a sequence of events, and can, for example, be generated by a running program, instrumented appropriately to generate events. An event can be any data object. An example of a trace is a log file containing events that a programmer has found important to record during a program execution. Trace - Contract takes as input such a trace together with a specification formulated using the API and reports on any violations of the specification, potentially calling code (reactions) to be executed when violations are detected. The software is developed as an internal DSL (Domain Specific Language) in the Scala programming language. Scala is a relatively new programming language that is specifically convenient for defining such internal DSLs due to a number of language characteristics. This includes Scala s elegant combination of object-oriented and functional programming, a succinct notation, and an advanced type system. The DSL offers a combination of data-parameterized state machines and temporal logic, which is novel. As an extension of Scala, it is a very expressive and convenient log file analysis framework.

Kavelund, Klaus↗