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 163 records · Page 9

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.↗

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↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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↗

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↗

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.↗

Proposed Objective Odor Control Test Methodology for Waste Containment

The Orion Cockpit Working Group has requested that an odor control testing methodology be proposed to evaluate the odor containment effectiveness of waste disposal bags to be flown on the Orion Crew Exploration Vehicle. As a standardized "odor containment" test does not appear to be a matter of record for the project, a new test method is being proposed. This method is based on existing test methods used in industrial hygiene for the evaluation of respirator fit in occupational settings, and takes into consideration peer reviewed documentation of human odor thresholds for standardized contaminates, industry stardnard atmostpheric testing methodologies, and established criteria for laboratory analysis. The proposed methodology is quantitative, though it can readily be complimented with a qualitative subjective assessment. Isoamyl acetate (IAA - also known at isopentyl acetate) is commonly used in respirator fit testing, and there are documented methodologies for both measuring its quantitative airborne concentrations. IAA is a clear, colorless liquid with a banana-like odor, documented detectable smell threshold for humans of 0.025 PPM, and a 15 PPB level of quantation limit.

Vos, Gordon↗

Surviving High-temperature Components in CI Chondrites

The CI1 chondrites, while having the most solar-like compo-sition of any astromaterial available for laboratory analysis, have also been considerably altered by asteroidal processes including aqueous alteration. It is of fundamental importance to determine their pre-alteration mineralogy, so that the state of matter in the early Solar System can be better determined. In the course of a re-examination of the compositional range of olivine and low-Ca pyroxene in CI chondrites Orgueil, Ivuna and Alais [1] we found the first reported complete CAI, as already reported [2], with at-tached rock consisting mainly of olivine and low-Ca pyroxene. The range of residual olivine major element compositions we have determined in the CIs (Fig. 1) may now be directly com-pared with those of other astromaterials, including Wild 2 grains. The abundance of olivine and low-Ca pyroxene in CIs is higher than is generally appreciated, and in fact much higher than for some CMs [1]. We also noted numerous rounded objects varying in shape from spheres to oblate spheroids, and ranging up to 100μm in size (Fig. 2), which have been previously noted [3] but have not been well documented or appreciated. We characterized the mineralogy by transmission electron microscopy and found that they consist mainly of rather fine-grained, flaky single phase to intergrown serpentine and saponite. These two materials in fact dominate the bulk of the host CI1 chondrites. With the exception of sparse spinels, the rounded phyllosilicate objects are remarka-bly free of other minerals, suggesting that the precursor from which the phyllosilicates were derived was a homogeneous mate-rial. We suggest that these round phyllosilicates aggregates in CI1 chondrites were cryptocrystalline to glassy microchondrules. If so then CI chondrites cannot be considered chondrule-free. Small though they are, the abundance of these putative microchondrules is the same as that of chondrules in the Tagish Lake meteorite.

Zolensky, M.↗

Insights into Regolith Dynamics from the Irradiation Record Preserved in Hayabusa Samples

The rates of space weathering processes are poorly constrained for asteroid surfaces, with recent estimates ranging over 5 orders of magnitude. The return of the first surface samples from a space-weathered asteroid by the Hayabusa mission and their laboratory analysis provides "ground truth" to anchor the timescales for space weathering. We determine the rates of space weathering on Itokawa by measuring solar flare track densities and the widths of solar wind damaged rims on grains. These measurements are made possible through novel focused ion beam (FIB) sample preparation methods.

Keller, Lindsay P.↗

OSIRIS-REx, Returning the Asteroid Sample

This paper addresses the technical aspects of the sample return system for the upcoming Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer (OSIRIS-REx) asteroid sample return mission. The overall mission design and current implementation are presented as an overview to establish a context for the technical description of the reentry and landing segment of the mission.The prime objective of the OSIRIS-REx mission is to sample a primitive, carbonaceous asteroid and to return that sample to Earth in pristine condition for detailed laboratory analysis. Targeting the near-Earth asteroid Bennu, the mission launches in September 2016 with an Earth reentry date of September 24, 2023.OSIRIS-REx will thoroughly characterize asteroid Bennu providing knowledge of the nature of near-Earth asteroids that is fundamental to understanding planet formation and the origin of life. The return to Earth of pristine samples with known geologic context will enable precise analyses that cannot be duplicated by spacecraft-based instruments, revolutionizing our understanding of the early Solar System. Bennu is both the most accessible carbonaceous asteroid and one of the most potentially Earth-hazardous asteroids known. Study of Bennu addresses multiple NASA objectives to understand the origin of the Solar System and the origin of life and will provide a greater understanding of both the hazards and resources in near-Earth space, serving as a precursor to future human missions to asteroids.This paper focuses on the technical aspects of the Sample Return Capsule (SRC) design and concept of operations, including trajectory design and reentry retrieval. Highlights of the mission are included below.The OSIRIS-REx spacecraft provides the essential functions for an asteroid characterization and sample return mission: attitude control propulsion power thermal control telecommunications command and data handling structural support to ensure successful rendezvous with Bennu characterization of Bennus properties delivery of the sampler to the surface, and return of the spacecraft to the vicinity of the Earth sample collection, performed by the Touch-and-Go Sample Acquisition Mechanism (TAGSAM), to acquire a regolith sample from the surface Earth re-entry and SRC recovery. Following sample collection, OSIRIS-REx drifts away from Bennu until the Asteroid Departure Maneuver is commanded on March 4, 2021, sending OSIRIS-REx on a ballistic return cruise to Earth. No additional large deterministic maneuvers are required to return the SRC to Earth. During the cruise, tracking and trajectory correction maneuvers (TCMs) are performed as necessary to precisely target the entry corridor. As OSIRIS-REx approaches Earth, the reentry plans are reviewed starting about a year before arrival, and preparations begin. The spacecraft is targeted away from the Earth until 7 days before entry. The final two trajectory correction maneuvers bring the spacecraft on target toward the Utah Test and Training Range (UTTR), with sufficient time for contingency resolution. The SRC releases 4 hours prior to atmospheric entry interface and, using the Stardust capsule heritage design, employs a traditional drogue and main parachute descent system for a soft touchdown.

reentry↗

Laboratory Studies of Cometary Materials - Continuity Between Asteroid and Comet

Laboratory analysis of cometary samples have been enabled by collection of cometary dust in the stratosphere by high altitude aircraft and by the direct sampling of the comet Wild‐2 coma by the NASA Stardust spacecraft. Cometary materials are composed of a complex assemblage of highly primitive, unprocessed interstellar and primordial solar system materials as well as a variety of high temperature phases that must have condensed in the inner regions of the protoplanetary disk. These findings support and contradict conclusions of comet properties based solely on astronomical observations. These sample return missions have instead shown that there is a continuity of properties between comets and asteroids, where both types of materials show evidence for primitive and processed materials. Furthermore, these findings underscore the importance and value of direct sample return. There will be great value in comparing the findings of the Stardust cometary coma sample return mission with those of future asteroid surface sample returns OSIRIS‐REx and Hayabusa II as well as future comet nucleus sample returns.

Messenger, Scott↗

Space Weathering of Itokawa Particles: Implications for Regolith Evolution

Space weathering processes such as solar wind irradiation and micrometeorite impacts are known to alter the the properties of regolith materials exposed on airless bodies. The rates of space weathering processes however, are poorly constrained for asteroid regoliths, with recent estimates ranging over many orders of magnitude. The return of surface samples by JAXA's Hayabusa mission to asteroid 25143 Itokawa, and their laboratory analysis provides "ground truth" to anchor the timescales for space weathering processes on airless bodies. Here, we use the effects of solar wind irradiation and the accumulation of solar flare tracks recorded in Itokawa grains to constrain the rates of space weathering and yield information about regolith dynamics on these timescales.

Berger, Eve L.↗