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.
Trace gases measured by the Atmospheric Trace Molecule Spectroscopy (ATMOS) instrument during the Mar/Apr 1992(AT-1), Apr 1993(AT-2), and Nov 1994(AT-3) space-shuttle missions have been mapped into equivalent latitude/potential temperature (EqL/0) coordinates.
This paper proposes a challenge problem in disproving. We describe a fault-tolerant distributed protocol designed at NASA for use in a fly-by-wire system for next-generation commercial aircraft. An early design of the protocol contains a subtle bug that is highly unlikely to be caught in fault injection testing. We describe a failed proof of the protocol's correctness in a mechanical theorem prover (PVS) with a complex unfinished proof conjecture. We use a model checking suite (SAL) to generate a concrete counterexample to the unproven conjecture to demonstrate the existence of a bug. However, we argue that the effort required in our approach is too high and propose what conditions a better solution would satisfy. We carefully describe the protocol and bug to provide a challenging but feasible case study for disproving research.
We present a computational model of a closed-loop, pilot-aircraft-visual scene-taxiway system created to shed light on possible sources of taxi error. Creating the cognitive aspects of the model using ACT-R required us to conduct studies with subject matter experts to identify experiential adaptations pilots bring to taxiing. Five decision strategies were found, ranging from cognitively-intensive but precise, to fast, frugal but robust. We provide evidence for the model by comparing its behavior to a NASA Ames Research Center simulation of Chicago O'Hare surface operations. Decision horizons were highly variable; the model selected the most accurate strategy given time available. We found a signature in the simulation data of the use of globally robust heuristics to cope with short decision horizons as revealed by errors occurring most frequently at atypical taxiway geometries or clearance routes. These data provided empirical support for the model.
An improved self-validating thermocouple (SVT) instrumentation system not only acquires readings from a thermocouple but is also capable of detecting deterioration and a variety of discrete faults in the thermocouple and its lead wires. Prime examples of detectable discrete faults and deterioration include open- and short-circuit conditions and debonding of the thermocouple junction from the object, the temperature of which one seeks to measure. Debonding is the most common cause of errors in thermocouple measurements, but most prior SVT instrumentation systems have not been capable of detecting debonding. The improved SVT instrumentation system includes power circuitry, a cold-junction compensator, signal-conditioning circuitry, pulse-width-modulation (PWM) thermocouple-excitation circuitry, an analog-to-digital converter (ADC), a digital data processor, and a universal serial bus (USB) interface. The system can operate in any of the following three modes: temperature measurement, thermocouple validation, and bonding/debonding detection. The software running in the processor includes components that implement statistical algorithms to evaluate the state of the thermocouple and the instrumentation system. When the power is first turned on, the user can elect to start a diagnosis/ monitoring sequence, in which the PWM is used to estimate the characteristic times corresponding to the correct configuration. The user also has the option of using previous diagnostic values, which are stored in an electrically erasable, programmable read-only memory so that they are available every time the power is turned on.
Recent modeling studies have revealed that ice crystal number concentration is one of the dominant factors in the effect of clouds on radiation. Since the ice crystal enhancement factor and ice nuclei concentration determine the concentration, they are both important in quantifying the contribution of increased ice nuclei to global warming. In this study, long-term cloud-resolving model (CRM) simulations are compared with field observations to estimate the ice crystal enhancement factor in tropical and midlatitudinal clouds, respectively. It is found that the factor in tropical clouds is ~10 3-104 times larger than that of mid-latitudinal ones, which makes physical sense because entrainment and detrainment in the Tropics are much stronger than in middle latitudes. The effect of entrainment/detrainment on the enhancement factor, especially in tropical clouds, suggests that cloud microphysical parameterizations should be coupled with subgrid turbulence parameterizations within CRMs to obtain a more accurate depiction of cloud-radiative forcing.
A recently invented method of nonintrusively detecting faults in piezoelectric devices involves measurement of the resonance frequencies of inductor capacitor (LC) resonant circuits. The method is intended especially to enable diagnosis of piezoelectric sensors, actuators, and sensor/actuators that are embedded in structures and/or are components of multilayer composite material structures.
The transport of ozone from the stratosphere to the extratropical troposphere is an important boundary condition to tropospheric chemistry. However, previous direct estimates from models and indirect estimates from observations have poorly constrained the magnitude of ozone stratosphere-troposphere exchange (STE). In this study we provide a direct diagnosis of the extratropical ozone STE using data from the Microwave Limb Sounder on Aura and output of the MERRA reanalysis over the time period from 2005 to the present. We find that the mean annual STE is about 275 Tg yr-1 and 205 Tg yr-1 in the NH and SH, respectively. The interannual variability of the magnitude is about twice as great in the NH than the SH. This variability is dominated by the seasonal variability during the late winter and spring. A comparison of the ozone flux to the mass flux reveals that there is not a simple relationship between the two quantities. This presentation will also examine the magnitude and distribution of ozone in the lower stratosphere relative to the years of maximum and minimum ozone STE
The transport of ozone from the stratosphere to the extratropical troposphere is an important boundary condition to tropospheric chemistry. However, previous direct estimates from models and indirect estimates from observations have poorly constrained the magnitude of ozone stratosphere-troposphere exchange (STE). In this study we provide a direct diagnosis of the extratropical ozone STE using data from the Microwave Limb Sounder on Aura and output of the MERRA reanalysis over the time period from 2005 to the present. We find that the mean annual STE is about 275 Tg/yr and 205 Tg/yr in the NH and SH, respectively. The interannual variability of the magnitude is about twice as great in the NH than the SH. We find that this variability is dominated by the seasonal variability during the late winter and spring. A comparison of the ozone flux to the mass flux reveals that there is not a simple relationship between the two quantities. This presentation will also examine the magnitude and distribution of ozone in the lower stratosphere relative to the years of maximum and minimum ozone STE. Finally, we will examine any possible signature of increased ozone STE in the troposphere using sonde and tropospheric ozone residual (TOR) data, and output from the Global Modeling Initiative Chemistry Transport Model (GMI CTM).
Land-atmosphere (L-A) interactions play a critical role in determining the diurnal evolution of land surface and planetary boundary layer (PBL) temperature and moisture states and fluxes. In turn, these interactions regulate the strength of the connection between surface moisture and precipitation in a coupled system. To address deficiencies in numerical weather prediction and climate models due to improper treatment of L-A interactions, recent studies have focused on development of diagnostics to quantify the strength and accuracy of the land-PBL coupling at the process-level. In this study, a diagnosis of the nature and impacts oflocalland-atmosphere coupling (LoCo) during dry and wet extreme conditions is presented using a combination of models and observations during the summers of2006-7 in the U.S. Southern Great Plains. Specifically, the Weather Research and Forecasting (WRF) model has been coupled to NASA's Land Information System (LIS), which provides a flexible and high-resolution representation and initialization of land surface physics and states. A range of diagnostics exploring the links and feedbacks between soil moisture and precipitation are examined for the dry/wet regimes of this region, along with the behavior and accuracy of different land-PBL scheme couplings under these conditions. In addition, we examine the impact of improved specification ofland surface states, anomalies, and fluxes that are obtained through the use of a hew optimization and uncertainty module in LIS, on the L-A coupling in WRF forecasts. Results demonstrate how LoCo diagnostics can be applied to coupled model components in the context of their integrated impacts on the process-chain connecting the land surface to the PBL and support of hydrological anomalies.
Land-atmosphere (L-A) interactions play a critical role in determining the diurnal evolution of land surface and planetary boundary layer (PBL) temperature and moisture states and fluxes. In turn, these interactions regulate the strength of the connection between surface moisture and precipitation in a coupled system. To address deficiencies in numerical weather prediction and climate models due to improper treatment of L-A interactions, recent studies have focused on development of diagnostics to quantify the strength and accuracy of the land-PBL coupling at the process-level. In this study, a diagnosis of the nature and impacts of local land-atmosphere coupling (LoCo) during dry and wet extreme conditions is presented using a combination of models and observations during the summers of2006-7 in the U.S. Southern Great Plains. Specifically, the Weather Research and Forecasting (WRF) model has been coupled to NASA's Land Information System (LIS), which provides a flexible and high resolution representation and initialization of land surface physics and states. A range of diagnostics exploring the links and feedbacks between soil moisture and precipitation are examined for the dry/wet regimes of this region, along with the behavior and accuracy of different land-PBL scheme couplings under these conditions. Results demonstrate how LoCo diagnostics can be applied to coupled model components in the context of their integrated impacts on the process-chain connecting the land surface to the PBL and support of hydrological anomalies.
Land-atmosphere (L-A) interactions play a critical role in determining the diurnal evolution of land surface and planetary boundary layer (PBL) temperature and moisture states and fluxes. In turn, these interactions regulate the strength of the connection between surface moisture and precipitation in a coupled system. To address model deficiencies, recent studies have focused on development of diagnostics to quantify the strength and accuracy of the land- PBL coupling at the process-level. In this paper, a diagnosis of the nature and impacts of local land-atmosphere coupling (LoCo) during dry and wet extreme conditions is presented using a combination of models and observations during the summers of 2006 and 2007 in the U.S. Southern Great Plains. A range of diagnostics exploring the links and feedbacks between soil moisture and precipitation are applied to the dry/wet regimes exhibited in this region, and in the process a thorough evaluation of nine different land-PBL scheme couplings is conducted under the umbrella of a high-resolution regional modeling testbed. Results show that the sign and magnitude of errors in land surface energy balance components are sensitive to the choice of land surface model, regime type, and running mode. In addition, LoCo diagnostics show that the sensitivity of L-A coupling is stronger towards the land during dry conditions, while the PBL scheme coupling becomes more important during the wet regime. Results also demonstrate how LoCo diagnostics can be applied to any modeling system (e.g. reanalysis products) in the context of their integrated impacts on the process-chain connecting the land surface to the PBL and in support of hydrological anomalies.
AIRS yield and sampling vary with cloud state. Careful utilization of collocated multiple satellite sensors is necessary. Profile differences between AIRS and ECMWF model analyses indicate that AIRS has high sampling and excellent accuracy for certain meteorological conditions. Cloud-dependent sampling biases may have large impact on AIRS L2 and L3 data in climate research. MBL clouds / lower tropospheric stability relationship is one example. AIRS and CloudSat reveal a reasonable climatology in the MBL cloud regime despite limited sampling in stratocumulus. Thermodynamic parameters such as EIS derived from AIRS data map these cloud conditions successfully. We are working on characterizing AIRS scenes with mixed cloud types.
Space Shuttle Discovery's last mission, STS-133, was scheduled to launch on November 5, 2010. Just hours before liftoff, a hydrogen leak at an umbilical connection scrubbed the launch attempt. After the scrub, further inspection revealed a large crack in the foam insulation covering the External Tank, ET-137. Video replay of the launch attempt confirmed the crack first appeared as cryogenic propellants were being loaded into the ET. When the cracked foam was removed, technicians found the underlying stringer had two 9-inch-long cracks. Further inspection revealed a total of 5 of the 108 ET stringers had cracked. NASA and Lockheed Martin immediately launched an aggressive campaign to understand the cracks and repair the stringers in ET-137, targeting February 2011 as the new launch date for STS-133. Responsibilities for the various aspects of the investigation were widely distributed among NASA centers and organizations. This paper will focus on lab testing at Marshall Space Flight Center (MSFC) in Huntsville, Alabama that was intended to replicate the stringer failure and gauge the effect of proposed countermeasures.
Sprites are a category of Transient Luminous Events (TLE's) that occur in the upper atmosphere above the tops of Mesoscale Convective Systems (MCSs). They are commonly associated with lightning strokes that produce large charge moment changes (CMCs). Synergistic use of satellite and radar-retrieved observations together with sounding data, forecasts, and lightning-detection-networks allowed the diagnosis and analysis of the meteorological conditions associated with sprites as well as large-CMC lightning over Oklahoma
Sprites are a category of Transient Luminous Events (TLEs) that occur in the upper atmosphere above the tops of Mesoscale Convective Systems (MCSs). They are commonly associated with lightning strokes that produce large charge moment changes (CMCs). Synergistic use of satellite and radar-retrieved observations together with sounding data, forecasts, and lightning-detection networks allowed the diagnosis and analysis of the meteorological conditions associated with sprites as well as large-CMC lightning over Oklahoma. One goal of the NASA-funded effort reported herein is the investigation of the potential for sprite interference with aerospace activities in the 20- 100km altitude range, including research balloons, space missions and other aviation transports.
Sprites are a category of Transient Luminous Events (TLEs) that occur in the upper atmosphere above the tops of Mesoscale Convective Systems (MCSs). They are commonly associated with lightning that produce large charge moment changes (CMCs). Synergistic use of satellite and radar‐retrieved observations together with sounding data, forecasts, and lightning‐detection networks allowed the diagnosis and analysis of the meteorological conditions associated with sprites as well as large‐CMC lightning over Oklahoma.
This study analyzes characteristics of clouds and vertical motion across extratropical cyclone warm fronts in the NASA Goddard Institute for Space Studies general circulation model. The validity of the modeled clouds is assessed using a combination of satellite observations from CloudSat, Cloud-Aerosol Lidar and Infrared Pathfinder Satellite Observations (CALIPSO), Advanced Microwave Scanning Radiometer for Earth Observing System (AMSR-E), and the NASA Modern-Era Retrospective Analysis for Research and Applications (MERRA) reanalysis. The analysis focuses on developing cyclones, to test the model's ability to generate their initial structure. To begin, the extratropical cyclones and their warm fronts are objectively identified and cyclone-local fields are mapped into a vertical transect centered on the surface warm front. To further isolate specific physics, the cyclones are separated using conditional subsetting based on additional cyclone-local variables, and the differences between the subset means are analyzed. Conditional subsets are created based on 1) the transect clouds and 2) vertical motion; 3) the strength of the temperature gradient along the warm front, as well as the storm-local 4) wind speed and 5) precipitable water (PW). The analysis shows that the model does not generate enough frontal cloud, especially at low altitude. The subsetting results reveal that, compared to the observations, the model exhibits a decoupling between cloud formation at high and low altitudes across warm fronts and a weak sensitivity to moisture. These issues are caused in part by the parameterized convection and assumptions in the stratiform cloud scheme that are valid in the subtropics. On the other hand, the model generates proper covariability of low-altitude vertical motion and cloud at the warm front and a joint dependence of cloudiness on wind and PW.
Described is a mobile in vivo infrared brain scan and analysis system. The system includes a data collection subsystem and a data analysis subsystem. The data collection subsystem is a helmet with a plurality of infrared (IR) thermometer probes. Each of the IR thermometer probes includes an IR photodetector capable of detecting IR radiation generated by evoked potentials within a user's skull. The helmet is formed to collect brain data that is reflective of firing neurons in a mobile subject and transmit the brain data to the data analysis subsystem. The data analysis subsystem is configured to generate and display a three-dimensional image that depicts a location of the firing neurons. The data analysis subsystem is also configured to compare the brain data against a library of brain data to detect an anomaly in the brain data, and notify a user of any detected anomaly in the brain data.