Search NASA⌕ Search

SEARCH · Search NASA

Results for “Abstract Interpretation”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Element Formation in Radiation-hydrodynamics Simulations of Kilonovae

Abstract Understanding the details of r -process nucleosynthesis in binary neutron star merger (BNSM) ejecta is key to interpreting kilonova observations and identifying the role of BNSMs in the origin of heavy elements. We present a self-consistent, two-dimensional, ray-by-ray radiation-hydrodynamic evolution of BNSM ejecta with an online nuclear network (NN) up to a timescale of days. For the first time, an initial numerical relativity ejecta profile composed of the dynamical component and spiral-wave and disk winds is evolved including detailed r -process reactions and nuclear heating effects. A simple model for the jet energy deposition is also included. Our simulation highlights that the common approach of relating in postprocessing the final nucleosynthesis yields to the initial thermodynamic profile of the ejecta can lead to inaccurate predictions. Moreover, we find that neglecting the details of the radiation-hydrodynamic evolution of the ejecta in nuclear calculations can introduce deviations of up to 1 order of magnitude in the final abundances of several elements, including very light and second r -process peak elements. The presence of a jet affects element production only in the innermost part of the polar ejecta, and it does not alter the global nucleosynthesis results. Overall, our analysis shows that employing an online NN improves the reliability of nucleosynthesis and kilonova light-curve predictions.

Magistrelli, Fabio (ORCID:0009000509767851)↗
NASA NTRS1971

International Symposium on Remote Sensing of Environment, 7th, University of Michigan, Ann Arbor, Mich., May 17-21, 1971, Proceedings. Volumes 1, 2 & 3.

The sessions dealt in full detail with basic research in geology and soils; manual interpretation of data on land use, snow, and ice; machine assisted data handling; instrumentation; basic research in water, snow, and ice; manual interpretation of data on vegetation, soils, and geology; user studies and instrumentation; and operational systems. Individual items are abstracted in this issue.

Source record↗
NASA NTRS1999

Evidence for Ancient Martian Life

Three SNC meteorites ranging in age from 4.5 Ga. to 1.3 Ga. to 165 m.y. contain features suggestive of past biogenic activity on Mars. Because we do not know what past martian life looks like or its physical or chemical properties, the only tools or criteria which the scientific community have to evaluate evidence of past life is to use evidence for early life on earth. There are features within ALH84001's carbonate globules and the preterrestrial aqueous alteration phases of Nakhla and Shergotty which have been interpreted as possible evidence for past life on early Mars. Additional information is contained in the original extended abstract.

Gibson, E. K., Jr.↗
NASA NTRS1999

Possible Evidence for Life in ALH84001

Since our original paper in Science in August 1996, considerable new data has appeared from laboratories throughout the world, and our own team has had a chance to examine the sample in greater detail. The following summary touches on our original data and interpretation, and points out new data from us and from other groups, and the resulting changes and refinements in interpretations which we have made during the past three years. Additional information is contained in the original extended abstract.

McKay, David↗
DOE OSTI2025

The importance of electron scattering in the analysis of actinide X-ray spectroscopy

Abstract Manifestations of electron scattering in X-ray spectroscopy have been evident for decades. Here, it will be shown that the proper interpretation of variants of X-ray Absorption Spectroscopy (XAS) of actinide materials must include an accurate treatment of features caused by electron scattering, i.e., EXAFS or Extended X-ray Absorption Fine Structure. These EXAFS features can be of such low energy that they are within ten to twenty electron volts of the Unoccupied Density of States (UDOS), immediately above the Fermi Energy or Band Gap. The adaption of simple models using the FEFF simulation program will be presented, including the demonstration of the robust nature of the results from different models. Graphical abstract

Tobin, J. G. (ORCID:0000000322943301)↗
NASA NTRS1994

Investigation of atmospheric waves on Neptune

This document constitutes the final report for grant NAGW-2442 of the Neptune Data Analysis Program, which supported research concerning atmospheric dynamics on Neptune. Professor Von R. Eshleman was the principal investigator. David P. Hinson was a Co-Investigator. The grant covered the period 1 March 1991 through 31 August 1994, including a six month no-cost extension. Funding from this grant resulted in publication of one journal article and one book chapter as well as presentation of results at two conferences and in numerous seminars. A complete bibliography is given below. A copy of the journal article is attached along with abstracts from the book chapter and the conference presentations. With support from this grant we extended our analysis and interpretation of the Voyager Project. This research contributed to an improvement in our basic understanding of atmospheric dynamics on Neptune. The highlight was the discovery and characterization of inertio-gravity waves in the troposphere and stratosphere. Results include measures of basic wave properties, such as amplitudes and vertical wavelengths, as well as estimates of the effect of the waves on the photochemistry and momentum balance of the stratosphere. This investigation also yielded a better understanding of the potential of radio occultation experiments for studies of atmospheric waves. At the same time we developed new methods of data analysis for exploiting these capabilities. These are currently being applied to radio occultation data obtained with the Magellan spacecraft to study waves in the atmosphere of Venus. Future planetary missions, such as Mars Global Surveyor and Cassini, will benefit from these accomplishments.

Eshleman, Von R.↗
NASA NTRS1986

A study of the use of abstract types for the representation of engineering units in integration and test applications

Physical quantities using various units of measurement can be well represented in Ada by the use of abstract types. Computation involving these quantities (electric potential, mass, volume) can also automatically invoke the computation and checking of some of the implicitly associable attributes of measurements. Quantities can be held internally in SI units, transparently to the user, with automatic conversion. Through dimensional analysis, the type of the derived quantity resulting from a computation is known, thereby allowing dynamic checks of the equations used. The impact of the possible implementation of these techniques in integration and test applications is discussed. The overhead of computing and transporting measurement attributes is weighed against the advantages gained by their use. The construction of a run time interpreter using physical quantities in equations can be aided by the dynamic equation checks provided by dimensional analysis. The effects of high levels of abstraction on the generation and maintenance of software used in integration and test applications are also discussed.

Johnson, Charles S.↗
NASA NTRS1987

A low-density boundary-layer wind tunnel facility

This abstract describes a low-density wind-tunnel facility that was established at NASA Ames in order to aid interpretation and understanding of data received from the Mariner and Viking spacecraft through earth-based simulation. The wind tunnel is a boundary-layer type which is capable of operating over a range of air densities ranging from 0.01 to 1.24 kg/cu m, with the lower values being equivalent to the near-surface density of the planet Mars. Although the facility was developed for space and extraterrestrial simulation, it also can serve as a relatively large-scale, low-density aerodynamic test facility. A description of this unique test facility and some Pitot-tube and hot-wire anemometry data acquired in the facility are presented.

White, B. R.↗
NASA NTRS2013

Hydrogen Isotopic Composition of Water in the Martian Atmosphere and Released from Rocknest Fines

The Mars Science Laboratory Curiosity rover sampled the aeolian bedform called Rocknest as its first solid samples to be analyzed by the analytical instruments CheMin and SAM. The instruments ingested aliquots from a sieved sample of less than 150 micrometer grains. As discussed in other reports at this conference [e.g., 1], CheMin discovered many crystalline phases, almost all of which are igneous minerals, plus some 10s of percent of x-ray amorphous material. The SAM instrument is focused on understanding volatiles and possible organics in the fines, performing evolved gas analysis (EGA) with the SAM quadrapole mass spectrometer (QMS), isotope measurements using both the QMS and the tunable laser spectrometer (TLS), which is sensitive to CO2, water and methane, and organics with the gas chromatograph mass spectrometer (GCMS). As discussed in the abstract by Franz et al. [2] and others, EGA of Rocknest fines revealed the presence of significant amounts of H2O as well as O-, C- and S-bearing materials. SAM has also tasted the martian atmosphere several times, analyzing the volatiles in both the TLS and QMS [e.g., 3,4]. This abstract will focus on presentation of initial hydrogen isotopic data from the TLS for Rocknest soils and the atmosphere, and their interpretation. Data for CO2 isotopes and O isotopes in water are still being reduced, but should be available by at the conference.

Leshin, L. A.↗
DOE OSTI2024

Experimental Observation of a New Attenuation Mechanism in hcp ‐Metals That May Operate in the Earth's Inner Core

Abstract Seismic observations show the Earth's inner core has significant and unexplained variation in seismic attenuation with position, depth and direction. Interpreting these observations is difficult without knowledge of the visco‐ or anelastic dissipation processes active in iron under inner core conditions. Here, a previously unconsidered attenuation mechanism is observed in zinc, a low pressure analog ofhcp‐iron, during small strain sinusoidal deformation experiments. The experiments were performed in a deformation‐DIA combined with X‐radiography, at seismic frequencies (∼0.003–0.1 Hz), high pressure and temperatures up to ∼80% of melting temperature. Significant dissipation (0.077 ≤ Q −1 (ω) ≤ 0.488) is observed along with frequency dependent softening of zinc's Young's modulus and an extremely small activation energy for creep (⩽7 kJ mol −1 ). In addition, during sinusoidal deformation the original microstructure is replaced by one with a reduced dislocation density and small, uniform, grain size. This combination of behavior collectively reflects a mode of deformation called “internal stress superplasticity”; this deformation mechanism is unique to anisotropic materials and activated by cyclic loading generating large internal stresses. Here we observe a new form of internal stress superplasticity, which we name as “elastic strain mismatch superplasticity.” In it the large stresses are caused by the compressional anisotropy. If this mechanism is also active inhcp‐iron and the Earth's inner‐core it will be a contributor to inner‐core observed seismic attenuation and constrain the maximum inner‐core grain‐size to ≲10 km.

Geochemistry & Geophysics↗
NASA NTRS2001

Galilean Satellite Surface Non-Ice Constituents: New Results from the Cassini/Huygens VIMS Jupiter Flyby in the Context of the Galileo NIMS Results

The Cassini mission Visible and Infrared Mapping Spectrometer (VIMS) is currently returning data for the Galilean satellites. Examples of the new satellite data and the initial interpretations will be presented in the context of the Galileo NIMS data and results. Additional information is contained in the original extended abstract.

McCord, T. B.↗
NASA NTRS2000

Cosmic Ray Astronomy

The cosmic ray division participation in the cooperative agreement was activated in the second year. The scientific goals will be analysis of cosmic ray data from the Japanese-American Cooperative Emulsion Experiments (JACEE). Measurements of primary cosmic rays in the JACEE emulsion chambers will be made to derive for each detected particle the deposited energy in the chamber and the primary charge (atomic number). The data will be corrected to the primary flux above the atmosphere, and the composition and energy spectra will be derived. The spectra of the individual elements will be interpreted in context with the supernova shock and other models of cosmic ray acceleration. Additional information is contained in the original extended abstract.

Wu, S. T.↗
DOE OSTI2025

AI-powered topic modeling: comparing LDA and BERTopic in analyzing opioid-related cardiovascular risks in women

Topic modeling is a crucial technique in natural language processing (NLP), enabling the extraction of latent themes from large text corpora. Traditional topic modeling, such as Latent Dirichlet Allocation (LDA), faces limitations in capturing the semantic relationships in the text document although it has been widely applied in text mining. BERTopic, created in 2022, leveraged advances in deep learning and can capture the contextual relationships between words. In this work, we integrated Artificial Intelligence (AI) modules to LDA and BERTopic and provided a comprehensive comparison on the analysis of prescription opioid-related cardiovascular risks in women. Opioid use can increase the risk of cardiovascular problems in women such as arrhythmia, hypotension etc. 1,837 abstracts were retrieved and downloaded from PubMed as of April 2024 using three Medical Subject Headings (MeSH) words: “opioid,” “cardiovascular,” and “women.” Machine Learning of Language Toolkit (MALLET) was employed for the implementation of LDA. BioBERT was used for document embedding in BERTopic. Eighteen was selected as the optimal topic number for MALLET and 23 for BERTopic. ChatGPT-4-Turbo was integrated to interpret and compare the results. The short descriptions created by ChatGPT for each topic from LDA and BERTopic were highly correlated, and the performance accuracies of LDA and BERTopic were similar as determined by expert manual reviews of the abstracts grouped by their predominant topics. The results of the t-SNE (t-distributed Stochastic Neighbor Embedding) plots showed that the clusters created from BERTopic were more compact and well-separated, representing improved coherence and distinctiveness between the topics. Our findings indicated that AI algorithms could augment both traditional and contemporary topic modeling techniques. In addition, BERTopic has the connection port for ChatGPT-4-Turbo or other large language models in its algorithm for automatic interpretation, while with LDA interpretation must be manually, and needs special procedures for data pre-processing and stop words exclusion. Therefore, while LDA remains valuable for large-scale text analysis with resource constraints, AI-assisted BERTopic offers significant advantages in providing the enhanced interpretability and the improved semantic coherence for extracting valuable insights from textual data.

Research & Experimental Medicine↗
NASA NTRS1977

LISP: Data is program. A tutorial in LISP

A novel approach at teaching LISP to a novice was developed. The abstract data format is presented, emphasizing its real structure and its machine implantation. Then the technique of writing programs in the data language, and of interpreting them, is presented. Illustrative features are drawn from various extant LISP implementations.

White, J. L.↗
DOE OSTI2024

Revealing the hidden structure of disordered materials by parameterizing their local structural manifold

Abstract Durable interest in developing a framework for the detailed structure of glassy materials has produced numerous structural descriptors that trade off between general applicability and interpretability. However, none approach the combination of simplicity and wide-ranging predictive power of the lattice-grain-defect framework for crystalline materials. Working from the hypothesis that the local atomic environments of a glassy material are constrained by enthalpy minimization to a low-dimensional manifold in atomic coordinate space, we develop a generalized distance function, the Gaussian Integral Inner Product (GIIP) distance, in connection with agglomerative clustering and diffusion maps, to parameterize that manifold. Applying this approach to a two-dimensional model crystal and a three-dimensional binary model metallic glass results in parameters interpretable as coordination number, composition, volumetric strain, and local symmetry. In particular, we show that a more slowly quenched glass has a higher degree of local tetrahedral symmetry at the expense of cyclic symmetry. While these descriptors require post-hoc interpretation, they minimize bias rooted in crystalline materials science and illuminate a range of structural trends that might otherwise be missed.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Replacing non-biomedical concepts improves embedding of biomedical concepts

Embeddings are semantically meaningful representations of words in a vector space, commonly used to enhance downstream machine learning applications. Traditional biomedical embedding techniques often replace all synonymous words representing biological or medical concepts with a unique token, ensuring consistent representation and improving embedding quality. However, the potential impact of replacing non-biomedical concept synonyms has received less attention. Embedding approaches often employ concept replacement to replace concepts that span multiple words, such as non-small-cell lung carcinoma, with a single concept identifier (e.g., D002289). Also, all synonyms of each concept are merged into the same identifier. Here, we additionally leveraged WordNet to identify and replace sets of non-biomedical synonyms with their most common representatives. This combined approach aimed to reduce embedding noise from non-biomedical terms while preserving the integrity of biomedical concept representations. We applied this method to 1,055 biomedical concept sets representing molecular signatures or medical categories and assessed the mean pairwise distance of embeddings with and without non-biomedical synonym replacement. A smaller mean pairwise distance was interpreted as greater intra-cluster coherence and higher embedding quality. Embeddings were generated using the Word2Vec algorithm applied to a corpus of 10 million PubMed abstracts. Our results demonstrate that the addition of non-biomedical synonym replacement reduced the mean intra-cluster distance by an average of 8%, suggesting that this complementary approach enhances embedding quality. Future work will assess its applicability to other embedding techniques and downstream tasks. Python code implementing this method is provided under an open-source license.

algorithms↗
NASA NTRS2014

EVA Glove Sensor Feasbility II Abstract

The main objectives for the glove project include taking various measurements from human subjects during and after they perform different tasks in the glove box, acquiring data from these tests and determining the accuracy of these results, interpreting and analyzing this data, and using the data to better understand how hand injuries are caused during EVAs.1 Some of these measurements include force readings, temperature readings, and micro-circulatory blood flow.1 The three glove conditions tested were ungloved (a comfort glove was worn to house the sensors), Series 4000, and Phase VI. The general approach/procedure for the glove sensor feasibility project is as follows: 1. Prepare test subject for testing. This includes attaching numerous sensors (approximately 50) to the test subject, wiring, and weaving the sensors and wires in the glove which helps to keep everything together. This also includes recording baseline moisture data using the Vapometer and MoistSense. 2. Pressurizing the glove box. Once the glove box is pressurized to the desired pressure (4.3 psid), testing can begin. 3. Testing. The test subject will perform a series of tests, some of which include pinching a load cell, making a fist, pushing down on a force plate, and picking up metal pegs, rotating them 90 degrees, and placing them back in the peg board. 4. Post glove box testing data collection. After the data is collected from inside the glove box, the Vapometer and MoistSense device will be used to collect moisture data from the subject's hand. 5. Survey. At the conclusion of testing, he/she will complete a survey that asks questions pertaining to comfort/discomfort levels of the glove, glove sizing, as well as offering any additional feedback.

Melone, Kate↗