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 289 records · Page 16

MISTiC Winds, a Micro-Satellite Constellation Approach to High Resolution Observations of the Atmosphere Using Infrared Sounding and 3D Winds Measurements

MISTiC(TM) Winds is an approach to improve short-term weather forecasting based on a miniature high resolution, wide field, thermal emission spectrometry instrument that will provide global tropospheric vertical profiles of atmospheric temperature and humidity at high (3-4 km) horizontal and vertical ( 1 km) spatial resolution. MISTiCs extraordinarily small size, payload mass of less than 15 kg, and minimal cooling requirements can be accommodated aboard a 27U-class CubeSat or an ESPA-Class micro-satellite. Low fabrication and launch costs enable a LEO sunsynchronous sounding constellation that would collectively provide frequent IR vertical profiles and vertically resolved atmospheric motion vector wind observations in the troposphere. These observations are highly complementary to present and emerging environmental observing systems, and would provide a combination of high vertical and horizontal resolution not provided by any other environmental observing system currently in operation. The spectral measurements that would be provided by MISTiC Winds are similar to those of NASA's AIRS that was built by BAE Systems and operates aboard the AQUA satellite. These new observations, when assimilated into high resolution numerical weather models, would revolutionize short-term and severe weather forecasting, save lives, and support key economic decisions in the energy, air transport, and agriculture arenasat much lower cost than providing these observations from geostationary orbit. In addition, this observation capability would be a critical tool for the study of transport processes for water vapor, clouds, pollution, and aerosols. Key remaining technical risks are being reduced through laboratory and airborne testing under NASA's Instrument Incubator Program.

Maschhoff, K. R.↗

Unobtrusive Software and System Health Management with R2U2 on a Parallel MIMD Coprocessor

Dynamic monitoring of software and system health of a complex cyber-physical system requires observers that continuously monitor variables of the embedded software in order to detect anomalies and reason about root causes. There exists a variety of techniques for code instrumentation, but instrumentation might change runtime behavior and could require costly software re-certification. In this paper, we present R2U2E, a novel realization of our real-time, Realizable, Responsive, and Unobtrusive Unit (R2U2). The R2U2E observers are executed in parallel on a dedicated 16-core EPIPHANY co-processor, thereby avoiding additional computational overhead to the system under observation. A DMA-based shared memory access architecture allows R2U2E to operate without any code instrumentation or program interference.

Schumann, Johann↗

Optical Component Performance for the Ocean Radiometer for Carbon Assessment (ORCA)

The Ocean Radiometer for Carbon Assessment (ORCA) is a new design for the next generation remote sensing of ocean biology and biogeochemistry. ORCA is configured to meet all the measurement requirements of the Decadal Survey Aerosol, Cloud, and Ecology (ACE), the Ocean Ecosystem (OES) radiometer and the Pro-ACE climate data continuity mission (PACE). Under the auspices of a 2007 grant from NASA Research Opportunity in Space and Earth Science (ROSES) and the Instrument Incubator Program (IIP), a team at the Goddard Space Flight Center (GSFC) has been working on a functional prototype with flight-like fore and aft optics and scan mechanisms. As part of the development efforts to bring ORCA closer to a flight configuration and in order to reduce cost, we have conducted component-level optical testing using standard spectrophotometers and system-level characterizations using non-flight commercial off-the-shelf (COTS) focal plane array detectors. Although these arrays would not be able to handle flight data rates, they are adequate for optical alignment and performance testing. The purpose of this presentation is to describe the results of this testing performed at GSFC and the National Institute of Standards and Technology (NIST) at the component and system level. Specifically, we show results for ORCA's spectral calibration ranging from the near UV, visible, and near-infrared spectral region.

Quijada, Manuel A.↗

Laser Transmitter Design and Performance for the Slope Imaging Multi-Polarization Photon-Counting Lidar (SIMPL) Instrument

The Slope Imaging Multi-polarization Photon-counting Lidar (SIMPL) instrument is a polarimetric, two-color, multibeam push broom laser altimeter developed through the NASA Earth Science Technology Office Instrument Incubator Program and has been flown successfully on multiple airborne platforms since 2008. In this talk we will discuss the laser transmitter performance and present recent science data collected over the Greenland ice sheet and sea ice in support of the NASA Ice Cloud and land Elevation Satellite 2 (ICESat-2) mission to be launched in 2017.

Yu, Anthony W.↗

Automatic Generation of Guard-Stable Floating-Point Code

In floating-point programs, test instability occurs when the control flow of a conditional statement diverges from its ideal execution under real arithmetic. This phenomenon is caused by the presence of round-off errors in floating-point computations. Writing programs that correctly handle test instability often require expertise on finite precision computations and rounding errors. This paper presents a fully automatic tool chain that generates and formally verifies a test-stable floating-point C program from its functional specification in real arithmetic. The generated program is instrumented to soundly detect when unstable tests may occur and, in these cases, to issue a warning. The proposed approach combines the PRECiSA floating-point static analyzer, the Frama-C software verification suite, and the PVS theorem prover.

Floating-Point Arithmetic↗

Geostar – a ‘Shovel Ready’ Geostationary Microwave Sounder

A geostationary microwave sounder, capable of providing temperature, water vapor, clouds, precipitation, and wind in the presence of clouds, convection and precipitation, will add tremendously to our ability to observe dynamic atmospheric phenomena, such as hurricanes and severe storms, monsoonal moisture flow, atmospheric rivers, etc. Such a sensor is now feasible, enabled by technology that has been developed under NASA’s Instrument Incubator Program at the Jet Propulsion Laboratory. The Geostationary Synthetic Thinned Aperture Radiometer (GeoSTAR) is essentially an “AMSU in GEO”, i.e. it has similar capabilities as AMSU would have if it were operating on a geostationary satellite, but with similar spatial resolution. GEO orbits are almost 50 times higher than the LEO orbits that current AMSUs operate from, and the corresponding scaling of aperture size required to maintain spatial resolution has stymied the development of such a sensor for many decades. The aperture synthesis approach implemented with GeoSTAR finally overcomes that obstacle, and the large number of microwave receivers and associated electronics required is made possible with new technology that has now been developed. A low-cost mission operating as a hosted payload on a commercial communications satellite has been designed and is “shovel-ready”. The objectives of such a mission could be to advance our understanding and modeling of storm processes that control rapid or explosive intensification of hurricanes, mesoscale convective systems, and extratropical cyclones, or it could be to support operational weather forecasting and nowcasting. Retrieval of temperature and water vapor profiles is possible even in the presence of moderate precipitation, and with the ability to derive horizontal wind vectors by tracking water vapor features, a rich set of parameters measuring the thermodynamics, dynamics and convection and sampled every 15 minutes, will enable significant progress in storm science and forecasting.

Lambrigtsen, Bjorn H↗

Full Spectrum Fitting Analysis of Bulk Elemental Composition Analyzer (BECA) Gamma Ray Data

The Bulk Elemental Composition Analyzer (BECA) is an instrument developed through NASA’s Development and Advancement of Lunar Instrumentation (DALI) program to measure the in situ bulk elemental composition of the lunar regolith from either a lander or rover platform. BECA uses active neutron and gamma ray spectroscopy to make these measurements and thus consists of a Pulsed Neutron Generator (PNG), a CeBr3 scintillator Gamma Ray Spectrometer (GRS), and two He-3 neutron detectors. As shown in Figure 1, the PNG emits 14.1 MeV neutrons that induce lunar materials to emit gamma rays with energies characteristic of the elements that produced them. The GRS measures the energy spectra of these gamma rays to identify the elements present and establish their absolute concentrations in the regolith. The analysis of BECA’s gamma ray spectral data yields quantitative elemental concentrations by mass (wt.%) in the material directly beneath the lunar lander or rover. A Compact Neutron Monitor (CNM) attached to the PNG precisely measures the output of 14.1 MeV neutrons to enable quantification of absolute elemental abundances.

Mauricio Ayllon Unzueta↗

Distributed Aperture Radar Tomographic Sensors (darts) to Map Surface Topography and Vegetation Structure

Distributed Aperture Radar Tomographic Sensors (DARTS)is a mission concept being studied at the NASA Jet PropulsionLaboratory in collaboration with the California Institute ofTechnology to enable global and repeated imaging of surfacetopography and three-dimensional vegetation structure usingsingle-pass tomographic SAR technique. The observing systemconsists of a distributed formation of multiple small syntheticaperture radar platforms deployed in space with variabledistances to achieve look angle diversity and sensitivityto the vertical distribution of vegetation components. Ourgoal is to identify the optimal system configuration startingfrom documented community needs and mature the criticaltechnologies that lead to a viable implementation of DARTS.Here, we provide an overview of DARTS and describe ourapproach for designing and demonstrating single-pass SARtomographic systems as part of an on-going funded NASA Instrument Incubator Program effort.

Chung, Soon-Jo↗

Passive Temperature Sensors for Nuclear Applications

Thermocouples are generally used to provide real-time temperature indications in instrumented tests performed at material and test reactors. Passive temperature monitors, such as Silicon Carbide (SiC) and melt wires, may be included in such tests as an independent technique of detecting peak temperatures experienced during irradiation. In less expensive static (drop-in) capsule tests, which have no leads attached for real-time data transmission, melt wires, and SiC temperature monitors (TMs) are essentially the only possibility for peak temperature indication. A melt wire involves placing materials (wires) of a known composition and melting temperature in a test. An inventory is maintained at Material Science Laboratory (MSL) for melt wires ranging in temperatures from 30°C to 1500°C. Unfortunately, melt wires are limited in that it can only detect whether a single temperature is or is not exceeded (melt wire melted or not). SiC TMs, which can also be used to detect peak irradiation temperatures, are advantageous because a single monitor can allow to determine the peak temperature reached within a relatively broad range (100 – 1200°C) resulting in accuracies within ±20°C. Irradiation temperature is determined by measuring a property change after isochronal annealing or during a continuously monitored annealing process using specialized equipment at MSL. Recent research has produced a passive monitor known as sublime temperature monitor. This passive sensor has the capability of recording temperature gradients and pinpointing exactly where a temperature is located along that gradient. Long measurement lengths are achieved with very high accuracy in the location of desired temperature measurements (±2 mm over a 1 m span); however, this sensor has not been deployed in a nuclear reactor. This article will focus only on passive temperature sensors currently being researched and implemented under the Advanced Sensors and Instrumentation (ASI) program at Idaho National Laboratory (INL).

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Space telescope optical telescope assembly/scientific instruments. Phase B: -Preliminary design and program definition study; Volume 2A: Planetary camera report

Development of the F/48, F/96 Planetary Camera for the Large Space Telescope is discussed. Instrument characteristics, optical design, and CCD camera submodule thermal design are considered along with structural subsystem and thermal control subsystem. Weight, electrical subsystem, and support equipment requirements are also included.

Source record↗

Research instrumentation for hot section components of turbine engines

Programs to develop research instrumentation for use on hot section components of turbine engines are discussed. These programs can be separated into two categories: one category includes instruments which can measure the environment within the combustor and turbine components, the other includes instruments which measure the response of engine components to the imposed environment. Included in the first category are instruments to measure total heat flux and fluctuating gas temperature. High temperature strain measuring systems, thin film sensors (e.g., turbine blade thermocouples) and a system to view the interior of a combustor during engine operation are programs which comprise the second category. The paper will describe the state of development of these sensors and measuring systems and, in some cases, show examples of measurements made with this instrumentation. The discussion will cover work done at NASA Lewis and at various contractor facilities.

Englund, D. R.↗

Automated Instrumentation, Monitoring and Visualization of PVM Programs Using AIMS

We present views and analysis of the execution of several PVM (Parallel Virtual Machine) codes for Computational Fluid Dynamics on a networks of Sparcstations, including: (1) NAS Parallel Benchmarks CG and MG; (2) a multi-partitioning algorithm for NAS Parallel Benchmark SP; and (3) an overset grid flowsolver. These views and analysis were obtained using our Automated Instrumentation and Monitoring System (AIMS) version 3.0, a toolkit for debugging the performance of PVM programs. We will describe the architecture, operation and application of AIMS. The AIMS toolkit contains: (1) Xinstrument, which can automatically instrument various computational and communication constructs in message-passing parallel programs; (2) Monitor, a library of runtime trace-collection routines; (3) VK (Visual Kernel), an execution-animation tool with source-code clickback; and (4) Tally, a tool for statistical analysis of execution profiles. Currently, Xinstrument can handle C and Fortran 77 programs using PVM 3.2.x; Monitor has been implemented and tested on Sun 4 systems running SunOS 4.1.2; and VK uses XIIR5 and Motif 1.2. Data and views obtained using AIMS clearly illustrate several characteristic features of executing parallel programs on networked workstations: (1) the impact of long message latencies; (2) the impact of multiprogramming overheads and associated load imbalance; (3) cache and virtual-memory effects; and (4) significant skews between workstation clocks. Interestingly, AIMS can compensate for constant skew (zero drift) by calibrating the skew between a parent and its spawned children. In addition, AIMS' skew-compensation algorithm can adjust timestamps in a way that eliminates physically impossible communications (e.g., messages going backwards in time). Our current efforts are directed toward creating new views to explain the observed performance of PVM programs. Some of the features planned for the near future include: (1) ConfigView, showing the physical topology of the virtual machine, inferred using specially formatted IP (Internet Protocol) packets: and (2) LoadView, synchronous animation of PVM-program execution and resource-utilization patterns.

Mehra, Pankaj↗

Feedback-Driven Dynamic Invariant Discovery

Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.

Daikon↗

Automated Instrumentation, Monitoring and Visualization of PVM Programs Using AIMS

We present views and analysis of the execution of several PVM codes for Computational Fluid Dynamics on a network of Sparcstations, including (a) NAS Parallel benchmarks CG and MG (White, Alund and Sunderam 1993); (b) a multi-partitioning algorithm for NAS Parallel Benchmark SP (Wijngaart 1993); and (c) an overset grid flowsolver (Smith 1993). These views and analysis were obtained using our Automated Instrumentation and Monitoring System (AIMS) version 3.0, a toolkit for debugging the performance of PVM programs. We will describe the architecture, operation and application of AIMS. The AIMS toolkit contains (a) Xinstrument, which can automatically instrument various computational and communication constructs in message-passing parallel programs; (b) Monitor, a library of run-time trace-collection routines; (c) VK (Visual Kernel), an execution-animation tool with source-code clickback; and (d) Tally, a tool for statistical analysis of execution profiles. Currently, Xinstrument can handle C and Fortran77 programs using PVM 3.2.x; Monitor has been implemented and tested on Sun 4 systems running SunOS 4.1.2; and VK uses X11R5 and Motif 1.2. Data and views obtained using AIMS clearly illustrate several characteristic features of executing parallel programs on networked workstations: (a) the impact of long message latencies; (b) the impact of multiprogramming overheads and associated load imbalance; (c) cache and virtual-memory effects; and (4significant skews between workstation clocks. Interestingly, AIMS can compensate for constant skew (zero drift) by calibrating the skew between a parent and its spawned children. In addition, AIMS' skew-compensation algorithm can adjust timestamps in a way that eliminates physically impossible communications (e.g., messages going backwards in time). Our current efforts are directed toward creating new views to explain the observed performance of PVM programs. Some of the features planned for the near future include: (a) ConfigView, showing the physical topology of the virtual machine, inferred using specially formatted IP (Internet Protocol) packets; and (b) LoadView, synchronous animation of PVM-program execution and resource-utilization patterns.

Mehra, Pankaj↗