Search NASA⌕ Search

SEARCH · Search NASA

Results for “Laboratory analysis”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Element Mapping in Anhydrous IDPs: Identification of the Host Phases of Major/Minor Elements as a Test of Nebula Condensation Models

Many anhydrous interplanetary dust particles (IDPs) are the most pristine samples of primitive solar system dust currently available for laboratory analysis. Their primitive nature is demonstrated by: 1) the high content of moderately volatile elements, indicating they have not been heated significantly since formation, 2) the absence of hydrated material, indicating they never experienced aqueous processing, 3) the presence of unequilibrated mineral assemblages, 4) the presence of large isotopic anomalies (e.g., D and 15N enrichment), in these IDPs.

Flynn, G. J.↗
NASA NTRS2005

Real-Time System Verification by Kappa-Induction

We report the first formal verification of a reintegration protocol for a safety-critical, fault-tolerant, real-time distributed embedded system. A reintegration protocol increases system survivability by allowing a node that has suffered a fault to regain state consistent with the operational nodes. The protocol is verified in the Symbolic Analysis Laboratory (SAL), where bounded model checking and decision procedures are used to verify infinite-state systems by k-induction. The protocol and its environment are modeled as synchronizing timeout automata. Because k-induction is exponential with respect to k, we optimize the formal model to reduce the size of k. Also, the reintegrator's event-triggered behavior is conservatively modeled as time-triggered behavior to further reduce the size of k and to make it invariant to the number of nodes modeled. A corollary is that a clique avoidance property is satisfied.

Pike, Lee S.↗
NASA NTRS2004

Characterization of microbial and chemical composition of shuttle wet waste with permanent gas and volatile organic compound analyses

Solid-waste treatment in space for Advanced Life Support, ALS, applications requires that the material can be safely processed and stored in a confined environment. Many solid-wastes are not stable because they are wet (40-90% moisture) and contain levels of soluble organic compounds that can contribute to the growth of undesirable microorganisms with concomitant production of noxious odors. In the absence of integrated Advanced Life Support systems on orbit, permanent gas, trace volatile organic and microbiological analyses were performed on crew refuse returned from the volume F "wet" trash of three consecutive Shuttle missions (STS-105, 109, and 110). These analyses were designed to characterize the short-term biological stability of the material and assess potential crew risks resulting from microbial decay processes during storage. Waste samples were collected post-orbiter landing and sorted into packaging material, food waste, toilet waste, and bulk liquid fractions deposited during flight in the volume F container. Aerobic and anaerobic microbial loads were determined in each fraction by cultivation on R2A and by acridine orange direct count (AODC). Dry and ash weights were performed to determine both water and organic content of the materials. Experiments to determine the aerobic and anaerobic biostability of refuse stored for varying periods of time were performed by on-line monitoring of CO2 and laboratory analysis for production of hydrogen sulfide and methane. Volatile organic compounds and permanent gases were analyzed using EPA Method TO15 by USEPA et al. [EPA Method TO15, The Determination of Volatile Organic Compounds (VOCs) in Ambient Air using SUMMA, Passivated Canister Sampling and Gas Chromatographic Analysis,1999] with gas chromatography/mass spectrometry and by gas chromatography with selective detectors. These baseline measures of waste stream content, labile organics, and microbial load in the volume F Shuttle trash provide data for waste subsystem analysis and atmospheric management within the ALS Project. Published by Elsevier Ltd on behalf of COSPAR.

NASA Center KSC↗
NASA NTRS1997

(abstract) Survey of Volcanic Hazards in the Trans Mexican Volcanic Belt

A substantial percentage of the world's population lives in areas vulnerable to the negative effects of future volcanic activity. This is especially true in Mexico, where within the Trans Mexican Volcanic Belt (TMVB) one half of the country's 90 million inhabitants live. The TMVB is a 1 000 by 200 km area, dotted with hundreds of volcanoes and volcanic centers. Most of the area has been poorly studied, and the volcanic history is largely unknown. Our approach is to combine interpretations of satellite images, field work and mapping, laboratory analysis, and age dating to elucidate the volcanic history and evaluate the potential eruptive hazards. Hazards evaluations are done in the form of risk maps.

Volcanic Belt TMVB volcanic history↗
NASA NTRS1995

The Micro Fourier Transform Interferometer (muFTIR) - A New Field Spectrometer for Acquisition of Infrared Data of Natural Surfaces

A lightweight, rugged, high-spectral-resolution interferometer has been built by Designs and Prototypes based on a set of specifications provided by the Jet Propulsion Laboratory and Dr. J. W. Salisbury (Johns Hopkins University). The instrument, the micro Fourier Transform Interferometer (mFTIR), permits the acquisition of infrared spectra of natural surfaces. Such data can be used to validate low and high spectral resolution data acquired remotely from aircraft and spacecraft in the 3-5 mm and 8-14 mm atmospheric window. The instrument has a spectral resolutions of ~6 wavenumbers, weighs 16 kg including batteries and computer, and can be operated easily by two people in the field. Laboratory analysis indicates the instrument is spectrally calibrated to better than 1 wavenumber and the radiometric accuracy is <0.5 K if the radiances from the blackbodies used for calibration bracket the radiance from the sample.

Fourier Interferometer↗
NASA NTRS2008

What We Might Know About Gusev Crater if the Mars Exploration Rover Spirit Mission were Coupled with a Mars Sample Return Mission

The science instruments on the Mars Exploration Rover (MER) Spirit have provided an enormous amount of chemical and mineralogical data during more than 1450 sols of exploration at Gusev crater. The Moessbauer (MB) instrument identified 10 Fe-bearing phases at Gusev Crater: olivine, pyroxene, ilmenite, chromite, and magnetite as primary igneous phases and nanophase ferric oxide (npOx), goethite, hematite, a ferric sulfate, and pyrite/marcusite as secondary phases. The Miniature Thermal Emission Spectrometer (Mini-TES) identified some of these Fe-bearing phases (olivine and pyroxene), non- Fe-bearing phases (e.g., feldspar), and an amorphous high-SiO2 phase near Home Plate. Chemical data from the Alpha Particle X-Ray Spectrometer (APXS) provided the framework for rock classification, chemical weathering/alteration, and mineralogical constraints. APXS-based mineralogical constraints include normative calculations (with Fe(3+)/FeT from MB), elemental associations, and stoichiometry (e.g., 90% SiO2 implicates opalline silica). If Spirit had cached a set of representative samples and if those samples were returned to the Earth for laboratory analysis, what value is added by Mars Sample return (MSR) over and above the mineralogical and chemical data provided by MER?

Morris, Richard V.↗
NASA NTRS2008

Experimental Evaluation of a Planning Language Suitable for Formal Verification

The marriage of model checking and planning faces two seemingly diverging alternatives: the need for a planning language expressive enough to capture the complexity of real-life applications, as opposed to a language simple, yet robust enough to be amenable to exhaustive verification and validation techniques. In an attempt to reconcile these differences, we have designed an abstract plan description language, ANMLite, inspired from the Action Notation Modeling Language (ANML) [17]. We present the basic concepts of the ANMLite language as well as an automatic translator from ANMLite to the model checker SAL (Symbolic Analysis Laboratory) [7]. We discuss various aspects of specifying a plan in terms of constraints and explore the implications of choosing a robust logic behind the specification of constraints, rather than simply propose a new planning language. Additionally, we provide an initial assessment of the efficiency of model checking to search for solutions of planning problems. To this end, we design a basic test benchmark and study the scalability of the generated SAL models in terms of plan complexity.

Butler, Rick W.↗
NASA NTRS2010

Rapid Active Sampling Package

A field-deployable, battery-powered Rapid Active Sampling Package (RASP), originally designed for sampling strong materials during lunar and planetary missions, shows strong utility for terrestrial geological use. The technology is proving to be simple and effective for sampling and processing materials of strength. Although this originally was intended for planetary and lunar applications, the RASP is very useful as a powered hand tool for geologists and the mining industry to quickly sample and process rocks in the field on Earth. The RASP allows geologists to surgically acquire samples of rock for later laboratory analysis. This tool, roughly the size of a wrench, allows the user to cut away swaths of weathering rinds, revealing pristine rock surfaces for observation and subsequent sampling with the same tool. RASPing deeper (.3.5 cm) exposes single rock strata in-situ. Where a geologist fs hammer can only expose unweathered layers of rock, the RASP can do the same, and then has the added ability to capture and process samples into powder with particle sizes less than 150 microns, making it easier for XRD/XRF (x-ray diffraction/x-ray fluorescence). The tool uses a rotating rasp bit (or two counter-rotating bits) that resides inside or above the catch container. The container has an open slot to allow the bit to extend outside the container and to allow cuttings to enter and be caught. When the slot and rasp bit are in contact with a substrate, the bit is plunged into it in a matter of seconds to reach pristine rock. A user in the field may sample a rock multiple times at multiple depths in minutes, instead of having to cut out huge, heavy rock samples for transport back to a lab for analysis. Because of the speed and accuracy of the RASP, hundreds of samples can be taken in one day. RASP-acquired samples are small and easily carried. A user can characterize more area in less time than by using conventional methods. The field-deployable RASP used a Ni/Cad rechargeable battery. Power usage was less than 1 Wh/ cm3 even when sampling strong basalts, so many samples could be taken on a single battery charge.

Peters, Gregory↗
NASA NTRS2010

The Spatial Distribution and Mineralogical Association of Organics in the Tagish Lake and Bells Carbonaceous Chondrites

Chondritic meteorites represent some of the most primitive Solar System materials available for laboratory analysis. While the presence of simple organic molecules has been well documented in such materials [1], little is known about their spatial distribution and to what extent, if any, they exhibit specific mineralogical associations. This dichotomy arises since organic analysis typically involves solvent extraction as a preliminary step. To address these issues we have used two-step laser mass spectrometry (L 2MS) to map in situ the spatial distribution of aromatic and conjugated organics at the micron scale in freshly exposed surfaces of the Tagish Lake and Bells carbonaceous chondrites. Our specific goals are two-fold; firstly to investigate if and how abundance of organic species varies within the meteorite matrix both as an ensemble, and with respect to functional group (e.g., R-OH vs. RCH3) and between members of the same homologous series (e.g., R-H vs. R-(CH2)H). Secondly, to determine whether observed spatial variations can be related to specific mineralogical and/or physical characteristics of the host matrix. In regard to the latter we are particularly interested in the role that carbonaceous nanoglobules [2] play as reservoirs of organic matter. Such globules, which are believed to have formed by photochemical processing of organic-rich ices in the presolar cold molecular cloud or the outermost reaches of the early protosolar disk, are abundant in both the Bells and Tagish Lake chondrites and are noteworthy for having particularly high enrichments in 2H and 15N [3,4].

Clemett, S. J.↗
NASA NTRS2010

Simple Check Valves for Microfluidic Devices

A simple design concept for check valves has been adopted for microfluidic devices that consist mostly of (1) deformable fluorocarbon polymer membranes sandwiched between (2) borosilicate float glass wafers into which channels, valve seats, and holes have been etched. The first microfluidic devices in which these check valves are intended to be used are micro-capillary electrophoresis (microCE) devices undergoing development for use on Mars in detecting compounds indicative of life. In this application, it will be necessary to store some liquid samples in reservoirs in the devices for subsequent laboratory analysis, and check valves are needed to prevent cross-contamination of the samples. The simple check-valve design concept is also applicable to other microfluidic devices and to fluidic devices in general. These check valves are simplified microscopic versions of conventional rubber- flap check valves that are parts of numerous industrial and consumer products. These check valves are fabricated, not as separate components, but as integral parts of microfluidic devices. A check valve according to this concept consists of suitably shaped portions of a deformable membrane and the two glass wafers between which the membrane is sandwiched (see figure). The valve flap is formed by making an approximately semicircular cut in the membrane. The flap is centered over a hole in the lower glass wafer, through which hole the liquid in question is intended to flow upward into a wider hole, channel, or reservoir in the upper glass wafer. The radius of the cut exceeds the radius of the hole by an amount large enough to prevent settling of the flap into the hole. As in a conventional rubber-flap check valve, back pressure in the liquid pushes the flap against the valve seat (in this case, the valve seat is the adjacent surface of the lower glass wafer), thereby forming a seal that prevents backflow.

Willis, Peter A.↗
NASA NTRS2011

Performance Comparison of Wireless Sensor Network Standard Protocols in an Aerospace Environment: ISA100.11a and ZigBee

Wireless Sensor Networks (WSNs) can provide a substantial benefit in spacecraft systems, reducing launch weight and providing unprecedented flexibility by allowing instrumentation capabilities to grow and change over time. Achieving data transport reliability on par with that of wired systems, however, can prove extremely challenging in practice. Fortunately, much progress has been made in developing standard WSN radio protocols for applications from non-critical home automation to mission-critical industrial process control. The relative performances of candidate protocols must be compared in representative aerospace environments, however, to determine their suitability for spaceflight applications. In this paper, we will present the results of a rigorous laboratory analysis of the performance of two standards-based, low power, low data rate WSN protocols: ZigBee Pro and ISA100.11a. Both are based on IEEE 802.15.4 and augment that standard's specifications to build complete, multi-hop networking stacks. ZigBee Pro targets primarily the home and office automation markets, providing an ad-hoc protocol that is computationally lightweight and easy to implement in inexpensive system-on-a-chip components. As a result of this simplicity, however, ZigBee Pro can be susceptible to radio frequency (RF) interference. ISA100.11a, on the other hand, targets the industrial process control market, providing a robust, centrally-managed protocol capable of tolerating a significant amount of RF interference. To achieve these gains, a coordinated channel hopping mechanism is employed, which entails a greater computational complexity than ZigBee and requires more sophisticated and costly hardware. To guide future aerospace deployments, we must understand how well these standards relatively perform in analog environments under expected operating conditions. Specifically, we are interested in evaluating goodput -- application level throughput -- in a representative crewed environment in the presence of varying levels of 802.11g Wi-Fi traffic. To do so, we use the NASA Johnson Space Center Wireless Habitat Testbed (WHT), a metallic, habitation-sized module designed for co-existence testing of wireless systems. In its quiescent state, the sealed WHT provides an RF-quiet environment to which we can selectively add interfering systems; it also provides a realistic level of multi-path self-interference for systems under investigation. In our test, we deploy two representative five node networks, configured in a star topology with all nodes reporting directly to a WSN gateway. Each ZigBee network WSN node is built using a Texas Instruments (TI) CC2530 system-on-a-chip radio running TI's ZigBee Pro Z-stack. Each ISA100.11a network node is built using a Nivis VersaNode 210 system-on-a-chip radio. In both cases, radios interface with TI MSP430-F5438 microcontroller implementing a common test application. Interference is provided by a D-link 802.11g Wi-Fi router transporting traffic generated using the Iperf network testing tool. For the single-channel ZigBee network, effects of both direct and indirect Wi-Fi interference are evaluated. For the channel-hopping ISA100.11a network, effects of interference from multiple Wi-Fi routers configured in non-overlapping 802.11g channels are evaluated. Our results show that, in general, the more lightweight ZigBee network performs well at low interference levels, but performance degrades as interference increases. Conversely, the more complex and costly ISA100.11a network continues to perform well as Wi-Fi interference levels increase.

Wagner, Raymond S.↗
NASA NTRS2011

Performance Comparison of Wireless Sensor Network Standard Protocols in an Aerospace Environment: ISA100.11a and ZigBee Pro

Standards-based wireless sensor network (WSN) protocols are promising candidates for spacecraft avionics systems, offering unprecedented instrumentation flexibility and expandability. Ensuring reliable data transport is key, however, when migrating from wired to wireless data gathering systems. In this paper, we conduct a rigorous laboratory analysis of the relative performances of the ZigBee Pro and ISA100.11a protocols in a representative crewed aerospace environment. Since both operate in the 2.4 GHz radio frequency (RF) band shared by systems such as Wi-Fi, they are subject at times to potentially debilitating RF interference. We compare goodput (application-level throughput) achievable by both under varying levels of 802.11g Wi-Fi traffic. We conclude that while the simpler, more inexpensive ZigBee Pro protocol performs well under moderate levels of interference, the more complex and costly ISA100.11a protocol is needed to ensure reliable data delivery under heavier interference. This paper represents the first published, rigorous analysis of WSN protocols in an aerospace environment that we are aware of and the first published head-to-head comparison of ZigBee Pro and ISA100.11a.

Wagner, Raymond S.↗
NASA NTRS2011

A Methodology for Evaluating Artifacts Produced by a Formal Verification Process

The goal of this study is to produce a methodology for evaluating the claims and arguments employed in, and the evidence produced by formal verification activities. To illustrate the process, we conduct a full assessment of a representative case study for the Enabling Technology Development and Demonstration (ETDD) program. We assess the model checking and satisfiabilty solving techniques as applied to a suite of abstract models of fault tolerant algorithms which were selected to be deployed in Orion, namely the TTEthernet startup services specified and verified in the Symbolic Analysis Laboratory (SAL) by TTTech. To this end, we introduce the Modeling and Verification Evaluation Score (MVES), a metric that is intended to estimate the amount of trust that can be placed on the evidence that is obtained. The results of the evaluation process and the MVES can then be used by non-experts and evaluators in assessing the credibility of the verification results.

Siminiceanu, Radu I.↗
NASA NTRS2012

Constraining the Origin of Impact Craters on Al Foils from the Stardust Interstellar Dust Collector

Preliminary examination (PE) of the aerogel tiles and Al foils from the Stardust Interstellar Dust Collector has revealed multiple impact features. Some are most likely due to primary impacts of interstellar dust (ISD) grains, and others are associated with secondary impacts of spacecraft debris, and possibly primary impacts of interplanetary dust particles (IDPs) [1, 2]. The current focus of the PE effort is on constraining the origin of the individual impact features so that definitive results from the first direct laboratory analysis of contemporary ISD can be reported. Because crater morphology depends on impacting particle shape and composition, in addition to the angle and direction of impact, unique particle trajectories are not easily determined. However, elemental analysis of the crater residues can distinguish real cosmic dust from the spacecraft debris, due to the low cosmic abundance of many of the elements in the spacecraft materials. We present here results from the elemental analysis of 24 craters and discuss the possible origins of 4 that are identified as candidate ISD impacts

Stroud, Rhonda M.↗
NASA NTRS2012

Mineralogical Studies of a Highly O-17-Depleted and an O-17-Rich Presolar Grain from the Acfer 094 Meteorite

Silicate grains are the most abundant condensate around O-rich evolved stars, including red giants, supernovae (SNe) and binary systems. These grains have been identified in abundance in primitive meteorites and interplanetary dust particles [1,2]. Astronomical observations of the silicate spectroscopic features around circumstellar disks indicate that most silicates are amorphous olivine-like grains, though some sources show a large crystalline portion [3]. Fewer astronomical observations of SN and nova silicates exist, but amorphous Mg-rich grains predominate [4,5]. The laboratory analysis of presolar silicates by transmission electron microscopy (TEM) offers more details on the structure and chemistry of individual grains. These studies provide information on the physical and chemical conditions of the parent stellar atmosphere during grain condensation. Moreover, be-cause silicates are susceptible to secondary alteration, processing events succeeding condensation can be traced. Thus far, similar microstructures have been observed for silicates that condensed in SN outflows and in the envelopes of asymptotic giant branch (AGB) stars, but not as many of the comparatively rare SN grains have been analyzed. Here we examine the mineralogies of two presolar silicate grains having different origins.

Nguyen, A. N.↗
NASA NTRS2012

Model-Driven Test Generation of Distributed Systems

This report describes a novel test generation technique for distributed systems. Utilizing formal models and formal verification tools, spe cifically the Symbolic Analysis Laboratory (SAL) tool-suite from SRI, we present techniques to generate concurrent test vectors for distrib uted systems. These are initially explored within an informal test validation context and later extended to achieve full MC/DC coverage of the TTEthernet protocol operating within a system-centric context.

Easwaran, Arvind↗
NASA NTRS2013

Investigating Actuation Force Fight with Asynchronous and Synchronous Redundancy Management Techniques

Within distributed fault-tolerant systems the term force-fight is colloquially used to describe the level of command disagreement present at redundant actuation interfaces. This report details an investigation of force-fight using three distributed system case-study architectures. Each case study architecture is abstracted and formally modeled using the Symbolic Analysis Laboratory (SAL) tool chain from the Stanford Research Institute (SRI). We use the formal SAL models to produce k-induction based proofs of a bounded actuation agreement property. We also present a mathematically derived bound of redundant actuation agreement for sine-wave stimulus. The report documents our experiences and lessons learned developing the formal models and the associated proofs.

Hall, Brendan↗
NASA NTRS2013

Microchemical and Structural Evidence for Space Weathering in Soils from Asteroid Itokawa

The chemistry, microstructure and optical properties of grains on the surfaces of airless bodies are continu-ously modified due to their interactions predominantly with solar energetic ions and micrometeorite impacts. Collectively known as space weathering, this phenomenon results in a discrepancy between remotely sensed spectra from asteroids and those ac-quired directly from meteorites. The return of pristine samples from the asteroid Itokawa provides insight into surface processes on airless bodies and will help in correlating remote sensing data with laboratory analysis of meteorites. Samples and Methods: We examined Itokawa samples RA-QD02-0042-01 and RA-QD-02-0042-02, ultramicrotomed sec-tions of a singular grain prepared by the Hayabusa sample cura-tion team. We analyzed these slices using a 200 keV JEOL 2010F transmission electron microscope (TEM) at Arizona State Uni-versity and a 200 keV JEOL 2500SE TEM at NASA JSC. Both field emission TEMs are equipped with energy-dispersive X-ray spectrometers (EDS) and scanning TEM (STEM) detectors. Results and Discussion: TEM observations reveal that the sectioned grain predominantly consists of a single crystal of low-Ca orthopyroxene, with subsidiary smaller regions of olivine, Fe-Ni sulfide, and Fe-Ni metal. EDS-spectrum imaging and high-resolution TEM (HRTEM) show local, nanocrystalline regions of the outermost 2 to 5 nm of the pyroxene are composed of an Fe-Mg-S-rich and Si- and O-depleted layer that is underlain by a 2- to 5-nm thick amorphous zone enriched in Si. These layers occur in multiple microtome slices and have uniform thicknesses. We also observe localized 'islands' of material on the surface of the pyroxene which HRTEM imaging indicates are amorphous and EDS measurements show are compositionally heterogeneous. A 10- to 60-nm thick partially amorphous zone occurs below the compositionally distinct rim. While this this zone is associated with the compositionally heterogeneous outer layer, it also occurs as a local stand-alone feature on the exterior rim of the grain. Ar-eas of the pyroxene grain rim also exhibit a vesicular texture. The TEM data indicate a complex history of space weather-ing for samples RA-QD02-0042-01 and -02. The outermost layer of nanocrystalline material with varied composition is consistent with previously suggested [3-4] chemical and structural pro-cessing by solar wind ions, with a possible additional role for im-pact vapor deposition [3-4]. The amorphous and compositionally distinct islands on the surface of this grain, similar to lunar glasses, suggest formation through vapor deposition via micrometeor-ite impact events. In comparison, the amorphization and vesicula-tion textures are likely a product of radiation damage from the solar wind. The depth and degree of amorphization, in conjunction with model calculations, will help provide an upper limit on exposure time for these particles.

Thompson, M. S.↗