Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - CALCUS, OPERATIONAL”

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 307 records · Page 17

Binary operations on neuromorphic hardware with application to linear algebraic operations and stochastic equations

Abstract Non-von Neumann computational hardware, based on neuron-inspired, non-linear elements connected via linear, weighted synapses—so-called neuromorphic systems—is a viable computational substrate. Since neuromorphic systems have been shown to use less power than CPUs for many applications, they are of potential use in autonomous systems such as robots, drones, and satellites, for which power resources are at a premium. The power used by neuromorphic systems is approximately proportional to the number of spiking events produced by neurons on-chip. However, typical information encoding on these chips is in the form of firing rates that unarily encode information. That is, the number of spikes generated by a neuron is meant to be proportional to an encoded value used in a computation or algorithm. Unary encoding is less efficient (produces more spikes) than binary encoding. For this reason, here we present neuromorphic computational mechanisms for implementing binary two’s complement operations. We use the mechanisms to construct a neuromorphic, binary matrix multiplication algorithm that may be used as a primitive for linear differential equation integration, deep networks, and other standard calculations. We also construct a random walk circuit and apply it in Brownian motion simulations. We study how both algorithms scale in circuit size and iteration time.

97 MATHEMATICS AND COMPUTING↗

Bilinear dynamic mode decomposition for quantum control

Abstract Data-driven methods for establishing quantum optimal control (QOC) using time-dependent control pulses tailored to specific quantum dynamical systems and desired control objectives are critical for many emerging quantum technologies. We develop a data-driven regression procedure, bilinear dynamic mode decomposition (biDMD), that leverages time-series measurements to establish quantum system identification for QOC. The biDMD optimization framework is a physics-informed regression that makes use of the known underlying Hamiltonian structure. Further, the biDMD can be modified to model both fast and slow sampling of control signals, the latter by way of stroboscopic sampling strategies. The biDMD method provides a flexible, interpretable, and adaptive regression framework for real-time, online implementation in quantum systems. Further, the method has strong theoretical connections to Koopman theory, which approximates nonlinear dynamics with linear operators. In comparison with many machine learning paradigms minimal data is needed to construct a biDMD model, and the model is easily updated as new data is collected. We demonstrate the efficacy and performance of the approach on a number of representative quantum systems, showing that it also matches experimental results.

97 MATHEMATICS AND COMPUTING↗

Entropy Stable Staggered Grid Spectral Collocation for the Burgers' and Compressible Navier-Stokes Equations

Staggered grid, entropy stable discontinuous spectral collocation operators of any order are developed for Burgers' and the compressible Navier-Stokes equations on unstructured hexahedral elements. This generalization of previous entropy stable spectral collocation work [1, 2], extends the applicable set of points from tensor product, Legendre-Gauss-Lobatto (LGL) to a combination of tensor product Legendre-Gauss (LG) and LGL points. The new semi-discrete operators discretely conserve mass, momentum, energy and satisfy a mathematical entropy inequality for both Burgers' and the compressible Navier-Stokes equations in three spatial dimensions. They are valid for smooth as well as discontinuous flows. The staggered LG and conventional LGL point formulations are compared on several challenging test problems. The staggered LG operators are significantly more accurate, although more costly to implement. The LG and LGL operators exhibit similar robustness, as is demonstrated using test problems known to be problematic for operators that lack a nonlinearly stability proof for the compressible Navier-Stokes equations (e.g., discontinuous Galerkin, spectral difference, or flux reconstruction operators).

Carpenter, Mark H.↗

Applied Risk Analysis for Guiding Homeland Security Policy

Risk analysis methods may be qualitative, semi-quantitative, or quantitative; adopt probabilistic and statistical theories; and implement concepts from core disciplines including operations research, reliability engineering, systems engineering, and applied mathematics. These methods continue to develop and evolve and have successfully been applied to address various homeland security mission challenges in recent years. The objective of this book is to: 1) highlight the role of risk analysis for informing homeland security policy decisions, and 2) describe case studies from academia, government, and industry that apply risk analysis methods for addressing challenges within each of the DHS missions.

national security, risk assessment, risk managemen↗

Melting rate correlation with batch properties and melter operating conditions during conversion of nuclear waste melter feeds to glasses

The rate of conversion of nuclear waste melter feed to glass is affected by the selection of melter feed materials and by melter design and operation. The melting rate correlation (MRC) is an equation that relates the glass production rate with two types of variables: (1) feed and melt properties: conversion heat, cold-cap bottom temperature, and glass melt viscosity; and (2) melter design and operation parameters: melter geometry, melter operating temperature, and gas bubbling rate. The MRC shows good agreement for an extended melting-rate data set of high-level waste (HLW) melter feeds and a data set generated for low-activity waste (LAW) melter feeds. Laboratory observation of heated melter feed samples is often used to assess the cold-cap bottom temperature of HLW melter feeds (moderately foaming feeds), but this technique appears inadequate for LAW melter feeds (vigorously foaming feeds). For LAW feeds, an adequate assessment of the cold-cap bottom temperature was achieved using evolved gas analysis, which allows identification of the collapse of primary foam for oxidized feeds. This assessment shows that the cold-cap bottom temperature for vigorously foaming LAW feeds is higher than that for moderately foaming HLW feeds. When the results of MRC are compared, LAW feeds are generally less sensitive to the bubbling rate and melt viscosity, and more sensitive to the cold-cap bottom temperature than HLW feeds. The MRC qualifies as a promising tool to support the selection of melter feed materials and melter operating conditions, which is determined from expensive independent scaled melter experiments, and sophisticated mathematical models.

Lee, Seung Min↗

Computer prediction of three-dimensional potential flow fields in which aircraft propellers operate

A computer program was developed to calculate the three dimensional, steady, incompressible, inviscid, irrotational flow field at the propeller plane (propeller removed) located upstream of an arbitrary airframe geometry. The program uses a horseshoe vortex of known strength to model the wing. All other airframe surfaces are modeled by a network source panels of unknown strength which is exposed to a uniform free stream and the wing-induced velocity field. By satisfying boundary conditions on each panel (the Neumann problem), relaxed boundary conditions being used on certain panels to simulate inlet inflow, the source strengths are determined. From the known source and wing vortex strengths, the resulting velocity fields on the airframe surface and at the propeller plane are obtained. All program equations are derived in detail, and a brief description of the program structure is presented. A user's manual which fully documents the program is cited. Computer predictions of the flow on the surface of a sphere and at a propeller plane upstream of the sphere are compared with the exact mathematical solutions. Agreement is good, and correct program operation is verified.

Jumper, S. J.↗

Two dimensional convolute integers for machine vision and image recognition

Machine vision and image recognition require sophisticated image processing prior to the application of Artificial Intelligence. Two Dimensional Convolute Integer Technology is an innovative mathematical approach for addressing machine vision and image recognition. This new technology generates a family of digital operators for addressing optical images and related two dimensional data sets. The operators are regression generated, integer valued, zero phase shifting, convoluting, frequency sensitive, two dimensional low pass, high pass and band pass filters that are mathematically equivalent to surface fitted partial derivatives. These operators are applied non-recursively either as classical convolutions (replacement point values), interstitial point generators (bandwidth broadening or resolution enhancement), or as missing value calculators (compensation for dead array element values). These operators show frequency sensitive feature selection scale invariant properties. Such tasks as boundary/edge enhancement and noise or small size pixel disturbance removal can readily be accomplished. For feature selection tight band pass operators are essential. Results from test cases are given.

Edwards, Thomas R.↗

Data assimilation in operator algebras

We develop an algebraic framework for sequential data assimilation of partially observed dynamical systems. In this framework, Bayesian data assimilation is embedded in a nonabelian operator algebra, which provides a representation of observables by multiplication operators and probability densities by density operators (quantum states). In the algebraic approach, the forecast step of data assimilation is represented by a quantum operation induced by the Koopman operator of the dynamical system. Moreover, the analysis step is described by a quantum effect, which generalizes the Bayesian observational update rule. Projecting this formulation to finite-dimensional matrix algebras leads to computational schemes that are i) automatically positivity-preserving and ii) amenable to consistent data-driven approximation using kernel methods for machine learning. Moreover, these methods are natural candidates for implementation on quantum computers. Applications to the Lorenz 96 multiscale system and the El Niño Southern Oscillation in a climate model show promising results in terms of forecast skill and uncertainty quantification.

97 MATHEMATICS AND COMPUTING↗

Computer assisted thermal-vacuum testing

In testing complex systems and components under dynamic thermal-vacuum environments, it is desirable to optimize the environment control sequence in order to reduce test duration and cost. This paper describes an approach where a computer is utilized as part of the test control operation. Real time test data is made available to the computer through time-sharing terminals at appropriate time intervals. A mathematical model of the test article and environmental control equipment is then operated on using the real time data to yield current thermal status, temperature analysis, trend prediction and recommended thermal control setting changes to arrive at the required thermal condition. The data acquisition interface and the time-sharing hook-up to an IBM-370 computer is described along with a typical control program and data demonstrating its use.

Petrie, W.↗

Applications of physics informed neural operators

Abstract We present a critical analysis of physics-informed neural operators (PINOs) to solve partial differential equations (PDEs) that are ubiquitous in the study and modeling of physics phenomena using carefully curated datasets. Further, we provide a benchmarking suite which can be used to evaluate PINOs in solving such problems. We first demonstrate that our methods reproduce the accuracy and performance of other neural operators published elsewhere in the literature to learn the 1D wave equation and the 1D Burgers equation. Thereafter, we apply our PINOs to learn new types of equations, including the 2D Burgers equation in the scalar, inviscid and vector types. Finally, we show that our approach is also applicable to learn the physics of the 2D linear and nonlinear shallow water equations, which involve three coupled PDEs. We release our artificial intelligence surrogates and scientific software to produce initial data and boundary conditions to study a broad range of physically motivated scenarios. We provide the source code , an interactive website to visualize the predictions of our PINOs, and a tutorial for their use at the Data and Learning Hub for Science .

97 MATHEMATICS AND COMPUTING↗

2025 Large Load Literature Review

This literature review catalogs more than 90 publications focused on large loads, and groups the documents and resources thematically into 12 categories, (listed below). The 2026 Large Load Literature Review and Data Sources summary reports are available here: https://emp.lbl.gov/publications/2026-large-load-literature-review -Load forecasting -Data sources -Reliability and resource adequacy -Large load interconnection -Demand flexibility -Generation -Co-location -Data center location/infrastructure -Large load tariffs -Policy options -Maps and tools -Design and operations

97 MATHEMATICS AND COMPUTING↗

A material selection method based on material properties and operating parameters

The influence of strength, fracture toughness, and crack growth resistance on the design stress level has been determined from a mathematical model of crack growth and failure. The results show that to select materials properly, the operating parameters of desired life and initial flaw size must be considered simultaneously with the material properties. To do this, a method for constructing an operating surface is derived, discussed, and illustrated.

Elber, W.↗

Brochure on the 2024 ASCR Workshop on Analog Computing for Science

Analog computing fundamentally differs from digital by representing data with fully continuous physical quantities, such as voltages, probabilities, chemical concentrations, or light intensities, rather than encoding values in discrete binary states. While digital computing has historically excelled in precision, scalability, and noise resistance, newer analog approaches are gaining interest for their potential to dramatically improve energy efficiency and processing speed. Analog systems can inherently solve mathematical problems through their physical behavior and offer distinct advantages in scenarios where continuous operations are more effective than Boolean logic.

97 MATHEMATICS AND COMPUTING↗

Analytical modeling for redox flow battery design

Deeper market penetration of redox flow batteries requires optimization of the cell performance. Though important for optimization, detailed analytical solutions have not been developed for electrolyte flow, mass and charge transport, and reaction kinetics within redox flow batteries. To this end, here we present analytical solutions to active species concentration and over-potential based on advection-diffusion transport for ions and Bulter-Volmer model for interface reaction kinetics. The solutions were validated with results from a finite element model. These solutions were then applied to investigate the relationship between over-potential and state of charge, current density, reaction rate constant, flow velocity, diffusivity, total active species concentration, and electrode structure. Explicit formulas were identified for minimum activation over-potential and limiting current density as well as their dependence on electrolyte properties, operation conditions, and electrode structure. With our new mathematical formulas, this work provides a theoretical framework for flow battery design.

25 ENERGY STORAGE↗

Theories and Constraints for Massive Higher Spins (Final Technical Report)

The goal of this project was to develop methods for constraining the scattering amplitudes of interacting theories containing massive higher spin particles, and to apply these methods to search for, constrain, and apply theories containing massive high spins. During the 3 year term of the project, 15 papers containing results from the project were published in peer reviewed journals. Highlights of these results include: proofs of the best possible strong coupling scales for theories with massive spin 2 particles, causality constraints on couplings in such theories, the discovery of new effective field theories with extended shift symmetries on curved space, the discovery of a new symmetry of the decoupling limit of massive gravity, a study of the possible shapes of graviton non-gaussianities during inflation, classification results of supersymmetric partially massless fields, and the development of the geometric bootstrap, a novel method to generate new mathematical results about the spectrum of various Laplacian operators on closed Einstein manifolds.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Analysis of pressure spectra measurements in a ducted combustion system

Combustion noise propagation in an operating ducted liquid fuel combustion system is studied in relation to the development of combustion noise prediction and suppression techniques. The presence of combustor emissions in the duct is proposed as the primary mechanism producing the attenuation and dispersion of combustion noise propagating in an operating liquid fuel combustion system. First, a complex mathematical model for calculating attenuation and dispersion taking into account mass transfer, heat transfer, and viscosity effects due to the presence of liquid fuel droplets or solid soot particles is discussed. Next, a simpler single parameter model for calculating pressure auto-spectra and cross-spectra which takes into account dispersion and attenuation due to heat transfer between solid soot particles and air is developed. Then, auto-spectra and cross-spectra obtained from internal pressure measurements in a combustion system consisting of a J-47 combustor can, a spool piece, and a long duct are presented. Last, analytical results obtained with the single parameter model are compared with the experimental measurements. The single parameter model results are shown to be in excellent agreement with the measurements.

Miles, J. H.↗