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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Thermal partition function of $$ {J}_3{\overline{J}}_3 $$ deformed AdS3

Abstract We derive a compact formula for the one-loop, bosonic string partition function of Euclideanized$$ {J}_3{\overline{J}}_3 $$ J 3 J ¯ 3 deformedAdS 3 with periodic Euclidean time as an integral transform of the partition function of the undeformed EuclideanizedAdS 3 . Such a deformation is interpretable as an irrelevant “single-trace$$ T\overline{T} $$ T T ¯ deformation” of the boundary. We will do this by first establishing a formal procedure to compute a worldsheet torus zero point function for an exactly marginal$$ J\overline{J} $$ J J ¯ deformation of a sigma model with U(1) L × U(1) R global symmetry. We then describe how this procedure is implemented on SL(2,R) sigma model and its Euclidean continuation. Finally, we describe the embedding of the deformed SL(2,R) torus amplitude into critical string theory and interpret the result as the leading perturbative contribution to the thermal partition function of the deformed theory.

Physics↗
DOE OSTI2024

Understanding attosecond streaking

Abstract This tutorial provides an overview on the theory of attosecond streaking, a pump-probe scheme to extract timing information of ionization processes that has been widely used in the past decade. Emphasis is put on the origin of the Coulomb-laser-coupling (CLC) term, which is crucial in the interpretation of streaking delays. Having gained a proper understanding of how the CLC terms in various publications relate to each other, we will be able to analyze in which regime the streaking delay can be split into a measurement-induced CLC term and a ‘pure’ ionization delay and under which conditions this splitting may break down. Thus we address the long-standing question of the validity of the widely applied interpretation of the streaking delay as a sum of the CLC term and a ‘pure’ ionization delay.

Physics↗
DOE OSTI2024

Transport-driven toroidal rotation with general viscosity profile

Abstract Using the assumption of a weak normalized turbulent viscosity, usually valid in practice, the modulated-transport model (Stoltzfus-Dueck 2012 Phys. Plasmas 19 055908) is generalized to allow the turbulent transport coefficient to vary in an arbitrary way on radial and poloidal position. The new approach clarifies the physical interpretation of the earlier results and significantly simplifies the calculation, via a boundary-layer asymptotic method. Rigorous detailed appendices verify the result of the simple boundary-layer calculation, also demonstrating that it achieves the claimed order of accuracy and providing a concrete prediction for the strong plasma flows in the immediate vicinity of the last closed flux surface. The new formulas are used to predict plasma rotation at the core-edge boundary, in cases with and without externally applied torque. Dimensional formulas and extensive discussion are provided, to support experimental application of the new model.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2000

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

Metastability and Ostwald step rule in the crystallisation of diamond and graphite from molten carbon

Abstract Experimental challenges in determining the phase diagram of carbon at temperatures and pressures near the graphite-diamond-liquid triple point are often related to the persistence of metastable crystalline or glassy phases, superheated crystals, or supercooled liquids. A deeper understanding of the crystallisation kinetics of diamond and graphite is crucial for effectively interpreting the outcomes of these experiments. Here, we reveal the microscopic mechanisms of diamond and graphite nucleation from liquid carbon through molecular simulations with first-principles machine learning potentials. Our simulations accurately reproduce the experimental phase diagram of carbon near the triple point and show that liquid carbon crystallises spontaneously upon cooling. Metastable graphite crystallises in the domain of diamond thermodynamic stability at pressures above the triple point. Furthermore, whereas diamond crystallises through a classical nucleation pathway, graphite follows a two-step process in which low-density fluctuations forego ordering. Calculations of the nucleation rates of the two competing phases confirm this result and reveal a manifestation of Ostwald’s step rule, where the strong metastability of graphite hinders the transformation to the stable diamond phase. Our results provide a key to interpreting melting and recrystallisation experiments and shed light on nucleation kinetics in polymorphic materials with deep metastable states.

Science & Technology - Other Topics↗
NASA NTRS2005

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

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.↗
NASA NTRSDate not supplied

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↗
DOE OSTI2024

Transitory sensitivity in automatic chemical kinetic mechanism analysis

Abstract Detailed chemical kinetic mechanisms are necessary for resolving many important chemical processes. As the chemistry of smaller molecules has become better grounded and quantum chemistry calculations have become cheaper, kineticists have become interested in constructing progressively larger kinetic mechanisms to model increasingly complex chemical processes. These large kinetic mechanisms prove incredibly difficult to refine and time‐consuming to interpret. Traditional sensitivity analysis on a large mechanism can range from inconvenient to practically impossible without special techniques to reduce the computational cost. We first present a new time‐local sensitivity analysis we term transitory sensitivity analysis. Transitory sensitivity analysis is demonstrated in an example to accurately identify traditionally sensitive reactions at an 18,000x speed up over traditional sensitivities. By fusing transitory sensitivity analysis with more traditional time‐local branching, pathway, and cluster analyses, we develop an algorithm for efficient automatic mechanism analysis. This automatic mechanism analysis at a time point is able to identify the reactions a target is most sensitive to using transitory sensitivity analysis and then propose hypotheses why the reaction might be sensitive using branching, pathway, and cluster analyses. We implement these algorithms within the reaction mechanism simulator (RMS) package, which enables us to report the automatic mechanism analysis results in highly readable text formats and in molecular flux diagrams.

Johnson, Matthew S.↗
DOE OSTI2024

Remarks on geometric engineering, symmetry TFTs and anomalies

Abstract Geometric engineering is a collection of tools developed to establish dictionaries between local singularities in string theory and (supersymmetric) quantum fields. Extended operators and defects, as well as their higher quantum numbers captured by topological symmetries, can be encoded within geometric engineering dictionaries. In this paper we revisit and clarify aspects of these techniques, with special emphasis on ’t Hooft anomalies, interpreted from the SymTFT perspective as obstructions to the existence of Neumann boundary conditions. These obstructions to gauging higher symmetries are captured via higher link correlators for the SymTFT on spheres. In this work, we give the geometric engineering counterpart of this construction in terms of higher links of topological membranes. We provide a consistency check in the context of 5D SCFTs with anomalous 1-form symmetries, where we give two independent derivations of the anomaly in terms of higher links, one purely field theoretical and the other purely geometrical. Along the way, we also recover the construction of non-invertible duality defects in 4D$$ \mathcal{N} $$ N = 4 SYM from a geometric engineering perspective.

Physics↗
NASA NTRS1978

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

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

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

(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↗
NASA NTRS1991

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

Mixed polytype/polymorph formation in InSe films grown by molecular beam epitaxy on GaAs(111)B

Abstract We report the growth of InSe films on semi-insulating GaAs(111)B substrates by molecular beam epitaxy (MBE). Excellent nucleation behavior resulted in the growth of smooth, single-phase InSe films. The dominant polytype was the targeted γ-InSe. Transmission electron microscopy revealed the presence of three bulk polytypes β, γ, and ε-InSe arranged in nanosized domains, which can be interpreted as sequences of stacking faults and rotational twin boundaries of γ-InSe. Additionally, a centrosymmetric Se-In-In-Se layer polymorph with $P\bar{3}m$ symmetry was identified as typically not present in bulk. Sizeable differences in their electronic properties were found, which resulted in sizeable electronic disorder arising from the nanoscale polytype arrangement that dominated the electronic transport properties. While MBE is a viable synthesis route towards stabilization of InSe polytypes not present in the bulk, an improved understanding to form the targeted polymorph is required to ultimately inscribe a layer sequence on demand utilizing bottom-up synthesis approaches.

ferroelectrics and multiferroics↗
NASA NTRS1998

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↗