Search NASASearch

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 55 records · Page 3

Resolving Wave-Particle Duality Could Accelerate the Mass Production of Quantum Computers

Quantum computers, hypothesized in 1980s, use concepts of superposition and entanglement phenomena. Although theoretical propositions and associated search algorithms for accurate measurements are being generated, the development of practical quantum computers themselves are advancing very slowly requiring enormous time and investments. The underlying concepts of a quantum computer are not new to the optical domain. However, the crucial enabling concepts of Entanglement and Superposition Principle are remaining clouded under the unresolved postulates, Wave-Particle Duality (WPD), and Wave Packet Reduction (WPR), implicating incompleteness in the interpretations of the mathematical formalism behind Quantum Mechanics. The WPD debate started during late1600 between Newton and Huygens. Young’s resolution of WPD through his double-slit experiment in 1802 was effectively overturned by Einstein’s interpretation of photoelectric effect as due to “indivisible light quanta”. However, Einstein disowned his “light quanta” postulate shortly before his death in1955, even though it had earned him the Nobel Prize. We resolve WPD by synthesizing Newton’s and Maxwell’s concepts and assume atoms do emit quanta but propagate as time-finite exponential pulses. This assumption also resolves WPR for light-matter interaction with the assumption that Schrodinger’s ψ represents atom’s internal dipolar amplitude stimulations. This over-turns Born’s interpretation that ψ only represents the abstract mathematical probability amplitude, rather than the physical “internal amplitude stimulation” of the quantum entity. However, our concept of atomic pulse emission forces us to re-derive the expression for the N-slit grating-spectrometer response since the classical derivation uses CW light, which does not exist. This pulsespectrometric response function strengthens our postulate since the grating response to the exponential pulse appears to be the convolution of a Lorentzian spectrum with the classical CW response function of the grating. The Fourier Transform of an exponential function is Lorentzian and QM predicts spontaneous emission line width to be Lorentzian. Then, conceptually one can extend the grating-expression (with N=2) to get the double-slit pattern. This approach preserves the classical causality that each of the two slits, like the N-signals out of a grating, are physically real and jointly stimulate the quantum detector array at the far field to generate the “Local” cosine fringes. The detector array executes the square modulus operation on its imposed dipolar amplitude stimulation and absorbs the necessary energy to fill up their quantum cups. Hence the double-slit pattern must also be “Local”, just as the N-slit grating spectrum is generated locally at the exit spectral-plane of the spectrometer. This removes the need to believe that “single photons” mysteriously generate the double slit pattern. Quantum computers, hypothesized in 1980s, use concepts of superposition and entanglement phenomena. Although theoretical propositions and associated search algorithms for accurate measurements are being generated, the development of practical quantum computers themselves are advancing very slowly requiring enormous time and investments. The underlying concepts of a quantum computer are not new to the optical domain. However, the crucial enabling concepts of Entanglement and Superposition Principle are remaining clouded under the unresolved postulates, Wave-Particle Duality (WPD), and Wave Packet Reduction (WPR), implicating incompleteness in the interpretations of the mathematical formalism behind Quantum Mechanics. The WPD debate started during late1600 between Newton and Huygens. Young’s resolution of WPD through his double-slit experiment in 1802 was effectively overturned by Einstein’s interpretation of photoelectric effect as due to “indivisible light quanta”. However, Einstein disowned his “light quanta” postulate shortly before his death in1955, even though it had earned him the Nobel Prize. We resolve WPD by synthesizing Newton’s and Maxwell’s concepts and assume atoms do emit quanta but propagate as time-finite exponential pulses. This assumption also resolves WPR for light-matter interaction with the assumption that Schrodinger’s ψ represents atom’s internal dipolar amplitude stimulations. This over-turns Born’s interpretation that ψ only represents the abstract mathematical probability amplitude, rather than the physical “internal amplitude stimulation” of the quantum entity. However, our concept of atomic pulse emission forces us to re-derive the expression for the N-slit grating-spectrometer response since the classical derivation uses CW light, which does not exist. This pulsespectrometric response function strengthens our postulate since the grating response to the exponential pulse appears to be the convolution of a Lorentzian spectrum with the classical CW response function of the grating. The Fourier Transform of an exponential function is Lorentzian and QM predicts spontaneous emission line width to be Lorentzian. Then, conceptually one can extend the grating-expression (with N=2) to get the double-slit pattern. This approach preserves the classical causality that each of the two slits, like the N-signals out of a grating, are physically real and jointly stimulate the quantum detector array at the far field to generate the “Local” cosine fringes. The detector array executes the square modulus operation on its imposed dipolar amplitude stimulation and absorbs the necessary energy to fill up their quantum cups. Hence the double-slit pattern must also be “Local”, just as the N-slit grating spectrum is generated locally at the exit spectral-plane of the spectrometer. This removes the need to believe that “single photons” mysteriously generate the double slit pattern.

Quantum Computer

A Unified Interpretation of Variability in Precipitation Isotope Ratios

Abstract Several mechanisms have been proposed to explain why the isotope ratios of precipitation vary in space and time and why they correlate with other climate variables like temperature and precipitation. Here, we argue that this behavior is best understood through the lens of radiative transfer, which treats the depletion of atmospheric vapor transport by precipitation as analogous to the attenuation of light by absorption or scattering. Building on earlier work by Siler et al., we introduce a simple model that uses the equations of radiative transfer to approximate the two-dimensional pattern of the oxygen isotope composition of precipitation ( δ p ) from monthly mean hydrologic variables. The model accurately simulates the spatial and seasonal variability in δ p within a state-of-the-art climate model and permits a simple decomposition of δ p variability into contributions from gradients in evaporation and the length scale of vapor transport. Outside the tropics, δ p is mostly controlled by gradients in evaporation, whose dependence on temperature explains the positive correlation between δ p and temperature (i.e., the temperature effect). At low latitudes, δ p is mostly controlled by gradients in the transport length scale, whose inverse relationship with precipitation explains the negative correlation between δ p and precipitation (i.e., the amount effect). This suggests that the temperature and amount effects are both mostly explained by the variability in upstream rainout, but they reflect distinct mechanisms governing rainout at different latitudes. Significance Statement The isotopic composition of precipitation has long been used to make inferences about past climates based on its observed relationship with precipitation in the tropics and with temperature at higher latitudes. These relationships—known as the “amount effect” and “temperature effect,” respectively—have been attributed to many different mechanisms, most of which are thought to operate at either high or low latitudes but not both. Here, we present a unified framework for interpreting the isotope variability that can explain the latitude dependence of the temperature and amount effects despite making no distinction between high and low latitudes. Although our results are generally consistent with certain interpretations of the amount effect, they suggest that the temperature effect is widely misunderstood.

54 ENVIRONMENTAL SCIENCES

On stability theory

It is found that under mild assumptions, feedback system stability can be concluded if one can 'topologically separate' the infinite-dimensional function space containing the system's dynamical input-output relations into two regions, one region containing the dynamical input-output relation of the 'feedforward' element of the system and the other region containing the dynamical output-input relation of the 'feedback' element. Nonlinear system stability criteria of both the input-output type and the state-space (Liapunov) type are interpreted in this context. The abstract generality and conceptual simplicity afforded by the topological separation perspective clarifies some of the basic issues underlying stability theory and serves to suggest improvements in existing stability criteria. A generalization of Zames' (1966) conic-relation stability criterion is proved, laying the foundation for improved multivariable generalizations of the frequency-domain circle stability criterion for nonlinear systems.

Safonov, M. G.

TIGRE: Combinator graph reduction on the RTX 2000

An efficient evaluation technique is examined for lazy functional programs based on combinator graph reduction. Graph reduction is widely believed to be slow and inefficient, but an abstract machine called the Threaded Interpretive Graph Reduction Engine (TIGRE) achieves a substantial speedup over previous reduction techniques. The runtime system of TIGRE is a threaded system that permits self-modifying program execution with compiler-guaranteed safety. This paper describes an implementation of TIGRE in Forth for the Harris RTX 2000 stack processor.

Koopman, Philip, Jr.

Mapping Planetary Volcanic Deposits: Identifying Vents and Distinguishing between Effects of Eruption Conditions and Local Storage and Release on Flow Field Morphology

Terrestrial geologic mapping techniques are regularly used for "photogeologic" mapping of other planets, but these approaches are complicated by the diverse type, areal coverage, and spatial resolution of available data sets. When available, spatially-limited in-situ human and/or robotic surface observations can sometimes introduce a level of detail that is difficult to integrate with regional or global interpretations. To assess best practices for utilizing observations acquired from orbit and on the surface, our team conducted a comparative study of geologic mapping and interpretation techniques. We compared maps generated for the same area in the San Francisco Volcanic Field (SFVF) in northern Arizona using 1) data collected for reconnaissance before and during the 2010 Desert Research And Technology Studies campaign, and 2) during a traditional, terrestrial field geology study. The operations, related results, and direct mapping comparisons are discussed in companion LPSC abstracts. Here we present new geologic interpretations for a volcanic cone and related lava flows as derived from all approaches involved in this study. Mapping results indicate a need for caution when interpreting past eruption conditions on other planetary surfaces from orbital data alone.

Bleacher, J. E.

Soviet-French working group interpretation of the scientific information during the search for celestial sources of gamma pulses, abstract of reports, 24-30 March 1977

The progress made and techniques used by the Soviet-French group in the study of gamma and X ray pulses are described in abstracts of 16 reports. Experiments included calibration and operation of various recording instruments designed for measurements involving these pulses, specifically the location of sources of such pulses in outer space. Space vehicles are utilized in conjunction with ground equipment to accomplish these tests.

Estulin, I. V.

Olivine in Almahata Sitta - Curiouser and Curiouser

Almahata Sitta (hereafter Alma) is an anomalous, polymict ureilite. Anomalous features include low abundance of olivine, large compositional range of silicates, high abundance and large size of pores, crystalline pore wall linings, and overall finegrained texture. Tomography suggests the presence of foliation, which is known from other ureilites. Alma pyroxenes and their interpretation are discussed in two companion abstracts. In this abstract we discuss the composition of olivine in Alma, which is indicative of the complexity of this meteorite.

Zolensky, M. E.

Investigation of Cloud Interior Structure Using a Tomographic Technique Based on Radon Transform. Application to the Measurements Made by the Research Scanning Polarimeter During CAMP2Ex

The Research Scanning Polarimeter (RSP) is an airborne along-track scanner measuring the polarized and total reflectances in 9 spectral channels. The RSP's uniquely high angular resolution coupled with the high frequency of measurements allows for characterization of liquid-water cloud droplet sizes using the rainbow structure observed in the polarized reflectance measurements. The RSP observations also provide for derivation of 2D field of extinction coefficient inside the cloud using a tomographic technique. This technique utilizes the family of cloud shapes derived using "cutout" technique and corresponding to a number of thresholds in total reflectance (separating bright cloud from its darker background). These shapes can be interpreted as level curves of an abstract "reflectance density", which is then used for derivation of the directional cloud optical thickness (dCOT) tomogram. The latter is a collection of dCOTs parameterized by the angles and offsets of the corresponding view rays (chords) relative to the cloud center. After this, the inverse Radon Transform (the mathematical basis of the X-ray com-puter tomography) is applied to the dCOT tomogram yielding 2D spatial distribution of the extinction coefficient. The later can be converted into droplet number concentration using the droplet size profiles derived from the RSP's polarized reflectance measurements. After tests on synthetic data this technique was applied to real RSP measurements from NASA's Cloud, Aerosol and Monsoon Processes Philippines Experiment (CAMP2Ex) conducted in the vicinity of the Philippines during the Southwest Monsoon (August–September 2019). We have investigated the interiors of a number of clouds observed during CAMP2Ex focusing on Cu and CuCg (Tcu) cases. Our retrievals were routinely compared with the correlative measurements by lidar (HSRL-2) and cloud radar (APR-3) that were deployed on the same airborne platform (NASA P-3B) during this field experiment.

Research Scanning Polarimeter

Almahata Sitta and Brecciated Ureilites: Insights into the Heterogeneity of Asteroids and Implications for Sample Return

Analysis of samples returned to terrestrial laboratories enables more precise measurements and a wider range of techniques to be utilized than can be achieved with either remote sensing or rover instruments. Furthermore, returning samples to Earth allows them to be stored and re-examined with future technology. Following the success of the Hayabusa mission, returning samples from asteroids should be a high priority for understanding of early solar system evolution, planetary formation and differentiation. Meteorite falls provide us with materials and insight into asteroidal compositions. Almahata Sitta (AS) was the first meteorite fall from a tracked asteroid (2008 TC3) [1] providing a rare opportunity to compare direct geochemical observations with remote sensing data. Although AS is predominantly ureilitic, multiple chondritic fragments have been associated with this fall [2,3]. This is not unique, with chondritic fragments being found in many howardite samples (as described in a companion abstract [4]) and in brecciated ureilites, some of which are known to represent ureilitic regolith [5-7]. The heterogeneity of ureilite samples, which are thought to all originate from a single asteroidal ureilite parent body (UPB) [5], gives us information about both internal and external asteroidal variations. This has implications both for the planning of potential sample return missions and the interpretation of material returned to Earth. This abstract focuses on multiple fragments of two meteorites: Almahata Sitta (AS); and Dar al Gani (DaG) 1047 (a highly brecciated ureilite, likely representative of ureilite asteroidal regolith).

Ross, A. J.

Computational Approaches to Vestibular Research

The Biocomputation Center at NASA Ames Research Center is dedicated to a union between computational, experimental and theoretical approaches to the study of neuroscience and of life sciences in general. The current emphasis is on computer reconstruction and visualization of vestibular macular architecture in three-dimensions (3-D), and on mathematical modeling and computer simulation of neural activity in the functioning system. Our methods are being used to interpret the influence of spaceflight on mammalian vestibular maculas in a model system, that of the adult Sprague-Dawley rat. More than twenty 3-D reconstructions of type I and type II hair cells and their afferents have been completed by digitization of contours traced from serial sections photographed in a transmission electron microscope. This labor-intensive method has now been replace d by a semiautomated method developed in the Biocomputation Center in which conventional photography is eliminated. All viewing, storage and manipulation of original data is done using Silicon Graphics workstations. Recent improvements to the software include a new mesh generation method for connecting contours. This method will permit the investigator to describe any surface, regardless of complexity, including highly branched structures such as are routinely found in neurons. This same mesh can be used for 3-D, finite volume simulation of synapse activation and voltage spread on neuronal surfaces visualized via the reconstruction process. These simulations help the investigator interpret the relationship between neuroarchitecture and physiology, and are of assistance in determining which experiments will best test theoretical interpretations. Data are also used to develop abstract, 3-D models that dynamically display neuronal activity ongoing in the system. Finally, the same data can be used to visualize the neural tissue in a virtual environment. Our exhibit will depict capabilities of our computational approaches and some of our findings from their application. For example, our research has demonstrated that maculas of adult mammals retain the property of synaptic plasticity. Ribbon synapses increase numerically and undergo changes in type and distribution (p<0.0001) in type II hair cells after exposure to microgravity for as few as nine days. The finding of macular synaptic plasticity is pertinent to the clinic, and may help explain some. balance disorders in humans. The software used in our investigations will be demonstrated for those interested in applying it in their own research.

Ross, Muriel D.

Studies of Rock Abrasion on Earth and Mars

Many field studies have been conducted that document the morphology of ventifacts and the directionality of their features relative to current and past wind regimes. Field plots and wind tunnel studies have identified heights and particle concentrations above the surface where maximum abrasion occurs. However, as of yet, the rates and detailed methods by which rocks abrade and evolve into ventifacts are poorly documented and understood. This abstract addresses this gap in knowledge by interpreting controlled laboratory and field analog studies. We begin with an overview of the methods by which the wind tunnel experiments and field studies were done, followed by how the resulting data were analyzed and interpreted. A presentation of the results comes next, after which the implications for rock abrasion and ventifact formation on Earth and Mars are discussed. We show that initial rock shape and texture play important roles in determining both rate and style of abrasion, with steep-sided, rough rocks eroding the fastest but with intermediate-angled faces exhibiting the greatest shape change. Most rocks tend to evolve toward an equilibrium shape whose form is poorly conducive to further abrasion. Most rocks on Mars and in terrestrial ventifact localities never reach this mature state, with erosion ceasing or slowing down due to exhaustion of the sand supply and other factors.

N T Bridges

Mapping Planetary Volcanic Deposits: Identifying Vents and Distingushing between Effects of Eruption Conditions and Local Lava Storage and Release on Flow Field Morphology

Terrestrial geologic mapping techniques are regularly used for "photogeologic" mapping of other planets, but these approaches are complicated by the diverse type, areal coverage, and spatial resolution of available data sets. When available, spatially-limited in-situ human and/or robotic surface observations can sometimes introduce a level of detail that is difficult to integrate with regional or global interpretations. To assess best practices for utilizing observations acquired from orbit and on the surface, our team conducted a comparative study of geologic mapping and interpretation techniques. We compared maps generated for the same area in the San Francisco Volcanic Field (SFVF) in northern Arizona using 1) data collected for reconnaissance before and during the 2010 Desert Research And Technology Studies campaign, and 2) during a traditional, terrestrial field geology study. The operations, related results, and direct mapping comparisons are discussed in companion LPSC abstracts [1-3]. Here we present new geologic interpretations for a volcanic cone and related lava flows as derived from all approaches involved in this study. Mapping results indicate a need for caution when interpreting past eruption conditions on other planetary surfaces from orbital data alone.

Bleacher, J. E.

eDNAjoint: An R package for interpreting paired or semi‐paired environmental DNA and traditional survey data in a Bayesian framework

Abstract Environmental DNA (eDNA) sampling is increasingly used in surveys of species distribution as a potentially sensitive and efficient monitoring method. Yet access to modelling tools designed specifically for interpreting this new data type lags behind its ubiquity. While occupancy modelling software has dominated the analytical landscape for eDNA data analysis of single species, this type of model may not always be the most appropriate. The rate of eDNA detection often corresponds to species density, rather than just occupancy, and researchers often have access to observations from non‐genetic sampling methods at the same sites. To provide users access to a modelling framework designed to maximize the use of all available data, we developed an R package, eDNAjoint . The package provides an easy‐to‐use interface for fitting a ‘joint’ model that integrates data from paired or semi‐paired eDNA and traditional surveys in a Bayesian framework. The model can be used to estimate parameters like the probability of a false positive eDNA detection and mean catch rate at a site, and the package allows access to multiple model variations and Bayesian prior customization. Additional functionality can be used for model selection, summarising posteriors and comparing the relative sensitivities of the two survey methods. We demonstrate the use of eDNAjoint by fitting a variation of the model with site‐level covariates that scale the sensitivity of eDNA sampling relative to traditional sampling. The example workflow uses binary eDNA and seine count data for the endangered tidewater goby ( Eucyclogobius newberryi ) from a study by Schmelzle and Kinziger (2016). This use case includes a prior sensitivity analysis and an evaluation of the relationship between detection rates and environmental variables. eDNAjoint has the potential to greatly increase the range of users who will be able to rigorously analyse eDNA and traditional survey data in a Bayesian framework, understand if and how eDNA can improve monitoring practices, and gain confidence in the interpretability of eDNA data.

Keller, Abigail G. [Department of Environment Scie

Interpreting Mass and Radius Measurements of Neutron Stars with Dark Matter Halos

Abstract The high densities of neutron stars (NSs) could provide astrophysical locations for dark matter (DM) to accumulate. Depending on the DM model, these DM admixed NSs (DANSs) could have significantly different properties than pure baryonic NSs, accessible through X-ray observations of rotation-powered pulsars. We adopt the two-fluid formalism in general relativity to numerically simulate stable configurations of DANSs, assuming a fermionic equation of state (EOS) for the DM with repulsive self-interaction. The distribution of DM in the DANS as a halo affects the path of X-rays emitted from hot spots on the visible baryonic surface, causing notable changes in the pulse profile observed by telescopes such as NICER, compared to pure baryonic NSs. We explore how various DM models affect the DM mass distribution, leading to different types of dark halos. We quantify the deviation in observed X-ray flux from stars with each of these halos. We identify the pitfalls in interpreting mass and radius measurements of NSs inferred from electromagnetic radiation and constraining the baryonic matter EOS if these dark halos exist.

Shawqi, Shafayat (ORCID:0000000210956183)