Search NASA⌕ Search

SEARCH · Search NASA

Results for “sorting”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Application of FREMES to Characterize and Sort Soil During Site Remediation - 20182

During decommissioning of buildings and the related release of nuclear sites, large amounts of bulk materials such as soil must be measured for clearance. These measurements are required to demonstrate that for example potentially contaminated soil is below the respective radiological limits. Doing so also helps to minimize the amount of bulk material which has to be disposed of as nuclear waste. NUKEM Technologies Engineering Services GmbH (NUKEM) applies their FREMES technology in a project at the former fuel element factory of FBFC International at Dessel, Belgium. The purpose is to measure and check for potential contamination within the excavated soil. The project started in 2017 with design and procurement of the necessary equipment. In October 2017 the FREMES system was installed at the site. After installation and an extensive test program the FREMES facility went fully into operation in July 2018. Original foreseen to measure between 4.000 and 8.000 tons of material, it has currently (mid 2019) measured 23.600 tons. It is expected that another 5.000 tons still have to be measured before the project successfully ends. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS2000

Hoechst fluorescence intensity can be used to separate viable bromodeoxyuridine-labeled cells from viable non-bromodeoxyuridine-labeled cells

BACKGROUND: 5-Bromo-2'-deoxyuridine (BrdU) is a powerful compound to study the mitotic activity of a cell. Most techniques that identify BrdU-labeled cells require conditions that kill the cells. However, the fluorescence intensity of the membrane-permeable Hoechst dyes is reduced by the incorporation of BrdU into DNA, allowing the separation of viable BrdU positive (BrdU+) cells from viable BrdU negative (BrdU-) cells. METHODS: Cultures of proliferating cells were supplemented with BrdU for 48 h and other cultures of proliferating cells were maintained without BrdU. Mixtures of viable BrdU+ and viable BrdU- cells from the two proliferating cultures were stained with Hoechst 33342. The viable BrdU+ and BrdU- cells were sorted into different fractions from a mixture of BrdU+ and BrdU- cells based on Hoechst fluorescence intensity and the ability to exclude the vital dye, propidium iodide. Subsequently, samples from the original mixture, the sorted BrdU+ cell population, and the sorted BrdU- cell population were immunostained using an anti-BrdU monoclonal antibody and evaluated using flow cytometry. RESULTS: Two mixtures consisting of approximately 55% and 69% BrdU+ cells were sorted into fractions consisting of greater than 93% BrdU+ cells and 92% BrdU- cells. The separated cell populations were maintained in vitro after sorting to demonstrate their viability. CONCLUSIONS: Hoechst fluorescence intensity in combination with cell sorting is an effective tool to separate viable BrdU+ from viable BrdU- cells for further study. The separated cell populations were maintained in vitro after sorting to demonstrate their viability. Copyright 2000 Wiley-Liss, Inc.

Evaluation Studies↗
DOE OSTI2020

Complementary Metagenomic Approaches Improve Reconstruction of Microbial Diversity in a Forest Soil

ABSTRACT Soil ecosystems harbor diverse microorganisms and yet remain only partially characterized as neither single-cell sequencing nor whole-community sequencing offers a complete picture of these complex communities. Thus, the genetic and metabolic potential of this “uncultivated majority” remains underexplored. To address these challenges, we applied a pooled-cell-sorting-based mini-metagenomics approach and compared the results to bulk metagenomics. Informatic binning of these data produced 200 mini-metagenome assembled genomes (sorted-MAGs) and 29 bulk metagenome assembled genomes (MAGs). The sorted and bulk MAGs increased the known phylogenetic diversity of soil taxa by 7.2% with respect to the Joint Genome Institute IMG/M database and showed clade-specific sequence recruitment patterns across diverse terrestrial soil metagenomes. Additionally, sorted-MAGs expanded the rare biosphere not captured through MAGs from bulk sequences, exemplified through phylogenetic and functional analyses of members of the phylum Bacteroidetes . Analysis of 67 Bacteroidetes sorted-MAGs showed conserved patterns of carbon metabolism across four clades. These results indicate that mini-metagenomics enables genome-resolved investigation of predicted metabolism and demonstrates the utility of combining metagenomics methods to tap into the diversity of heterogeneous microbial assemblages. IMPORTANCE Microbial ecologists have historically used cultivation-based approaches as well as amplicon sequencing and shotgun metagenomics to characterize microbial diversity in soil. However, challenges persist in the study of microbial diversity, including the recalcitrance of the majority of microorganisms to laboratory cultivation and limited sequence assembly from highly complex samples. The uncultivated majority thus remains a reservoir of untapped genetic diversity. To address some of the challenges associated with bulk metagenomics as well as low throughput of single-cell genomics, we applied flow cytometry-enabled mini-metagenomics to capture expanded microbial diversity from forest soil and compare it to soil bulk metagenomics. Our resulting data from this pooled-cell sorting approach combined with bulk metagenomics revealed increased phylogenetic diversity through novel soil taxa and rare biosphere members. In-depth analysis of genomes within the highly represented Bacteroidetes phylum provided insights into conserved and clade-specific patterns of carbon metabolism.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2020

Using Robotic Manipulators for Radioactive Waste Inspection - 20090

The global nuclear industry has a growing volume of nuclear waste which needs to be scanned, sorted according to its activity and material type, then processed into the correct waste packages for long term storage and disposal. It is vital that there is a detailed understanding of the waste inventory stored in long term waste containers, as knowledge of their contents could predict or prevent any adverse effects in storage. The numerous 'scan and sort' tables which are currently used at many different facilities around the world to sort waste into their correct containers are human operated and require very slow gamma scanning procedures combined with educated guesswork to manually sort the waste. This often leads to excessive conservatisms, with placement of lower activity wastes in higher activity containers, which in turn costs significantly more to store. In the United Kingdom it costs UK Pounds 46 k per cubic meter to store intermediate level waste compared to just UK Pound 2.9 k per cubic meter to store low level waste according to a 2008 Department of Energy and Climate Change report in the UK. A proposed solution to this problem, is the use of a robotic manipulator to automatically inspect the 'scan and sort table' in order to produce an accurate 3D model of the table's waste contents and attach an overlaid radiation map. The radiation map contains spectrometry data and can in consequence be used to distinguish and locate specific radioisotopes. The 3D model should be as accurate as possible in order to allow for a second robot arm with an attached gripper to grasp the objects and place them into their designated long-term storage container. Various scanning procedures are explored in this study including basic raster scanning, adaptive raster scanning and point sampling. The optimal solution will in practice be defined by the required application and activity level of the wastes being inspected. The results presented in this study indicate that it is possible to produce a centimeter accurate 3D model of a mixed assortment of components on a nuclear waste 'scan and sort' table. In addition, it was shown that the waste objects emitting radiation could be accurately identified and located, with an overlaid radiation map. This study is applicable across the nuclear waste management sector. Many of the ideas and concepts developed in this study are applicable in other decommissioning settings for example, dismantling of legacy gloveboxes or routine inspection of nuclear waste packages in storage. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2026

Artificial intelligence-driven municipal solid waste sortation and its significance on downstream waste valorization in the United States: Techno-economic and life cycle assessment

Municipal solid waste (MSW) generation is quickly increasing due to population growth, industrialization, and urbanization. Current sorting technologies, e.g., optical sorters have low sortation efficiency and produce contaminated sorted materials unsuitable for downstream valorization. This study evaluates a novel artificial neural network (ANN)-based MSW sortation system through sorting efficiencies, economic performance, and environmental impacts. ANN system can sort up to 8 plastic types and all organic waste (i.e., food, yard, and paper waste) with 99% and 93% recovery efficiency, respectively, compared to optical sortation which could separate only polyvinyl chloride (PVC) plastic ultimately producing mixed plastics (except PVC) and organics streams as products. Nonetheless, their sortation costs are similar, $28.7 for ANN-based sortation and $28 for optical sortation per metric ton (Mt) of MSW at processing capacity of 94,860 metric tons (Mt)/yr of MSW in the United States. Additionally, ANN system produced high purity feedstocks for downstream valorization. A biochar pyrolysis plant modeled to process 3.6 and 14 Mt/h of sorted yard waste outperformed biochar production from mixed organic fraction (MOF), achieving 8% lower production cost and 34% lower global warming impact (1.37 kg CO 2 eq. per kg) compared to biochar derived from mixed organic feedstock (2.08 kg CO 2 eq.).

09 BIOMASS FUELS↗
DOE OSTI2020

A pipeline for targeted metagenomics of environmental bacteria

Background:Metagenomics and single cell genomics provide a window into the genetic repertoire of yet uncultivated microorganisms, but both methods are usually taxonomically untargeted. The combination of fluorescence in situ hybridization (FISH) and fluorescence activated cell sorting (FACS) has the potential to enrich taxonomically well-defined clades for genomic analyses. Methods:Cells hybridized with a taxon-specific FISH probe are enriched based on their fluorescence signal via flow cytometric cell sorting. A recently developed FISH procedure, the hybridization chain reaction (HCR)-FISH, provides the high signal intensities required for flow cytometric sorting while maintaining the integrity of the cellular DNA for subsequent genome sequencing. Sorted cells are subjected to shotgun sequencing, resulting in targeted metagenomes of low diversity. Results: Pure cultures of different taxonomic groups were used to (1) adapt and optimize the HCR-FISH protocol and (2) assess the effects of various cell fixation methods on both the signal intensity for cell sorting and the quality of subsequent genome amplification and sequencing. Best results were obtained for ethanol-fixed cells in terms of both HCR-FISH signal intensity and genome assembly quality. Our newly developed pipeline was successfully applied to a marine plankton sample from the North Sea yielding good quality metagenome assembled genomes from a yet uncultivated flavobacterial clade. Conclusions: With the developed pipeline, targeted metagenomes at various taxonomic levels can be efficiently retrieved from environmental samples. The resulting metagenome assembled genomes allow for the description of yet uncharacterized microbial clades.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS2012

Purifying, Separating, and Concentrating Cells From a Sample Low in Biomass

Frequently there is an inability to process and analyze samples of low biomass due to limiting amounts of relevant biomaterial in the sample. Furthermore, molecular biological protocols geared towards increasing the density of recovered cells and biomolecules of interest, by their very nature, also concentrate unwanted inhibitory humic acids and other particulates that have an adversarial effect on downstream analysis. A novel and robust fluorescence-activated cell-sorting (FACS)-based technology has been developed for purifying (removing cells from sampling matrices), separating (based on size, density, morphology), and concentrating cells (spores, prokaryotic, eukaryotic) from a sample low in biomass. The technology capitalizes on fluorescent cell-sorting technologies to purify and concentrate bacterial cells from a low-biomass, high-volume sample. Over the past decade, cell-sorting detection systems have undergone enhancements and increased sensitivity, making bacterial cell sorting a feasible concept. Although there are many unknown limitations with regard to the applicability of this technology to environmental samples (smaller cells, few cells, mixed populations), dogmatic principles support the theoretical effectiveness of this technique upon thorough testing and proper optimization. Furthermore, the pilot study from which this report is based proved effective and demonstrated this technology capable of sorting and concentrating bacterial endospore and bacterial cells of varying size and morphology. Two commercial off-the-shelf bacterial counting kits were used to optimize a bacterial stain/dye FACS protocol. A LIVE/DEAD BacLight Viability and Counting Kit was used to distinguish between the live and dead cells. A Bacterial Counting Kit comprising SYTO BC (mixture of SYTO dyes) was employed as a broad-spectrum bacterial counting agent. Optimization using epifluorescence microscopy was performed with these two dye/stains. This refined protocol was further validated using varying ratios and mixtures of cells to ensure homogenous staining compared to that of individual cells, and were utilized for flow analyzer and FACS labeling. This technology focuses on the purification and concentration of cells from low-biomass spacecraft assembly facility samples. Currently, purification and concentration of low-biomass samples plague planetary protection downstream analyses. Having a capability to use flow cytometry to concentrate cells out of low-biomass, high-volume spacecraft/ facility sample extracts will be of extreme benefit to the fields of planetary protection and astrobiology. Successful research and development of this novel methodology will significantly increase the knowledge base for designing more effective cleaning protocols, and ultimately lead to a more empirical and true account of the microbial diversity present on spacecraft surfaces. Refined cleaning and an enhanced ability to resolve microbial diversity may decrease the overall cost of spacecraft assembly and/or provide a means to begin to assess challenging planetary protection missions.

Benardini, James N.↗
NASA NTRS2017

Highly Conductive Wire: Cu Carbon Nanotube Composite Ampacity and Metallic CNT Buckypaper Conductivity

NASA is currently working on developing motors for hybrid electric propulsion applications in aviation. To make electric power more feasible in airplanes higher power to weight ratios are sought for electric motors. One facet to these efforts is to improve (increase) the conductivity and (lower) density of the magnet wire used in motors. Carbon nanotubes (CNT) and composites containing CNT are being explored as a possible way to increase wire conductivity and lower density. Presented here are measurements of the current carrying capacity (ampacity) of a composite made from CNT and copper. The ability of CNT to improve the conductivity of such composites is hindered by the presence of semiconductive CNT (s-CNT) that exist in CNT supplies naturally, and currently, unavoidably. To solve this problem, and avoid s-CNT, various preferential growth and sorting methods are being explored. A supply of sorted 95 metallic CNT (m-CNT) was acquired in the form of thick film Buckypaper (BP) as part of this work and characterized using Raman spectroscopy, resistivity, and density measurements. The ampacity (Acm2) of the Cu-5volCNT composite was 3.8 lower than the same gauge pure Cu wire similarly tested. The lower ampacity in the composite wire is believed to be due to the presence of s-CNT in the composite and the relatively low (proper) level of longitudinal cooling employed in the test method. Although Raman spectroscopy can be used to characterize CNT, a strong relation between the ratios of the primary peaks GGand the relative amounts of m-CNT and s-CNT was not observed. The average effective conductivity of the CNT in the sorted, 95 m-CNT BP was 2.5 times higher than the CNT in the similar but un-sorted BP. This is an indication that improvements in the conductivity of CNT composites can be made by the use of sorted, highly conductive m-CNT.

wire↗
NASA NTRS2016

Carbon Nanotube Composite Ampacity and Metallic CNT Buckypaper Conductivity

NASA is currently working on developing motors for hybrid electric propulsion applications in aviation. To make electric power more feasible in airplanes higher power to weight ratios are sought for electric motors. One facet to these efforts is to improve (increase) the conductivity and (lower) density of the magnet wire used in motors. Carbon nanotubes (CNT) and composites containing CNT are being explored as a possible way to increase wire conductivity and lower density. Presented here are measurements of the current carrying capacity (ampacity) of a composite made from CNT and copper. The ability of CNT to improve the conductivity of such composites is hindered by the presence of semiconductive CNT (s-CNT) that exist in CNT supplies naturally, and currently, unavoidably. To solve this problem, and avoid s-CNT, various preferential growth and sorting methods are being explored. A supply of sorted 95 metallic CNT (m-CNT) was acquired in the form of thick film Buckypaper (BP) as part of this work and characterized using Raman spectroscopy, resistivity, and density measurements. The ampacity (Acm2) of the Cu-5volCNT composite was 3.8 lower than the same gauge pure Cu wire similarly tested. The lower ampacity in the composite wire is believed to be due to the presence of s-CNT in the composite and the relatively low (proper) level of longitudinal cooling employed in the test method. Although Raman spectroscopy can be used to characterize CNT, a strong relation between the ratios of the primary peaks GGand the relative amounts of m-CNT and s-CNT was not observed. The average effective conductivity of the CNT in the sorted, 95 m-CNT BP was 2.5 times higher than the CNT in the similar but un-sorted BP. This is an indication that improvements in the conductivity of CNT composites can be made by the use of sorted, highly conductive m-CNT.

yarns↗
DOE OSTI2023

Evaluation of mixed #3–7 plastic waste from material recovery facilities (MRFs) in the United States

Plastic recycling rates are still low in the United States (U.S.), with less than 10% of municipal solid waste (MSW) plastic being recycled. Most unrecycled plastics are identified by Resin Identification Codes (RIC) from #3–7, which are commonly destined for landfill or waste-to-energy facilities (WTE). Therefore, the composition and quality of outbound bales containing #3–7 plastics were assessed to understand the potential to increase recycling rates. Three bales were sourced from three different Material Recovery Facilities (MRFs) located in the United States. Each bale was manually sorted and characterized for quality and performance via multiple plastic characterization techniques. Considerable differences in bale composition were observed between MRFs, which correlated with the technology used by each MRF in the sorting process. The differences were substantial in the residual levels of poly(ethylene terephthalate) (PET) and high-density polyethylene (HDPE), which are highly desired for mechanical recycling processes and not expected in #3–7 plastics bales. Traditional recycling processes including washing, extrusion, and injection molding of the sorted material were employed prior to the physical, thermal, and molecular characterization. Despite differences in bale composition by plastic type, some polymer properties were similar across MRFs. Here, this research suggests that landfill-diverted mixed plastic waste can be utilized in the mechanical recycling of currently unrecycled materials, as processes can be designed to work with consistent polymer properties. It also highlights the need to upgrade the sorting systems to prevent waste feedstocks, which can be recycled with current technologies, from contaminating other plastic streams or reach landfills.

36 MATERIALS SCIENCE↗
DOE OSTI2026

Author Correction: US oil and gas system emissions from nearly one million aerial site measurements

Correction to: Naturehttps://doi.org/10.1038/s41586-024-07117-5 Published online 13 March 2024 In the version of the article initially published, several errors were present and have been corrected in the HTML and PDF versions of the article and Supplementary Information. The main results, conclusions, and our interpretations of the data remain unchanged. See the new Supplementary Information Section S15 for a more detailed description of the errors corrected and the resulting effects on the analysis. Data processing and methods corrections Overflight count correction: We previously used pre-computed source coverage data for some Carbon Mapper campaigns that was computed differently than was required for our analysis. We have re-computed Carbon Mapper source coverage based on flightline polygons and source coordinates. Transition point computation, well sites: The updated version now correctly compares the cumulative emissions distribution of simulated well site emissions with that of aerially detected sources (rather than plumes) when computing the transition point. Transition point computation, midstream: Additionally, the transition point calculation has been corrected to exclude aerially detected midstream emissions below the transition point, which was previously leading to double counting of these emissions. This error was not present for upstream (well site) emissions. Calculation errors Unit error: We corrected a specific unit conversion error affecting well site emissions in the Kairos Fort Worth dataset. Across all datasets, we also correct the conversion factor for converting from standard volume to mass for midstream emissions. Sorting error: We correct code that was applying incorrect sorting when computing correction factors to account for partial detection at well sites. Small typographical corrections were made in Fig. 1b and SI Section S4.1. Data processing and methods corrections Overflight count correction: We previously used pre-computed source coverage data for some Carbon Mapper campaigns that was computed differently than was required for our analysis. We have re-computed Carbon Mapper source coverage based on flightline polygons and source coordinates. Transition point computation, well sites: The updated version now correctly compares the cumulative emissions distribution of simulated well site emissions with that of aerially detected sources (rather than plumes) when computing the transition point. Transition point computation, midstream: Additionally, the transition point calculation has been corrected to exclude aerially detected midstream emissions below the transition point, which was previously leading to double counting of these emissions. This error was not present for upstream (well site) emissions. Calculation errors Unit error: We corrected a specific unit conversion error affecting well site emissions in the Kairos Fort Worth dataset. Across all datasets, we also correct the conversion factor for converting from standard volume to mass for midstream emissions. Sorting error: We correct code that was applying incorrect sorting when computing correction factors to account for partial detection at well sites. Small typographical corrections were made in Fig. 1b and SI Section S4.1. The following practices may help researchers conducting similar analyses avoid making similar errors: 1, Clear, accessible documentation explaining the interpretation of all columns in data input tables and all internal variables within the model, 2, Simple cross-check calculations computed before and after unit conversions.

Sherwin, Evan D↗
DOE OSTI2023

A Monte-Carlo Method for Evaluating the Economic Performance of Plastics Recycling Systems Using Historical Pricing

The management of plastic waste is a considerable emerging global concern. Conventional plastics recycling rates range from 5–10% in the US, which results in considerable material being sent to landfill. New sorting technologies using artificial intelligence have the potential to dramatically increase the ability of waste management companies to sort out valuable fractions of plastic waste and create high-purity streams for secondary markets. However, several fractions of the plastics recycling stream, i.e., low-density polyethylene, polypropylene, and polystyrene, do not have well-developed markets. These materials may be sent to pyrolysis facilities for thermal recycling, but the economics of the pyrolysis industry are currently uncertain. This work aims to identify the breakeven price of the plastic fractions that would be sent to pyrolysis in order to determine the economic viability of the sorting facility. The work will use Monte Carlo analysis to evaluate several scenarios and understand how compositional variation, price variability, and facility attributes affect the breakeven price. Here, the presorting conditions in Materials Recovery Facilities strongly affects the profitability of the sorting facility. High residual high density polyethylene (HDPE) and polyethylene terephthalate (PET) content in presorted bales are important revenue drivers for the facility, even in presorted 3-7 bales. Key variables that lead to profitability include a high sale price of polyethylene terephthalate, a high sale price of high-density polyethylene, and if polypropylene can be sold to recycling markets (as opposed to pyrolysis facilities).

Plastics↗
DOE OSTI2025

Recovery of postconsumer mechanically recycled polymers

Mechanical recycling plays a key role in reducing landfill bound plastics that pollute our environment. This process converts plastic waste into marketable pellets by sorting, cleaning, grinding into flakes, compounding in the molten state, and ultimately pelletizing. A primary restriction for the widescale usage of mechanical recycling is the highly variable quality and mechanical properties of the plastic waste feedstock. Degradation can occur during the plastic life cycle with the consumer, during the mechanical processing itself, or during the complex sorting process required to produce the feedstock. This study explores how rheological characterization can mitigate the batch-to-batch variability and identify a potential application for each batch. Shear and extensional rheology of “application-specific” virgin high-density polyethylene (HDPE) and virgin polypropylene (PP) was used as the control for this categorization process. Recycled HDPE and PP from three different streams were then measured and compared to the results from the control study. Rheological measurements proved to be very effective at providing sufficient differentiation to categorize the recycled polymer as suitable for different applications such as injection molding, blow molding, or thermoforming. Finally, the usage of an additional step to sort the recycled polymers by their initial use application was found to achieve a remarkably consistent recovery of application-specific material properties. Furthermore, this secondary sorting could provide significant added value for mechanically recycled polymers.

Differential scanning calorimetry↗
NASA NTRS1993

Size distributions and aerodynamic equivalence of metal chondrules and silicate chondrules in Acfer 059

The CR2 chondrite Acfer 059 is unusual in that the original droplet shapes of metal chondrules are well preserved. We determined separate size distributions for metal chondrules and silicate chondrules; the two types are well sorted and have similar size distributions about their respective mean diameters of 0.74 mm and 1.44 mm. These mean values are aerodynamically equivalent for the contrasting densities, as shown by calculated terminal settling velocities in a model solar nebula. Aerodynamic equivalence and similarity of size distributions suggest that metal and silicate fractions experienced the same sorting process before they were accreted onto the parent body. These characteristics, together with depletion of iron in Acfer 059 and essentially all other chondrites relative to primitive CI compositions, strongly suggest that sorting in the solar nebula involved a radial aerodynamic component and that sorting and siderophile depletion in chondrites are closely related.

Skinner, William R.↗
NASA NTRS1997

Alternative Perspectives on Risk: Individual Differences in Problem Structuring

Team decision making involves contributions of multiple players toward a common goal. While much has been written about the importance of developing shared mental models in order for teams to work together effectively, little has been done to determine the value of alternative perspectives on problem solving and decision making. Early studies of expertise contrasted experts with novices and noted that the two groups differ in the way they structure problems and in their selection of information as salient. Little attention has been given to differences among experts who differ in their specializations. A series of experiments was conducted to determine: (1) what dimensions of flight-related problem situations pilots judge to be most important when making flight-relevant decisions; and (2) whether pilots in different crew positions differ in the way they interpret problems relating to flight decisions. A sorting task was used to identify underlying dimensions judged as salient to individual pilots. Captains, first officers, and flight engineers from two major carriers participated in the study. Twenty-two flight scenarios were developed based on ASRS reports. Pilots were required to make judgments about how they would respond in each case and to sort the scenarios on the basis of similarity of decision factors. They were also asked to provide a verbal label that described each of their sorted categories. A second study required a different group of pilots (also captains, first officers and flight engineers) to sort on predetermined bases.

Orasanu, Judith↗
NASA NTRS2001

Interpreting Abstract Interpretations in Membership Equational Logic

We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term has a certain sort. We represent an abstract interpretation as a membership equational logic specification, usually as an overloaded order-sorted signature with membership axioms. It turns out that, for any term, its least sort over this specification corresponds to its most concrete abstract value. Maude implements membership equational logic and provides mechanisms to calculate the least sort of a term efficiently. We first show how Maude can be used to get prototyping of abstract interpretations "for free." Building on the meta-logic facilities of Maude, we further develop a tool that automatically checks and abstract interpretation against a set of user-defined properties. This can be used to select an appropriate abstract interpretation, to characterize the specified loss of information during abstraction, and to compare different abstractions with each other.

Fischer, Bernd↗
NASA NTRS2003

The Origin of Chondrites: Metal-Silicate Separation Experiments Under Microgravity Conditions, Experiment 2

Chondrites are categorized into different groups by several properties, including the metal-to-silicate ratio. Various processes have been suggested to produce distinct metal/silicate ratios, some based on sorting in the early solar nebular and others occurring after accretion on the parent body. Huang et al. suggested that a weak gravitational field accompanied by degassing, could result in metal/silicate separation on parent bodies. We suggest that asteroids were volatile-rich, at least early in their histories. Spectroscopic evidence from asteroid surfaces indicates that one-third of all asteroids maybe rich in clays and hydrated minerals, similar to carbonaceous chondrites. Internal and/or external heating could have caused volatiles to evaporate and pass through a surface dust layer. Spacecraft images of asteroids show they have a thick regoliths. Housen, and Asphaug and Nolan proposed that even a 10 km diameter asteroid could potentially have a significant regolith. Grain size and grain density sorting could occur in the unconsolidated layer by the process known as fluidization. This process occurs when an upward stream of gas is passed through a bed of particles which are lifted against a gravitational force. Fluidization is commonly used commercially to sort particulates. This type of behavior is based upon the bed, as a whole, and differs from aerodynamic sorting. Two sets of reduced gravity experiments were conducted during parabolic flights aboard NASA's KC-135 aircraft. The first experiment employed 310 tubes of 2.5 cm diameter, containing mixtures of sand and metal grains. A gas source was used to fluidize the mixture at reduced gravity conditions and mixtures were analyzed after the flight. However, this experiment did not allow a description of the fluidization as a function of gravity. A second experiment was conducted on the KC-135 aircraft in the summer of 2001, consisting of two Plexiglas cylinders containing a metal/silicate mixture, and video cameras to record the experiment on tape. Here we summarize this experiment and discusses the implications for metalsilicate separation on asteroid bodies.

Moore, S. R.↗