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.

SourceResearch connectionFrom yearThrough year

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

At least 181 records · Page 10

All sources NASA NTRS DOE OSTI

NASA NTRS1996

X-ray digital imaging petrography of lunar mare soils: modal analyses of minerals and glasses

It is essential that accurate modal (i.e., volume) percentages of the various mineral and glass phases in lunar soils be used for addressing and resolving the effects of space weathering upon reflectance spectra, as well as for their calibration such data are also required for evaluating the resource potential of lunar minerals for use at a lunar base. However, these data are largely lacking. Particle-counting information for lunar soils, originally obtained to study formational processes, does not provide these necessary data, including the percentages of minerals locked in multi-phase lithic fragments and fused-soil particles, such as agglutinates. We have developed a technique for modal analyses, sensu stricto, of lunar soils, using digital imaging of X-ray maps obtained with an energy-dispersive spectrometer mounted on an electron microprobe. A suite of nine soils (90 to 150 micrometers size fraction) from the Apollo 11, 12, 15, and 17 mare sites was used for this study. This is the first collection of such modal data on soils from all Apollo mare sites. The abundances of free-mineral fragments in the mare soils are greater for immature and submature soils than for mature soils, largely because of the formation of agglutinitic glass as maturity progresses. In considerations of resource utilization at a lunar base, the best lunar soils to use for mineral beneficiation (i.e., most free-mineral fragments) have maturities near the immature/submature boundary (Is/FeO approximately or = 30), not the mature soils with their complications due to extensive agglutination. The particle data obtained from the nine mare soils confirm the generalizations for lunar soils predicted by L.A. Taylor and D.S. McKay (1992, Lunar Planet Sci. Conf. 23rd, pp. 1411-1412 [Abstract]).

NASA Discipline Exobiology↗

NASA NTRS1989

Automated model formulation for time-varying flexible structures

Presented here is an identification technique that uses the sensor information to choose a new model out of a finite set of discrete model space, in order to follow the observed changes to the given time varying flexible structure. Boundary condition sets or other information on model variations are used to organize the set of possible models laterally into a search tree with levels of abstraction used to order the models vertically within branches. An object-oriented programming approach is used to represent the model set in the search tree. A modified A (asterisk) best first search algorithm finds the model where the model response best matches the current observations. Several extensions to this methodology are discussed. Methods of possible integration of rules with the current search algorithm are considered to give weight to interpreted trends that may be found in a series of observations. This capability might lead, for instance, to identifying a model that incorporates a progressive damage rather than with incorrect paramenters such as added mass. Another new direction is to consider the use of noisy time domain sensor feedback rather than frequency domain information in the search algorithm to improve the real-time capability of the developed procedure.

Glass, B. J.↗

DOE OSTI2024

Noncommutative gauge symmetry in the fractional quantum Hall effect

Abstract We show that a system of particles on the lowest Landau level can be coupled to a probe U(1) gauge field$$ \mathcal{A} $$ A μ in such a way that the theory is invariant under a noncommutative U(1) gauge symmetry. While the temporal component$$ \mathcal{A} $$ A 0 of the probe field is coupled to the projected density operator, the spatial components$$ \mathcal{A} $$ A i are best interpreted as quantum displacements, which distort the interaction potential between the particles. We develop a Seiberg-Witten-type map from the noncommutative U(1) gauge symmetry to a simpler version, which we call “baby noncommutative” gauge symmetry, where the Moyal brackets are replaced by the Poisson brackets. The latter symmetry group is isomorphic to the group of volume preserving diffeomorphisms. By using this map, we resolve the apparent contradiction between the noncommutative gauge symmetry, on the one hand, and the particle-hole symmetry of the half-filled Landau level and the presence of the mixed Chern-Simons terms in the effective Lagrangian of the fractional quantum Hall states, on the other hand. We outline the general procedure which can be used to write down effective field theories which respect the noncommutative U(1) symmetry.

Physics↗

DOE OSTI2024

Vertical instability forecasting and controllability assessment of multi-device tokamak plasmas in DECAF with data-driven optimization

Abstract Reliable vertical position control will be an essential element of any future tokamak-based fusion power plant in order to reduce disruptions and maximize performance. We investigate methods to improve vertical controllability boundary determination in plasma operational space and demonstrate a data-driven approach based on direct pseudoinversion of operational space data that is rigorously quantitative, applicable in real-time plasma control systems, and physically intuitive to interpret. Applied to historical shot data from entire run campaigns on the MAST-U, KSTAR, and NSTX tokamaks, this approach, implemented in DECAF, improves vertical displacement event identification accuracy to 98.9%–100%. Further, we explore the application of a physics-based vertical stability metric as an early warning forecaster for vertical displacement events. The development of a linear surrogate model for the plasma current density profile, with a coefficient of determination of 0.992 on the training dataset, enables potential employment of this forecaster in real-time. The application of this approach on historical data from the MAST-U MU02 campaign yields a forecaster with 62.6% accuracy, indicating promise for this method when further refined and potentially coupled with other stability metrics.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2025

Characterization of uncertainties in electron-argon collision cross sections

Abstract The predictive capability of a plasma discharge model depends on accurate representations of electron-impact collision cross sections, which determine the corresponding reaction rates and electron transport properties. The values of cross sections can be known only approximately either through experiments or simulations and are thus subject to uncertainties. Quantifying the uncertainties in plasma simulations allows us to assess the reliability of simulations and to provide a basis for interpreting discrepancies between simulations and experiments. For such uncertainty quantification of plasma simulations, it is essential to quantify the uncertainties of the underlying cross sections. Although much effort has been committed to calibrate the cross section values, their uncertainties are not well investigated. We characterize uncertainties in electron-argon atom collision cross sections using a Bayesian framework. Six collision processes—elastic momentum transfer, ionization, and four excitations—are characterized with semi-empirical models, which effectively capture the features important to the macroscopic properties of the plasma. A probability model for the uncertain parameters of these semi-empirical models is developed. Specifically, a Gaussian-process likelihood model is proposed to capture discrepancies among data sets, as well as the model-form inadequacies of the semi-empirical models. Two other likelihood models are compared with the proposed Gaussian-process model, to illustrate the importance of the choice of the likelihood model. The cross section models are calibrated using the electron-beam experiments and ab-inito quantum simulations. The resulting calibrated uncertainties capture well the scattering among the data sets. The calibrated cross section models are further validated against swarm-parameter experiments and zero-dimensional Boltzmann equation simulations of widely used cross section datasets.

Chung, Seung Whan (ORCID:0000000302501549)↗

DOE OSTI2024

The annual cycle and sources of relevant aerosol precursor vapors in the central Arctic during the MOSAiC expedition

Abstract. In this study, we present and analyze the first continuous time series of relevant aerosol precursor vapors from the central Arctic (north of 80° N) during the Multidisciplinary drifting Observatory for the Study of Arctic Climate (MOSAiC) expedition. These precursor vapors include sulfuric acid (SA), methanesulfonic acid (MSA), and iodic acid (IA). We use FLEXPART simulations, inverse modeling, sulfur dioxide (SO2) mixing ratios, and chlorophyll a (chl a) observations to interpret the seasonal variability in the vapor concentrations and identify dominant sources. Our results show that both natural and anthropogenic sources are relevant for the concentrations of SA in the Arctic, but anthropogenic sources associated with Arctic haze are the most prevalent. MSA concentrations are an order of magnitude higher during polar day than during polar night due to seasonal changes in biological activity. Peak MSA concentrations were observed in May, which corresponds with the timing of the annual peak in chl a concentrations north of 75° N. IA concentrations exhibit two distinct peaks during the year, namely a dominant peak in spring and a secondary peak in autumn, suggesting that seasonal IA concentrations depend on both solar radiation and sea ice conditions. In general, the seasonal cycles of SA, MSA, and IA in the central Arctic Ocean are related to sea ice conditions, and we expect that changes in the Arctic environment will affect the concentrations of these vapors in the future. The magnitude of these changes and the subsequent influence on aerosol processes remains uncertain, highlighting the need for continued observations of these precursor vapors in the Arctic.

Boyer, Matthew↗

DOE OSTI2025

A Unified Analytical Model for Pressure Solution With Fully Coupled Diffusion and Reaction

Abstract Geophysical models for pressure solution are typically developed for diffusion‐controlled or reaction‐controlled scenarios. We present a unified analytical model that considers fully coupled diffusion and reaction during pressure solution. The model recovers the diffusion‐controlled and reaction‐controlled models in the literature as specific limiting cases. When diffusion and reaction exhibit comparable influences, we validate the proposed model against independent numerical simulations. The proposed model is then employed in interpreting experimental measurements, demonstrating a better agreement compared to previous interpretations.

Wang, Ziyan [Energy Geosciences Division Lawrence ↗

NASA NTRSDate not supplied

Mars Science Laboratory Mastcam Multispectral Investigation of Drill Targets From the Beginning of the Clay Sulfate Transition to Marker Band Valley

In March, 2021 the Mars Science Laboratory Curiosity rover officially started exploring the Clay Sulfate Transition (CST). This area of Mt. Sharp has been interpreted to have hydrated Mg-sulfate spectral signatures in CRISM orbital data, and it no longer has the strong phyllosilicate spectral signature as the previous Glen Torridon region. Recently, the Curiosity rover has also encountered the marker band that was also identified in orbital data [1,3]. This shift from phyllosilicates to hydrated Mg-sulfates suggests a major change in the environmental conditions during which these rocks were deposited. This abstract focuses on changes seen in the Mastcam multispectral data between the CST drill targets.

S R Jacob↗

NASA NTRS1980

Voyager-Jupiter radio science data papers

The reduction and interpretation of the radio science data from the Voyager 1 and 2 encounters of the planet Jupiter and its satellites resulted in the preparation of several papers for publication in the special Voyager-Jupiter issue of the Journal of Geophysical Research. The radio science and tracking systems of the Deep Space Network provide the data which makes this research possible. This article lists submitted papers by title, with their authors and with abstracts of their contents.

Levy, G. S.↗

NASA NTRS1986

Medium and large-scale variations of dynamo-induced electric fields from AE ion drift measurements

Current models of the low latitude electric field are largely based on data from incoherent scatter radars. These observations are extended through the addition of the rather extensive high quality electric field measurements from the Ion Drift Meter (IDM) aboard the Atmosphere Explorer (AE) spacecraft. Some preliminary results obtained from the Unified Abstract files of satellite AE-E are presented. This satellite was active from the end of 1975 through June 1981 in various elliptical and circular orbits having an inclination near 20 deg. The resulting data can be examined for the variation of ion drift with latitude, longitude, season, solar cycle, altitude, and magnetic activity. The results presented deal primarily with latitudinal variations of the drift features. Diagrams of data are given and briefly interpreted. The preliminary results presented here indicate that IDM data from the AE and the more recent Dynamics Explorer B spacecraft should continue to disclose some interesting and previously unobserved dynamical features of the low latitude F region.

Coley, W. R.↗

DOE OSTI2024

Machine Learning meets Algebraic Combinatorics: A Suite of Benchmark Datasets to Accelerate AI for Mathematics Research

The use of benchmark datasets has become an important engine of progress in machine learning (ML) over the past 15 years. Recently there has been growing interest in utilizing machine learning to drive advances in research-level mathematics. However, off-the-shelf solutions often fail to deliver the types of insights required by mathematicians. This suggests the need for new ML methods specifically designed with mathematics in mind. The question then is: what benchmarks should the community use to evaluate these? On the one hand, toy problems such as learning the multiplicative structure of small finite groups have become popular in the mechanistic interpretability community whose perspective on explainability aligns well with the needs of mathematicians. While toy datasets are a useful benchmark for initial work, they lack the scale, complexity, and sophistication of many of the principal objects of study in modern mathematics. To address this, we introduce a new collection of benchmark datasets, Algebraic Combinatorics Benchmarks (ACBench), representing either classic or open problems in algebraic combinatorics, a subfield of mathematics that studies discrete structures arising from abstract algebra. After describing the datasets, we discuss the challenges involved in constructing “good” mathematics benchmarks, describe baseline model performance, and discuss some of the insights these datasets can provide that may be of interest even to those who are not interested in mathematics research itself.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2025

Dynamical structure factors of warm dense matter from time-dependent orbital-free and mixed-stochastic-deterministic density functional theory

Abstract We present the first calculations of the inelastic part of the dynamical structure factor (DSF) for warm dense matter (WDM) using time-dependent orbital-free density functional theory (TD-OF-DFT) and mixed-stochastic-deterministic (mixed) Kohn Sham TD-DFT (KS TD-DFT). WDM is an intermediate phase of matter found in planetary cores and laser-driven experiments, where the accurate calculation of the DSF is critical for interpreting x-ray Thomson scattering measurements. Traditional TD-DFT methods, while highly accurate, are computationally expensive, motivating the exploration of TD-OF-DFT and mixed TD-KS-DFT as more efficient alternatives. We applied these methods to experimentally measured WDM systems, including solid-density aluminum and beryllium, compressed beryllium, and carbon–hydrogen mixtures. Our results show that TD-OF-DFT requires a dynamical kinetic energy potential in order to qualitatively capture the plasmon response. Additionally, it struggles with capturing bound electron contributions. In contrast, mixed TD-KS-DFT offers greater accuracy in distinguishing bound and free electron effects, aligning well with experimental data, though at a higher computational cost. This study highlights the trade-offs between computational efficiency and accuracy, demonstrating that TD-OF-DFT remains a valuable tool for rapid scans of parameter space, while mixed TD-KS-DFT should be preferred for high-fidelity simulations. Our findings provide insight into the future development of DFT methods for WDM and suggest potential improvements for TD-OF-DFT.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Large $$N_c$$ QCD phase diagram at $$\mu _B=0$$

Abstract Lattice studies suggest that at zero baryon chemical potential and increasing temperature there are three characteristic regimes in QCD that are connected by smooth analytical crossovers: a hadron gas regime at$$T < T_{ch}\sim 155$$ T < T ch ∼ 155 MeV, an intermediate regime, called stringy fluid, at$$T_{ch}< T < \sim 3 T_{ch}$$ T ch < T < ∼ 3 T ch , and a quark-gluon plasma regime at higher temperatures. These regimes have been interpreted to reflect different approximate symmetries and effective degrees of freedom. In the hadron gas the effective degrees of freedom are hadrons and the approximate chiral symmetry of QCD is spontaneously broken. The intermediate regime has been interpreted as lacking spontaneous chiral symmetry breaking along with the emergence of new approximate symmetry, chiral spin symmetry, that is not a symmetry of the Dirac Lagrangian, but is a symmetry of the confining part of the QCD Lagrangian. While the high temperature regime is the usual quark-gluon plasma which is often considered to reflect “deconfinement” in some way. This paper explores the behavior of these regimes of QCD as the number of colors in the theory,$$N_c$$ N c , gets large. In the large$$N_c$$ N c limit the theory is center-symmetric and notions of confinement and deconfinement are unambiguous. The energy density is$$\mathcal{O}(N_c^0)$$ O ( N c 0 ) in the meson gas,$${{\mathcal {O}}}(N_c^1)$$ O ( N c 1 ) in the intermediate regime and$${{\mathcal {O}}}(N_c^2)$$ O ( N c 2 ) in the quark-gluon plasma regime. In the large$$N_c$$ N c limit these regimes may become distinct phases separated by first order phase transitions. The intermediate phase has the peculiar feature that glueballs should exist and have properties that are unchanged from what is seen in the vacuum (up to$$1/N_c $$ 1 / N c corrections), while the ordinary dilute gas of mesons with broken chiral symmetry disappears and approximate chiral spin symmetry should emerge.

Physics↗

NASA NTRS1999

Near-Infrared Hyperspectral Image Cubes of Mars during the 1999 Opposition

We used the Goddard Space Flight Center, Acousto-Optic Tunable Filter (AOTF) Camera to obtain near-IR spectral image sets of Mars over the 1.6-3.6 micron region during the April 1999 opposition. A complete image set consists of 280 images with a spectral full-width-half maximum of 10 wavenumbers (fixed in frequency), 90 images in H-band (1.55-1.80 micron), 115 images in K-band (1.95-2.50 micron) and 75 images in L-band (2.90-3.70 micron). The short-wavelength limit is set by transmission of AOTF cell and long-wavelength limit is imposed by sensitivity of PICNIC, 256x256, HgCdTe array detector. We will discuss the new array performance and provide preliminary interpretations of some of these results. These measurements were part of a 4-observatory coordinated effort whose overall objective was to assemble a photometrically calibrated, spectrally complete ground-based image cube over the visible and near-IR spectral region. To accomplish this, four observing teams conducted the investigations with instruments spanning 0.4 to 5.0 micron. The instruments and observing facilities were (a) AOTF camera at Apache Point Observatory, 3.5m, f/10, Nasymth focus (this abstract). Primary science targets included the 3 micron water-of hydration feature and CO2, H2O ice (polar regions and clouds); (b) Visible/NIR interference-filter (24 filters) camera at Lowell Observatory, 72" telescope. 430-1050 nm. Science targets were Fe(2+), Fe(3+) mineralogy and coarse grain hematite search; (c) NMSU Tortugas Mountain Observatory, 60 cm telescope, CCD photometry with same filter set as Lowell; (d) KPNO cryogenic grating/slit spectrometer (CRSP/SALLY) at KPNO 2.1 m, f/15 Cassegrain focus (see abstract by D. Glenar, et. al., this meeting). Selected wavelengths in 3-5 micron region (L, M band). Science targets included water-of-hydration feature (3-4 micron long wave extension) and sulfate mineralogy. Observers participating in this campaign included Dave Glenar, John Hillman, Gordon Bjoraker and Fred Espenak from GSFC, Nancy Chanover, Jim Murphy and A. S. MurTell from NMSU, Leslie Young from BU, Diana Blaney from JPL and Dick Joyce from KPNO.

Hillman, John J.↗

DOE OSTI2024

Actinide signatures in low electron fraction kilonova ejecta

ABSTRACT Neutron star (NS) mergers are known to produce heavy elements through rapid neutron capture (r-process) nucleosynthesis. Actinides are expected to be created solely by the r-process in the most neutron-rich environments. Confirming if NS mergers provide the requisite conditions for actinide creation is therefore central to determining their origin in the Universe. Actinide signatures in kilonova (KN) spectra may yield an answer, provided adequate models are available in order to interpret observational data. In this study, we investigate actinide signatures in neutron-rich merger ejecta. We use three ejecta models with different compositions and radioactive power, generated by nucleosynthesis calculations using the same initial electron fraction ($Y_e = 0.15$) but with different nuclear physics inputs and thermodynamic expansion history. These are evolved from 10 to 100 d after merger using the sumo non-local thermodynamic equilibrium (NLTE) radiative transfer code. We highlight how uncertainties in nuclear properties, as well as choices in thermodynamic trajectory, may yield entirely different outputs for equal values of $Y_e$. We consider an actinide-free model and two actinide-rich models, and find that the emergent spectra and light-curve evolution are significantly different depending on the amount of actinides present, and the overall decay properties of the models. We also present potential key actinide spectral signatures, of which doubly ionized $_{89}$Ac and $_{90}$Th may be particularly interesting as spectral indicators of actinide presence in KN ejecta.

Pognan, Quentin (ORCID:0000000152550782)↗

NASA NTRS1990

Operator function modeling: Cognitive task analysis, modeling and intelligent aiding in supervisory control systems

The design, implementation, and empirical evaluation of task-analytic models and intelligent aids for operators in the control of complex dynamic systems, specifically aerospace systems, are studied. Three related activities are included: (1) the models of operator decision making in complex and predominantly automated space systems were used and developed; (2) the Operator Function Model (OFM) was used to represent operator activities; and (3) Operator Function Model Expert System (OFMspert), a stand-alone knowledge-based system was developed, that interacts with a human operator in a manner similar to a human assistant in the control of aerospace systems. OFMspert is an architecture for an operator's assistant that uses the OFM as its system and operator knowledge base and a blackboard paradigm of problem solving to dynamically generate expectations about upcoming operator activities and interpreting actual operator actions. An experiment validated the OFMspert's intent inferencing capability and showed that it inferred the intentions of operators in ways comparable to both a human expert and operators themselves. OFMspert was also augmented with control capabilities. An interface allowed the operator to interact with OFMspert, delegating as much or as little control responsibility as the operator chose. With its design based on the OFM, OFMspert's control capabilities were available at multiple levels of abstraction and allowed the operator a great deal of discretion over the amount and level of delegated control. An experiment showed that overall system performance was comparable for teams consisting of two human operators versus a human operator and OFMspert team.

Mitchell, Christine M.↗

NASA NTRS1999

Iodine-Xenon Dating: Sensitive Chronometer for Reprocessing in the Primitive Solar System

The I-Xe chronometer is based upon decay of I-129 to Xe-129 in the early Solar System. Recent comparison of I-Xe system in individual mineral separates from twelve different meteorites with independent Pb-Pb data has demonstrated that I-Xe clock is a reliable sensitive chronometer when applied to a single mineral system. Since most iodine hosts are secondary minerals, the I-Xe clock generally records post-formational processing, providing the information on early meteorite evolution. Absolute I-Xe ages can be found by normalization using the measured I-Xe and Pb-Pb ages of Acapulco phosphate (4.557 plus or minus 0.002 Ga). Absolute ages for the I-Xe internal standards Shallow water and Bjurbole, 4.566 plus or minus 0.002 Ga and 4.565 plus or minus 0.003 Ga, respectively, provide absolute I-Xe ages for all other samples. The I-Xe age of bulk meteorite is meaningful and interpretable only when the carrier of primordial iodine is a major mineral phase (e. g., enstatite chondrites). Using the "monomineral" approach, separated phases from the Richardton H5 chondrite provide a case history of post-formational alteration in this object. This work applies the I-Xe chronometer to determine the times of reprocessing of selected minerals in single meteorite types. A preliminary account of this work was recently reported. Additional information is contained in the original extended abstract.

Pravdivtseva, O. V.↗

DOE OSTI2024

Scenario storyline discovery for complex multi-actor human-natural systems

This poster was presented at the AGU Fall Meeting 2024. Abstract:Scenario analysis is a useful tool for assessing the impacts of future conditions or alternative strategies. However, the common practice of focusing on a small number of predetermined scenarios can limit our understanding of key uncertainties, and fail to represent diverse stakeholder impacts. Exploratory modeling approaches have been developed to address these issues by simulating a wide range of possible futures and system perspectives. A challenge with these approaches is that they often involve large ensemble experiments which limit interpretability and usability. We recently introduced the FRamework for Narrative Storylines and Impact Classification (FRNSIC; pronounced ``forensic''), a scenario discovery framework that helps users identify scenario storylines that capture key system dynamics and as well as important outcomes. In this poster presentation, we present training materials to support the generalizable application of the framework to other multi-actor systems with complex dynamics. Specifically, we will present a step-by-step methodological typology of tools and methods that can be used to generate and classify plausible states of the world on key metrics and consequential dynamics. The typology will also discuss potential implications of these choices and their applicability to different systems.

Colorado River↗