SEARCH · Engineering Papers

Results for “trace”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS2001

Testing Linear Temporal Logic Formulae on Finite Execution Traces

We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL. theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications. Such tests correspond to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property. We then suggest an optimized algorithm based on transforming LTL formulae. The work is done using the Maude rewriting system. which turns out to provide a perfect notation and an efficient rewriting engine for performing these experiments.

Havelund, Klaus↗

NASA NTRS2001

Efficient Tracing for On-the-Fly Space-Time Displays in a Debugger for Message Passing Programs

In this work we describe the implementation of a practical mechanism for collecting and displaying trace information in a debugger for message passing programs. We introduce a trace format that is highly compressible while still providing information adequate for debugging purposes. We make the mechanism convenient for users to access by incorporating the trace collection in a set of wrappers for the MPI (message passing interface) communication library. We implement several debugger operations that use the trace display: consistent stoplines, undo, and rollback. They all are implemented using controlled replay, which executes at full speed in target processes until the appropriate position in the computation is reached. They provide convenient mechanisms for getting to places in the execution where the full power of a state-based debugger can be brought to bear on isolating communication errors.

Hood, Robert↗

NASA NTRS1994

The NAS Trace Visualizer (NTV)

NTV is a tool used to visualize execution traces from message passing systems. It is designed to be ported easily to different trace formats. The first version of NTV uses trace files produced using AIMS Version 2.2. Versions for the native traces from the IBM SP2 and Intel Paragon are nearing completion. A distinctive characteristic of NTV is that it uses static displays rather then time varying displays. This, in combination with mouse controlled zooming, gives the user the ability to get a global view of the execution and a focused view of details. The principal display is a time line display that shows a color coded time line for each processor. The color coding shows the processor status. Messages between processors are indicated by lines connecting the processors involved in the communications. Controls for these message edges let the user show all messages, no messages, or only message between specified sets of processors. Summary (profiling) displays are also produced. These are of two types. One allocates information by processor, e.g., the time the processor was blocked sending, and the other allocates information by function, e.g., the time a function was blocked sending.

Lopez, Louis↗

NASA NTRS1998

Trace-Driven Debugging of Message Passing Programs

In this paper we report on features added to a parallel debugger to simplify the debugging of parallel message passing programs. These features include replay, setting consistent breakpoints based on interprocess event causality, a parallel undo operation, and communication supervision. These features all use trace information collected during the execution of the program being debugged. We used a number of different instrumentation techniques to collect traces. We also implemented trace displays using two different trace visualization systems. The implementation was tested on an SGI Power Challenge cluster and a network of SGI workstations.

Frumkin, Michael↗

NASA NTRS2002

A Rewriting-Based Approach to Trace Analysis

We present a rewriting-based algorithm for efficiently evaluating future time Linear Temporal Logic (LTL) formulae on finite execution traces online. While the standard models of LTL are infinite traces, finite traces appear naturally when testing and/or monitoring red applications that only run for limited time periods. The presented algorithm is implemented in the Maude executable specification language and essentially consists of a set of equations establishing an executable semantics of LTL using a simple formula transforming approach. The algorithm is further improved to build automata on-the-fly from formulae, using memoization. The result is a very efficient and small Maude program that can be used to monitor program executions. We furthermore present an alternative algorithm for synthesizing probably minimal observer finite state machines (or automata) from LTL formulae, which can be used to analyze execution traces without the need for a rewriting system, and can hence be used by observers written in conventional programming languages. The presented work is part of an ambitious runtime verification and monitoring project at NASA Ames, called PATHEXPLORER, and demonstrates that rewriting can be a tractable and attractive means for experimenting and implementing program monitoring logics.

Havelund, Klaus↗

NASA NTRS2003

Compendium of NASA Data Base for the Global Tropospheric Experiment's Transport and Chemical Evolution Over the Pacific (TRACE-P): DC-8 - Volume 1

This report provides a compendium of NASA aircraft data that are available from NASA's Global Tropospheric Experiment's (GTE) Transport and Chemical Evolution over the Pacific (TRACE-P) Mission. The broad goal of TRACE-P was to characterize the transit and evolution of the Asian outflow over the western Pacific. Conducted from February 24 through April 10, 2001, TRACE-P integrated airborne, satellite- and ground-based observations, as well as forecasts from aerosol and chemistry models. The format of this compendium utilizes data plots (time series) of selected data acquired aboard the NASA/Dryden DC-8 (vol. 1) and NASA/Wallops P-3B (vol. 2) aircraft during TRACE-P. The purpose of this document is to provide a representation of aircraft data that are available in archived format via NASA Langley s Distributed Active Archive Center (DAAC) and through the GTE Project Office archive. The data format is not intended to support original research/analyses, but to assist the reader in identifying data that are of interest.

Kleb, Mary M.↗

NASA NTRS2003

Compendium of NASA Data Base for the Global Tropospheric Experiment's Transport and Chemical Evolution Over the Pacific (TRACE-P): P-3B - Volume 2

This report provides a compendium of NASA aircraft data that are available from NASA's Global Tropospheric Experiment's (GTE) Transport and Chemical Evolution over the Pacific (TRACE-P) Mission. The broad goal of TRACE-P was to characterize the transit and evolution of the Asian outflow over the western Pacific. Conducted from February 24 through April 10, 2001, TRACE-P integrated airborne, satellite- and ground based observations, as well as forecasts from aerosol and chemistry models. The format of this compendium utilizes data plots (time series) of selected data acquired aboard the NASA/Dryden DC-8 (vol. 1) and NASA/Wallops P-3B (vol. 2) aircraft during TRACE-P. The purpose of this document is to provide a representation of aircraft data that are available in archived format via NASA Langley's Distributed Active Archive Center (DAAC) and through the GTE Project Office archive. The data format is not intended to support original research/analyses, but to assist the reader in identifying data that are of interest.

Kleb, Mary M.↗

NASA NTRS2003

Characteristics and Influence of Biosmoke on the Fine-Particle Ionic Composition Measured in Asian Outflow during the Transport and Chemical Evolution Over the Pacific (TRACE-P) Experiment

We investigate the sources, prevalence, and fine-particle inorganic composition of biosmoke over the western Pacific Ocean between 24 February and 10 April 2001. The analysis is based on highly time-resolved airborne measurements of gaseous and fine- particle inorganic chemical composition made during the NASA Transport and Chemical Evolution over the Pacific (TRACE-P) experiment. At latitudes below approximately 25 deg. N, relatively pure biomass burning plumes of enhanced fine-particle potassium, nitrate, ammonium, light-absorbing aerosols, and CO concentrations were observed in plumes that back trajectories and satellite fire map data suggest originated from biomass burning in southeast Asia. Fine-particle water-soluble potassium (K+) is confirmed to be a unique biosmoke tracer, and its prevalence throughout the experiment indicates that approximately 20% of the TRACE-P Asian outflow plumes were influenced, to some extent, by biomass or biofuel burning emissions. At latitudes above 25 deg. N, highly mixed urban/industrial and biosmoke plumes, indicated by SO(sup 2, sub 4) and K+, were observed in 5 out of 53 plumes. Most plumes were found in the Yellow Sea and generally were associated with much higher fine-particle loadings than plumes lacking a biosmoke influence. The air mass back trajectories of these mixed plumes generally pass through the latitude range of between 34 deg. and 40 deg. N on the eastern China coast, a region that includes the large urban centers of Beijing and Tianjin. A lack of biomass burning emissions based on fire maps and high correlations between K+ and pollution tracers (e.g., S(sup 2, sub 4) suggest biofuel sources. Ratios of fine-particle potassium to sulfate are used to provide an estimate of relative contributions of biosmoke emissions to the mixed Asian plumes. The ratio is highly correlated with fine-particle volume (r(sup 2) = 0.85) and predicts that for the most polluted plume encounter in TRACE-P, approximately 60% of the plume is associated with biosmoke emissions. On average, biosmoke contributes approximately 35-40% to the measured fine inorganic aerosol mass in the mixed TRACE-P plumes intercepted north of 25% latitude.

Ma, Y.↗

NASA NTRS2003

Transport and Chemical Evolution over the Pacific (TRACE-P)Aircraft Mission: Design, Execution, and First Results

The NASA Transport and Chemical Evolution over the Pacific (TRACE-P) aircraft mission was conducted in February-April 2001 over the NW Pacific (1) to characterize the Asian chemical outflow and relate it quantitatively to its sources and (2) to determine its chemical evolution. It used two aircraft, a DC-8 and a P-3B, operating out of Hong Kong and Yokota Air Force Base (near Tokyo), with secondary sites in Hawaii, Wake Island, Guam, Okinawa, and Midway. The aircraft carried instrumentation for measurements of long-lived greenhouse gases, ozone and its precursors, aerosols and their precursors, related species, and chemical tracers. Five chemical transport models (CTMs) were used for chemical forecasting. Customized bottom-up emission inventories for East Asia were generated prior to the mission to support chemical forecasting and to serve as a priori for evaluation with the aircraft data. Validation flights were conducted for the Measurements Of Pollution In The Troposphere (MOPITT) satellite instrument and revealed little bias (6 plus or minus 2%) in the MOPITT measurements of CO columns. A major event of transpacific Asian pollution was characterized through combined analysis of TRACE-P and MOPITT data. The TRACE-P observations showed that cold fronts sweeping across East Asia and the associated warm conveyor belts (WCBs) are the dominant pathway for Asian outflow to the Pacific in spring. The WCBs lift both anthropogenic and biomass burning (SE Asia) effluents to the free troposphere, resulting in complex chemical signatures. The TRACE-P data are in general consistent with a priori emission inventories, lending confidence in our ability to quantify Asian emissions from socioeconomic data and emission factors. However, the residential combustion source in rural China was found to be much larger than the a priori, and there were also unexplained chemical enhancements (HCN, CH3Cl, OCS, alkylnitrates) in Chinese urban plumes. The Asian source of CCl4 was found to be much higher than government estimates. Measurements of HCN and CH3CN indicated a dominant biomass burning source and ocean sink for both gases. Large fractions of sulfate and nitrate were found to be present in dust aerosols. Photochemical activity in the Asian outflow was strongly reduced by aerosol attenuation of UV radiation, with major implications for the concentrations of HOx, radicals. New particle formation, apparently from ternary nucleation involving NH3, was observed in Chinese urban plumes.

Jacob, Daniel J.↗

NASA NTRS2003

Chemical Composition of Asian Continental Outflow over the Western Pacific: Results from Transport and Chemical Evolution over the Pacific (TRACE-P)

We characterize the chemical composition of Asian continental outflow observed during the NASA Transport and Chemical Evolution over the Pacific (TRACE-P) mission during February-April 2001 in the western Pacific using data collected on the NASA DC-8 aircraft. A significant anthropogenic impact was present in the free troposphere and as far east as 150degE longitude reflecting rapid uplift and transport of continental emissions. Five-day backward trajectories were utilized to identify five principal Asian source regions of outflow: central, coastal, north-northwest(NNW), southeast (SE), and west-southwest (WSW). The maximum mixing ratios for several species, such as CO, C2Cl4, CH3Cl, and hydrocarbons, were more than a factor of 2 larger in the boundary layer of the central and coastal regions due to industrial activity in East Asia. CO was well correlated with C2H2, C2H6, C2Cl4, and CH3Cl at low altitudes in these two regions (r(sup 2) approx. 0.77-0.97). The NNW, WSW, and SE regions were impacted by anthropogenic sources above the boundary layer presumably due to the longer transport distances of air masses to the western Pacific. Frontal and convective lifting of continental emissions was most likely responsible for the high altitude outflow in these three regions. Photochemical processing was influential in each source region resulting in enhanced mixing ratios of O3, PAN, HNO3, H2O2, and CH3OOH. The air masses encountered in all five regions were composed of a complex mixture of photcrchemically aged air with more recent emissions mixed into the outflow as indicated by enhanced hydrocarbon ratios (C2H2/CO greater than or equal to 3 and C3H8/C2H6 greater than or equal to 0.2). Combustion, industrial activities, and the burning of biofuels and biomass all contributed to the chemical composition of air masses from each source region as demonstrated by the H6, SO2, and C2Cl4 were compared for the TRACE-P and PEM-West B missions. In the more northern regions, O3, CO, and SO2 were higher at low altitudes during TRACE-P. In general, mixing ratios were fairly similar between the two missions in the southern regions. A comparison between CO/CO2, CO/CH4, C2H6/C3H8, NO(x)/SO2, and NO(y)/(SO2 + nss-SO4) ratios for the five source regions and for the 2000 Asian emissions summary showed vay close agreement indicating that Asian emissions were well represented by the TRACE-P data and tbe emissions inventory.

Russo, R. S.↗

NASA NTRS2008

Mid-Infrared OPO for High Resolution Measurements of Trace Gases in the Mars Atmosphere

The Martian atmosphere is composed primarily (>95%) of CO2 and N2 gas, with CO, O2, CH4, and inert gases such as argon comprising most of the remainder. It is surprisingly dynamic with various processes driving changes in the distribution of CO2, dust, haze, clouds and water vapor on global scales in the meteorology of Mars atmosphere [I]. The trace gases and isotopic ratios in the atmosphere offer important but subtle clues as to the origins of the planet's atmosphere, hydrology, geology, and potential for biology. In the search for life on Mars, an important process is the ability of bacteria to metabolize inorganic substrates (H2, CO2 and rock) to derive energy and produce methane as a by-product of anaerobic metabolism. Trace gases have been measured in the Mars atmosphere from Earth, Mars orbit, and from the Mars surface. The concentration of water vapor and various carbon-based trace gases are observed in variable concentrations. Within the past decade multiple groups have reported detection of CH4, with concentrations in the 10's of ppb, using spectroscopic observations from Earth [2]. Passive spectrometers in the mid-infrared (MIR) are restricted to the sunlit side of the planet, generally in the mid latitudes, and have limited spectral and spatial resolution. To accurately map the global distribution and to locate areas of possibly higher concentrations of these gases such as plumes or vents requires an instrument with high sensitivity and fine spatial resolution that also has global coverage and can measure during both day and night. Our development goal is a new MIR lidar capable of measuring, on global scales, with sensitivity, resolution and precision needed to characterize the trace gases and isotopic ratios of the Martian atmosphere. An optical parametric oscillator operating in the MIR is well suited for this instrument. The sufficient wavelength tuning range of the OPO can extend the measurements to other organic molecules, CO2, atmospheric water vapor, clouds, temperature, dust, and aerosols, as well as possibly polar-cap properties. Our OPO-approach may allow a new capability for active remote sensing of the outer planets and moons, where the weaker sunlight further limit passive instruments. Here we report on the OPO development effort for this lidar instrument.

Yu, Anthony W.↗

NASA NTRS2009

Trace Contaminant Testing with the Orion Atmosphere Revitalization Technology

Every spacecraft atmosphere contains trace contaminants resulting from offgassing by cabin materials and human passengers. An amine-based carbon dioxide (CO2) and water vapor sorbent in pressure-swing regenerable beds has been developed by Hamilton Sundstrand and baselined for the Orion Atmosphere Revitalization System (ARS). Part of the risk mitigation effort for this new technology is the study of how atmospheric trace contaminants will affect and be affected by the technology. One particular area of concern is ammonia, which, in addition to the normal spacecraft sources, can also be off-gassed by the amine-based sorbent. In the first half of 2009, tests were performed with typical cabin atmosphere levels of five of the most common trace gases, most of which had not yet been tested with this technology. A subscale sample of the sorbent was exposed to each of the chemicals mixed into a stream of moist, CO2-laden air, and the CO2 adsorption capacity of the sorbent was compared before and after the exposure. After these typical-concentration chemicals were proven to have negligible effect on the subscale sample, tests proceeded on a full-scale test article in a sealed chamber with a suite of eleven contaminants. To isolate the effects of various test rig components, several extended-duration tests were run: without injection or scrubbing, with injection and without scrubbing, with injection and scrubbing by both the test article and dedicated trace contaminant filters, and with injection and scrubbing by only the test article. The high-level results of both the subscale and full-scale tests are examined in this paper.

Button, Amy Lin↗

NASA NTRS2010

Trace Contaminant Testing with the Orion Atmosphere Revitalization Technology

Every spacecraft atmosphere contains trace contaminants resulting from offgassing by cabin materials and human passengers. An amine-based carbon dioxide (CO2) and water vapor sorbent in pressure-swing regenerable beds has been developed by Hamilton Sundstrand and baselined for the Orion Atmosphere Revitalization System (ARS). Part of the risk mitigation effort for this new technology is the study of how atmospheric trace contaminants will affect and be affected by the technology. One particular area of concern is ammonia, which, in addition to the normal spacecraft sources, can also be offgassed by the amine-based sorbent. In the spring of 2009, tests were performed at Johnson Space Center (JSC) with typical cabin atmosphere levels of five of the most common trace gases, most of which had not yet been tested with this technology. A subscale sample of the sorbent was exposed to each of the chemicals mixed into a stream of moist, CO2-laden air, and the CO2 adsorption capacity of the sorbent was compared before and after the exposure. After these typical-concentration chemicals were proven to have negligible effect on the subscale sample, tests proceeded on a full-scale test article in a sealed chamber with a suite of eleven contaminants. To isolate the effects of various test rig components, several extended-duration tests were run: without injection or scrubbing, with injection and without scrubbing, with injection of both contaminants and metabolic CO2 and water vapor loads and scrubbing by both the test article and dedicated trace contaminant filters, and with the same injections and scrubbing by only the test article. The high-level results of both the subscale and full-scale tests are examined in this paper.

Button, Amy B.↗

NASA NTRS2011

Small Scale Trace Contaminant Testing of SA9T at Ambient and Reduced Pressure Conditions

A principle concern for air revitalization technology in a closed loop system is the capability to control carbon dioxide (CO2) and humidity (H2O). An amine based sorbent technology, SA9T, has long been evaluated for use in this application and several programs are evaluating it for use in both a cabin as well as space suit applications. While the CO2 and H2O performance of the sorbent has been tested extensively, the question of how trace contaminants impact performance requires further evaluation. This paper presents experimental results of small scale SA9T testing that was performed over a variety of test conditions and with a variety of trace contaminants. Testing evaluated the ability of SA9T media to sufficiently remove CO2 and H2O after exposure to a fully saturated trace contaminant at ambient conditions. Testing also evaluated the impact of CO2 and H2O removal performance at suit loop pressures during cyclic operation with a constant inlet contaminant load. In addition, testing evaluated the performance of SA9T at ambient conditions in a continuous 30-day test with a mixed trace contaminant stream.

Broerman, Craig↗

NASA NTRS2010

Trace Gas Measurements on Mars and Earth Using Optical Parametric Generation

Trace gases and their isotopic ratios in planetary atmospheres offer important but subtle clues as to the origins of a planet's atmosphere, hydrology, geology, and potential for biology. An orbiting laser remote sensing instrument is capable of measuring trace gases on a global scale with unprecedented accuracy, and higher spatial resolution that can be obtained by passive instruments. We have developed an active sensing instrument for the remote measurement of trace gases in planetary atmospheres (including Earth). The technique uses widely tunable, seeded optical parametric generation (OPG) to measure methane, CO2, water vapor, and other trace gases in the near and mid-infrared spectral regions. Methane is a strong greenhouse gas on Earth and it is also a potential biogenic marker on Mars and other planets. Methane in the Earth's atmosphere survives for a shorter time than CO2 but its impact on climate change can be larger than CO2. Methane levels have remained relatively constant over the last decade around 1.78 parts per million (ppm) but recent observations indicate that methane levels may be on the rise. Increasing methane concentrations may trigger a positive feedback loop and a subsequent runaway greenhouse effect, where increasing temperatures result in increasing methane levels. The NRC Decadal Survey recognized the importance of global observations of greenhouse gases and called for simultaneous CH4, CO, and CO2 measurements but also underlined the technological limitations for these observations. For Mars, methane measurements are of great interest because of its potential as a strong biogenic marker. A remote sensing instrument that can measure day and night over all seasons and latitudes can identify and localize sources of biogenic gas plumes produced by subsurface chemistry or biology, and aid in the search for extra-terrestrial life. It can identify the dynamics of methane generation over time and latitude and identify future lander mission sites for more detailed in-situ analysis. In this paper we report on remote sensing measurements of methane using a high peak power, widely tunable optical parametric generator (OPG) operating at 3.3 micron and 1.65 micron. The OPG is pumped by a passively q-switched single frequency laser (3ns, 5KHz, 50uJ) and seeded by a diode laser. The spectral width of both signal and idler of seeded OPG is nearly Fourier transform limited. The output of seeded OPG is single frequency with high spectral purity and is widely tunable. Both 1650 nm and 3300 nm can be generated with a conversion efficiency of more than 30%. We have demonstrated detection of methane at 3274 nm and 1650 nm in a cell and also performed open path atmospheric measurements of methane at the same wavelengths. Finally, we were able to demonstrate simultaneous detection of methane at 3270.4 nm and CO2 at 1578.2 nm. In this paper we will discuss the OPG performance and atmospheric open path measurement results.

Numata, Kenji↗

NASA NTRS2000

Process Upsets Involving Trace Contaminant Control Systems

Paradoxically, trace contaminant control systems that suffer unexpected upsets and malfunctions can release hazardous gaseous contaminants into a spacecraft cabin atmosphere causing potentially serious toxicological problems. Trace contaminant control systems designed for spaceflight typically employ a combination of adsorption beds and catalytic oxidation reactors to remove organic and inorganic trace contaminants from the cabin atmosphere. Interestingly, the same design features and attributes which make these systems so effective for purifying a spacecraft's atmosphere can also make them susceptible to system upsets. Cabin conditions can be contributing causes of phenomena such as adsorbent "rollover" and catalyst poisoning can alter a systems performance and in some in stances release contamination into the cabin. Evidence of these phenomena has been observed both in flight and during ground-based tests. The following discussion describes specific instances of system upsets found in trace contaminant control systems, groups these specific upsets into general hazard classifications, and recommends ways to minimize these hazards.

Graf, John C.↗

NASA NTRS2011

Effect of Tropospheric Aerosols in Satellite-Based Trace Gas Retrieval

Scattering and absorption by tropospheric aerosol particles have an effect on the airmass factor (AMF), a fundamental quantity for trace gas concentration retrieval by inversion of satellite measurements. The interference effect depends on the aerosols micro-physical and optical properties as well as the relative distribution of the tropospheric trace gas and aerosol load. Quantifying the aerosol impact on trace gas retrieval requires a sensitivity study using radiative transfer calculations. In this presentation we will describe a recently initiated effort to characterize the aerosol-related error in trace gas retrievals when the presence of aerosol particles is not accounted in the inversion procedure. A general description of the project will be presented and preliminary results on aerosol effects on SO2 retrieved concentrations will be discussed.

Krotkov, Nickolay↗

NASA NTRS2006

Partial Automation of Requirements Tracing

Requirements Tracing on Target (RETRO) is software for after-the-fact tracing of textual requirements to support independent verification and validation of software. RETRO applies one of three user-selectable information-retrieval techniques: (1) term frequency/inverse document frequency (TF/IDF) vector retrieval, (2) TF/IDF vector retrieval with simple thesaurus, or (3) keyword extraction. One component of RETRO is the graphical user interface (GUI) for use in initiating a requirements-tracing project (a pair of artifacts to be traced to each other, such as a requirements spec and a design spec). Once the artifacts have been specified and the IR technique chosen, another component constructs a representation of the artifact elements and stores it on disk. Next, the IR technique is used to produce a first list of candidate links (potential matches between the two artifact levels). This list, encoded in Extensible Markup Language (XML), is optionally processed by a filtering component designed to make the list somewhat smaller without sacrificing accuracy. Through the GUI, the user examines a number of links and returns decisions (yes, these are links; no, these are not links). Coded in XML, these decisions are provided to a "feedback processor" component that prepares the data for the next application of the IR technique. The feedback reduces the incidence of erroneous candidate links. Unlike related prior software, RETRO does not require the user to assign keywords, and automatically builds a document index.

Hayes, Jane↗