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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
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.↗
DOE OSTI2024

Modern chemical graph theory

Abstract Graph theory has a long history in chemistry. Yet as the breadth and variety of chemical data is rapidly changing, so too do graph encoding methods and analyses that yield qualitative and quantitative insights. Using illustrative cases within a basic mathematical framework, we showcase modern chemical graph theory's utility in Chemists' analysis and model development toolkit. The encoding of both experimental and simulation data is discussed at various levels of granularity of information. This is followed by a discussion of the two major classes of graph theoretical analyses: identifying connectivity patterns and partitioning methods. Measures, metrics, descriptors, and topological indices are then introduced with an emphasis upon enhancing interpretability and incorporation into physical models. Challenging data cases are described that include strategies for studying time dependence. Throughout, we incorporate recent advancements in computer science and applied mathematics that are propelling chemical graph theory into new domains of chemical study. This article is categorized under: Molecular and Statistical Mechanics > Molecular Dynamics and Monte‐Carlo Methods Structure and Mechanism > Computational Materials Science Structure and Mechanism > Molecular Structures

Leite, Leonardo S. G.↗
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.↗
DOE OSTI2024

Fracture Characterization Via AI‐Assisted Analysis of Temperature Logs

Abstract Fractures control fluid flow, mass transport, and heat transfer in a geothermal reservoir. This makes accurate characterization of fracture networks a prerequisite for optimal design and control of a reservoir's exploitation. We develop a deep‐learning procedure to identify fracture locations via interpretation of temporally and spatially continuous downhole temperature measurements. A long short‐term memory fully convolutional network (LSTM‐FCN) is used both to capture long‐term dependencies in sequential temperature data and to distill local features around fractures. A wellbore and fractured‐reservoir thermal model is established to generate temperature data for network training. The trained LSTM‐FCN exhibits a unique ability to detect multiple fractures intersecting a borehole. We use the LSTM‐FCN algorithm to evaluate the effectiveness of different‐stage wellbore temperature measurements on fracture detection in a complex fractured system. Our experiments reveal that the use of various‐stage temperature information as an input feature set improves the robustness of fracture detection to noise interference. This study indicates the practical feasibility of obtaining accurate fracture‐network reconstructions from temperature signals, at reasonable computational cost.

Yang, Xiaoyu↗
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↗
NASA NTRS2002

Morphology of Fresh Outflow Channel Deposits on Mars

We interpret the channel surface of Athabasca and Marte Valles to be fresh former ice-rich fluvial (hyperconcentrated) deposits rather than volcanic flows. Simply stated, this is what a fresh outflow channel deposit would look like. Additional information is contained in the original extended abstract.

Rice, J. W., Jr.↗
DOE OSTI2024

Dynamical edge modes and entanglement in Maxwell theory

Abstract Previous work on black hole partition functions and entanglement entropy suggests the existence of “edge” degrees of freedom living on the (stretched) horizon. We identify a local and “shrinkable” boundary condition on the stretched horizon that gives rise to such degrees of freedom. They can be interpreted as the Goldstone bosons of gauge transformations supported on the boundary, with the electric field component normal to the boundary as their symplectic conjugate. Applying the covariant phase space formalism for manifolds with boundary, we show that both the symplectic form and Hamiltonian exhibit a bulk-edge split. We then show that the thermal edge partition function is that of a codimension-two ghost compact scalar living on the horizon. In the context of a de Sitter static patch, this agrees with the edge partition functions found by Anninos et al. in arbitrary dimensions. It also yields a 4D entanglement entropy consistent with the conformal anomaly. Generalizing to Proca theory, we find that the prescription of Donnelly and Wall reproduces existing results for its edge partition function, while its classical phase space does not exhibit a bulk-edge split.

Physics↗
DOE OSTI2024

Diagnosis of Alzheimer’s disease using plasma biomarkers adjusted to clinical probability

Abstract Recently approved anti-amyloid immunotherapies for Alzheimer’s disease (AD) require evidence of amyloid-β pathology from positron emission tomography (PET) or cerebrospinal fluid (CSF) before initiating treatment. Blood-based biomarkers promise to reduce the need for PET or CSF testing; however, their interpretation at the individual level and the circumstances requiring confirmatory testing are poorly understood. Individual-level interpretation of diagnostic test results requires knowledge of disease prevalence in relation to clinical presentation (clinical pretest probability). Here, in a study of 6,896 individuals evaluated from 11 cohort studies from six countries, we determined the positive and negative predictive value of five plasma biomarkers for amyloid-β pathology in cognitively impaired individuals in relation to clinical pretest probability. We observed that p-tau217 could rule in amyloid-β pathology in individuals with probable AD dementia (positive predictive value above 95%). In mild cognitive impairment, p-tau217 interpretation depended on patient age. Negative p-tau217 results could rule out amyloid-β pathology in individuals with non-AD dementia syndromes (negative predictive value between 90% and 99%). Our findings provide a framework for the individual-level interpretation of plasma biomarkers, suggesting that p-tau217 combined with clinical phenotyping can identify patients where amyloid-β pathology can be ruled in or out without the need for PET or CSF confirmatory testing.

Cell Biology↗
NASA NTRS1989

Proceedings of a Workshop on Cosmogenic Nuclide Production Rates

Abstracts of reports from the proceedings are presented. The presentations were divided into discussion topics. The following general topic areas were used: (1) measured cosmogenic noble gas and radionuclide production rates in meteorite and planetary surface samples; (2) cross-section measurements and simulation experiments; and (3) interpretation of sample studies and simulation experiments.

Englert, Peter A. J.↗
NASA NTRS2001

Subsurface Sounding of Mars: The Effects of Surface Roughness

The Mars Advanced Radar for Subsurface and Ionospheric Sounding (MARSIS) will conduct a global survey of Mars from the Mars Express Orbiter starting in 2004. The primary objective of the subsurface observations is to detect material interfaces in the upper several kilometers of the crust of Mars, with a particular emphasis on mapping the 3D distribution of water and ice in that portion of the crust. In order to detect subsurface interfaces, the returned echo from the subsurface must be distinguished from noise and clutter, which can arise from a variety of sources. One source of clutter is surface topography that generates backscattered energy at the same time delay as the subsurface region of interest. Surface topography can affect the detectability of subsurface features in several other ways. Surface roughness at scales comparable or somewhat smaller than the radar wavelength reduces the coherency of the wave as it passes the upper interface. Also, surface slope (tilt) at scales of the radar footprint and larger (> 5 km) affects the apparent Doppler signature of the echoes, and effectively disperses the wave transmitted into the subsurface, making processing and interpretation difficult. In this paper, we report on the roughness characteristics of Mars at these various scales as measured by the Mars Global Surveyor Laser Altimeter (MOLA), and consider the implications for achieving the subsurface sounding goals of MARSIS. Additional information is contained in the original extended abstract.

Plaut, J. J.↗
NASA NTRS2004

Implications of the Utopia Gravity Anomaly for the Resurfacing of the Northern Plains of Mars

Whereas the surface units of the northern plain of Mars generally exhibit ages ranging from late Hesperian to Amazonian, interpretation of precise topographic measurements indicate that the age of the underlying "basement" is early Noachian, or almost as old as the southern highlands. This suggests that widespread but relatively superficial resurfacing has occurred throughout the northern plains since the end of early heavy bombardment. In this abstract I examine some of the possible implications of the subsurface structure inferred for the Utopia basin from gravity data on the nature of this resurfacing. The large, shallow, circular depression in Utopia Planitia has been identified as a huge impact basin, based on both geological evidence and detailed analysis of MOLA topography. Its diameter (approx. 3000 km) is equivalent to that of the Hellas basin, as is its inferred age (early Noachian). However, whereas Hellas is extremely deep with rough terrain and large slopes, the Utopia basin is a smooth, shallow, almost imperceptible bowl. Conversely, Utopia displays one of the largest (non-Tharsis-related) positive geoid anomalies on Mars, in contrast to a much more subdued negative anomaly over Hellas.

Banerdt, W. B.↗
NASA NTRS2010

TPSAS-NF1676L-9990-DND

PVS (Prototype Veri cation System)1 is an interactive environment for the specification and verification of systems. PVS provides a strongly typed specification language, which is based on Higher-Order Logic. The type system of PVS supports: sub-typing, dependent-types, abstract data types, parametric types, records, unions, and tuples. The PVS theorem prover includes decision procedures for a variety of theories such as linear arithmetic, propositional logic, and temporal logic. This seminar will provide a gentle introduction to the basic and advanced features of PVS, including: theory interpretations, real number proving, batch proving, rapid prototyping, and strategy development. All these features are illustrated with simple examples and exercises.

César Muñoz↗