Search NASA⌕ Search

SEARCH · Search NASA

Results for “ODE”

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 109 records · Page 6

Efficient Neural Network Approaches for Conditional Optimal Transport with Applications in Bayesian Inference

In this work, we present two neural network approaches that approximate the solutions of static and dynamic conditional optimal transport (COT) problems. Both approaches enable conditional sampling and conditional density estimation, which are core tasks in Bayesian inference—particularly in the simulation-based (“likelihood-free”) setting. Our methods represent the target conditional distribution as a transformation of a tractable reference distribution. Obtaining such a transformation, chosen here to be an approximation of the COT map, is computationally challenging even in moderate dimensions. To improve scalability, our numerical algorithms use neural networks to parameterize candidate maps and further exploit the structure of the COT problem. Our static approach approximates the map as the gradient of a partially input convex neural network. It uses a novel numerical implementation to increase computational efficiency compared to state-of-the-art alternatives. Our dynamic approach approximates the conditional optimal transport via the flow map of a regularized neural ODE; compared to the static approach, it is slower to train but offers more modeling choices and can lead to faster sampling. We demonstrate both algorithms numerically, comparing them with competing state-of-the-art approaches, using benchmark datasets and simulation-based Bayesian inverse problems.

97 MATHEMATICS AND COMPUTING↗

ORMATEX

The Oak Ridge Matrix Exponential (ORMATEX) software library contains methods to compute the matrix exponential and the action of the matrix exponential on a vector. Additionally, this package contains the related methods for the phi-functions which commonly appear in a wide class of exponential time integration methods. Krylov methods are provided to evaluate the matrix exponential-vector and phi-vector products for cases where the matrix is large and sparse. Utilizing these methods, ORMATEX implements performant exponential integrators for large systems of coupled ordinary differential equations (ODEs). The exponential time integration routines in ORMATEX are particularly suitable to large, stiff systems of equations. These routines may be utilized as a competitive alternative to classical implicit and explicit time integration schemes for certain classes of differential equations where the problem stiffness can be predominately explained by the linear terms.

Gurecky, William [Oak Ridge National Laboratory (O↗

ssys

`ssys` is a Python toolkit for exact algebraic transformation of ordinary differential equation (ODE) models into canonical S-system or Generalized Mass Action (GMA) form. Given a model in Antimony or SBML format, `ssys` produces a mathematically equivalent representation. The transformation introduces auxiliary variables as needed to decompose a broad class of nonlinearities into products of power-law terms. The recast is exact: the original and transformed systems have identical dynamics on the invariant constraint manifold defined by auxiliary variable definitions, given consistent initial conditions.

Hlavacek, William [Los Alamos National Laboratory]↗

Order conditions for nonlinearly partitioned Runge-Kutta methods

Recently, a new class of nonlinearly partitioned Runge–Kutta (NPRK) methods was proposed for nonlinearly partitioned systems of autonomous ordinary differential equations y' = F(y, y). The target class of problems are those in which different scales, stiffnesses, or physics are coupled in a nonlinear way, wherein the desired partition cannot be written in a classical additive or component-wise fashion. Here we use a rooted-tree analysis to derive full-order conditions for NPRKM methods, where M denotes the number of nonlinear partitions. Due to the nonlinear coupling and thereby the mixed product differentials, it turns out that the standard node-colored rooted tree analysis used in analyzing ODE integrators does not naturally apply. Instead we develop a new edge-colored rooted-tree framework to address the nonlinear coupling. The resulting order conditions are enumerated, are provided directly for up to fourth order with M = 2 and third order with M = 3, and are related to existing order conditions of additive and partitioned RK methods. We conclude with an example that shows how the nonlinear order conditions can be used to obtain an embedded estimate of the state-dependent nonlinear coupling strength in a dynamical system.

97 MATHEMATICS AND COMPUTING↗

Physics-assisted Latent Space Dynamics Learning for Stiff Collisional-radiative Models

Collisional-radiative (CR) models describe the atomic processes in a plasma by tracking the population density in the ground and excited states for each charge state of the atom/ion. These models predict important plasma properties such as charge state distributions and radiative emissivity and opacity. Accurate descriptions of the CR balance of the plasma are essential in fusion whole device modeling, especially when significant impurities are introduced into the plasmas. In an integrated fusion plasma and CR simulation, a CR model, which is a high-dimensional stiff ODE, needs to be solved on each grid point in the configuration space, and can overwhelm the overall computational cost. In this work, we propose a machine-learning-based method that discovers a latent space and learns its corresponding latent dynamics, which can capture the essential physics to make accurate predictions at much lower online computational cost. The proposed approach is physics-assisted, due to its combination of a physical latent space and a data-driven latent space. It has been demonstrated that the proposed architecture can predict both the full-order CR dynamics and a physical quantity of interest accurately.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Generalized Integral Boundary Layer Equations in Streamline Curvilinear Coordinates

The MEIT equations are derived in orthogonal streamline curvilinear coordinates defined by the inviscid velocity at the wall and the surface-normal direction. The resulting formulations is (1) is not restricted to flat-plate or axisymmetric geometries, (2) accommodates vortical inviscid flows (e.g., induced by curved shocks) and wall mass blowing, and (3) allows for an arbitrary definition of the edge state. The streamline ODEs are also extended to a surface PDE framework.

97 MATHEMATICS AND COMPUTING↗

Second Order System Study

During my education in mathematics, engineering and physics, I learned transform pairs and their usage mechanics but I never remember seeing the derivations of the solutions to second order ordinary differential equations (ODE) and difference equations. A solution to a question posed in a potential funder meeting put me on a path to solving second order systems using the five principal Fourier based methods: Fourier transform (FT), Z-transform (ZT), discrete time Fourier transform (DTFT), discrete Fourier transform (DFT) and Laplace transform (LT).

42 ENGINEERING↗

Using PyBioNetFit to leverage qualitative and quantitative data in biological model parameterization and uncertainty quantification

Data generated in studies of cellular regulatory systems are often qualitative. For example, measurements of signaling readouts in the presence and absence of mutations may reveal a rank ordering of responses across conditions but not the precise extents of mutation-induced differences. Qualitative data are often ignored by mathematical modelers or are considered in an ad hoc manner, as in the study of Kocieniewski and Lipniacki (2013) [Phys Biol 10: 035006], which was focused on the roles of MEK isoforms in ERK activation. In this earlier study, model parameter values were tuned manually to obtain consistency with a combination of qualitative and quantitative data. This approach is not reproducible, nor does it provide insights into parametric or prediction uncertainties. Here, starting from the same data and the same ordinary differential equation (ODE) model structure, we generate formalized statements of qualitative observations, making these observations more reusable, and we improve the model parameterization procedure by applying a systematic and automated approach enabled by the software package PyBioNetFit. We also demonstrate uncertainty quantification (UQ), which was absent in the original study. Our results show that PyBioNetFit enables qualitative data to be leveraged, together with quantitative data, in parameterization of systems biology models and facilitates UQ. These capabilities are important for reliable estimation of model parameters and model analyses in studies of cellular regulatory systems and reproducibility.

59 BASIC BIOLOGICAL SCIENCES↗

TChem-atm (v2.0.0): scalable performance-portable multiphase atmospheric chemistry

We present TChem-atm, a performance-portable approach that enables efficient simulation of chemically detailed and multiphase atmospheric chemistry on modern heterogeneous computing architectures. Unlike previous efforts that rely on architecture-specific code or focus exclusively on gas-phase chemistry, TChem-atm supports fully coupled gas–aerosol systems with execution across CPUs, NVIDIA GPUs, and AMD GPUs through the Kokkos programming model. It integrates the flexible multiphase capabilities of the Community Atmospheric Model Chemistry Package (CAMP) with the high-performance kinetic routines of TChem, and includes automatic Jacobian construction with support for a range of stiff ODE solvers. In a proof-of-concept integration with the particle-resolved model PartMC, TChem-atm reproduces the existing PartMC–CAMP implementation within solver tolerances and delivers substantial GPU speedups, especially for large particle populations. Performance benchmarks reveal substantial speedups on GPU platforms, particularly for large particle populations, with consistent results across hardware backends. TChem-atm enables performance-portable execution across CPUs and GPUs, though optimal efficiency may require modest architecture-specific tuning (e.g., team and vector sizes), with up to a twofold improvement on the NVIDIA H100. It directly supports sectional and particle-resolved host models, while modal aerosol schemes require minor adaptation to provide particle-scale quantities such as representative diameters. By enabling chemically detailed, multiphase simulations with performance portability and host-model flexibility, TChem-atm facilitates the incorporation of advanced chemistry into atmospheric models.

Díaz-Ibarra, Oscar Homero [Sandia National Laborat↗

The stability of numerical methods for second order ordinary differential equations

An important characterization of a numerical method for first order ODE's is the region of absolute stability. If all eigenvalues of the linear problem dy/dt = Ay are inside this region, the numerical method is stable. If the second order system d/dt(dy/dt) = 2Ady/dt - By is solved as a first order system, the same result applies to the eigenvalues of the generalized eigenvalue problem (lambda-squared)I 2(lambda)A + B. No such region exists for general methods for second order equations, but in some cases a region of absolute stability can be defined for methods for the single second order equation d/dt(dy/dt) = 2ady/dt - by. The absence of a region of absolute stability can occur when different members of a system of first order equations are solved by different methods.

Gear, C. W.↗

Finite Element Analysis of a Deployable Space Structure

The dynamic characteristics of the Solar Array Flight Experiment (SAFE) structure during deployment and retraction are investigated. The SAFE structure consists of a deployable mast with an attached solar blanket designed with accordion type folds to permit packaging in a small volume. The planar form of the blanket geometry during deployment is maintained by a blanket tension/guidewire system. Structurally, the mast is modeled as an Euler beam column with inplane and out of plane bending and finite torsional stiffness. For out of plane motion, the blanket is modeled as a distributed mass uniformly supported by the three guidewires. For inplane motion the blanket displacements are assumed to vary linearly from the mast base to the mast tip. The mathematical model uses a virtual work formulation, required because the axial loading on the mast is nonconservative, combined with assumed beam modes to derive the differential equations of motion. Consideration of the time dependent boundary conditions results in an infinite set of ODE with time dependent coefficients. Finally, correlation of mast tip accelerations to mast base bending moments for specified modal motions are indicated.

Weeks, G. E.↗

Recent advances in methods for numerical solution of O.D.E. initial value problems

In the mathematical modeling of physical systems, it is often necessary to solve an initial value problem (IVP), consisting of a system of ordinary differential equations (ODE). A typical program produces approximate solutions at certain mesh points. Almost all existing codes try to control the local truncation error, while the user is really interested in controlling the true or global error. The present investigation provides a review of recent advances regarding the solution of the IVP, giving particular attention to stiff systems. Stiff phenomena are customarily defined in terms of the eigenvalues of the Jacobian. There are, however, some difficulties connected with this approach. It is pointed out that an estimate of the Lipschitz constant proves to be a very practical way to determine the stiffness of a problem.

Bui, T. D.↗

Hopf bifurcation with dihedral group symmetry - Coupled nonlinear oscillators

The theory of Hopf bifurcation with symmetry developed by Golubitsky and Stewart (1985) is applied to systems of ODEs having the symmetries of a regular polygon, that is, whose symmetry group is dihedral. The existence and stability of symmetry-breaking branches of periodic solutions are considered. In particular, these results are applied to a general system of n nonlinear oscillators coupled symmetrically in a ring, and the generic oscillation patterns are described. It is found that the symmetry can force some oscillators to have twice the frequency of others. The case of four oscillators has exceptional features.

Golubitsky, Martin↗

Evaluation of three turbulence models for the prediction of steady and unsteady airloads

Two dimensional quasi-three dimensional Navier-Stokes solvers were used to predict the static and dynamic airload characteristics of airfoils. The following three turbulence models were used: the Baldwin-Lomax algebraic model, the Johnson-King ODE model for maximum turbulent shear stress, and a two equation k-e model with law-of-the-wall boundary conditions. It was found that in attached flow the three models have good agreement with experimental data. In unsteady separated flows, these models give only a fair correlation with experimental data.

Wu, Jiunn-Chi↗

Evaluation of three turbulence models for the prediction of steady and unsteady airloads

Two dimensional quasi-three dimensional Navier-Stokes solvers were used to predict the static and dynamic airload characteristics of airfoils. The following three turbulence models were used: the Baldwin-Lomax algebraic model, the Johnson-King ODE model for maximum turbulent shear stress, and a two equation k-e model with law-of-the-wall boundary conditions. It was found that in attached flow the three models have good agreement with experimental data. In unsteady separated flows, these models give only a fair correlation with experimental data.

Wu, Jiunn-Chi↗

Optimal trajectories for the aeroassisted flight experiment

The determination of optimal trajectories for the aeroassisted flight experiment (AFE) is discussed. The intent of this experiment is to simulate a GEO-to-LEO transfer, where GEO denotes a geosynchronous earth orbit and LEO denotes a low earth orbit. The trajectories of an AFE spacecraft are analyzed in a 3D-space, employing the full system of 6 ordinary differential equations (ODEs) describing the atmospheric pass. The atmospheric entry conditions are given, and the atmospheric exit conditions are adjusted. Two possible transfers are considered: (1) indirect ascent to a 178 NM perigee via a 197 NM apogee; and (2) direct ascent to a 178 NM apogee.

Miele, A.↗

Optimal trajectories for the aeroassisted flight experiment. Part 3: Formulation, results, and analysis

The determination of optimal trajectories for the aero-assisted flight experiment (AFE) is investigated. The intent of this experiment is to simulate a GEO-to-LEO transfer, where GEO denotes a geosynchronous Earth orbit and LEO denotes a low Earth orbit. The trajectories of an AFE spacecraft are analyzed in a 3D-space, employing the full system of 6 ODEs describing the atmospheric pass. The atmospheric entry conditions are given, and the atmospheric exit conditions are adjusted in such a way that the following conditions are satisfied: (1) the atmospheric velocity depletion is such that, after exiting, the AFE spacecraft first ascends to a specified apogee and then descends to a specified perigee; and (2) the exit orbital plane is identical with the entry orbital plane. The final maneuver, not analyzed here, includes the rendezvous with and the capture by the space shuttle.

Miele, A.↗