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

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

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

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

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

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↗

Structure and Dynamics of the Polar Regions of Mars from MGS Topography and Gravity

The Mars Global Surveyor (MGS) spacecraft has been engaged in systematic mapping of Mars since insertion into Mars orbit in September, 1997. The objectives of the MGS mission are to globally map Mars as well as to quantify seasonal changes on the planet. MGS geophysical/geodetic observations of topography from the Mars Orbiter Laser Altimeter (MOLA) and gravity from the Radio Science investigation are providing significant new insights on both static and time-varying aspects of the polar regions of Mars. These observations have implications for polar processes on diurnal seasonal and climatic timescales. Thus far, MOLA has collected over 300 million precise measurements of Martian topography and cloud heights. The instrument has also provided measurements of the width of the backscattered optical pulse and of the 1064 nm reflectivity of the Martian surface and atmosphere. The along-track resolution of MOLA ground shots is approx. 300 m and the across-track spacing in the polar regions is a maximum of about four kilometers. The vertical accuracy of the topography is determined by the precision recovery of spacecraft orbits from the Radio Science investigation, which includes MOLA altimetry in the form of crossovers. This accuracy is currently approx. one meter. The gravity field is derived from X-band Doppler tracking with typical accuracy of 0.03 to 0.05 mm/s averaged over ten seconds. Current Mars gravity fields are to approximately degree and order 80 but are interpretable to the approximate degree and order 60 (spatial resolution < 180 km), which represents an estimate of the approximate coefficient limit of a field that can be produced without a power law constraint on the gravitational field inversion, which is commonly imposed for solution stability. Additional information is contained in the original extended abstract.

Zuber, Maria T.↗

An XML Representation for Crew Procedures

NASA ensures safe operation of complex systems through the use of formally-documented procedures, which encode the operational knowledge of the system as derived from system experts. Crew members use procedure documentation on the ground for training purposes and on-board space shuttle and space station to guide their activities. Investigators at JSC are developing a new representation for procedures that is content-based (as opposed to display-based). Instead of specifying how a procedure should look on the printed page, the content-based representation will identify the components of a procedure and (more importantly) how the components are related (e.g., how the activities within a procedure are sequenced; what resources need to be available for each activity). This approach will allow different sets of rules to be created for displaying procedures on a computer screen, on a hand-held personal digital assistant (PDA), verbally, or on a printed page, and will also allow intelligent reasoning processes to automatically interpret and use procedure definitions. During his NASA fellowship, Dr. Simpson examined how various industries represent procedures (also called business processes or workflows), in areas such as manufacturing, accounting, shipping, or customer service. A useful method for designing and evaluating workflow representation languages is by determining their ability to encode various workflow patterns, which depict abstract relationships between the components of a procedure removed from the context of a specific procedure or industry. Investigators have used this type of analysis to evaluate how well-suited existing workflow representation languages are for various industries based on the workflow patterns that commonly arise across industry-specific procedures. Based on this type of analysis, it is already clear that existing workflow representations capture discrete flow of control (i.e., when one activity should start and stop based on when other activities start and stop), but do not capture the flow of data, materials, resources or priorities. Existing workflow representation languages are also limited to representing sequences of discrete activities, and cannot encode procedures involving continuous flow of information or materials between activities.

Simpson, Richard C.↗

Comparing Goldstone Solar System Radar Earth-based Observations of Mars with Orbital Datasets

The Goldstone Solar System Radar (GSSR) has collected a self-consistent set of delay-Doppler near-nadir radar echo data from Mars since 1988. Prior to the Mars Global Surveyor (MGS) Mars Orbiter Laser Altimeter (MOLA) global topography for Mars, these radar data provided local elevation information, along with radar scattering information with global coverage. Two kinds of GSSR Mars delay-Doppler data exist: low 5 km x 150 km resolution and, more recently, high (5 to 10 km) spatial resolution. Radar data, and non-imaging delay-Doppler data in particular, requires significant data processing to extract elevation, reflectivity and roughness of the reflecting surface. Interpretation of these parameters, while limited by the complexities of electromagnetic scattering, provide information directly relevant to geophysical and geomorphic analyses of Mars. In this presentation we want to demonstrate how to compare GSSR delay-Doppler data to other Mars datasets, including some idiosyncracies of the radar data. Additional information is included in the original extended abstract.

Haldemann, A. F. C.↗

The oxidation state of sulfur in lunar apatites in meteorites versus Apollo rocks

Sulfur can be present in apatite mineral grains as S6+ [1], S2- [2], or a mixture of the two [3, 4]. The proportion of S6+ to S2- present in the apatite is thought to be predominantly controlled by the prevailing oxygen fugacity (fO2) conditions during crystallization (along with temperature, pressure, and major element composition; [2-4]). Measurements of apatites and proximal residual glass in the lunar basalts 12039 and 10044 by X-ray absorption near-edge structure (XANES) spectroscopy show that sulfur occurs as S2- in both the mesostasis glass and apatite when measurements are performed far from cracks or pits in the thin section [2], consistent with other mineralogical indications of low fO2 (∆IW-1) during petrogenesis. However, analyses of apatite grains in both samples that were acquired near cracks or pits in the thin section sometimes revealed minor but nonnegligible spectral evidence for the presence of S6+ (e.g., S6+/ΣS > 0.03; [2]). This evidence was interpreted as either primary S2- altered to S6+ in the thin section, or S6+ of secondary origin, deposited in the fractures of the samples [2, 5]. It is unknown whether this alteration is lunar or terrestrial in origin, with implications for lunar petrogenesis if lunar [e.g., 5], or sample handling and curation if terrestrial [e.g., 6]. Note: Extended abstract on document.

M. Brounce↗

Research on lunar materials

Abstracts of 14 research reports relating to investigations of lunar samples are presented. The principal topics covered include: (1) optical properties of surface and core samples; (2) chemical composition of the surface layers of lunar grains: Auger electron spectroscopy of lunar soil and ground rock samples; (3) high frequency electrical properties of lunar soil and rock samples and their relevance for the interpretation of lunar radar observations; (4) the electrostatic dust transport process; (5) secondary electron emission characteristics of lunar soil samples and their relevance to the dust transportation process; (6) grain size distribution in surface soil and core samples; and (7) the optical and chemical effects of simulated solar wind (2keV proton and a particle radiation) on lunar material.

Gold, T.↗

Handling Qualities Implications for Crewed Spacecraft Operations

Abstract Handling qualities embody those qualities or characteristics of an aircraft that govern the ease and precision with which a pilot is able to perform the tasks required in support of an aircraft role. These same qualities are as critical, if not more so, in the operation of spacecraft. A research, development, test, and evaluation process was put into effect to identify, understand, and interpret the engineering and human factors principles which govern the pilot-vehicle dynamic system as they pertain to space exploration missions and tasks. Toward this objective, piloted simulations were conducted at the NASA Langley Research Center and Ames Research Center for earth-orbit proximity operations and docking and lunar landing. These works provide broad guidelines for the design of spacecraft to exhibit excellent handling characteristics. In particular, this work demonstrates how handling qualities include much more than just stability and control characteristics of a spacecraft or aircraft. Handling qualities are affected by all aspects of the pilot-vehicle dynamic system, including the motion, visual and aural cues of the vehicle response as the pilot performs the required operation or task. A holistic approach to spacecraft design, including the use of manual control, automatic control, and pilot intervention/supervision is described. The handling qualities implications of design decisions are demonstrated using these pilot-in-the-loop evaluations of docking operations and lunar landings.

Bailey, Randall E.↗

Erosional development of bedrock spur and gully topography in the Valles Marineris, Mars

Gully networks separated by resistant bedrock spurs are a common erosional feature along the escarpments that border the Valles Marineris. The resistant spur topography is best developed where the base of the slope is truncated by linear scarps interpreted as fault scarps. Regional variations in slope morphology imply that spur and gully topography undergoes a systematic progressive degradation through time associated with the erosional destruction of the basal fault scarps. The comparative morphometry of the divide networks indicates that the density of the spur networks and the number of first-order unbranched spurs decreases as the basal slope break becomes more sinuous. Abstraction of the spurs occurs through regolith storage in adjacent gullies at the slope base and the most degraded slope forms are entirely buried in talus. The basal fault scarps apparently control regolith transport by allowing debris to drain from the slope. As these basal scarps decay the slope base becomes increasingly sinuous and the slopes become transport limited. Dry mass-wasting may be the most important process acting on these slopes where a continually lowered base level is required to maintain the spur topography. In contrast to the Martian slopes, range front fault escarpments in the western U.S. show no systematic trend in spur network geometry as they are eroded. These weathering limited slopes are controlled by the more efficient removal of regolith through fluvial processes which rapidly create quasi-equilibrium drainage networks.

Patton, Peter C.↗

(abstract) Survey of Volcanic Hazards in the Trans Mexican Volcanic Belt

A substantial percentage of the world's population lives in areas vulnerable to the negative effects of future volcanic activity. This is especially true in Mexico, where within the Trans Mexican Volcanic Belt (TMVB) one half of the country's 90 million inhabitants live. The TMVB is a 1 000 by 200 km area, dotted with hundreds of volcanoes and volcanic centers. Most of the area has been poorly studied, and the volcanic history is largely unknown. Our approach is to combine interpretations of satellite images, field work and mapping, laboratory analysis, and age dating to elucidate the volcanic history and evaluate the potential eruptive hazards. Hazards evaluations are done in the form of risk maps.

Volcanic Belt TMVB volcanic history↗

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

The focus of the research was in two broad areas: (1) the nature and dynamics of time dependent deformation and stress along major seismic zones; and (2) the nature of long wavelength oceanic geoid anomalies in terms of lateral variations in upper mantle temperature and composition. The principle findings of the research are described in the accompanying appendices. The first two and the fourth appendices are reprints of papers recently submitted for publication, and the third is the abstract of a recently completed thesis supported by this project.

Soloman, Sean C.↗

MAPS of Cancer

Our goal was to produce an interactive visualization from a mathematical model that successfully predicts metastases from head and neck cancer. We met this goal early in the project. The visualization is available for the public to view. Our work appears to fill a need for more information about this deadly disease. The idea of this project was to make an easily interpretable visualization based on what we call "functional maps" of disease. A functional map is a graphic summary of medical data, where distances between parts of the body are determined by the probability of disease, not by anatomical distances. Functional maps often beat little resemblance to anatomical maps, but they can be used to predict the spread of disease. The idea of modeling the spread of disease in an abstract multidimensional space is difficult for many people. Our goal was to make the important predictions easy to see. NASA must face this problem frequently: how to help laypersons and professionals see important trends in abstract, complex data. We took advantage of concepts perfected in NASA's graphics libraries. As an analogy, consider a functional map of early America. Suppose we choose travel times, rather than miles, as our measures of inter-city distances. For Abraham Lincoln, travel times would have been the more meaningful measure of separation between cities. In such a map New Orleans would be close to Memphis because of the Mississippi River. St. Louis would be close to Portland because of the Oregon Trail. Oklahoma City would be far from Little Rock because of the Cheyenne. Such a map would look puzzling to those of us who have always seen physical maps, but the functional map would be more useful in predicting the probabilities of inter-site transit. Continuing the analogy, we could predict the spread of social diseases such as gambling along the rivers and cattle rustling along the trails. We could simply print the functional map of America, but it would be more interesting to show meaningful patterns of dispersal. We had previously published the functional map of the head and neck, but it was difficult to explain to either patients or surgeons because that view of our body did not resemble anatomy. This discrepancy between functional and physical maps is just a mathematical restatement of the well-known fact that some diseases, such as head and neck cancer, spread in complex patterns, not always to the next nearest site. We had discovered that a computer could re-arrange anatomy so that this particular disease spreads to the next nearest site. The functional map explains over 95% of the metastases in 1400 patients. In a sense, we had graphed what our body "looks like" to a tumor. The tumor readily travels between adjacent areas in the functional map. The functional map is a succinct visual display of trends that are not easily appreciated in tables of probabilities.

Gray, Lincoln↗

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↗