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

Agricultural and hydrological applications of radar

Program objectives, covering a wide range of disciplines and activities in radar remote sensing, include radar systems development and analysis, data processing and display, and data interpretation in geology, geography and oceanography. Research was focused on the evaluation of radar remote sensing applications in hydrology and agriculture based on data acquired with the Microwave Active Spectrometer (MAS) system. The title, author(s) and abstract of each of the 62 technical reports generated under this contract are appended.

Ulaby, F. T.↗
NASA NTRS2011

Initial Results from the Miniature Imager for Neutral Ionospheric Atoms and Magnetospheric Electrons (MINI-ME) on the FASTSAT Spacecraft

The MINI-ME instrument is a collaborative effort between NASA's Goddard Space Flight Center (GSFC) and the U.S. Naval Academy, funded solely through GSFC Internal Research and Development (IRAD) awards. It detects neutral atoms from about 10 eV to about 700 eV (in 30 energy steps) in its current operating configuration with an approximately 10 degree by 360 degree field-of-view, divided into six sectors. The instrument was delivered on August 3, 2009 to Marshall Space Flight Center (MSFC) for integration with the FASTSAT-HSV01 small spacecraft bus developed by MSFC and a commercial partner, one of six Space Experiment Review Board (SERB) experiments on FASTSAT and one of three GSFC instruments (PISA and TTI being the other two). The FASTSAT spacecraft was launched on November 21, 2010 from Kodiak, Alaska on a Minotaur IV as a secondary payload and inserted into a 650 km, 72 degree inclination orbit, very nearly circular. MINI-ME has been collecting science data, as spacecraft resources would permit, in "optimal science mode" since January 20, 2011. In this presentation, we report initial science results including the potential first observations of neutral molecular ionospheric outflow. At the time of this abstract, we have identified 15 possible molecular outflow events. All these events occur between about 65 and 82 degrees geomagnetic latitude and most map to the auroral oval. The MINI-ME results provide an excellent framework for interpretation of the MILENA data, two instruments almost identical to MINI-ME that will launch on the VISIONS suborbital mission

Collier, Michael R.↗
NASA NTRS2001

Interpretation of a Magnetic Map of the Valles Marineris Region, Mars

A magnetic map of Valles Marineris is interpreted in terms of left-lateral faulting, the first evidence for substantial strike-slip faulting here. Surface exposures of highly magnetic material may exist in the walls of Valles Marineris. Additional information is contained in the original extended abstract.

Purucker, M. E.↗
NASA NTRS2004

Preliminary Assessment of Mars Exploration Rover Landing Site Predictions

Selection of the Mars Exploration Rover (MER) landing sites took place over a three year period in which engineering constraints were identified, 155 possible sites were downselected to the final two, surface environments and safety considerations were developed, and the potential science return at the sites was considered. Landing sites in Gusev crater and Meridiani Planum were selected because they appeared acceptably safe for MER landing and roving and had strong morphologic and mineralogical indicators of liquid water in their past and thus appeared capable of addressing the science objectives of the MER missions, which are to determine the aqueous, climatic, and geologic history of sites on Mars where conditions may have been favorable to the preservation of evidence of possible pre-biotic or biotic processes. Engineering constraints important to the selection included: latitude (10 N-15 S) for maximum solar power; elevation (<-1.3 km) for sufficient atmosphere to slow the lander; low horizontal winds, shear and turbulence in the last few kilometers to minimize horizontal velocity; low 10-m scale slopes to reduce airbag spinup and bounce; moderate rock abundance to reduce abrasion or stroke-out of the airbags; and a radar-reflective, load-bearing and trafficable surface safe for landing and roving that is not dominated by fine-grained dust. In selecting the MER landing sites these engineering constraints were addressed via comprehensive evaluation of surface and atmospheric characteristics from existing remote sensing data and models as well as targeted orbital information acquired from Mars Global Surveyor and Mars Odyssey. This evaluation resulted in a number of predictions of the surface characteristics of the sites, which are tested in this abstract. Relating remote sensing signatures to surface characteristics at landing sites allows these sites to be used as ground truth for the orbital data, is essential for selecting and validating landing sites for future missions, and is required for correctly interpreting the surfaces and materials globally present on Mars.

Golombek, M.↗
NASA NTRS1989

Middle Atmosphere Program. Handbook for MAP, volume 28

Extended abstracts from the fourth workshop on the technical and scientific aspects of MST (mesosphere stratosphere troposphere) radar are presented. Individual sessions addressed the following topics: meteorological applications of MST and ST radars, networks, and campaigns; dynamics of the equatorial middle atmosphere; interpretation of radar returns from clear air; techniques for studying gravity waves and turbulence; intercomparison and calibration of wind and wave measurements at various frequencies; progress in existing and planned MST and ST radars; hardware design for MST and ST radars and boundary layer/lower troposphere profilers; signal processing; and data management.

Liu, C. H.↗
NASA NTRS1991

Handbook for MAP, volume 32. Part 1: MAP summary. Part 2: MAPSC minutes, reading, August 1989. MAP summaries from nations. Part 3: MAP data catalogue

Extended abstracts from the fourth workshop on the technical and scientific aspects of mesosphere stratosphere troposphere (MST) radar are presented. Individual sessions addressed the following topics: meteorological applications of MST and ST radars, networks, and campaigns; the dynamics of the equatorial middle atmosphere; interpretation of radar returns from clear air; techniques for studying gravity waves and turbulence, intercomparison and calibration of wind and wave measurements at various frequencies; progress in existing and planned MST and ST radars; hardware design for MST and ST radars and boundary layer/lower troposphere profilers; signal processing; and data management.

Vincent, R. A.↗
NASA NTRS2001

Asteroids: Does Space Weathering Matter?

The interpretive calibrations and methodologies used to extract mineralogy from asteroidal spectra appear to remain valid until the space weathering process is advanced to a degree which appears to be rare or absent on asteroid surfaces. Additional information is contained in the original extended abstract.

Gaffey, Michael J.↗
NASA NTRS1981

Third International Colloquium on Mars

Abstracts of papers concerning the geology and geophysics of Mars, volcanism on Mars, the Mars atmosphere, and the long term history of the atmosphere-cap-regolith volatile regime are presented. Formation of the Mars surface, climatology, gravity and magnetism, atmospheric boundary layers, and interpretation of Viking imagery and Earth-based observations are considered.

Source record↗