Search NASA⌕ Search

SEARCH · Search NASA

Results for “dynamic inference”

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 199 records · Page 11

Tractable minor-free generalization of planar zero-field Ising models

In this work, we present a new family of zero-field Ising models over N binary variables/spins obtained by consecutive 'gluing' of planar and O(1)-sized components and subsets of at most three vertices into a tree. The polynomial time algorithm of the dynamic programming type for solving exact inference (computing partition function) and exact sampling (generating i.i.d. samples) consists of sequential application of an efficient (for planar) or brute-force (for O(1)-sized) inference and sampling to the components as a black box. To illustrate the utility of the new family of tractable graphical models, we first build a polynomial algorithm for inference and sampling of zero-field Ising models over K 33 -minor-free topologies and over K 5 -minor-free topologies—both of which are extensions of the planar zero-field Ising models—which are neither genus- nor treewidth-bounded. Second, we empirically demonstrate an improvement in the approximation quality of the NP-hard problem of inference over the square-grid Ising model in a node-dependent nonzero 'magnetic' field.

97 MATHEMATICS AND COMPUTING↗

Solving Inverse Stochastic Problems from Discrete Particle Observations Using the Fokker--Planck Equation and Physics-Informed Neural Networks

The Fokker--Planck (FP) equation governing the evolution of the probability density function (PDF) is applicable to many disciplines, but it requires specification of the coefficients for each case, which can be functions of space-time and not just constants and hence require the development of a data-driven modeling approach. When the data available is directly on the PDF, there exist methods for inverse problems that can be employed to infer the coefficients and thus determine the FP equation and subsequently obtain its solution. Herein, we address a more realistic scenario, where only sparse data are given on the particles' positions at a few time instants, which are not sufficient to accurately construct directly the PDF even at those times from existing methods, e.g., kernel estimation algorithms. To this end, we develop a general framework based on physics-informed neural networks (PINNs) that introduces a new loss function using the Kullback--Leibler divergence to connect the stochastic samples with the FP equation to simultaneously learn the equation and infer the multidimensional PDF at all times. In particular, we consider two types of inverse problems, type I, where the FP equation is known but the initial PDF is unknown, and type II, in which, in addition to the unknown initial PDF, the drift and diffusion terms are also unknown. In both cases, we investigate problems with either Brownian or Lévy noise or a combination of both. Here, we demonstrate the new PINN framework in detail in the one-dimensional (1D) case, but we also provide results for up to five dimensions demonstrating that we can infer both the FP equation and dynamics simultaneously at all times with high accuracy using only very few discrete observations of the particles.

97 MATHEMATICS AND COMPUTING↗

Objective method for analysis and tracking of convective cells as seen by radar

A special method has been developed for the study of cells that are embedded in convective rain systems. This method consists of a package of computer programs that use pattern recognition techniques on three-dimensional digital radar data to identify the rain cells, track them with time, and calculate their properties. The product of the computations is a comprehensive database of physically meaningful properties of rain cells, which can be used to infer the internal structure and the dynamics of convective rain systems. The cell-tracking method has been applied to the summer convective clouds of south Florida for the following purposes: (1) derivation of the relationship between the echo top height and the precipitation characteristics (e.g., area, water yield, rain intensity and duration of the rain cells); (2) study of the microphysical behaviorof cumulus clouds in relation to their cell properties; (3) evaluation of the effect of seeding on cumulus clouds on the cell scale; and (4) examination of cloud-to-ground lightning discharges in relation to convective cell intensity. The cell-tracking method is also currently being used in rain enhancement projects in Texas, Israel, and South Africa. The cell-tracking method, its products and their use in meteorological research are described in this paper.

Rosenfeld, Daniel↗

Hot oxygen geocorona as inferred from neutral exospheric models and mass spectrometer measurements

Summer hot oxygen densities of 10,000-30,000 per cubic cm at 1100 km (or 100,000-300,000 at 550 km) for low to moderate solar activities are inferred from differences between satellite drag and mass-spectrometer-based models. At high solar activities, densities at 925 km from 100,000-400,000 (or 5 x 10 to the 5th to 2 x 10 to the 6th at 550 km) are inferred from a limited number of Dynamics Explorer mass spectrometer measurements. The densities are of the same order as those reported previously from ground-based optical measurements. It is pointed out that a detailed theoretical calculation of the hot oxygen distribution consistent with the cool populations in mass-spectrometer-based models would provide the basis for a more complete interpretation of mass spectrometer data and of high-altitude differences between drag-based and mass-spectrometer-based models. It is concluded that hot oxygen could be providing the major contribution to satellite drag in the summer lower exosphere during low solar activity.

Hedin, A. E.↗

Dynamics of the Jovian magnetosphere and energetic particle radiation

Inferences are drawn from Jovian magnetosphere data acquired in the flybys of Pioneer 10 and Pioneer 11. Data on the outer magnetosphere and the inner core, and on observed 10-hr variations in particle intensity, are summarized, with attention given to the immense size and complexity of the magnetosphere and the behavior of trapped charged particles. The data support the maintenance and acceleration of charged particles trapped in Jupiter's magnetic field by inward diffusion in violation of the third adiabatic invariant. Prodigious quantities of high-energy particles are found to escape from Jupiter into interplanetary space, and MHD waves in the circumjovian plasma are considered. Whether the 10-hr variations are spatial or temporal in origin is weighed in favor of the latter. Production and loss mechanisms for the particles, and the nature of the Jovian magnetosphere itself, are noted among questions remaining obscure.

Simpson, J. A.↗

Establishing temperature from radiance of dynamically compressed metals

Precise temperature determination is a significant challenge in extreme environments of dynamic compression studies. How can radiance measurements taken in high-pressure shock experiments constrain temperature in a meaningful and physically consistent way? Experiments maintaining sample compression against a transparent window can be tailored to present a uniform measurement area with uncertain spectral emissivity. We compare several methods to analyze radiance collected at multiple wavelengths, applying statistical methods and physical principles to improve temperature inference. With proper radiance collection and analysis, dynamic temperature uncertainties become comparable to thermomechanical ambiguities of the emitting surface.

36 MATERIALS SCIENCE↗

On the determination of the Hermaean magnetic moment - A critical review

The determination of Mercury's magnetic moment from the spatially and temporally limited observations obtained by the Mariner 10 mission is dependent upon the assumed nature of both the intrinsic planetary magnetic field and that of the magnetospheric current systems. In this paper the methods that have been used for this purpose are reviewed. The results that have been obtained are then considered in comparison with the constraints placed on the planetary field by the solar wind dynamic pressures and stand-off distances inferred from the Mariner 10 magnetic field data by Slavin and Holtzer (1979) which are consistent with an effective dipole moment of 6 + or - 2 x 10 to the 22nd G cu cm. It is found that the models which fit the observations with substantial quadrupole and octupole moments are not consistent with the magnetospheric boundary conditions, presumably owing to incorrect assumptions regarding the magnetopause position, incorrect assumptions regarding solar wind dynamic pressure, and/or averaging over temporal variations in the Mariner 10 data.

Slavin, J. A.↗

PTM‐Psi : A python package to facilitate the computational investigation of p ost‐ t ranslational m odification on p rotein s tructures and their i mpacts on dynamics and functions

Abstract Post‐translational modification (PTM) of a protein occurs after it has been synthesized from its genetic template, and involves chemical modifications of the protein's specific amino acid residues. Despite of the central role played by PTM in regulating molecular interactions, particularly those driven by reversible redox reactions, it remains challenging to interpret PTMs in terms of protein dynamics and function because there are numerous combinatorially enormous means for modifying amino acids in response to changes in the protein environment. In this study, we provide a workflow that allows users to interpret how perturbations caused by PTMs affect a protein's properties, dynamics, and interactions with its binding partners based on inferred or experimentally determined protein structure. This Python‐based workflow, called PTM‐Psi , integrates several established open‐source software packages, thereby enabling the user to infer protein structure from sequence, develop force fields for non‐standard amino acids using quantum mechanics, calculate free energy perturbations through molecular dynamics simulations, and score the bound complexes via docking algorithms. Using the S ‐nitrosylation of several cysteines on the GAP2 protein as an example, we demonstrated the utility of PTM‐Psi for interpreting sequence–structure–function relationships derived from thiol redox proteomics data. We demonstrate that the S ‐nitrosylated cysteine that is exposed to the solvent indirectly affects the catalytic reaction of another buried cysteine over a distance in GAP2 protein through the movement of the two ligands. Our workflow tracks the PTMs on residues that are responsive to changes in the redox environment and lays the foundation for the automation of molecular and systems biology modeling.

59 BASIC BIOLOGICAL SCIENCES↗

Globular cluster formation - The fossil record

Properties of globular clusters which have remained unchanged since their formation are used to infer the internal pressures, cooling times, and dynamical times of the protocluster clouds immediately prior to the onset of star formation. For all globular clusters examined, it is found that the cooling times are much less than the dynamical times, implying that the protoclusters must have been maintained in thermal equilibrium by external heat sources, with fluxes consistent with those found in previous work, and giving the observed rho-T relation. Self-gravitating clouds cannot be stably heated, so that the Jeans mass forms an upper limit to the cluster masses. The observed dependence of protocluster pressure upon galactocentric position implies that the protocluster clouds were in hydrostatic equilibrium after their formation. The pressure dependence is well fitted by that expected for a quasi-statically evolving background hot gas, shock heated to its virial temperature. The observations and inferences are combined with previous theoretical work to construct a picture of globular cluster formation.

Murray, Stephen D.↗

Dynamical constraints on the formation and evolution of planetary bodies

The present investigation is concerned with a number of inferences as to the origin of planetary bodies, taking into account the present dynamical state of the solar system and some of the limitations which apply to the considered conclusions. Attention is given to the dynamical processes, specifically those processes which may have influenced the orbital or rotational properties of the planets and satellites. Collisional processes are explored, taking into consideration orbital spacing, planetary rotation, and stochastic effects. In connection with a discussion of the evolution of rotational motion, spin state evolution is investigated along with spin axis precession and resonance variation, and the Cassini states. The evolution of planetary orbits is also studied. The subjects considered are related to tides, secular resonances, disk dynamics, and disk-satellite interactions.

Harris, A. W.↗

An integrated integral projection model ( IPM 2 ) to disentangle size‐structured harvest and natural mortality

Abstract Body size is one of the most important traits governing individual‐level demographic rates and modulating population‐level processes. Multiple size‐dependent demographic rates can simultaneously change population structure, so distinguishing their individual contributions to overall population dynamics remains a challenge. Disentangling size‐dependent harvest rates from other demographic rates is critical for assessing the impact of removal on populations of invasive species. Inference about invasive populations can be difficult, however, as observations are often collected opportunistically as part of removal programs, rather than experimentally designed. Yet accurate inference is essential for understanding the feasibility of population suppression and optimising management decisions. We develop an integrated integral projection model (IPM 2 ) that leverages the strengths of the integrated population model and integral projection model to enable inference about complex, size‐structured demographic rates from imperfect observations. We apply the IPM 2 in the context of invasive European green crab ( Carcinus maenas ), a species for which individual body size strongly regulates both the observation‐generating process and latent, population dynamics. The IPM 2 facilitates the distinct estimation of green crab size‐structured harvest and natural mortality rates, parameters for which no explicit data is collected and that are unidentifiable in component datasets of the integrated population model. The model represents how the green crab population changes over time, providing the first estimates of size‐structured abundance of this high‐priority species. By forecasting the stable size distribution and equilibrium population size under varying removal efforts, we demonstrate that extremely high levels of removal effort can reduce the equilibrium green crab population size. Yet these high mortality rates also shift the stable size distribution and increase the equilibrium abundance of smaller crabs, since size‐selective removal alters intraspecific interactions. The ecological outcome of this shift in size structure will be variable, as green crab size modulates only some of its interactions with other species. These results highlight the value of the IPM 2 framework for inferring complex population dynamics with information needs that outpace information in individual observational datasets, providing a path forward for accurate assessment of conservation programs.

Keller, Abigail G. [Department of Environment Scie↗

Automatically parallelizing batch inference on deep neural networks using Fiats and Fortran 2023 `do concurrent`

This paper introduces novel programming strategies that leverage features of the Fortran 2023 standard of the International Standards Organization (ISO) to automatically parallelize computations on deep neural networks. The paper focuses on the interplay of object-oriented, parallel, and functional programming paradigms in the Fiats deep learning library. We demonstrate how several infrequently used language features play a role in enabling efficient, parallel execution. Specifically, the ability to explicitly declare that a procedure is pure facilitates inference in the context of the language’s loop-parallelism construct `do concurrent`. Also, explicitly prohibiting the overriding of a parent type’s type-bound procedures eliminates the need for dynamic dispatch in performance-critical code. Finally, this paper uses batch inference calculations on a neural network surrogate for atmospheric aerosol dynamics to demonstrate that LLVM Flang compiler’s automatic parallelization of `do concurrent` achieves roughly the same performance and scalability as achieved by OpenMP compiler directives. We also demonstrate that double-precision inference costs 37–72% longer runtime than default-real precision with most values in the range 57-60%.

Rouson, Damian↗

Conin

SAND2025-07645O Conin is a Python library that supports constrained analysis of probabilistic graphical models (PGMs). It enables constrained inference and learning for hidden Markov models, Bayesian networks, dynamic Bayesian networks, and Markov networks. Conin interfaces with the pgmpy library to specify general probabilistic graphical models with a variety of optimization solvers to support learning and inference. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Hart, William [Sandia National Lab. (SNL-CA), Live↗

Analyzing inference workloads for spatiotemporal modeling

Ensuring power grid resiliency, forecasting climate conditions, and optimization of transportation infrastructure are some of the many application areas where data is collected in both space and time. Spatiotemporal modeling is about modeling those patterns for forecasting future trends and carrying out critical decision-making by leveraging machine learning/deep learning. Once trained offline, field deployment of trained models for near real-time inference could be challenging because performance can vary significantly depending on the environment, available compute resources and tolerance to ambiguity in results. Users deploying spatiotemporal models for solving complex problems can benefit from analytical studies considering a plethora of system adaptations to understand the associated performance-quality trade-offs. To facilitate the co-design of next-generation hardware architectures for field deployment of trained models, it is critical to characterize the workloads of these deep learning (DL) applications during inference and assess their computational patterns at different levels of the execution stack. In this paper, we develop several variants of deep learning applications that use spatiotemporal data from dynamical systems. We study the associated computational patterns for inference workloads at different levels, considering relevant models (Long short-term Memory, Convolutional Neural Network and Spatio-Temporal Graph Convolution Network), DL frameworks (Tensorflow and PyTorch), precision (FP16, FP32, AMP, INT16 and INT8), inference runtime (ONNX and AI Template), post-training quantization (TensorRT) and platforms (Nvidia DGX A100 and Sambanova SN10 RDU). Overall, our findings indicate that although there is potential in mixed-precision models and post-training quantization for spatiotemporal modeling, extracting efficiency from contemporary GPU systems might be challenging. Instead, co-designing custom accelerators by leveraging optimized High Level Synthesis frameworks (such as SODA High-Level Synthesizer for customized FPGA/ASIC targets) can make workload-specific adjustments to enhance the efficiency.

97 MATHEMATICS AND COMPUTING↗

Inference of main ion particle transport coefficients with experimentally constrained neutral ionization during edge localized mode recovery on DIII-D

Abstract The plasma and neutral density dynamics after an edge localized mode are investigated and utilized to infer the plasma transport coefficients for the density pedestal. The Lyman-Alpha Measurement Apparatus (LLAMA) diagnostic provides sub-millisecond profile measurements of the ionization and neutral density and shows significant poloidal asymmetries in both. Exploiting the absolute calibration of the LLAMA diagnostic allows quantitative comparison to the electron and main ion density profiles determined by charge-exchange recombination, Thomson scattering and interferometry. Separation of diffusion and convection contributions to the density pedestal transport are investigated through flux gradient methods and time-dependent forward modeling with Bayesian inference by adaptation of the Aurora transport code and IMPRAD framework to main ion particle transport. Both methods suggest time-dependent transport coefficients and are consistent with an inward particle pinch on the order of 1 m s −1 and diffusion coefficient of 0.05 m 2 s −1 in the steep density gradient region of the pedestal. While it is possible to recreate the experimentally observed phenomena with no pinch in the pedestal, low diffusion in the core and high outward convection in the near scrape-off layer are required without an inward pedestal pinch.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

MetaHeart: Metasurface enabled biometrics camouflage

Privacy-invading biometrics monitoring is becoming a prominent security threat as modern sensing systems move to higher operating frequencies (mmWave, sub-THz), increasing sensing resolution and accuracy. As such, developing systems that can protect or obfuscate biometrics from adversarial intrusion becomes pivotal to preserving user privacy. In this work, we develop and implement MetaHeart, a real-time biometrics misinformation system based on reflective, programmable metasurfaces and dynamic phase-front manipulation of radar inferences. MetaHeart’s key goal is to prevent the leakage of a legitimate user’s heartbeat biometrics by spoofing fake heartbeat signals at a malicious, radar-equipped, heart rate sensing intruder. Furthermore, we experimentally demonstrate MetaHeart’s ability to fake Alice’s presence when she is not there and to fool Trudy’s inferences even when Alice is present, achieving an overall accuracy above 98%. Finally, we conduct a robustness analysis to determine MetaHeart’s required spatial placement within the intruder’s monitoring area that would allow for effective spoofing.

77 NANOSCIENCE AND NANOTECHNOLOGY↗