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 703 records · Page 39
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

Hybrid Theory of P-Wave Electron-Hydrogen Elastic Scattering

We report on a study of electron-hydrogen scattering, using a combination of a modified method of polarized orbitals and the optical potential formalism. The calculation is restricted to P waves in the elastic region, where the correlation functions are of Hylleraas type. It is found that the phase shifts are not significantly affected by the modification of the target function by a method similar to the method of polarized orbitals and they are close to the phase shifts calculated earlier by Bhatia. This indicates that the correlation function is general enough to include the target distortion (polarization) in the presence of the incident electron. The important fact is that in the present calculation, to obtain similar results only 35-term correlation function is needed in the wave function compared to the 220-term wave function required in the above-mentioned previous calculation. Results for the phase shifts, obtained in the present hybrid formalism, are rigorous lower bounds to the exact phase shifts.

Bhatia, Anand↗
NASA NTRS1983

Three-dimensional inversion of satellite observed radiances A proposal

Fully three-dimensional temperature fields are obtained from observed satellite radiances through the use of variational methods which generalize the method of Wahba and Wendelberger (1980). This variational formalism allows a variety of different information types to contribute to the inversion process. Full use can be made of the horizontal smoothness of the temperature field in the calculation of three-dimensional retrievals. The present method facilitates the acquisition of maximum vertical resolution, accomplishes cloud effect filtering, and minimizes the effects of instrument noise, to yield horizontally coherent retrievals.

Hoffman, R. N.↗
DOE OSTI2014

Ab initio non-relativistic spin dynamics

Many magnetic materials do not conform to the (anti-)ferromagnetic paradigm where all electronic spins are aligned to a global magnetization axis. Unfortunately, most electronic structure methods cannot describe such materials with noncollinear electron spin on account of formally requiring spin alignment. To overcome this limitation, it is necessary to generalize electronic structure methods and allow each electron spin to rotate freely. Here, we report the development of an ab initio time-dependent non-relativistic two-component spinor (TDN2C), which is a generalization of the time-dependent Hartree-Fock equations. Propagating the TDN2C equations in the time domain allows for the first-principles description of spin dynamics. A numerical tool based on the Hirshfeld partitioning scheme is developed to analyze the time-dependent spin magnetization. In this work, we also introduce the coupling between electron spin and a homogenous magnetic field into the TDN2C framework to simulate the response of the electronic spin degrees of freedom to an external magnetic field. This is illustrated for several model systems, including the spin-frustrated Li{sub 3} molecule. Exact agreement is found between numerical and analytic results for Larmor precession of hydrogen and lithium atoms. The TDN2C method paves the way for the ab initio description of molecular spin transport and spintronics in the time domain.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

Towards a Verifiable Domain-Specific Language for Hardware-Accelerated Stencils

Defining a domain-specific language (DSL) that supports vector-calculus abstractions eases the porting of partial differential equation (PDE) solvers to specialized architectures. Sufficiently high-level abstractions empower users to express universal laws with sufficient generality that the laws must always hold true within their domain of validity. A broad class of PDE solvers employs stencil-based algorithms, the target domain of Berkeley Lab's stencil accelerator chip co-design project. First released as open-source in January 2026, the Formal software framework lays a foundation for defining an embedded DSL based on composable operators that implement mimetic numerical methods -- stencil algorithms that guarantee satisfaction of discrete versions of important vector calculus theorems. The Formal DSL will be the frontend to a new class of stencil-PDE accelerators developed jointly by LBNL, UHCL, and UC Berkeley through the DOE Competitive Portfolios for Computer Science Project. This offers the potential of an order of magnitude acceleration for this important category of computational methods to serve the DOE mission. Future work on the Formal DSL will facilitate software verification via type-safe templates that enable problem-specific correctness proofs relying upon generic function theory and carefully crafted unit tests.

Rouson, Damian↗
DOE OSTI2018

Mechanical and Dynamic Stability of Complete and Nonstoichiometric 3C-Si{sub x}C{sub y} from Ab Initio Calculations

The energies of formation of vacancies in the carbon and silicon sublattices, the independent elastic constants, the all-round compression, shear and Young’s moduli, and the anisotropy coefficients are determined for the complete and nonstoichiometric cubic phases of 3C-Si{sub x}C{sub y} (x, y = 1.0–0.75) by ab initio methods of the band theory. In the formalism of the density functional perturbation theory (DFPT), the phonon dispersion dependences are obtained for these phases (the comparison with the experiment is given for the complete phase). It is shown that the mechanical characteristics of the phases become strongly anisotropic upon the transition from 3C-SiC{sub 0.875} to 3C-SiC{sub 0.75}. It is established from the analysis of the phonon dispersion curves that the 3C-SiC{sub 0.875} and 3C-SiC{sub 0.75} phases, in contrast to the complete 3C-SiC phase, are dynamically unstable at T = 0 K.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2014

Comparison of nonmesonic hypernuclear decay rates computed in laboratory and center-of-mass coordinates

In this work we compute the one-nucleon-induced nonmesonic hypernuclear decay rates of {sub Λ}{sup 5}He, {sub Λ}{sup 12}C and {sub Λ}{sup 13}C using a formalism based on the independent particle shell model in terms of laboratory coordinates. To ascertain the correctness and precision of the method, these results are compared with those obtained using a formalism in terms of center-of-mass coordinates, which has been previously reported in the literature. The formalism in terms of laboratory coordinates will be useful in the shell-model approach to two-nucleon-induced transitions.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2016

Perturbative universal state-selective correction for state-specific multi-reference coupled cluster methods

The implementation details of the universal state-selective (USS) multi-reference coupled cluster (MRCC) formalism with singles and doubles (USS(2)) are discussed on the example of several benchmark systems. We demonstrate that the USS(2) formalism is capable of improving accuracies of state specific multi-reference coupled-cluster (MRCC) methods based on the Brillouin-Wigner and Mukherjee’s sufficiency conditions. Additionally, it is shown that the USS(2) approach significantly alleviates problems associated with the lack of invariance of MRCC theories upon the rotation of active orbitals. We also discuss the perturbative USS(2) formulations that significantly reduce numerical overhead of the full USS(2) method.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Performance of high-order Godunov-type methods in simulations of astrophysical low Mach number flows

High-order Godunov methods for gas dynamics have become a standard tool for simulating different classes of astrophysical flows. Their accuracy is mostly determined by the spatial interpolant used to reconstruct the pair of Riemann states at cell interfaces and by the Riemann solver that computes the interface fluxes. In most Godunov-type methods, these two steps can be treated independently, so that many different schemes can in principle be built from the same numerical framework. Because astrophysical simulations often test out the limits of what is feasible with the computational resources available, it is essential to find the scheme that produces the numerical solution with the desired accuracy at the lowest computational cost. However, establishing the best combination of numerical options in a Godunov-type method to be used for simulating a complex hydrodynamic problem is a nontrivial task. In fact, formally more accurate schemes do not always outperform simpler and more diffusive methods, especially if sharp gradients are present in the flow. For this work, we used our fully compressible Seven-League Hydro (SLH) code to test the accuracy of six reconstruction methods and three approximate Riemann solvers on two- and three-dimensional (2D and 3D) problems involving subsonic flows only. We considered Mach numbers in the range from 10 −3 to 10 −1 , which are characteristic of many stellar and geophysical flows. In particular, we considered a well-posed, 2D, Kelvin–Helmholtz instability problem and a 3D turbulent convection zone that excites internal gravity waves in an overlying stable layer. Although the different combinations of numerical methods converge to the same solution with increasing grid resolution for most of the quantities analyzed here, we find that (i) there is a spread of almost four orders of magnitude in computational cost per fixed accuracy between the methods tested in this study, with the most performant method being a combination of a low-dissipation Riemann solver and a sextic reconstruction scheme; (ii) the low-dissipation solver always outperforms conventional Riemann solvers on a fixed grid when the reconstruction scheme is kept the same; (iii) in simulations of turbulent flows, increasing the order of spatial reconstruction reduces the characteristic dissipation length scale achieved on a given grid even if the overall scheme is only second order accurate; (iv) reconstruction methods based on slope-limiting techniques tend to generate artificial, high-frequency acoustic waves during the evolution of the flow; and (v) unlimited reconstruction methods introduce oscillations in the thermal stratification near the convective boundary, where the entropy gradient is steep.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

Data-Driven Learning for the Mori--Zwanzig Formalism: A Generalization of the Koopman Learning Framework

A theoretical framework which unifies the conventional Mori--Zwanzig formalism and the approximate Koopman learning of deterministic dynamical systems from noiseless observation is presented. In this framework, the Mori--Zwanzig formalism, developed in statistical mechanics to tackle the hard problem of construction of reduced-order dynamics for high-dimensional dynamical systems, can be considered as a natural generalization of the Koopman description of the dynamical system. We next show that, similar to the approximate Koopman learning methods, data-driven methods can be developed for the Mori--Zwanzig formalism with Mori's linear projection operator. We have developed two algorithms to extract the key operators, the Markov and the memory kernel, using time series of a reduced set of observables in a dynamical system. We have adopted the Lorenz `96 system as a test problem and solved for the above operators. These operators exhibit complex behaviors, which are unlikely to be captured by traditional modeling approaches in Mori--Zwanzig analysis. The nontrivial generalized fluctuation-dissipation relationship, which relates the memory kernel with the two-time correlation statistics of the orthogonal dynamics, was numerically verified as a validation of the solved operators. Here we present numerical evidence that the generalized Langevin equation, a key construct in the Mori--Zwanzig formalism, is more advantageous in predicting the evolution of the reduced set of observables than the conventional approximate Koopman operators.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1977

Theory of viscous transonic flow over airfoils at high Reynolds number

This paper considers viscous flows with unseparated turbulent boundary layers over two-dimensional airfoils at transonic speeds. Conventional theoretical methods are based on boundary layer formulations which do not account for the effect of the curved wake and static pressure variations across the boundary layer in the trailing edge region. In this investigation an extended viscous theory is developed that accounts for both effects. The theory is based on a rational analysis of the strong turbulent interaction at airfoil trailing edges. The method of matched asymptotic expansions is employed to develop formal series solutions of the full Reynolds equations in the limit of Reynolds numbers tending to infinity. Procedures are developed for combining the local trailing edge solution with numerical methods for solving the full potential flow and boundary layer equations. Theoretical results indicate that conventional boundary layer methods account for only about 50% of the viscous effect on lift, the remaining contribution arising from wake curvature and normal pressure gradient effects.

Melnik, R. E.↗
DOE OSTI2015

Entropy–viscosity method for the single material Euler equations in Lagrangian frame

In this work, a new finite element method for solving the Euler equations in Lagrangian coordinates is proposed. The method is stabilized by adding artificial diffusion terms compatible with positivity of mass and internal energy, a minimum principle on the specific entropy, and all generalized entropy inequalities. Two options of first-order artificial diffusion are considered. One is in the spirit of the Eulerian based method (Guermond et al., 2011 [23, 22]; Zingan et al., 2013) and the other is similar to existing viscosity stabilizations in Lagrangian frame, e.g., Dobrev et al. (2012). The method is verified to be high-order for smooth solutions even with active viscosity terms. This is achieved by using high-order finite element spaces and an entropy-based viscosity stabilization that degenerates the first-order viscous terms. This stabilization automatically distinguishes smooth and singular regions. The formal accuracy and convergence properties of the proposed methods are tested on a series of benchmark problems. This is the first result extending the entropy–viscosity methodology to the Lagrangian hydrodynamics.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

Super resolution convolutional neural network for feature extraction in spectroscopic data

Two dimensional (2D) peak finding is a common practice in data analysis for physics experiments, which is typically achieved by computing the local derivatives. However, this method is inherently unstable when the local landscape is complicated or the signal-to-noise ratio of the data is low. In this work, we propose a new method in which the peak tracking task is formalized as an inverse problem, which thus can be solved with a convolutional neural network (CNN). In addition, we show that the underlying physics principle of the experiments can be used to generate the training data. By generalizing the trained neural network on real experimental data, we show that the CNN method can achieve comparable or better results than traditional derivative based methods. This approach can be further generalized in different physics experiments when the physical process is known.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS2011

Two-Point Turbulence Closure Applied to Variable Resolution Modeling

Variable resolution methods have become frontline CFD tools, but in order to take full advantage of this promising new technology, more formal theoretical development is desirable. Two general classes of variable resolution methods can be identified: hybrid or zonal methods in which RANS and LES models are solved in different flow regions, and bridging or seamless models which interpolate smoothly between RANS and LES. This paper considers the formulation of bridging methods using methods of two-point closure theory. The fundamental problem is to derive a subgrid two-equation model. We compare and reconcile two different approaches to this goal: the Partially Integrated Transport Model, and the Partially Averaged Navier-Stokes method.

Girimaji, Sharath S.↗
DOE OSTI2016

Maxwell–Dirac stress–energy tensor in terms of Fierz bilinear currents

We analyse the stress–energy tensor for the self-coupled Maxwell–Dirac system in the bilinear current formalism, using two independent approaches. The first method used is that attributed to Belinfante: starting from the spinor form of the action, the well-known canonical stress–energy tensor is augmented, by extending the Noether symmetry current to include contributions from the Lorentz group, to a manifestly symmetric form. This form admits a transcription to bilinear current form. The second method used is the variational derivation based on the covariant coupling to general relativity. The starting point here at the outset is the transcription of the action using, as independent field variables, both the bilinear currents, together with a gauge invariant vector field (a proxy for the electromagnetic vector potential). A central feature of the two constructions is that they both involve the mapping of the Dirac contribution to the stress–energy from the spinor fields to the equivalent set of bilinear tensor currents, through the use of appropriate Fierz identities. Although this mapping is done at quite different stages, nonetheless we find that the two forms of the bilinear stress–energy tensor agree. Finally, as an application, we consider the reduction of the obtained stress–energy tensor in bilinear form, under the assumption of spherical symmetry. -- Highlights: •Maxwell–Dirac stress–energy tensor derived in manifestly gauge invariant bilinear form. •Dirac spinor Belinfante tensor transcribed to bilinear fields via Fierz mapping. •Variational stress–energy obtained via bilinearized action, in contrast to Belinfante case. •Independent derivations via the Belinfante and variational methods agree, as required. •Spherical symmetry reduction given as a working example for wider applications.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

Phonon modal analysis of thermal transport in ThO 2 with point defects using equilibrium molecular dynamics

Defects can significantly degrade the thermal conductivity of ThO 2 , an advanced nuclear fuel material as well as a surrogate for other fluorite-structured materials. Here, we investigate how point defects in ThO 2 impact phonon mode-resolved thermal transport. By incorporating phonon modes from lattice dynamics, we decompose the trajectory and heat flux to phonon normal mode space and extract key phonon properties, including phonon relaxation times and their contributions to thermal conductivity. We implement two methods. The first method is based on the Green Kubo formalism to resolve the contribution of each phonon mode to thermal conductivity. The second resolves the lifetime of individual phonon modes and the thermal conductivity is calculated using the Boltzmann transport equation within relaxation time approximation. Notably, a lower contribution of acoustic modes is revealed compared to perturbative approaches considering only three-phonon scattering processes. The effects of four types of point defects are evaluated. The strongest impact on a reduction in thermal conductivity is from Th interstitials, followed by Th vacancies. O interstitials/vacancies have a similar impact, albeit smaller than defects on the thorium sublattice. These observations are consistent with previous studies.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2018

The stability, electronic structure, and optical absorption of boron-nitride diamondoids predicted with first-principles calculations

Although diamondoids are broadly studied for their fundamental properties and applications, boron-nitride-based diamondoids are scarcely explored.In this report we predict the stability, electronic structure, and optical absorption spectra of six boron-nitride (BN) diamondoids with first-principles methods based on pseudopotential density functional theory and many-body perturbation methods implemented with a real-space formalism. We find that four of them are thermodynamically stable at room temperature, while B10N8H24 and B6N4H16 show thermodynamic instability in molecular dynamics simulations. With the GW approximation, we predicted the ionization energies and electron affinities of BN-diamondoids and find that the evolution of the electronic structure with size does not follow the same trend as diamondoids, owing to the unbalanced numbers of boron and nitrogen atoms. We show strong photoabsorption of BN-triamantane and BN-adamantane in the infrared and visible ranges and analyze the features of low-energy absorption by examining the characteristics of related orbitals.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2014

Electron impact ionization of cycloalkanes, aldehydes, and ketones

The theoretical calculations of electron impact total ionization cross section for cycloalkane, aldehyde, and ketone group molecules are undertaken from ionization threshold to 2 keV. The present calculations are based on the spherical complex optical potential formalism and complex scattering potential ionization contribution method. The results of most of the targets studied compare fairly well with the recent measurements, wherever available and the cross sections for many targets are predicted for the first time. The correlation between the peak of ionization cross sections with number of target electrons and target parameters is also reported. It was found that the cross sections at their maximum depend linearly with the number of target electrons and with other target parameters, confirming the consistency of the values reported here.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2014

Effects of graded distribution of scattering centers on ballistic transport

The transmission coefficient of a two dimensional scattering region connected to ideal leads was calculated for the case of electrons interacting with an inhomogeneous distribution of repulsive or attractive scattering centers. The scattering centers with Gaussian profiles were positioned at regular intervals perpendicular to the transport direction, but were spaced according to a power law along this direction. The transmission function was obtained using a scattering formalism based on the R-matrix method. The simulations revealed that although, overall, the transmission coefficient decreases and becomes almost monotonously dependent on energy as the inhomogeneity of both attractive and repulsive scattering centers increases, the redistribution of transmission between open channels depends on the type of scattering centers.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗