Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - MATRICES”

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 415 records · Page 23

Endpoint Slippage Analysis in the Presence of Impedance Rise and Loss of Active Material

Endpoint slippage analysis can be used to quantify the reduction and oxidation side-reactions occurring in rechargeable batteries. Application of this technique often disregards the interference of additional aging modes, such as impedance rise and loss of active material (LAM). Here, we show that these modes can themselves induce slippage of endpoints, making the direct determination of parasitic reactions more difficult. We provide equations that describe the slippages caused by LAM and impedance rise. We show that these equations can, in principle, account for the contribution of these additional modes to endpoint slippage, enabling “correction” of testing data to quantify the side-reactions of interest. However, the challenge with this approach is that it requires information about the average Li+ content of disconnected active material domains, which is, in many cases, unknowable. The present work explores mathematical connections between measurable quantities (such as capacity fade and endpoint slippages) and the extent of LAM or impedance rise endured by the cell, and discuss how the tracking of endpoints can better serve battery diagnostics.

Rodrigues, Marco-Tulio F. [Argonne National Labora↗

Optimizing Direct Air Capture Solvents to Minimize Energy Consumption of CO 2 Release in a Carbonate Electrolyzer

Addressing climate change by carbon management is critical to achieving the goal of net zero carbon emissions by 2050. In this work, we examined the electrochemically-driven recovery of CO 2 during alkaline solvent regeneration for solvent-based direct air capture. A mathematical model was developed by incorporating carbonate chemistry with water electrolysis to predict the energy consumption per unit of CO 2 released. The predicted results were consistent with the experimental data, in which the experimental work was achieved by characterizing alkalinity and carbon loading values of solvent collected from a flow carbonate electrolyzer. Through this study, we learned that minimizing the energy expended on CO 2 release can be achieved by using an anolyte with a lower alkalinity, increasing the electric charge input to the electrolyzer, and reducing the ohmic resistance of the electrolyzer. Furthermore, using a supporting electrolyte, e.g., Na 2 SO 4 in the present work, effectively compensates for the higher ohmic resistance from using an anolyte with a lower alkalinity.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Continual Load Modelling

Lack of harmonic rich datasets limits the ability to have fine grained load models at grid edge. We aim to develop mathematical models for power electronic based load combinations at grid edge to help replicate current and future evolving load conditions

Vasios, Orestis↗

QCUncertainty/sigma

Sigma is a header-only C++ library for uncertainty propagation throughout mathematical operations on floating point values.

Waldrop, Jonathan M.↗

Radsource Mr: Mixed Reality Planning Tool For Radioactive Recovery

The RadSource MR system leverages Meta Quest 3's advanced mixed reality capabilities to create a comprehensive spatial planning platform for end-of-life sealed radioactive source recovery operations. The application utilizes the Quest 3's high-resolution passthrough cameras and spatial mapping algorithms to generate accurate 3D environmental models. Core technical components include: (1) Real-time spatial measurement algorithms calculating distances, angles, slopes, and surface areas with sub-centimeter accuracy; (2) Virtual object placement system allowing users to position digital representations of recovery equipment (trailers, containment vessels, protective barriers) within the real environment; (3) Voice recording and annotation system for hands-free documentation in protective equipment; (4) 3D mesh capture and storage capabilities for post-operation analysis and regulatory documentation. (5) Procedure documentation is available for viewing in Mixed Reality, providing an innovative and convenient way to access the information during pre-visit and inspection activities. (6) Support for screen capture for the view for real world and virtual objects together to use it later for planning. The system integrates computer vision techniques for environmental understanding, spatial mathematics for precise measurements, and human-computer interaction principles optimized for hazardous environment operations. Data persistence allows teams to save and share planning sessions across multiple stakeholders while maintaining operational security requirements.

Khadka, Rajiv [Idaho National Laboratory (INL), Id↗

pycalceff

A Python project for calculating (binomial) efficiencies and their uncertainties. The mathematical theory and derivation of the formulas can be found in FERMILAB-TM-2286-CD. If you use this software for published work, please cite this note. The default algorithm for finding the shortest interval is based on Hyndman, R. J. (1996). Computing and graphing highest density regions, The American Statistician, 50(2), 120-126.

Paterno, Marc [Fermi National Accelerator Laborato↗

buhito

buhito is a Python library for graph analysis and machine learning. Graphs can represent networks with objects as nodes and their relationships as edges. buhito focuses on graphlet methods that study graphs through enumerating their component subgraphs to enable interpretable and fast models of complex systems. The package provides tools for different algorithmic designs for computing, analyzing, and applying graphlets to research problems such as machine learning, data compression, and anomaly detection in graph-structured data. A central feature is performing decomposition data analysis on graphs for machine learning models. Implemented in Python and built upon open-source scientific libraries such as NetworkX, NumPy, and SciPy, buhito provides high-performance methods for researchers exploring the mathematical and computational foundations of graphlet analysis applicable to systems of different sizes.

Pimonova, Yulia↗

SOHIP Abel Transform and Onion Peeling Model Module

This software provides tools for analyzing and modeling physical systems using mathematical transforms and layered models. It includes (1) functions for performing the Abel transform, which is used to relate measurements of bending angles to properties such as refractive index and radius in a medium. The code can compute bending angles from input profiles and also reconstruct these profiles from observed data; (2) the functions for modeling systems with multiple layers using an onion-peeling approach, allowing users to simulate and analyze the behavior of layered materials or structures. These capabilities are useful for researchers and engineers working in fields such as optics, atmospheric science, and materials analysis, enabling them to interpret and model data from experiments or simulations relates to refraction in spherical symmetric medium.

Xu, Shuang [Lawrence Livermore National Laboratory↗

torch-einshard v1.0

torch-einshard is a Python library for describing local and distributed PyTorch tensor computations with compact, einsum-like notation. Its expressions name logical axes, specify how they are sharded across a PyTorch DeviceMesh, and represent partial reductions. The library automatically performs contractions, permutations, reshaping, splitting, gathering, reduction, reduce-scatter, and repartitioning while preserving autograd. Additional features include sharding-aware FFTs, tensor rolls, halo exchange, sliding windows, 1D–3D convolutions, uneven-shard handling, parameter initialization and gradient management, and cost-based execution planning. It is designed for scientific machine learning and large-model workloads, including tensor-, sequence-, and spatial-parallel MLPs, attention, convolutions, and spectral operations. Compared with manually combining torch.einsum and distributed collectives, torch-einshard expresses both the mathematical operation and data placement in one readable formula. This reduces boilerplate and synchronization errors, keeps forward and backward communication consistent, and allows the library to select optimized collective strategies without changing model code.

Morozov, Dmitriy [Lawrence Berkeley National Labor↗

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]↗

V-HAMSTeR v1.0.0

V-HAMSTeR is a bioinformatics software tool designed to predict the hosts of viruses directly from genomic sequences. It can be used by researchers to predict animal, prokaryotic, plant, protist or fungal viral hosts including viruses that may be fragmented or discovered in environmental metagenomic datasets. Features & Uses: The software employs a novel dual-stream deep learning architecture that dynamically fuses implicit sequence embeddings from a genomic foundation model with 13 explicit, handcrafted biological features (e.g., coding density and strand switch rates). To ensure maximum reliability, V=HAMSTeR deploys a 5-fold deep ensemble calibrated via Joint Temperature Scaling, providing users with statistically rigorous confidence probabilities. It also features an automated sequence chunking and mean-pooling module to seamlessly process variable-length contigs. Advantages Over Similar Technologies: Existing tools (e.g., IPEV, RNAVirHost) typically rely on either basic k-mers or isolated neural networks. V-HAMSTeR's hybrid architecture captures both broad genomic context and specific biological motifs that standalone foundation models often miss. Furthermore, unlike competitor tools that struggle with incomplete data or exhibit extreme overconfidence, V-HAMSTeR is explicitly benchmarked and mathematically calibrated for fragmented assemblies (1kb–10kb). This makes it uniquely robust, accurate, and trustworthy for the messy reality of real-world environmental viromics.

Grigson, Susie [Lawrence Berkeley National Laborat↗

Temporal light modulation: A phantom array visibility measure

At temporal light modulation (TLM) frequencies between 80 Hz and 20 000 Hz observers may perceive a series of repeated images called the phantom array effect (PAE) when they move their eyes in large saccades across a modulating light source or across a scene lit by the modulating light source. To date, there is no well-established measure for quantifying PAE visibility, but there is growing awareness of the need for one among design professionals and sensitive populations. This paper documents a new measure, the phantom array visibility measure (PAVM), which is based on the results of recent human factors experiments. The measure follows the mathematical underpinning used by the flicker visibility measure and the stroboscopic visibility measure, where the time-domain TLM waveform is converted into its Fourier frequency components; each component is evaluated through a threshold curve of modulation depth, then summed through an equation employing a Minkowski exponent. This scales the PAVM so that a value of 1 indicates a waveform at a threshold visibility in the conditions of the underlying experiment.

Tan, J.↗

Application of physics-informed neural networks (PINNs) solution to coupled thermal and hydraulic processes in silty sands

Abstract The accurate modeling of water and heat transport in soils is crucial for both geo-environmental and geothermal engineering. Traditional modeling methods are problematic because they require well-defined boundaries and initial conditions. Recently, physics-informed neural networks (PINNs), which incorporate partial differential equations (PDEs) to solve forward and inverse problems, have attracted increasing attention in machine learning research. In this study, we applied PINNs to tackle hydraulic and thermal transport coupling forward problems in silty sands. A fully connected deep neural network was utilized for training. This neural network model leverages automatic differentiation to apply the governing equations as constraints, based on the mathematical approximations established by the neural network itself. We conducted forward problems and compared the solutions derived from PINNs with those from Finite Element Method (FEM) simulations. The forward problem results demonstrate the PINNs model’s capability in predicting hydraulic transport, heat transport, and thermal–hydraulic coupling in silty sands under various boundary conditions. The PINNs exhibited great performance in simulating the thermal–hydraulic coupling problem. The accuracy of the PINNs solutions shows its potential for simulation in geotechnical engineering.

Feng, Yuan↗

Decision-making based on Markov decision process in integrated artificial reasoning framework—Part I: Theory

This paper presents a decision-making framework based on an integrated artificial reasoning framework and Markov decision process (MDP). The integrated artificial reasoning framework provides a physics-based approach that converts system information into state transition models, and the analysis result will be represented by the transition probabilities that can be used with an MDP to find a traceable and explainable optimal pathway. A dynamic Bayesian network (DBN) is well suited for representing the structure of an MDP. The causality information among process variables (or among subsystems) is mathematically represented in a DBN by the conditional probabilities of the node’s states provided different probabilities of the parent node’s states. To define node states in a physically understandable manner, we used multilevel flow modeling (MFM). An MFM follows the fundamental energy and mass conservation laws and supports the selection of process variables that represent the system of interest so that causal relations among process variables are properly captured. An MFM-based DBN supports developing state transition models in an MDP to capture the effect of process variables of system having physical relations. The operators of the target system can capture stochastic system dynamics as multiple subsystem state transitions based on their physical relations and uncertainties coming from component degradation or random failures. We analyzed a simplified exemplary system to illustrate an optimal operational policy using the suggested approach.

Markov decision process↗

Birefringence axis rotation and nonlinear response of a side-hole fiber pressure sensor

The pressure-induced birefringence of side-hole fibers has been widely explored for hydrostatic pressure measurement. Here, this paper studies the effects of the initial birefringence of a side-hole fiber on the pressure response of polarimetric sensors based on side-hole fibers. A mathematical model, where the stress field induced by the pressure is assumed to be uniform in the core region of the fiber, was established to calculate the birefringence and optical axis rotation as a function of the differences between the two principal stress components of the stress field in the core region. Simulation results show that when there is misalignment between the initial birefringence axes and the principal axes of the stress field, pressure changes cause rotations of the birefringence axis, leading to complicated and nonlinear changes of birefringence as a function of pressure. Experiments were conducted using fiber-Bragg-grating-based resonators on side-hole fibers with different initial birefringence, and the results agree well with the simulation. The results underscore the importance of the control of magnitude and direction of the initial birefringence of the side-hole fiber and provide guidelines for the design and fabrication of side-hole fiber pressure sensors.

42 ENGINEERING↗

Surface orientation ambiguity for single molecules at dielectric interfaces

Fluorescent molecules emit light in a dipole radiation pattern that can be used to infer their orientation through defocused fluorescence microscopy. Proper measurement of the orientation requires mathematical modeling of the radiation pattern expected for a dipole in the geometry of interest and subsequent comparison against experimental data. We point out an ambiguity in common calculations of these patterns that appears to compromise orientation measurements for molecules that are especially near dielectric surfaces. This results in a rotation of the measured emission dipole toward the surface for near-interface molecules, which can be mistaken for a preferentially horizontal orientation among the emitters. The proper treatment for on-surface emitters requires consideration of finite-sized current elements between two dielectric media, and we show that the theoretical ambiguity can be lifted via finite-element modeling. A prescription is provided for correcting measured orientations at arbitrary interfaces.

Dey, E. [University of Texas, Arlington, TX (Unite↗

Homomorphic data compression for real time photon correlation analysis

The construction of highly coherent X-ray sources, combined with next-generation detectors that are larger and faster, has enabled new research opportunities across the scientific landscape. Among the techniques that benefit most from these advancements is X-ray photon correlation spectroscopy (XPCS), where faster acquisition unlocks the ability to study faster dynamics within samples. However, faster acquisition on larger detectors also introduces unprecedented challenges for online data processing and offline data storage. Such challenges are particularly prominent for XPCS, where real time analyses require simultaneous calculation of all the previously acquired data in the time series. We present a homomorphic compression scheme to effectively reduce the computational time and memory space required for XPCS analysis. Leveraging similarities in the mathematical expression between a matrix-based compression algorithm and the correlation calculation, our approach allows direct operation on the compressed data without their decompression. The offline compression scheme extends storage capacity by a factor of 40 while preserving key features in the lossy compressed data. Meanwhile, the online compression scheme reduces the computational time to below 1 ms, enabling real time calculation of the correlation functions at kHz framerate. Our demonstration of a homomorphic compression of scientific data provides an effective solution to the big data challenge at coherent light sources. Beyond the example shown in this work, the framework can be extended to facilitate real-time operations directly on a compressed data stream for other techniques.

36 MATERIALS SCIENCE↗