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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Dynamic allostery in the peptide/MHC complex enables TCR neoantigen selectivity

Abstract The inherent antigen cross-reactivity of the T cell receptor (TCR) is balanced by high specificity. Surprisingly, TCR specificity often manifests in ways not easily interpreted from static structures. Here we show that TCR discrimination between an HLA-A*03:01 (HLA-A3)-restricted public neoantigen and its wild-type (WT) counterpart emerges from distinct motions within the HLA-A3 peptide binding groove that vary with the identity of the peptide’s first primary anchor. These motions create a dynamic gate that, in the presence of the WT peptide, impedes a large conformational change required for TCR binding. The neoantigen is insusceptible to this limiting dynamic, and, with the gate open, upon TCR binding the central tryptophan can transit underneath the peptide backbone to the opposing side of the HLA-A3 peptide binding groove. Our findings thus reveal a novel mechanism driving TCR specificity for a cancer neoantigen that is rooted in the dynamic and allosteric nature of peptide/MHC-I binding grooves, with implications for resolving long-standing and often confounding questions about T cell specificity.

Science & Technology - Other Topics↗
NASA NTRS1984

Scattering models in the microwave regime

Results of first and second year research efforts are summarized in a series of complete articles and abstracts. The goal of the first year efforts was to calculate scattering from an inhomogeneous layer with irregular boundaries to model natural terrains. The model was applied to interpret measurements from vegetation, snow, and sea ice. The goal of the second year was to extend the scattering model to handle disc shaped scatterers which are comparable to incident wavelength and to use the model to investigate the relative merits between active versus passive sensing of soil moisture over vegetated terrain.

Fung, A. K.↗
NASA NTRS1992

Domain specific software design for decision aiding

McDonnell Aircraft Company (MCAIR) is involved in many large multi-discipline design and development efforts of tactical aircraft. These involve a number of design disciplines that must be coordinated to produce an integrated design and a successful product. Our interpretation of a domain specific software design (DSSD) is that of a representation or framework that is specialized to support a limited problem domain. A DSSD is an abstract software design that is shaped by the problem characteristics. This parallels the theme of object-oriented analysis and design of letting the problem model directly drive the design. The DSSD concept extends the notion of software reusability to include representations or frameworks. It supports the entire software life cycle and specifically leads to improved prototyping capability, supports system integration, and promotes reuse of software designs and supporting frameworks. The example presented in this paper is the task network architecture or design which was developed for the MCAIR Pilot's Associate program. The task network concept supported both module development and system integration within the domain of operator decision aiding. It is presented as an instance where a software design exhibited many of the attributes associated with DSSD concept.

Keller, Kirby↗
NASA NTRS1999

Small Valleys Networks on Mars: The Glacial Meltwater Channel Networks of Devon Island, Nunavut Territory, Arctic Canada, as Possible Analogs

Small valley networks are perhaps the clearest evidence for episodes of sustained fluid erosion by water on Mars. While small valley formation has occurred even in Amazonian times, notably on the flanks of some volcanoes, most small valley networks on Mars are associated with the heavily cratered Noachian terrains and are thought to be as old as these terrains. We discuss here the recent identification of glacial meltwater channel networks on Devon Island, Nunavut Territory, Arctic Canada, as possible analogs for many small valley networks seen on Mars. A meltwater channel network interpretation for the martian networks may help solve critical problems plaguing more classical interpretations of their origin such as surface runoff following precipitation or groundwater release, including the need for warm climatic conditions. Additional information is contained in the original extended abstract.

Lee, Pascal↗
NASA NTRS1989

A spatial operator algebra for manipulator modeling and control

A recently developed spatial operator algebra, useful for modeling, control, and trajectory design of manipulators is discussed. The elements of this algebra are linear operators whose domain and range spaces consist of forces, moments, velocities, and accelerations. The effect of these operators is equivalent to a spatial recursion along the span of a manipulator. Inversion of operators can be efficiently obtained via techniques of recursive filtering and smoothing. The operator algebra provides a high level framework for describing the dynamic and kinematic behavior of a manipulator and control and trajectory design algorithms. The interpretation of expressions within the algebraic framework leads to enhanced conceptual and physical understanding of manipulator dynamics and kinematics. Furthermore, implementable recursive algorithms can be immediately derived from the abstract operator expressions by inspection. Thus, the transition from an abstract problem formulation and solution to the detailed mechanizaton of specific algorithms is greatly simplified. The analytical formulation of the operator algebra, as well as its implementation in the Ada programming language are discussed.

Rodriguez, G.↗
DOE OSTI2026

Chemical ionization mass spectrometry utilizing benzene cations for measurements of volatile organic compounds and nitric oxide

We evaluate the capability of chemical ionization mass spectrometry (CIMS) using benzene cations as reagent ions (benzene CIMS) for detecting atmospheric trace gases. We characterize the ionization pathways and product ion distributions for 27 analytes spanning diverse chemical classes. To interpret the complex ion chemistry involving two reagent ions (C 6 H$^{+}_{6}$ and (C 6 H 6 )$^{+}_{2}$) and multiple ionization pathways (charge transfer, proton transfer, adduct formation, and hydride abstraction), we introduce a thermodynamics-based framework that classifies analytes into three categories based on their ionization energy (IE), relative to those of benzene monomer (9.24 eV) and dimer (8.69 eV). Each class exhibits distinct ionization mechanisms and product ions. Analytes with IE smaller than 8.69 eV (low IE) undergo charge transfer with both reagent ions; analytes with IE between 8.69 and 9.24 eV (mid IE) undergo charge transfer with C 6 H$^{+}_{6}$ and potential adduct formation with (C 6 H 6 )$^{+}_{2}$; analytes with IE larger than 9.24 eV (high IE) could undergo adduct formation, proton transfer, or hydride abstraction. Analytes within each class also show similar sensitivity, enabling sensitivity estimation for compounds lacking calibration standards. In addition to volatile organic compounds (VOCs), benzene CIMS detects nitric oxide (NO) with a detection limit of 5 pptv for 1 min integration time, exceeding the performance of most commercial NOx analyzers. Field deployments in Chicago and St. Louis demonstrate good agreement with reference NO measurements. Isoprene measurements show good agreement with a co-located gas chromatography–photoionization detector (GC-PID) in St. Louis, but exhibit substantial positive bias in Chicago, likely due to interferences from anthropogenic VOCs in the polluted urban environment. These results highlight the potential of benzene CIMS for concurrent measurements of NO, VOCs, and their oxidation products using a single instrument, while also underscoring challenges in complex atmospheric conditions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1995

Real-time value-driven diagnosis

Diagnosis is often thought of as an isolated task in theoretical reasoning (reasoning with the goal of updating our beliefs about the world). We present a decision-theoretic interpretation of diagnosis as a task in practical reasoning (reasoning with the goal of acting in the world), and sketch components of our approach to this task. These components include an abstract problem description, a decision-theoretic model of the basic task, a set of inference methods suitable for evaluating the decision representation in real-time, and a control architecture to provide the needed continuing coordination between the agent and its environment. A principal contribution of this work is the representation and inference methods we have developed, which extend previously available probabilistic inference methods and narrow, somewhat, the gap between probabilistic and logical models of diagnosis.

Dambrosio, Bruce↗
NASA NTRS2005

An Update on Results from the Magnetic Properties Experiments on the Mars Exploration Rovers, Spirit and Opportunity

The Magnetic Properties Experiments were designed to investigate the properties of the airborne dust in the Martian atmosphere. A preferred interpretation of previous experiments (Viking and Pathfinder) was that the airborne dust is primarily composed by composite silicate particles containing as a minor constituent the mineral maghemite (gamma-Fe2O3). In this abstract we show how the magnetic properties experiments on Spirit and Opportunity provide information on the distribution of magnetic mineral(s) in the dust on Mars, with emphasis on results from Opportunity.

Madsen, M. B.↗
NASA NTRS2025

Limitations and Feasibility of Mini X-Ray Devices in Space Environments

LIMITATIONS AND FEASIBILITY OF MINI X-RAY DEVICES IN SPACE ENVIRONMENTS As space exploration advances toward long-duration missions, reliable medical diagnostic tools become increasingly critical. The miniature x-ray (XR) technology demonstrations by the Exploration Medical Capability (ExMC) and the Exploration Medical Integrated Product Team (XMIPT) aim to assess the feasibility and utility of miniature XR devices in spaceflight. This abstract explores the limitations of current miniature XR systems, the challenges of training crew members, the potential role of clinical decision support systems (CDSS), and the feasibility of ground-based image interpretation. We also propose the integration of miniature XR into other ExMC efforts aimed at identifying the capabilities and resources needed for future exploration class missions. One of the primary challenges with miniature XR devices is the ability to achieve specific anatomical views, particularly in the confined and weightless conditions of a spacecraft. Operators may struggle to acquire diagnostic-quality images when space is limited for proper patient positioning and the volume of the imaging device. Since space radiation and detector limitations may further impact image quality, the flexibility of the operating procedures of these devices will be critical for their success in space applications. CHALLENGES IN TRAINING CREW TO OPERATE IMAGING DEVICES Training in the skills necessary to acquire diagnostic-quality scans may be a barrier for non-clinician crewmembers. The curriculum developed for crew medical officers (CMOs) will require simplification and adaptation to fit into the highly truncated pre-flight training period. Therefore, hands-on familiarization and simulation, both pre-flight and just-in-time training during missions, will be crucial to ensuring the crew can operate the devices in real-life situations. The ability to adjust acquisition parameters must be simplified or made automatic through exam selections on equipment user interfaces, and subject and operator positioning should be assisted with laser guidance and pictorial guides. POTENTIAL FOR CDSS OR ARTIFICIAL INTELLIGENCE (AI)-ASSISTED CDSS CDSS and AI-assisted CDSS offer significant promise in assisting crew members with limited medical training. These systems could provide real-time feedback on image quality and interpretation, helping to mitigate the risks of human error during space missions. Integrating procedural guidance tools, such as virtual and augmented reality, will support crewmembers in accurately positioning patients and obtaining high-quality images. However, the success of such systems will depend on the development of robust training datasets, integration with spaceflight-rated hardware, and the medical decision-making capabilities of operators. FEASIBILITY OF GROUND INTERPRETATION AND DATA TRANSMISSION Reliance on ground-based interpretation may prove difficult for acute care during exploration class-missions due to delays in transmission with increasing distance from Earth or complete communication blackout periods. In such instances where immediate interpretation for clinical intervention is required, crew must be able to interpret the images independently or utilize AI-based assistance to do so. File sizes for XR exams can also be large if numerous images are acquired and bandwidth constraints may limit data transmissions for both radiography and ultrasound exams. FUTURE WORK AND INTEGRATION INTO THE EVIDENCE LIBRARY Future work proposes integrating miniature XR devices into NASA’s Evidence Library to address medical conditions identified as significant contributors to crew morbidity and mortality. The possibility of combining miniature XR with other imaging modalities, such as ultrasound devices, is also under investigation. In conclusion, while miniature XR technology holds potential for extraterrestrial medical systems, there are significant challenges to overcome. Training, integration of AI tools, dedicated exam protocols for microgravity, and improved data transmission systems will be key to realizing the full benefits of miniature XR technology in space.

A M Nelson↗
DOE OSTI2025

Chiral-odd generalized parton distributions in the large-𝑁 𝑐 limit of QCD: Spin-flavor structure, polynomiality, and sum rules

We study the nonperturbative properties of the nucleon’s chiral-odd generalized parton distributions (transversity GPDs) in the large-𝑁 𝑐 limit of QCD. This includes the parametric ordering of the spin-flavor components, the polynomiality property of the moments, and the sum rules connecting the GPDs with the tensor form factors. A multipole expansion in the transverse momentum transfer is used to enumerate and interpret the structures in the nucleon matrix element of the chiral-odd partonic operator, including monopole, dipole and quadrupole terms. The 1/𝑁 𝑐 expansion of the GPDs is performed using the abstract mean-field picture of baryons in the large-𝑁 𝑐 limit and its symmetries. We derive a large-𝑁 𝑐 relation between the flavor-nonsinglet GPDs 𝐸$^{𝑢−𝑑}_𝑇$ and $\tilde{𝐻}^{𝑢−𝑑}_𝑇$ and test it with recent lattice QCD results. We show that the polynomiality property and sum rules of the GPDs are fulfilled with the restricted realization of translational and rotational invariance in the mean-field picture. The results provide a basis for the phenomenological analysis of chiral-odd GPDs and hard exclusive processes in the large-𝑁 𝑐 limit, and for calculations in specific dynamical models.

generalized parton distributions↗
NASA NTRS2005

Space Rocks Tell Their Secrets: Space Science Applications of Physics and Chemistry for High School and College Classes. Update.

As the scientific community studies Mars remotely for signs of life and uses Martian meteorites as its only available samples, teachers, students, and the general public continue to ask, "How do we know these meteorites are from Mars?" This question sets the stage for a six-lesson instructional package Space Rocks Tell Their Secrets. Expanding on the short answer "It's the chemistry of the rock", students are introduced to the research that reveals the true identities of the rocks. Since few high school or beginning college students have the opportunity to participate in this level of research, a slide presentation introduces them to the labs, samples, and people involved with the research. As they work through the lessons and interpret authentic data, students realize that the research is an application of two basic science concepts taught in the classroom, the electromagnetic spectrum and isotopes. Additional information is included in the original extended abstract.

Lindstrom, M. M.↗
NASA NTRS2005

"Dynamics and Structure of Planetary Rings"

This document reports on the research carried out under this grant for the funding period ending December 31, 2004. During this period, we concentrated our efforts on acquiring and interpreting observations of Saturn's rings and small satellites, using Hubble Space Telescope observations, Arecibo radar results, and Earth-based stellar occultations. A total of ll peer reviewed papers and 27 meeting abstracts were published during this period. We highlight these accomplishments.

French, Richard G.↗
NASA NTRS2014

How to Develop and Interpret a Credibility Assessment of Numerical Models for Human Research: NASA-STD-7009 Demystified

In the wake of the Columbia accident, the NASA-STD-7009 [1] credibility assessment was developed as a unifying platform to describe model credibility and the uncertainties in its modeling predictions. This standard is now being adapted by NASAs Human Research Program to cover a wide range of numerical models for human research. When used properly, the standard can improve the process of code development by encouraging the use of best practices. It can also give management more insight in making informed decisions through a better understanding of the models capabilities and limitations.To a newcomer, the abstractions presented in NASA-STD-7009 and the sheer volume of information that must be absorbed can be overwhelming. This talk is aimed at describing the credibility assessment, which is the heart of the standard, in plain terms. It will outline how to develop a credibility assessment under the standard. It will also show how to quickly interpret the graphs and tables that result from the assessment and how to drill down from the top-level view to the foundation of the assessment. Finally, it will highlight some of the resources that are available for further study.

numerical analysis↗
DOE OSTI2024

Exploring the Relative Importance of the MJO and ENSO to North Pacific Subseasonal Predictability

Abstract Here we explore the relative contribution of the Madden‐Julian Oscillation (MJO) and El Niño Southern Oscillation (ENSO) to midlatitude subseasonal predictive skill of upper atmospheric circulation over the North Pacific, using an inherently interpretable neural network applied to pre‐industrial control runs of the Community Earth System Model version 2. We find that this interpretable network generally favors the state of ENSO, rather than the MJO, to make correct predictions on a range of subseasonal lead times and predictand averaging windows. Moreover, the predictability of positive circulation anomalies over the North Pacific is comparatively lower than that of their negative counterparts, especially evident when the ENSO state is important. However, when ENSO is in a neutral state, our findings indicate that the MJO provides some predictive information, particularly for positive anomalies. We identify three distinct evolutions of these MJO states, offering fresh insights into opportune forecasting windows for MJO teleconnections.

58 GEOSCIENCES↗
NASA NTRS1991

The interpretation of crustal dynamics data in terms of plate motions and regional deformation near plate boundaries

During our participation in the NASA Crustal Dynamics Project under NASA contract NAS-27339 and grant NAG5-814 for the period 1982-1991, we published or submitted for publication 30 research papers and 52 abstracts of presentations at scientific meetings. In addition, five M.I.T. Ph.D. students (Eric Bergman, Steven Bratt, Dan Davis, Jeanne Sauber, Anne Sheehan) were supported wholly or in part by this project during their thesis research. Highlights of our research progress during this period include the following: application of geodetic data to determine rates of strain in the Mojave block and in central California and to clarify the relation of such strain to the San Andreas fault and Pacific-North American plate motions; application of geodetic data to infer post seismic deformation associated with large earthquakes in the Imperial Valley, Hebgen Lake, Argentina, and Chile; determination of the state of stress in oceanic lithosphere from a systematic study of the centroid depths and source mechanisms of oceanic intraplate earthquakes; development of models for the state of stress in young oceanic regions arising from the differential cooling of the lithosphere; determination of the depth extent and rupture characteristics of oceanic transform earthquakes; improved determination of earthquake slip vectors in the Gulf of California, an important data set for the estimation of Pacific-North American plate motions; development of models for the state of stress and mechanics of fold-and-thrust belts and accretionary wedges; development of procedures to invert geoid height, residual bathymetry, and differential body wave travel time residuals for lateral variations in the characteristic temperature and bulk composition of the oceanic upper mantle; and initial GPS measurements of crustal deformation associated with the Imperial-Cerro Prieto fault system in southern California and northern Mexico. Full descriptions of the research conducted on these topics may be found in the Semi-Annual status Reports submitted regularly to NASA over the course of this project and in the publications listed.

Solomon, Sean C.↗
NASA NTRS1999

Climate Change on Mars Inferred from Erosion Rates at the Mars Pathfinder Landing Site

The observation that the Mars Pathfinder landing site probably looks very similar to when it was deposited by catastrophic floods some 1.8-3.5 Ga allows quantitative constraints to be placed on the rate of change at the landing site since that time. When combined with interpretations of data recently returned by the Mars Pathfinder and Global Surveyor missions and perspectives drawn from 20 years of analysis and interpretation of Viking data, these observations and inferences suggest an early warmer and wetter environment with vastly different erosion rates and a major climatic change on Mars. Additional information is contained in the original extended abstract.

Golombek, M. P.↗
DOE OSTI2024

Non-close-packed plasmonic Bravais lattices through a fluid interface-assisted colloidal assembly and transfer process

Abstract The assembly of colloids at fluid interfaces followed by their transfer to solid substrates represents a robust bottom-up strategy for creating colloidal monolayers over large, macroscopic areas. In this study, we showcase how subtle adjustments in the transfer process, such as varying the contact angle of the substrate and controlling deposition speed and direction, enable the realization of all five two-dimensional Bravais lattices. Leveraging plasmonic core–shell microgels as the building blocks, we successfully engineered non-close-packed plasmonic lattices exhibiting hexagonal, square, rectangular, centered rectangular, and oblique symmetries. Beyond characterizing the monolayer structures and their long-range order, we employed extinction spectroscopy alongside finite difference time domain simulations to comprehensively investigate and interpret the plasmonic response of these monolayers. Additionally, we probed the influence of the refractive index environment on the plasmonic properties by two methods: first, by plasma treatment to remove the microgel shells, and second, by overcoating the resulting gold nanoparticle lattices with a homogeneous refractive index polymer film. Graphical Abstract

Chemistry↗
DOE OSTI2024

New horizon symmetries, hydrodynamics, and quantum chaos

Abstract We generalize the formulation of horizon symmetries presented in previous literature to include diffeomorphisms that can shift the location of the horizon. In the context of the AdS/CFT duality, we show that horizon symmetries can be interpreted on the boundary as emergent low-energy gauge symmetries. In particular, we identify a new class of horizon symmetries that extend the so-called shift symmetry, which was previously postulated for effective field theories of maximally chaotic systems. Additionally, we comment on the connections of horizon symmetries with bulk calculations of out-of-time-ordered correlation functions and the phenomenon of pole-skipping.

Physics↗