Search NASA⌕ Search

SEARCH · Search NASA

Results for “Dynamic Programming”

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 793 records · Page 44

Dynamics of X-pinches Powered by a Capacitor Bank

X-pinches are formed by crossing two metal wires in the shape of the letter ‘X’ between the electrodes of a pulsed power device. The plasma generated then evolves in complex ways and has been the subject of many experiments and simulations, both as a plasma object and for its use as a source of intense soft x-rays, of interest to high energy density plasma (HEDP) studies. The dynamics of the x-pinch that lead to the emission x-ray photons begin soon after this initial explosive phase, resulting in the formation of a micro z-pinch (≤ 300 µm long, ~100 µm diameter) at the crossing point. If the current is high enough, then a subsonic plasma implosion in the micro z-pinch begins, which creates a high density, high temperature plasma. These x-pinches have been typically studied at the nanosecond time scale (rise-time $τ_r ≤ 100 ns, dI/dt > 1 kA/ns$). The microsecond x-pinch ($I_p~350 kA, τ_{1/4} = 1 µs, 0.3 kA/ns$) allows a different parameter space to be studied that compliments HEDP studies in the nanosecond regime (with an attendant lower hard-radiation hazard) but it also creates plasma conditions that are interesting in their own right, with features that make it a good model for studying the hydrodynamics of astrophysical jets, for example. With high electron density and temperatures pushing close to 0.5 keV, it is relevant for high energy density studies and provides a suitable test bed for the spectroscopy of highly ionized atoms. The aim of the original proposal was to initiate a new experimental plasma research program at Florida A&M University with three main objectives: (1) To create x-pinch plasmas from different materials using a direct capacitor bank discharge and to study the dynamics of the high-density plasmas and their associated soft x-ray emission properties and potential applications. (2) Understanding the nature of the supersonic plasma jets observed in the mid-plane of the microsecond x-pinch and their relevance as a laboratory model for studying astrophysical jets. (3) To provide a research platform to support the education of under-represented undergraduate and graduate students at Florida A&M University and to provide training in high energy density laboratory plasma physics. Each of the main objectives has been met and results of the work have been published in refereed journals or presented at several scientific meetings. A number of students both undergraduate and graduate have participated in the research program in a hands-on way and have thereby acquired training in high energy density physics. The success of the work can also be measured in two PhD dissertations (one of which is still in progress). The acquisition of important research equipment and instrumentation means that the work can continue in some fashion.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

A data-driven linear formulation of the optimal demand response scheduling problem for an industrial air separation unit

Demand response (DR) has become a key element in balancing the power grid as the contribution of time-varying renewable power generation increases. Chemical plants are appealing candidates for DR programs as they offer large, concentrated and flexible loads. DR participation calls for frequent production rate changes over time scales that overlap with the dominant dynamics of the plant. Production scheduling should therefore consider the process dynamics explicitly. Here we present a data-driven approach for modelling the scheduling-relevant dynamics based on historical closed-loop operating data using autoregressive with extra inputs (ARX) models. We introduce a new, linear scheduling problem formulation based on the ARX representation, and demonstrate its implementation on an industrial air separation unit.

42 ENGINEERING↗

Cellular fluidics

The natural world provides many examples of multiphase transport and reaction processes that have been optimized by evolution. These phenomena take place at multiple length and time scales and typically include gas–liquid–solid interfaces and capillary phenomena in porous media. Many biological and living systems have evolved to optimize fluidic transport. However, living things are exceptionally complex and very difficult to replicate, and human-made microfluidic devices (which are typically planar and enclosed) are highly limited for multiphase process engineering. In this paper, we introduce the concept of cellular fluidics: a platform of unit-cell-based, three-dimensional structures—enabled by emerging 3D printing methods—for the deterministic control of multiphase flow, transport and reaction processes. We show that flow in these structures can be ‘programmed’ through architected design of cell type, size and relative density. We demonstrate gas–liquid transport processes such as transpiration and absorption, using evaporative cooling and CO 2 capture as examples. We design and demonstrate preferential liquid and gas transport pathways in three-dimensional cellular fluidic devices with capillary-driven and actively pumped liquid flow, and present examples of selective metallization of pre-programmed patterns. Our results show that the design and fabrication of architected cellular materials, coupled with analytical and numerical predictions of steady-state and dynamic behaviour of multiphase interfaces, provide deterministic control of fluidic transport in three dimensions. Cellular fluidics may transform the design space for spatial and temporal control of multiphase transport and reaction processes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A Generalized Framework for Service Restoration in a Resilient Power Distribution System

An electric power grid is one of the complex infrastructures, and because of its complex nature, there is simply no way that outages can be completely avoided. Thus, a modern society that depends on reliable electric supply requires a resilient electric system that can recover from disruptions while integrating emerging smart grid technologies. Here, this article presents a novel approach for service restoration in a modern power distribution system with controllable switches and distributed generation (DG) resources for any kind of outage. The proposed framework supports both the traditional service restoration using feeder reconfiguration and the grid-forming DG-assisted intentional islands that are dynamically sized using algorithms based on the fault scenario, available resources, and priority of loads. The problem is formulated as a mixed-integer linear program that incorporates critical system connectivity and operating constraints. Simulations are performed to demonstrate the effectiveness of the proposed approach using a large-scale four-feeder 1069-bus three-phase unbalanced distribution test system. It is demonstrated that the framework is effective in utilizing all available resources in quickly restoring the power supply to improve resiliency during extreme events and is scalable for a large-scale unbalanced power distribution system.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Algorithms for Efficient Reproducible Floating Point Summation

We define “reproducibility” as getting bitwise identical results from multiple runs of the same program, perhaps with different hardware resources or other changes that should not affect the answer. Many users depend on reproducibility for debugging or correctness. However, dynamic scheduling of parallel computing resources, combined with nonassociative floating point addition, makes reproducibility challenging even for summation, or operations like the BLAS. We describe a “reproducible accumulator” data structure (the “binned number”) and associated algorithms to reproducibly sum binary floating point numbers, independent of summation order. We use a subset of the IEEE Floating Point Standard 754-2008 and bitwise operations on the standard representations in memory. Our approach requires only one read-only pass over the data, and one reduction in parallel, using a 6-word reproducible accumulator (more words can be used for higher accuracy), enabling standard tiling optimization techniques. Summing n words with a 6-word reproducible accumulator requires approximately 9 n floating point operations (arithmetic, comparison, and absolute value) and approximately 3 n bitwise operations. The final error bound with a 6-word reproducible accumulator and our default settings can be up to 2 29 times smaller than the error bound for conventional (recursive) summation on ill-conditioned double-precision inputs.

Computer Science↗

Agentic AI vs ML-Based Autotuning: A Comparative Study for Loop Reordering Optimization

High Performance Computing (HPC) applications rely heavily on code optimizations to achieve good performance on modern CPU and GPU architectures. Traditional Machine Learning auto-tuning approaches have demonstrated success in exploring high-dimensional spaces, but they often require expensive compile-run evaluations and lack adaptability for large HPC applications. The recent advances in Large Language Models (LLMs) and Agentic AI systems raise intriguing questions about the potential of these approaches to address specific optimization methodologies. This work aims to answer an essential question for the HPC community: “How Agentic AI Systems Compare to Traditional ML Autotuning Techniques?” To address this question, we present a comparative analysis between a traditional ML-based optimization approach and an Agentic AI system, evaluating their respective capabilities and limitations for loop-level optimization. In addition, we introduced a new Agentic AI system named LoopGen-AI using three different Large Language Models: GPT-4.1, Claude 4.0, and Gemini 2.5. A key finding is that LoopGen-AI achieves competitive per-formance with only a few program runs, the reasoning logs from the agents revealed that their decisions rely heavily on the combination of semantic understanding of the target kernel with dynamic feedback from the environment, highlighting a promising new dimension in performance tuning. In contrast, ML-based autotuners focus on statistical exploration, and require orders of magnitude more runs to reach peak performance. Additionally, our analysis shows that prompt engineering, particularly using Persona + Context Manager patterns, significantly impacts the effectiveness of Agentic AI. Our results indicate that while Agentic AI systems are not yet a complete replacement for ML-based autotuners, it can effectively complement traditional methods.

Rosas, Miguel Romero↗

Transportation Energy Analytics Dashboard (TEAD)

The investment decisions within the nation’s transportation sector have traditionally been prioritized and measured against safety and travel efficiency goals. Increasingly, federal, state, and local policies are requiring consideration of energy use and emissions in the design of our transportation infrastructure. Yet the processes, analytics, and knowledge to include these new metrics into transportation decisions are lacking. Although targeted studies and before and after analysis are performed from time to time, no comprehensive real-time monitoring systems provide energy and emissions to the same level as congestion and safety. To address this gap, the Center for Advanced Transportation Technology (CATT Lab) and the Maryland Transportation Institute (MTI) at the University of Maryland (UMD), in partnership with the National Renewable Energy Laboratory (NREL), have developed a Transportation Energy Analytics Dashboard, or TEAD, to raise awareness of the energy and emission impacts to the same level of observability as that of safety and mobility concerns. The overall goal of this project was to develop and demonstrate an online tool to monitor transportation energy use and emissions in real-time and to archive this data for retrospective analysis. By combining surface transportation energy and emissions evaluation capability with more traditional safety, mobility and reliability system evaluation, our goal is for TEAD to create a dynamic new paradigm in transportation systems management and performance analyses, for both real-time traffic operations, and longer-term planning for project and program investment decision-making.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Hybrid EMT-TS Simulation Strategies to Study High Bandwidth MMC-Based HVdc Systems

Modular multilevel converters (MMCs) are widely used in the design of modern high-voltage direct current (HVdc) transmission system. High-fidelity dynamic models of MMCs-based HVdc system require small simulation time step and can be accurately modeled in electro-magnetic transient (EMT) simulation programs. The EMT program exhibits slow simulation speed and limitation on the size of the model and brings certain challenges to test the high-fidelity HVdc model in system-level simulations. This paper presents the design and implementation of a hybrid simulation framework, which enables the co-simulation of the EMT model of Atlanta-Orlando HVdc line and the transient stability (TS) model of the entire Eastern Interconnection system. This paper also introduces the implementation of two high-fidelity HVdc line models simulated at different time steps and discusses a dedicated method for sizing the buffer areas on both sides of the HVdc line. The simulation results of the two HVdc models with different sizes of buffer areas are presented and compared.

Liu, Yuan↗

Many-body Nuclear Dynamics

The principal goal of this work was to better understand the fusion of neutron-rich nuclei a topic relevant to the fields of both nuclear physics and nuclear astrophysics. The work provides insight into the structure and reactions of neutron-rich nuclei namely the extent of their neutron density distribution and its polarizability. By comparing the fusion excitation functions for a chain of isotopes with a common target nucleus changes in the attractive nuclear potential are assessed. This change in the attractive potential is related to changes in the neutron density distribution with increasing number of neutrons or changes in fusion dynamics with increasing neutron number. The impact of the pairing of valence neutrons and protons on the fusion cross-section is also examined. Measurement of an isotopic chain is a powerful tool to address this topic. The experimental program made use of several different accelerator facilities. The core of the experimental work involved experiments at the ReA3 accelerator and the Facility for Rare Isotope Beams (FRIB) situated at Michigan State University, at GANIL, the French national nuclear physics laboratory, and the University of Notre Dame. At ReA3 the degree to which α-clusters associated with fusion of 28,30,32 Si + 28 Si result from the collision dynamics or reflect an initial α-cluster structure was explored. Alpha clusters observed in fusion reactions exceed the predictions of the standard statistical model. This experiment provides a measure of how clusterization is impacted by the increasing neutron-richess of the system. In the experiment at GANIL we investigated fusion in 19 O + 12 C and 20 O + 12 C. This experiment utilized the recently developed active-target detector MuSIC@Indiana. Using this proven, highly efficient, active-target detector we measured the fusion excitation function for these neutron-rich systems. Grounded by these experimental measurements, theoretical models were used to examine the role of unpaired valence neutrons on the fusion cross-section at energies just above the fusion barrier.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Stars in the local galactic thick disc and halo in Gaia EDR3: a catalogue of half a million local main-sequence stars with photometric metallicities

We present a catalogue of 551 214 main-sequence stars in the local (d < 2 kpc) Galactic thick disc and halo, based on a search of stars with large proper motions ($\mu _{\rm tot} \gt 40.0~\rm mas\, yr^{-1}$) in the Gaia Early Data Release 3. We derive photometric metallicity calibrated from the colour–luminosity–metallicity distribution of 20 047 stars with spectroscopic metallicities, collected from various spectroscopic surveys, including SDSS SEGUE/APOGEE, GALAH DR3, and LAMOST DR6. We combine these results to construct an empirical colour–magnitude–metallicity grid, which can be used to estimate photometric metallicities for low-mass metal-poor stars of K and M subtypes from their absolute G magnitude and colour values. We find that low-mass, high-velocity stars in our catalogue share similar kinematics as reported in recent studies of more luminous Galactic halo stars. The pseudo-kinematic analysis of our sample recovers the main local halo structures, including the Gaia–Enceladus Stream and the Helmi stream; aside from these, the local halo stars appear to show a remarkably smooth distribution in velocity space. Since the future Gaia data release will provide radial velocity measurements for only a small number of our sample, our catalogue provides targets of high interest for the future spectroscopic observation programs.

79 ASTRONOMY AND ASTROPHYSICS↗

Spatiotemporal control of structure and dynamics in a polar active fluid

We apply optimal control theory to drive a polar active fluid into new behaviors: relocating asters, reorienting waves, and on-demand switching between states. This study reveals general principles to program active matter for useful functions.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

STEPS: A Portable Numerical Simulation Toolkit for Electrical Power System Dynamic Studies

Numerical simulation is the key technique for large scale power system analysis. Redistribution of global renewable power via international interconnections requires new simulation tools to study the interconnected systems with different nominal frequencies as a whole. In this paper we introduce an open source simulation toolkit for electrical power systems (STEPS) which is hosted at Github. Its kernel is coded in C++ with major functions of power flow and electro-mechanical dynamic simulation. Flexible options are provided and configurable to improve power flow solution and dynamic simulation. Common devices and models are supported in STEPS for AC/DC hybrid system studies. Studies of interconnected systems with different nominal frequencies is supported in STEPS for research of international interconnection. Application program interfaces are provided and wrapped with Python to enable high-level interfaces for general applications. STEPS is thread safe and parallel computation is supported in both kernel and script levels to accelerate simulation. It is portable and works on Windows and GNU/Linux platforms. Cases from small to large scale systems are thoroughly tested to validate the toolkit with commercial packages as benchmarks.

42 ENGINEERING↗

Deep Learning Explicit Differentiable Predictive Control Laws for Buildings

We present a differentiable predictive control (DPC) methodology for learning constrained control laws for unknown nonlinear systems. DPC poses an approximate solution to multiparametric programming problems emerging from explicit nonlinear model predictive control (MPC). Contrary to approximate MPC, DPC does not require supervision by an expert controller. Instead, a system dynamics model is learned from a small dataset of recorded observations of the perturbed system's dynamics and the control law is optimized offline by interaction with the learned system model. The DPC method is based on two sequential steps, i) system identification using a constrained neural state-space model, and ii) optimization of an explicit control law parametrized by another neural network in closed-loop simulation with the identified neural state-space model. The combination of a differentiable closed-loop system and penalty methods for constraint handling of system outputs and inputs allows us to optimize the control law's parameters directly by backpropagating economic MPC loss through the learned system model. By incorporating domain knowledge and leveraging established techniques from optimal control, our method leverages deep neural networks as nonlinear function approximators for system identification and control while avoiding concomitant costs of intractably large datasets, and computationally expensive over-parametrized models. The scalability, data efficiency, and constrained optimal control capability of the proposed DPC method are demonstrated in simulation using a multi-zone building emulator.

Drgona, Jan↗

Using Methyl Bromide for Interspecies Cell–Cell Signaling and As a Reporter in a Model Soil Consortium

Synthetic microbial communities are emerging as model systems for studying consortia-scale phenotypes. To establish synthetic biology tools for studying these communities in hard-to-image environmental materials, we evaluated whether a single member of a model soil consortium (MSC) can be programmed to report on gene expression without requiring matrix disruption. For these studies, we targeted a five member MSC that includes Dyadobacter fermentans, Ensifer adhaerens, Rhodococcus sp003130705, Streptomyces sp001905665, and Variovorax beijingensis. By coupling the expression of a methyl halide transferase to a constitutive promoter, we show that Variovorax beijingensis can be programmed to synthesize methyl halides that accumulate in the soil headspace at levels that are ≥24-fold higher than all other MSC members across a range of environmentally-relevant hydration conditions. We find that methyl halide production can report on a MSC promoter that is activated by changes in water potential, and we demonstrate that a synthetic gas signal can be read out directly using gas chromatography and indirectly using a soil-derived Methylorubrum that is programmed to produce a visual output in response to methyl halides. Finally, these tools will be useful for future studies that investigate how MSC respond to dynamic hydration conditions, such as drought and flood events induced by climate change, which can alter soil water potential and induce the release of stored carbon.

59 BASIC BIOLOGICAL SCIENCES↗

Traversable wormhole dynamics on a quantum processor

The holographic principle, theorized to be a property of quantum gravity, postulates that the description of a volume of space can be encoded on a lower-dimensional boundary. The anti-de Sitter (AdS)/conformal field theory correspondence or duality is the principal example of holography. The Sachdev–Ye–Kitaev (SYK) model of N >> 1 Majorana fermions has features suggesting the existence of a gravitational dual in AdS 2 , and is a new realization of holography. Here, we invoke the holographic correspondence of the SYK many-body system and gravity to probe the conjectured ER=EPR relation between entanglement and spacetime geometry through the traversable wormhole mechanism as implemented in the SYK model. A qubit can be used to probe the SYK traversable wormhole dynamics through the corresponding teleportation protocol. This can be realized as a quantum circuit, equivalent to the gravitational picture in the semiclassical limit of an infinite number of qubits. Here we use learning techniques to construct a sparsified SYK model that we experimentally realize with 164 two-qubit gates on a nine-qubit circuit and observe the corresponding traversable wormhole dynamics. Despite its approximate nature, the sparsified SYK model preserves key properties of the traversable wormhole physics: perfect size winding, coupling on either side of the wormhole that is consistent with a negative energy shockwave, a Shapiro time delay, causal time-order of signals emerging from the wormhole, and scrambling and thermalization dynamics. Our experiment was run on the Google Sycamore processor. By interrogating a two-dimensional gravity dual system, our work represents a step towards a program for studying quantum gravity in the laboratory. Future developments will require improved hardware scalability and performance as well as theoretical developments including higher-dimensional quantum gravity duals and other SYK-like models.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Single electron in a storage ring: a probe into the fundamental properties of synchrotron radiation and a powerful diagnostic tool

An experimental study of undulator radiation generated by a single electron was carried out at the Integrable Optics Test Accelerator (IOTA) storage ring at Fermilab. Photons were detected with a single-photon avalanche diode (SPAD) at an average rate of 20 kHz, corresponding to one detection every few hundred revolutions. Events were continuously recorded by a picosecond event timer for as long as 5 minutes at a time. The collected data were used to directly test the predictions of classical Poisson photostatistics. The study was motivated in part by a previous observation of sub-Poissonian statistics in a similar experiment with synchrotron radiation. In addition, we show that the time series of recorded events can be used to study the synchrotron motion of a single electron, yielding dynamical parameters such as the phase jitter of the radiofrequency cavity and the dependence of the synchrotron period on amplitude. Research plans for further experiments are also discussed.

47 OTHER INSTRUMENTATION↗

Neural Lyapunov Differentiable Predictive Control

We present a learning-based predictive control methodology using the differentiable programming framework with sufficient Lyapunov-based guarantees. The neural Lyapunov differentiable predictive control (NLDPC) learns the policy by constructing a computational graph encompassing the system dynamics, state, and input constraints, and the necessary Lyapunov certification constraints, and thereafter using the automatic differentiation to update the neural policy parameters. In conjunction, our approach jointly learns a Lyapunov function that certifies the regions of state-space with stable dynamics. We also provide an initial condition sampling-based statistical guarantee for the training of NLDPC. Our offline training approach provides a computationally efficient and scalable alternative to classical model predictive control solutions, which now directly comes with Lyapunov based guarantees as shown in this paper. We substantiate the advantages of the proposed approach with simulations to stabilize the double integrator model and on an example of controlling an aircraft model.

Mukherjee, Sayak↗

FTK: A Simplicial Spacetime Meshing Framework for Robust and Scalable Feature Tracking

In this work, we present the Feature Tracking Kit (FTK), a framework that simplifies, scales, and delivers various feature-tracking algorithms for scientific data. The key of FTK is our simplicial spacetime meshing scheme that generalizes both regular and unstructured spatial meshes to spacetime while tessellating spacetime mesh elements into simplices. The benefits of using simplicial spacetime meshes include (1) reducing ambiguity cases for feature extraction and tracking, (2) simplifying the handling of degeneracies using symbolic perturbations, and (3) enabling scalable and parallel processing. The use of simplicial spacetime meshing simplifies and improves the implementation of several feature-tracking algorithms for critical points, quantum vortices, and isosurfaces. As a software framework, FTK provides end users with VTK/ParaView filters, Python bindings, a command line interface, and programming interfaces for feature-tracking applications. We demonstrate use cases as well as scalability studies through both synthetic data and scientific applications including tokamak, fluid dynamics, and superconductivity simulations. We also conduct end-to-end performance studies on the Summit supercomputer. FTK is open sourced under the MIT license: https://github.com/hguo/ftk.

97 MATHEMATICS AND COMPUTING↗