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

Time-dependent density-functional tight-binding method with the third-order expansion of electron density

We develop a formalism for the calculation of excitation energies and excited state gradients for the self-consistent-charge density-functional tight-binding method with the third-order contributions of a Taylor series of the density functional theory energy with respect to the fluctuation of electron density (time-dependent density-functional tight-binding (TD-DFTB3)). The formulation of the excitation energy is based on the existing time-dependent density functional theory and the older TD-DFTB2 formulae. The analytical gradient is computed by solving Z-vector equations, and it requires one to calculate the third-order derivative of the total energy with respect to density matrix elements due to the inclusion of the third-order contributions. The comparison of adiabatic excitation energies for selected small and medium-size molecules using the TD-DFTB2 and TD-DFTB3 methods shows that the inclusion of the third-order contributions does not affect excitation energies significantly. A different set of parameters, which are optimized for DFTB3, slightly improves the prediction of adiabatic excitation energies statistically. The application of TD-DFTB for the prediction of absorption and fluorescence energies of cresyl violet demonstrates that TD-DFTB3 reproduced the experimental fluorescence energy quite well.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A Bayesian method for using simulator data to enhance human error probabilities assigned by existing HRA methods

In the past several years, several international organizations have begun to collect data on human performance in nuclear power plant simulators. The data collected provide a valuable opportunity to improve human reliability analysis (HRA), but these improvements will not be realized without implementation of Bayesian methods. Bayesian methods are widely used to incorporate sparse data into models in many parts of probabilistic risk assessment (PRA), but Bayesian methods have not been adopted by the HRA community. In this paper, we provide a Bayesian methodology to formally use simulator data to refine the human error probabilities (HEPs) assigned by existing HRA methods. We demonstrate the methodology with a case study, wherein we use simulator data from the Halden Reactor Project to update the probability assignments from the SPAR-H method. The case study demonstrates the ability to use performance data, even sparse data, to improve existing HRA methods. Furthermore, this paper also serves as a demonstration of the value of Bayesian methods to improve the technical basis of HRA.

99 GENERAL AND MISCELLANEOUS↗

Inclusion of trial functions in the Langevin equation path integral ground state method: Application to parahydrogen clusters and their isotopologues

We developed and studied the implementation of trial wavefunctions in the newly proposed Langevin equation Path Integral Ground State (LePIGS) method [S. Constable, M. Schmidt, C. Ing, T. Zeng, and P.-N. Roy, J. Phys. Chem. A 117, 7461 (2013)]. The LePIGS method is based on the Path Integral Ground State (PIGS) formalism combined with Path Integral Molecular Dynamics sampling using a Langevin equation based sampling of the canonical distribution. This LePIGS method originally incorporated a trivial trial wavefunction, ψ{sub T}, equal to unity. The present paper assesses the effectiveness of three different trial wavefunctions on three isotopes of hydrogen for cluster sizes N = 4, 8, and 13. The trial wavefunctions of interest are the unity trial wavefunction used in the original LePIGS work, a Jastrow trial wavefunction that includes correlations due to hard-core repulsions, and a normal mode trial wavefunction that includes information on the equilibrium geometry. Based on this analysis, we opt for the Jastrow wavefunction to calculate energetic and structural properties for parahydrogen, orthodeuterium, and paratritium clusters of size N = 4 − 19, 33. Energetic and structural properties are obtained and compared to earlier work based on Monte Carlo PIGS simulations to study the accuracy of the proposed approach. The new results for paratritium clusters will serve as benchmark for future studies. This paper provides a detailed, yet general method for optimizing the necessary parameters required for the study of the ground state of a large variety of systems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

Diffusion of Cd and Te adatoms on CdTe(111) surfaces: A computational study using density functional theory

CdTe is one of the most promising semiconductor for thin-film based solar cells. Here we report a computational study of Cd and Te adatom diffusion on the CdTe (111) A-type (Cd terminated) and B-type (Te terminated) surfaces and their migration paths. The atomic and electronic structure calculations are performed under the DFT formalism and climbing Nudge Elastic Band (cNEB) method has been applied to evaluate the potential barrier of the Te and Cd diffusion. In general the minimum energy site on the surface is labeled as A{sub a} site. In case of Te and Cd on B-type surface, the sub-surface site (a site just below the top surface) is very close in energy to the A site. This is responsible for the subsurface accumulation of adatoms and therefore, expected to influence the defect formation during growth. The diffusion process of adatoms is considered from A{sub a} (occupied) to A{sub a} (empty) site at the nearest distance. We have explored three possible migration paths for the adatom diffusion. The adatom surface interaction is highly dependent on the type of the surface. Typically, Te interaction with both type (5.2 eV for A-type and 3.8 eV for B-type) is stronger than Cd interactions(2.4 eV for B-type and 0.39 eV for A-type). Cd interaction with the A-type surface is very weak. The distinct behavior of the A-type and B-type surfaces perceived in our study explain the need of maintaining the A-type surface during growth for smooth and stoichiometric growth.

36 MATERIALS SCIENCE↗