The Mutual Interpretation of Active and Passive Microwave Sensor Outputs
Mutual interpretation of active and passive microwave sensor outputs
MICROWAVE APPARATUS↗
SEARCH · Engineering Papers
Results for “interpretability”
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.
Automatic cloud interpretation.
Automatic cloud cover picture interpretation
PHOTOGRAPH INTERPRETATION↗
Lunar surface - An interpretation based on photographic data from the Russian Luna IX AND United States Surveyor I
Lunar surface interpretation based on Luna IX AND Surveyor I photographic data
SURVEYOR I SPACECRAFT↗
Observations of sunspot fine structure from the stratosphere and theoretical interpretation.
Theoretical interpretation of fine structure observations of sunspots by stratoscope, discussing stability modes and sunspot umbras
PHOTOGRAPH INTERPRETATION↗
IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger class of static analysis developers by separating concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy. The benefits of the approach is demonstrated by a buffer overflow analysis applied to flight control systems.
Abstract Interpretation↗
Static Analysis Using Abstract Interpretation
Short presentation about static analysis and most particularly abstract interpretation. It starts with a brief explanation on why static analysis is used at NASA. Then, it describes the IKOS (Inference Kernel for Open Static Analyzers) tool chain. Results on NASA projects are shown. Several well known algorithms from the static analysis literature are then explained (such as pointer analyses, memory analyses, weak relational abstract domains, function summarization, etc.). It ends with interesting problems we encountered (such as C++ analysis with exception handling, or the detection of integer overflow).
Static Analysis↗
Interpreting ~1 Hz magnetic compressional waves in Mercury's inner magnetosphere in terms of propagating ion‐Bernstein waves
Abstract We show that ~1 Hz magnetic compressional waves observed in Mercury's inner magnetosphere could be interpreted as ion‐Bernstein waves in a moderate proton beta ~0.1 plasma. An observation of a proton distribution with a large planetary loss cone is presented, and we show that this type of distribution is highly unstable to the generation of ion‐Bernstein waves with low magnetic compression. Ray tracing shows that as these waves propagate back and forth about the magnetic equator; they cycle between a state of low and high magnetic compression. The group velocity decreases during the high‐compression state leading to a pileup of compressional wave energy, which could explain the observed dominance of the highly compressional waves. This bimodal nature is due to the complexity of the index of refraction surface in a warm plasma whose upper branch has high growth rate with low compression, and its lower branch has low growth/damping rate with strong compression. Two different cycles are found: one where the compression maximum occurs at the magnetic equator and one where the compression maximum straddles the magnetic equator. The later cycle could explain observations where the maximum in compression straddles the equator. Ray tracing shows that this mode is confined within ±12° magnetic latitude which can account for the bulk of the observations. We show that the Doppler shift can account for the difference between the observed and model wave frequency, if the wave vector direction is in opposition to the plasma flow direction. We note that the Wentzel‐Kramers‐Brillouin approximation breaks down during the pileup of compressional energy and that a study involving full wave solutions is required.
Boardsen, S. A.↗
The response of ENSO flavors to mid‐Holocene climate: Implications for proxy interpretation
Abstract The response of El Niño–Southern Oscillation (ENSO) to mid‐Holocene boundary conditions remains an open question: paleoclimate proxies and climate model simulations do not agree in the magnitude of the reduction of ENSO variability, while recent proxy evidence from fossil corals from the central Pacific show that the reduction in mid‐Holocene ENSO variability compared to the end of the twentieth century is not different from the reduction during other Holocene time intervals. This is inconsistent with the interpretation of lake and ocean sediment records from the eastern Pacific, which show a significant reduction compared to all other Holocene periods. In order to reconcile the seemingly conflicting proxy evidence from the eastern and central Pacific, we hypothesize that ENSO remained active during the mid‐Holocene; however, there was a change in the spatial pattern of the sea surface temperature anomalies, also known as ENSO flavors. Using National Center for Atmospheric Research's Community Climate System Model version 4 forced with mid‐Holocene orbital conditions, we find that the frequency of occurrence of the strongest eastern Pacific (EP) events decreases in the mid‐Holocene and their variance is reduced by ∼30%, while the frequency of central Pacific (CP) events slightly increases and their variance does not change. We also find a shift in the seasonality of EP events, but not in that of CP events. Lastly, mid‐Holocene EP events develop more slowly and decay faster. The differential response of ENSO flavors to mid‐Holocene forcing is remotely forced by the West Pacific, where a weakening of the trade winds in early boreal spring in the mid‐Holocene initiates an anomalous downwelling annual Kelvin wave, which reaches the eastern Pacific during the ENSO development season, weakens the upper ocean stratification, and results in reduced ENSO upwelling feedback. The simulated reduction in the EP flavor versus the CP flavor in the mid‐Holocene is consistent with proxy evidence: The teleconnection patterns of the two flavors with temperature, precipitation, and salinity are distinct, and proxies from different regions of the Pacific might be recording variability associated with only one of the flavors, or some combination of their relative effects.
Karamperidou, Christina↗
A New Method for Interpreting Nonstationary Running Correlations and Its Application to the ENSO‐EAWM Relationship
Abstract We here propose a new statistical method to interpret nonstationary running correlations by decomposing them into a stationary part and a first‐order Taylor expansion approximation for the nonstationary part. Then, this method is applied to investigate the nonstationary behavior of the El Niño–Southern Oscillation (ENSO)‐East Asian winter monsoon (EAWM) relationship, which exhibits prominent multidecadal variations. It is demonstrated that the first‐order approximation of the nonstationary part can be expressed to a large extent by the impact of the nonlinear interaction between the Atlantic Multidecadal Oscillation (AMO) and ENSO (AMO*Niño3.4) on the EAWM. Therefore, the nonstationarity in the ENSO‐EAWM relationship comes predominantly from the impact of an AMO modulation on the ENSO‐EAWM teleconnection via this key nonlinear interaction. This general method can be applied to investigate nonstationary relationships that are often observed between various different climate phenomena.
Geng, Xin↗
Interpretable Machine Learning Models for Practical Antimonate Electrocatalyst Performance
Computationally predicting the performance of catalysts under reaction conditions is a challenging task due to the complexity of catalytic surfaces and their evolution in situ, different reaction paths, and the presence of solid-liquid interfaces in the case of electrochemistry. We demonstrate here how relatively simple machine learning models can be found that enable prediction of experimentally observed onset potentials. Inputs to our model are comprised of data from the oxygen reduction reaction on non-precious transition-metal antimony oxide nanoparticulate catalysts with a combination of experimental conditions and computationally affordable bulk atomic and electronic structural descriptors from density functional theory simulations. From human-interpretable genetic programming models, we identify key experimental descriptors and key supplemental bulk electronic and atomic structural descriptors that govern trends in onset potentials for these oxides and deduce how these descriptors should be tuned to increase onset potentials. Here, we finally validate these machine learning predictions by experimentally confirming that scandium as a dopant in nickel antimony oxide leads to a desired onset potential increase. Macroscopic experimental factors are found to be crucially important descriptors to be considered for models of catalytic performance, highlighting the important role machine learning can play here even in the presence of small datasets.
37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
A multidimensional stability framework enhances interpretation and comparison of carbon cycling response to disturbance
Abstract The concept of stability is central to the study and sustainability of vital ecosystem goods and services as disturbances increase globally. While ecosystem ecologists, including carbon (C) cycling scientists, have long‐considered multiple dimensions of disturbance response, our discipline lacks an agreed‐upon analytical framework for characterizing multidimensional stability. Here, we advocate for the broader adoption of a standardized and normalized multidimensional stability framework for analyzing disturbance response. This framework includes four dimensions of stability: the degree of initial change in C fluxes (i.e., resistance ); rate (i.e., resilience ) and variability (i.e., temporal stability ) of return to pre‐disturbance C fluxes; and the extent of return to pre‐disturbance C fluxes (i.e., recovery ). Using this framework, we highlight findings not readily seen from analysis of absolute fluxes, including trade‐offs between initial and long‐term C flux responses to disturbance; different overall stability profiles among fluxes; and, using a pilot dataset, similar relative stability of net primary production following fire and insect disturbances. We conclude that ecosystem ecologists’ embrace of a unifying multidimensional stability framework as a complement to approaches focused on absolute C fluxes could advance global change research by aiding in the novel interpretation, comprehensive synthesis, and improved forecasting of ecosystems’ response to an increasing array of disturbances.
54 ENVIRONMENTAL SCIENCES↗
Statistical interpretation of the Amerithrax “morph” assay results
In the Amerithrax investigation PCR–based “morph assays” were used to link the anthrax letters with the RMR–1029 flask at USAMRIID. Quantitative data reported for several of these assays are not consistent with Poisson sampling statistics, but instead exhibit “Taylor's Law” behavior where the variance greatly exceeds the mean. A plausible statistical model for this behavior can explain the large number of observed negative and “inconclusive” findings, and implies a high likelihood that a repository sample could contain a “morph” mutant at concentrations well above the nominal detection limit but nonetheless give a negative or inconclusive test result. A Bayesian framework relates the assay results to the probability that a sample actually contains all four morph mutants, even though it tested negative for at least one. The analysis implies that the observed false negative rate actually does not significantly weaken the conclusion that the morph assays correctly excluded all but the stocks derived from RMR–1029 as possible sources of the letter powders, at least when the test results were unambiguous. In conclusion, these findings expand upon and resolve some of the issues cited in recent reviews, and indicate the importance of developing a rigorous statistical framework for interpreting “morph” assay data.
59 BASIC BIOLOGICAL SCIENCES↗
Factors influencing the development and implementation of advanced radiographer practice in Australia – a qualitative study using an interpretative phenomenological approach
The purpose of this study was to explore the factors influencing the implementation or the lack of implementation of advanced practitioner role in Australia. This study uses an interpretative phenomenological approach to explore the in-depth real life issues, which surround the advanced practitioner as a solution to radiologist workforce shortages in Australia. Research participants are radiographers, radiation therapists and health managers registered with the Australian Institute of Radiography (AIR) and holding senior professional and AIR Board positions with knowledge of current advanced practice. In total, seven interviews were conducted revealing education, governance, technical, people issues, change management, government, costs and timing as critical factors influencing advanced practice in Australia. Seven participants in this study perceived an advanced practice role might have major benefits and a positive impact on the immediate and long-term management of patients. Another finding is the greater respect and appreciation of each other's roles and expertise within the multidisciplinary healthcare team. Engagement is required of the critical stakeholders that have been identified as ‘blockers’ (radiologists, health departments) as well as identified allies (e.g. emergency clinicians, supportive radiologists, patient advocacy groups). The research supports that the AIR has a role to play for the professional identity of radiographers and shaping the advanced practice role in Australia.
42 ENGINEERING↗
A Step-by-Step Protocol from METASPACE to Biological Interpretation
Mass spectrometry imaging (MSI) represents an exceptional tool for exploring complex biological systems spatially at the molecular level. However, due to its multidimensional nature and large-scale data output, it presents considerable challenges when it comes to extracting meaningful biological insights. Recent advancements, such as the METASPACE platform, have enabled researchers to efficiently process, annotate, and interpret MSI datasets by leveraging machine learning and cloud-based infrastructure. In this tutorial, we present a detailed and user-friendly R-pipeline designed to help METASPACE users navigate untargeted metabolomic annotations and transform them into practical insights about their biological systems. By combining METASPACE annotations with rapid R-based screening, this workflow not only streamlined the analytical process but also enhanced the understanding of spatial molecular distribution, especially for complex systems. Here, this easy-to-follow approach has the potential for applications in diagnostics, drug discovery, environmental and ecological processes, and more. We envision this pipeline to be particularly useful for newcomers to the field of MSI and
Moreno Pedraza, Abigail↗
Interpreting Experimental Results from Shock Impacts on Single Crystal PETN in the Context of Continuum Models
Here we interpret previous experimental measurements of impacts on single crystal PETN in the context of a simple continuum model. Hugoniot calculations using the simple model framework under various limiting assumptions envelope measured Hugoniot states reasonably well and suggest that non-negligible deviatoric elastic strains may exist in the shock compressed state for weak impacts. An accompanying simple kinematic model for lattice deformation was used to estimate the expected shifts in X-ray diffraction peaks for the (211) plane under impacts normal to (110) planes. The results suggest that negligible relaxation of the deviatoric lattice deformation occurs on the short (10–20 ns) time and wave propagation (40–80 m) scales of laser-driven shock experiments, and that the corresponding elastic strains may be large. Because of the potentially large deviatoric elastic strains, the specific finite deformation strain measure used within thermomechanical single crystal models is of significant consequence, which is explored numerically by the comparison of isothermal purely elastic responses under uniaxial and simple shear deformations.
36 MATERIALS SCIENCE↗
Interpretation of large‐scale, long‐term electrical geophysical monitoring guided by a process simulation
Abstract Surface electrical resistivity tomography (ERT) was used at a waste site to monitor vadose zone changes in electrical properties as a proxy for contaminant flux over a span of 17 years. The BC Cribs and Trenches (BCCT) site at the Hanford site contains 20 disposal trenches and six disposal cribs. Wastes include a large inventory of technetium‐99 and large masses of nitrate and uranium‐238. ERT data were collected along 41 profiles in 2005 to characterize regions of elevated bulk electrical conductivity (BEC) associated with past liquid waste discharges. Previous analyses performed on samples from four boreholes showed a high correlation between nitrate concentration and BEC. In 2022, ERT data were re‐collected along the same profiles and six additional profiles in an area not previously surveyed. Compared to background uncontaminated areas, BEC was higher in contaminated areas at the waste sites. Given the correlation between nitrate concentration and BEC previously found at this site, ERT images show the spatial distribution and relative ionic concentration of vadose zone contaminants at BCCT. Between 2005 and 2022, ERT difference images showed a decrease in BEC surrounding most waste sites, with exceptions where there were known anthropogenic surface changes. An evaluation of recharge‐driven nitrate migration using synthetic flow and transport simulations showed that downward migration causes a decrease in BEC from the decrease in ionic strength at the trailing end of the plume where contaminants migrated downward. From this, we interpret ERT difference images as showing the predominant regions of downward ion flux.
12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
Constrained HRT Surfaces and their Entropic Interpretation
Abstract Consider two boundary subregionsAandBthat lie in a common boundary Cauchy surface, and consider also the associated HRT surfaceγ B forB. In that context, the constrained HRT surfaceγ A:B can be defined as the codimension-2 bulk surface anchored toAthat is obtained by a maximin construction restricted to Cauchy slices containingγ B . As a result,γ A:B is the union of two pieces,$$ {\gamma}_{A:B}^B $$ γ A : B B and$$ {\gamma}_{A:B}^{\overline{B}} $$ γ A : B B ¯ lying respectively in the entanglement wedges ofBand its complement$$ \overline{B} $$ B ¯ . Unlike the area$$ \mathcal{A}\left({\gamma}_A\right) $$ A γ A of the HRT surfaceγ A , at least in the semiclassical limit, the area$$ \mathcal{A}\left({\gamma}_{A:B}\right) $$ A γ A : B ofγ A:B commutes with the area$$ \mathcal{A}\left({\gamma}_B\right) $$ A γ B ofγ B . To study the entropic interpretation of$$ \mathcal{A}\left({\gamma}_{A:B}\right) $$ A γ A : B , we analyze the Rényi entropies of subregionAin a fixed-area state of subregionB. We use the gravitational path integral to show that then ≈1 Rényi entropies are then computed by minimizing$$ \mathcal{A}\left({\gamma}_A\right) $$ A γ A over spacetimes defined by a boost angle conjugate to$$ \mathcal{A}\left({\gamma}_B\right) $$ A γ B . In the case where the pieces$$ {\gamma}_{A:B}^B $$ γ A : B B and$$ {\gamma}_{A:B}^{\overline{B}} $$ γ A : B B ¯ intersect at a constant boost angle, a geometric argument shows that then ≈1 Rényi entropy is then given by$$ \frac{\mathcal{A}\left({\gamma}_{A:B}\right)}{4G} $$ A γ A : B 4 G . We discuss how then ≈1 Rényi entropy differs from the von Neumann entropy due to a lack of commutativity of then→ 1 andG →0 limits. We also discuss how the behaviour changes as a function of the width of the fixed-area state. Our results are relevant to some of the issues associated with attempts to use standard random tensor networks to describe time dependent geometries.
Physics↗
On the interpretation of a possible ~ 750 GeV particle decaying into γγ
We consider interpretations of the recent ~3σ reports by the CMS and ATLAS collaborations of a possible X(~ 750 GeV) state decaying into yy final states. We focus on the possibilities that this is a scalar or pseudoscalar electroweak isoscalar state produced by gluon-gluon fusion mediated by loops of heavy fermions. We consider several models for these fermions, including a single vector-like charge 2/3 T quark, a doublet of vector-like quarks (T;B), and a vector-like generation of quarks, with or without leptons that also contribute to the X → yy decay amplitude. We also consider the possibility that X(750) is a dark matter mediator, with a neutral vector-like dark matter particle. These scenarios are compatible with the present and prospective direct limits on vector-like fermions from LHC Runs 1 and 2, as well as indirect constraints from electroweak precision measurements, and we show that the required Yukawa-like couplings between the X particle and the heavy vector-like fermions are small enough to be perturbative so long as the X particle has dominant decay modes into gg and yy. In conclusion, the decays X → ZZ,Zy and W + W - are interesting prospective signatures that may help distinguish between different vector-like fermion scenarios.
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗