Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematical Methods”

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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL

The clean energy transformation includes the integration of distributed energy resources with the power grid, which has led to a substantial increase in the complexity of power grids infrastructure and the underlying operational technology environment. Power grids infrastructure represents an operational technology environment that has become a system of systems, integrating heterogeneous devices which are both software-and hardware-intensive; as a result, there are increasing demands to exploit advances in the commodity of software-hardware infrastructures to improve energy systems requirements such as cybersecurity and resilience. In such a setting, system requirements at different levels mix, which leads to vulnerabilities and undesirable outcomes. The use of formal methods to characterize and prove system requirements removes ambiguity, increases automation, and provides high levels of assurance and reliability. In this paper, we contribute a methodology and a framework for the system-level verification of zero trust architecture requirements in operational technology environments. We define a formal specification for the core functionalities of operational technology environments, the corresponding invariants, and security proofs. Of particular note is our modular approach for the formal verification of asynchronous interactions in operational technology environments. The formal specification and the proofs have been mechanized using the interactive theorem proving environment Isabelle/HOL.

formal methods↗
DOE OSTI2024

Exact-Two-Component Complete Active Space Method with Variational Treatment of Magnetic Field and Spin–Orbit Coupling: Application to X-ray Magnetic Circular Dichroism Spectroscopy

We introduce an exact-two-component complete active space self-consistent-field (X2C-CASSCF) method formulated under the restricted-magnetic-balance condition. This framework allows for the nonperturbative treatment of static magnetic fields using gauge-including atomic orbitals (GIAOs). The GIAO-X2C-CASSCF methodology effectively captures all microstates within the same 2J + 1-degenerate manifold and their splitting in a static magnetic field, which are not accessible through single-reference-based methods. We also present mathematical recursive expressions for evaluating one-electron relativistic integrals by using GIAOs in the presence of a finite magnetic field. Benchmark studies include oxygen and nitrogen K-edge X-ray magnetic circular dichroism spectroscopy (XMCD) for closed-shell organic compounds, as well as L-edge XMCD spectroscopy for the high-spin open-shell transition metal ion Mn 2+ and the tetrahedral Mn(II)O 4 6– complex.

Chemical calculations↗
DOE OSTI2025

Zero curvature is a necessary and sufficient condition for a spin-orbital decomposition

There has been an extended debate regarding the existence of a spin-orbital decomposition of the angular momentum of photons and other massless particles. It was recently shown that there are both geometric and topological obstructions preventing any such decomposition. Here we show that any geometric connection on a particle’s state space induces a splitting of the angular momentum into two operators. These operators are well-defined angular momentum operators if and only if the connection has zero curvature. Massive particles have two canonical curved connections corresponding to boosts and rotations, respectively. Furthermore, these can be uniquely combined to produce a flat connection, and this gives a novel derivation of the Newton-Wigner position operator and the corresponding spin and orbital angular momenta for relativistic massive particles. When the mass is taken to zero, transverse boosts and rotations degenerate, leaving only a single connection for massless particles. This connection produces a commonly proposed splitting of the massless angular momentum into two operators. However, the connection is not flat, explaining why these operators do not satisfy the angular momentum commutation relations and are thus not true spin and orbital angular momentum operators.

Angular momentum↗
DOE OSTI2025

Loop-string-hadron approach to SU(3) lattice Yang-Mills theory: Hilbert space of a trivalent vertex

The construction of gauge-invariant states of SU(3) lattice gauge theories has garnered new interest in recent years, but implementing them is complicated by the need for SU(3) Clebsch-Gordon coefficients. In the loop-string-hadron (LSH) approach to lattice gauge theories, the elementary excitations are strictly gauge invariant, and constructing the basis requires no knowledge of Clebsch-Gordon coefficients. Originally developed for SU(2), the LSH formulation was recently generalized to SU(3), but limited to one spatial dimension. In this work, we generalize the LSH approach to constructing the basis of SU(3) gauge-invariant states at a trivalent vertex—the essential building block to multidimensional space. A direct generalization from the SU(2) vertex yields a legitimate basis; however, in certain sectors of the Hilbert space, the naive LSH basis vectors so defined suffer from being nonorthogonal. The issues with orthogonality are directly related to the “missing label” or “outer multiplicity” problem associated with SU(3) tensor products and may also be phrased in terms of Littlewood-Richardson coefficients or the need for a “seventh Casimir” operator. The states that are unaffected by the problem are orthonormalized in closed form. For the sectors that are afflicted, we discuss the nonorthogonal bases and their orthogonalization. A few candidates for seventh Casimir operators are readily constructed from the suite of LSH gauge-singlet operators. The diagonalization of a seventh Casimir represents one prescriptive solution toward obtaining a complete orthonormal basis, but a closed-form general solution remains to be found. Published by the American Physical Society 2025

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

CUDO: closed-form universal dwell-time optimization for computer-controlled optical surfacing

Precision optical figuring demands fast and accurate dwell time optimization to reach nanometer- and sub-nanometer-level accuracy in next-generation optical systems. We introduce CUDO (closed-form universal dwell-time optimization), the first, to the best of our knowledge, unified closed-form analytical framework that supports both function-form and matrix-form dwell time models in computer-controlled optical surfacing (CCOS). In contrast to traditional methods, which rely on iterative optimization and hyperparameter tuning, our framework derives direct analytical solutions with no adjustable parameters. This approach unifies the solution principles of existing methods within a single mathematical model, delivering three key advantages: (1) accuracy on par with, or superior to, iterative solvers, (2) substantial reduction in computation time, and (3) numerical robustness. Comparative studies with prior art confirm that closed-form solutions achieve equivalent residual error while removing runtime bottlenecks. By simplifying the implementation and enabling real-time, scalable deployment, CUDO establishes a practical foundation for future deterministic fabrication of large-aperture and high-performance optics.

36 MATERIALS SCIENCE↗
NASA NTRS1972

The effect of multiple encounters on short period comet orbits

The observed orbital elements of short period comets are found to be consistent with the hypothesis of derivation from long period comets as long as two assumptions are made. First, the distribution of short period comets has been randomized by multiple encounters with Jupiter and second, the short period comets have lower velocities of encounter with Jupiter than is generally expected. Some 16% of the observed short period comets have lower encounter velocities than is allowed mathematically using Laplace's method. This may be due to double encounter processes with Jupiter and Saturn, or as a result of prolonged encounters. The distribution of unobservable short period comets can be inferred in part from the observed comets. Many have orbits between Jupiter and Saturn with somewhat higher inclinations than those with perihelions near the earth. Debris from those comets may form the major component of the zodiacal dust.

Lowrey, B. E.↗
NASA NTRS1972

A critical discussion of theories of flame spread across solid and liquid fuels.

Mathematical descriptions of flames spreading over liquid and solid fuels are obtained, using basic assumptions derived from observations or physical reasoning. A review of existing theories shows that they are incomplete in that they either treat an uncoupled problem of the condensed phase where the spreading rate and heat flux at the surface are given, or they merely determine the spreading rate in terms of a new vaguely defined eigenvalue. An important difference between the liquid and solid cases, due to convection, is pointed out, and it is shown that solid-fuel flame-spread theories which claim to apply to the liquid case, in reality do not apply to it. A mathematical formulation and a method of solution are presented for the phenomenon of flame spread over solid fuels with forward heat conduction in both the solid and the gas. The method uses an energy integral over the field to determine the spreading rate in terms of the basic properties of the fuel and air.

Sirignano, W. A.↗
NASA NTRS1973

The effect of multiple encounters on short-period comet orbits.

The observed orbital elements of short-period comets are found to be consistent with the hypothesis of derivation from long-period comets as long as two assumptions are made. First, the distribution of short-period comets has been randomized by multiple encounters with Jupiter and second, the short-period comets have low velocities of encounter with Jupiter. Some 16% of the observed short-period comets have lower encounter velocities than is allowed mathematically using Laplace's method. This may be due to double-encounter processes with Jupiter and Saturn. The distribution of unobservable short-period comets can be inferred in part from the observed comets. It is shown that there may be many short-period comets having orbits between Jupiter and Saturn with somewhat higher inclinations than those with perihelia near the earth.

Lowrey, B. E.↗
NASA NTRS1973

Synthesis of vibration dampers

A method which uses a mathematical accelerometer is proposed for determining the 3rd derivative of the displacement in shock absorbers.

Kamayev, V. A.↗
NASA NTRS1978

A simple method for designing structural models with closely spaced modes of vibration

A simple method for designing a mathematical model with closely spaced vibration modes is described. The design process begins with a reference model having specified geometry, continuous inertia and stiffness distributions, and degrees of freedom, all of which remain unchanged. Two natural frequencies of this model are then forced together by means of systematic perturbation of the model's discrete inertia and stiffness parameters. There is only one eigenvalue solution per design cycle, and the gradient vector is calculated directly from the resulting modal quantities. The minimization procedure employed is unconstrained. As applications, a cantilevered plane grid model with five degrees of freedom and a bending-torsion-oscillator with eleven degrees of freedom are treated.

Hallauer, W. L., Jr.↗
NASA NTRS1983

Aerothermal modeling, phase 1. Volume 1: Model assessment

Phase 1 was conducted as part of the overall NASA Hot Section Technology (HOST) Program. The purpose of this effort was to determine the predictive accuracy of and the deficiencies within the various analytical modules comprising the overall combustor aerothermal model used at General Electric, as well as to formulate recommendations for improvement where needed. This effort involved the assembly of a benchmark quality data base from selected available literature, and from General Electric engine and combustor component test data. This data base was supplemented with additional definitive data obtained from an experimental test program conducted as part of the Phase 1 effort. Using selections from this data base, assessment studies were conducted to evaluate the various modules. Assessment of the internal flow module was conducted using 2-D parabolic and ellipitic, as well as 3-D elliptic internal flow calculations of definitive test data selected from the assembled data base. The 2-D assessment provided methodical examination of the mathematical techniques and the physical submodules, while the 3-D assessment focused on usefulness as a design tool. Calculations of combustor linear metal temperatures, pressure loss performance, and airflow distribution were performed using aerothermal modules which were in general use for many years at General Electric. The results of these assessment provided for the identification of deficiencies within the modules. The deficiencies were addressed in some detail providing a foundation on which to formulate a prioritized list of recommendations for improvement.

Kenworthy, M. J.↗
NASA NTRS1985

Generation of Surface Coordinates by Elliptic Partial Differential Equations

The problem of generating spatial coordinates by numerical methods through carefully selected mathematical models is of current interest both in mechanics and physics. The problem of generation of a desired system of coordinates in a given surface was considered, which essentially is an effort directed to the problem of grid generation in a two-dimensional non-Euclidean space. The mathematical model selected for this purpose is based on the formulae of Gauss for a surface. The proposed equations can be used to generate a new coordinate system from the data of an already given coordinate system in a surface. If the coefficients of the first and second fundamental forms have been given, then the proposed equations can be used to generate a surface satisfying the given data (surface fitting). The proposed equations can also be used to generate surfaces in the space between two arbitrary given surfaces, thus providing 3D grids in an Euclidean space.

Warsi, Z. U. A.↗
NASA NTRS1985

Statement of contamination problem

Space station contamination information is given. There are five major areas in which there are task requirements: (1) potential contaminants need to be identified, i.e., both the sources and types of contaminants, (2) the scope and magnitude of contaminant effects need to be determined, i.e., toxicological effects, microbacteriological effects and impurities, (3) mathematical models for predictive methods need to be developed. (4) state-of-the-art and advanced technologies for monitoring contaminants and for methods of decontamination need to be identified, and (5) automated monitoring and control systems need to be designed.

Hoffler, W.↗
NASA NTRS1986

Numerical study of combustion processes in afterburners

Mathematical models and numerical methods are presented for computer modeling of aeroengine afterburners. A computer code GEMCHIP is described briefly. The algorithms SIMPLER, for gas flow predictions, and DROPLET, for droplet flow calculations, are incorporated in this code. The block correction technique is adopted to facilitate convergence. The method of handling irregular shapes of combustors and flameholders is described. The predicted results for a low-bypass-ratio turbofan afterburner in the cases of gaseous combustion and multiphase spray combustion are provided and analyzed, and engineering guides for afterburner optimization are presented.

Zhou, Xiaoqing↗