Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “formal 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 361 records · Page 20
All sourcesNASA NTRSDOE OSTI
DOE OSTI2018

Renormalization group flow of the Aharonov–Bohm scattering amplitude

The Aharonov–Bohm elastic scattering with incident particles described by plane waves is revisited by using the phase-shifts method. The formal equivalence between the cylindrical Schrödinger equation and the one-dimensional Calogero problem allows us to show that up to two scattering phase-shifts modes in the cylindrical waves expansion must be renormalized. The renormalization procedure introduces new length scales giving rise to spontaneous breaking of the conformal symmetry. The knowledge of the exact beta function permits us to describe the renormalization group flows within the two-parametric family of renormalized Aharonov–Bohm scattering amplitudes.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2019

Basis-independent quantum coherence and its distribution

We analyze a basis-independent definition of quantum coherence. The maximally mixed state is used as the reference state, which allows for a way of defining coherence that is invariant under arbitrary unitary transformations. Such a basis independent formulation is related to the purity of system rather than the superposition in a particular basis. The basis-independent approach is applied to finding the distribution of the coherence within a multipartite system, where the contributions due to correlations between the subsystems and within each subsystem are isolated. The use of the square root of the Jensen–Shannon divergence allows for inequality relations to be derived between these quantities, giving a geometrical picture within the Hilbert space of the system. We describe the relationship between the basis-independent and the basis-dependent approaches, and argue that many advantages exist for the former method. The formalism is illustrated with several numerical examples which show that the states can be characterized in a simple and effective manner.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Modeling Short-Range Order in Disordered Rocksalt Cathodes by Pair Distribution Function Analysis

Pair distribution function (PDF) analysis is a powerful technique for the characterization of short-range order (SRO) in disordered materials. Accurate interpretation of experimental PDF data is critically reliant on the development of structural models that can account for local variations in site occupancies and bond lengths. To this end, we outline an approach to model SRO using first-principles calculations based on the cluster-expansion formalism. These methods are validated on neutron scattering data from two disordered rocksalt oxyfluorides, Li 1.3 Mn 0.4 Ti 0.3 O 1.7 F 0.3 and Li 1.3 Mn 0.4 Nb 0.2 Ti 0.1 O 1.7 F 0.3 . For each composition, we demonstrate that an average structure without any SRO fails to reproduce several key features in the experimental PDF. To pinpoint the origin of the suspected SRO in these materials, configurational and displacive effects were separately investigated using two disparate models. Special quasi-random structures were relaxed using density functional theory to account for local changes in bond lengths while maintaining a near-random ionic configuration. This leads to slightly improved accuracy but still misrepresents asymmetry in the first few peaks of the PDF. Monte Carlo simulations were performed to model configurational SRO on a fixed lattice, which by itself is shown to have a minimal influence on the PDF. Instead, we find that it is the bond length relaxations within environments created by SRO which controls the details of the PDF, thereby highlighting the subtle but important coupling between configurational and displacive SRO in disordered materials.

36 MATERIALS SCIENCE↗
DOE OSTI2026

A variational framework for residual-based adaptivity in neural PDE solvers and operator learning

Residual-based adaptive strategies are widely used in scientific machine learning yet remain largely heuristic. We introduce a variational framework that formalizes these methods through convex transformations of the residual, where different transformations correspond to distinct objective functionals. For instance, exponential weights target uniform error minimization, while linear weights recover quadratic error minimization. This perspective reveals adaptive weighting as a means of selecting sampling distributions that optimize a primal objective, directly linking discretization choices to error metrics. This principled approach yields three key benefits: it enables systematic design of adaptive schemes, reduces discretization error by lowering estimator variance, and enhances learning dynamics by improving gradient signal-to-noise ratio. Extending the framework to operator learning, we demonstrate substantial performance gains across diverse optimizers and architectures. Our results provide a theoretical perspective for residual-based adaptivity and establish a foundation for principled discretization and training.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

Calibration of erythemally weighted broadband instruments: A comparison between PMOD/WRC and MSL

A Yankee Environmental Systems (YES) UVB-1 ultraviolet pyranometer, designed to measure erythemally weighted total solar irradiance, was calibrated by the Measurement Standards Laboratory (MSL) in Lower Hutt, New Zealand during August 2010. The calibration was then repeated during July and August 2011 by the Physikalisch-Meteorologisches Obervatorium Davos, World Radiation Center (PMOD/WRC) located in Davos, Switzerland. Calibration results show that measurements of the relative spectral and angular response functions at the two institutes are in excellent agreement, thus providing a good degree of confidence in these measurement facilities. However, measurements to convert the relative spectral response into an absolute calibration disagree significantly depending on whether an FEL lamp or solar spectra are used to perform this scaling. This is the first serious comparison of these scaling methods to formally explore the potential systematic errors which could explain the discrepancy.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2013

General active space commutator-based coupled cluster theory of general excitation rank for electronically excited states: Implementation and application to ScH

We present a new implementation of general excitation rank coupled cluster theory for electronically excited states based on the single-reference multi-reference formalism. The method may include active-space selected and/or general higher excitations by means of the general active space concept. It may employ molecular integrals over the four-component Lévy-Leblond Hamiltonian or the relativistic spin-orbit-free four-component Hamiltonian of Dyall. In an initial application to ground- and excited states of the scandium monohydride molecule we report spectroscopic constants using basis sets of up to quadruple-zeta quality and up to full iterative triple excitations in the cluster operators. Effects due to spin-orbit interaction are evaluated using two-component multi-reference configuration interaction for assessing the accuracy of the coupled cluster results.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Introduction to spectral line shape theory

Spectral line-shape models are an important part of understanding high-energy-density (HED) plasmas. Models are needed for calculating opacity of materials and can serve as diagnostics for astrophysical and laboratory plasmas. However, much of the literature on line shapes is directed toward specialists. This perspective makes it difficult for non-specialists to enter the field. We have two broad goals with this topical review. First, we aim to give information so that others in HED physics may better understand the current field. Additionally, this first goal may help guide future experiments to test different aspects of the theory. Second, we provide an introduction for those who might be interested in line-shape theory, and enough materials to be able to navigate the field and the literature. We give a high-level overview of line broadening process, as well as dive into the formalism, available methods, and approximations.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2020

Time-dependent approach to inelastic scattering spectroscopies in and away from equilibrium: Beyond perturbation theory

We propose a nonperturbative numerical approach to calculate the spectrum of a many-body Hamiltonian with time and momentum resolution by exactly recreating a scattering event using the time-dependent Schrödinger equation. Akin to an actual inelastic scattering experiment, we explicitly account for the incident and scattered particles (e.g., photons, neutrons, electrons, etc.) in the Hamiltonian and obtain the spectrum by measuring the energy and momentum lost by the particle after interacting with the sample. We illustrate the method by calculating the spin excitations of a Mott-insulating Hubbard chain after a sudden quench with the aid of the time-dependent density matrix renormalization group method. Our formalism can be applied to different forms of spectroscopies, such as neutron and Compton scattering and electron-energy-loss spectroscopy, as an example.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2022

Correlation energy of the uniform electron gas determined by ground-state conditional probability density functional theory

Conditional-probability density functional theory (CP-DFT) is a formally exact method for finding correlation energies from Kohn-Sham DFT without evaluating an explicit energy functional. We present details on how to generate accurate exchange-correlation energies for the ground-state uniform gas. We also use the exchange hole in a CP antiparallel spin calculation to extract the high-density limit. We give a highly accurate analytic solution to the Thomas-Fermi model for this problem, showing its performance relative to Kohn-Sham and may be useful at high temperatures. We explore several approximations to the CP potential. Furthermore, results are compared to accurate parameterizations for both exchange-correlation energies and holes.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

Inclusive curvaturelike framework for describing dissipation: Metriplectic 4-bracket dynamics

An inclusive framework for joined Hamiltonian and dissipative dynamical systems that are thermodynamically consistent, i.e., preserve energy and produce entropy, is given. The dissipative dynamics of the framework is based on the metriplectic 4-bracket , a quantity like the Poisson bracket defined on phase space functions, but unlike the Poisson bracket has four slots with symmetries and properties motivated by Riemannian curvature. Metriplectic 4-bracket dynamics is generated using two generators, the Hamiltonian and the entropy, with the entropy being a Casimir of the Hamiltonian part of the system. The formalism includes known previous binary bracket theories for dissipation or relaxation as special cases. Rich geometrical significance of the formalism and methods for constructing metriplectic 4-brackets are explored. Many examples of both finite and infinite dimensions are given.

Physics↗
DOE OSTI2013

FINAL REPORT: Mechanistically-Base Field Scale Models of Uranium Biogeochemistry from Upscaling Pore-Scale Experiments and Models

Biogeochemical reactive transport processes in the subsurface environment are important to many contemporary environmental issues of significance to DOE. Quantification of risks and impacts associated with environmental management options, and design of remediation systems where needed, require that we have at our disposal reliable predictive tools (usually in the form of numerical simulation models). However, it is well known that even the most sophisticated reactive transport models available today have poor predictive power, particularly when applied at the field scale. Although the lack of predictive ability is associated in part with our inability to characterize the subsurface and limitations in computational power, significant advances have been made in both of these areas in recent decades and can be expected to continue. In this research, we examined the upscaling (pore to Darcy and Darcy to field) the problem of bioremediation via biofilms in porous media. The principle idea was to start with a conceptual description of the bioremediation process at the pore scale, and apply upscaling methods to formally develop the appropriate upscaled model at the so-called Darcy scale. The purpose was to determine (1) what forms the upscaled models would take, and (2) how one might parameterize such upscaled models for applications to bioremediation in the field. We were able to effectively upscale the bioremediation process to explain how the pore-scale phenomena were linked to the field scale. The end product of this research was to produce a set of upscaled models that could be used to help predict field-scale bioremediation. These models were mechanistic, in the sense that they directly incorporated pore-scale information, but upscaled so that only the essential features of the process were needed to predict the effective parameters that appear in the model. In this way, a direct link between the microscale and the field scale was made, but the upscaling process helped inform potential users of the model what kinds of information would be needed to accurately characterize the system.

42 ENGINEERING↗
DOE OSTI2016

Uncertainty Quantification for Nuclear Safeguards and Non-Destructive Assay - Fact Sheet

UQ is the scientific art of generating confidence statements. Without defensible UQ physical measurements and calculations have no meaning. The UQ team performed a series of case studies with the following results: minimum detectable activity of a Tomographic Gamma-Ray Scanning system was determined using the Currie formalism. Bootstrapping method was used to generate fluorescence yield parameters and uncertainties. For Hybrid K-Edge Densitometry (HKED) measurements, these parameters can be used to predict the concentration of plutonium and quantify uncertainty in HKED models for nuclear safeguards measurements. Detection efficiency was determined for a coincidence counter using covariance data. The use of covariance information drastically reduced the total uncertainty in the average detection efficiency.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2022

Milestone 7714 National Opacity Program: High-Fidelity Iron Data on NIF

Establish the level of reproducibility of NIF iron opacity shots, quantify to-date improvements in data quality through, e.g. background reduction, improved signal, and improved analysis methods, and formalize the approach that will be taken in the future to compare NIF data, Z data, and theory.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2026

Heterogeneous Multi-Domain Dataset Synthesis to Facilitate Privacy and Risk Assessments in Smart City IoT

The emergence of the Smart Cities paradigm and the rapid expansion and integration of Internet of Things (IoT) technologies within this context have created unprecedented opportunities for high-resolution behavioral analytics, urban optimization, and context-aware services. However, this same proliferation intensifies privacy risks, particularly those arising from cross-modal data linkage across heterogeneous sensing platforms. To address these challenges, this paper introduces a comprehensive, statistically grounded framework for generating synthetic, multimodal IoT datasets tailored to Smart City research. The framework produces behaviorally plausible synthetic data suitable for preliminary privacy risk assessment and as a benchmark for future re-identification studies, as well as for evaluating algorithms in mobility modeling, urban informatics, and privacy-enhancing technologies. As part of our approach, we formalize probabilistic methods for synthesizing three heterogeneous and operationally relevant data streams—cellular mobility traces, payment terminal transaction logs, and Smart Retail nutrition records—capturing the behaviors of a large number of synthetically generated urban residents over a 12-week period. The framework integrates spatially explicit merchant selection using K-Dimensional (KD)-tree nearest-neighbor algorithms, temporally correlated anchor-based mobility simulation reflective of daily urban rhythms, and dietary-constraint filtering to preserve ecological validity in consumption patterns. In total, the system generates approximately 116 million mobility pings, 5.4 million transactions, and 1.9 million itemized purchases, yielding a reproducible benchmark for evaluating multimodal analytics, privacy-preserving computation, and secure IoT data-sharing protocols. To show the validity of this dataset, the underlying distributions of these residents were successfully validated against reported distributions in published research. We present preliminary uniqueness and cross-modal linkage indicators; comprehensive re-identification benchmarking against specific attack algorithms is planned as future work. This framework can be easily adapted to various scenarios of interest in Smart Cities and other IoT applications. By aligning methodological rigor with the operational needs of Smart City ecosystems, this work fills critical gaps in synthetic data generation for privacy-sensitive domains, including intelligent transportation systems, urban health informatics, and next-generation digital commerce infrastructures.

IoT↗
NASA NTRS1981

On making things the best - Aeronautical uses of optimization /Wright Bros. lecture/

The paper's purpose is to summarize and evaluate the results of an investigation into the degree to which formal optimization methods have contributed practically to the design and operation of atmospheric flight vehicles. The nature of this technology is reviewed and illustrated with simple structural examples. A series of published successful applications is described, from the fields of aerodynamics, structures, guidance and control, optimal trajectories and vehicle configuration optimization. The corresponding improvements over conventional analysis are assessed. Speculations are offered as to why these tools have made such little headway toward acceptance by designers. The growing need for their use in the future is explained; they hold out an unparalleled opportunity for improved efficiencies.

Ashley, H.↗
NASA NTRS1983

Complex eigenvalues for the stability of Couette flow

The eigenvalue problem for the linear stability of Couette flow between rotating concentric cylinders to axisymmetric disturbances is considered. It is shown by numerical calculations and by formal perturbation methods that when the outer cylinder is at rest there exist complex eigenvalues corresponding to oscillatory damped disturbances. The structure of the first few eigenvalues in the spectrum is discussed. The results do not contradict the principle of exchange of stabilities, namely, for a fixed axial wavenumber the first mode to become unstable as the speed of the inner cylinder is increased is nonoscillatory as the stability boundary is crossed.

Diprima, R. C.↗
NASA NTRS1984

Validation of a fault-tolerant clock synchronization system

A validation method for the synchronization subsystem of a fault tolerant computer system is investigated. The method combines formal design verification with experimental testing. The design proof reduces the correctness of the clock synchronization system to the correctness of a set of axioms which are experimentally validated. Since the reliability requirements are often extreme, requiring the estimation of extremely large quantiles, an asymptotic approach to estimation in the tail of a distribution is employed.

Butler, R. W.↗
NASA NTRS1985

One-dimensional kinematics of particle stream flow with application to solar wind simulation

A simple kinematic method for determining the particle velocity distribution of a model solar wind for which the spatial distribution of particles is given as a function of particle travel time has been developed by Hakamada and Akasofu (1982). Here their method is formalized mathematically and an inverse procedure for determining the particle distribution from a given velocity distribution is derived. This inverse procedure is then applied to a simulated velocity distribution obtained from an MHD finite difference code.

Olmsted, C.↗