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 1,153 records · Page 64
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Redox Potential Measurements of Cr(II)/Cr Ni(II)/Ni and Mg(II)/Mg in Molten MgCl 2 –KCl–NaCl Mixture

The redox potential of Ni(II)/Ni, Cr(II)/Cr, and Mg(II)/Mg in MgCl 2 –KCl–NaCl (Magnak chloride) were studied utilizing chronopotentiometry (CP) method in a three-electrode electrochemical cell. Four different CrCl 2 concentrations from 873 K to 1073 K, three NiCl 2 concentrations from 773 K to 1073 K, and two MgCl 2 concentrations from 823 K to 1073 K have been measured. The activity coefficients were calculated referring to a supercooled potential accordingly. The empirical equation of formal potential will be of great significance for the fundamental thermodynamic prediction in high-temperature Magnak chloride systems where corrosion product impurities are present.

14 SOLAR ENERGY↗
DOE OSTI2022

Development of Ion Stopping Models for HED Plasmas Using Unified Self-Consistent Field Models and Self-Consistent Electron Distributions

We have implemented several corrections to the electronic stopping power model combining the RPA dielectric response formalism and local density approximation with electronic density distribution calculated in an average atom model. These modifications include strong collision correction, local field correction, electron binding energy correction, and the Barkas effect. The combined results bring the RPA-LDA stopping power in cold targets to closer agreements with experiments for a wide range of materials. The same method is then applied to the stopping of ions in warm dense plasmas. The computational framework developed during this project is publicly available on GitHub (https://github.com/dedx-erpa/dedx). Tabulated data for protons in cold target for common materials are located in the data/ subdirectory of the repository.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2023

Expanding-box Quasilinear Model of the Solar Wind

The expanding-box model of the solar wind has been adopted in the literature within the context of magnetohydrodynamics, hybrid, and full particle-in-cell simulations to investigate the dynamic evolution of the solar wind. The present paper extends such a method to the framework of self-consistent quasilinear kinetic theory. It is shown that the expanding-box quasilinear methodology is largely equivalent to the inhomogeneous steady-state quasilinear model discussed earlier in the literature, but a distinction regarding the description of wave dynamics between the two approaches is also found. The expanding-box quasilinear formalism is further extended to include the effects of a spiraling solar-wind magnetic field as well as collisional age effects. The present finding shows that the expanding-box quasilinear approach and the steady-state global-kinetic models may be employed interchangeably in order to address other more complex problems associated with the solar-wind dynamics.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2024

Analog B ( M 1 ) strengths in the T z = ± 3 2 mirror nuclei Mn 47 and Ti 47

The lifetimes of the first excited 7 2 − states in the T z = ± 3 2 mirror nuclei Mn 47 and Ti 47 have been extracted utilizing the γ -ray line shape method, giving τ = 687 ( 36 ) ps and τ = 331 ( 15 ) ps respectively. Since these transitions are essentially pure M 1 transitions, these results allow for a high-precision comparison of analog M 1 strengths in mirror nuclei. The two analog B ( M 1 ) s are observed to be identical to a precision of about 10 % . The expected dependence of the transition matrix element with T z has been used to extract the separate isoscalar and isovector components of the transition strength, and the results are discussed in the context of predictions, based on the isospin formalism, regarding analog B ( M 1 ) strengths. Published by the American Physical Society 2024

39 ≤ A ≤ 58↗
DOE OSTI2014

Peculiar velocities in redshift space: formalism, N-body simulations and perturbation theory

Direct measurements of peculiar velocities of galaxies and clusters of galaxies can in principle provide explicit information on the three dimensional mass distribution, but this information is modulated by the fact that velocity field is sampled at galaxy positions, and is thus probing galaxy momentum. We derive expressions for the cross power spectrum between the density and momentum field and the auto spectrum of the momentum field in redshift space, by extending the distribution function method to these statistics. The resulting momentum cross and auto power spectra in redshift space are expressed as infinite sums over velocity moment correlators in real space, as is the case for the density power spectrum in redshift space. We compute each correlator using Eulerian perturbation theory (PT) and halo biasing model and compare the resulting redshift-space velocity statistics to those measured from N-body simulations for both dark matter and halos. We find that in redshift space linear theory predictions for the density-momentum cross power spectrum as well as for the momentum auto spectrum fail to predict the N-body results at very large scales. On the other hand, our nonlinear PT prediction for these velocity statistics, together with real-space power spectrum for dark matter from simulations, improves the accuracy for both dark matter and halos. We also present the same analysis in configuration space, computing the redshift-space pairwise mean infall velocities and velocity correlation function and compare to nonlinear PT.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2025

Measuring the Burgers vector of dislocations with dark-field X-ray microscopy

The subsurface dynamics of dislocations are essential to many properties of bulk crystalline materials. However, it is challenging to characterize a bulk crystal by conventional transmission electron microscopy (TEM) due to the limited penetration depth of electrons. A novel X-ray imaging technique – dark-field X-ray microscopy (DFXM) – was developed to image hierarchical dislocation structures in bulk crystals. While today's DFXM can effectively map the line structures of dislocations, it is still challenging to quantify the Burgers vectors, the key characterization governing the dislocation behaviors. Here, we extend the 'invisibility criterion' formalism from the TEM theory to the geometrical-optics model of DFXM and demonstrate the consistency between DFXM and dark-field TEM using multi-diffraction-peak imaging for a single edge dislocation. Due to the practical difficulty of multi-peak DFXM experiments, we further study how the Burgers vector effect is encoded for a single-peak DFXM experiment. Using the geometrical-optics DFXM simulation, we explore the asymmetry of rocking tilt scans at different rolling tilts and develop a new method to characterize the Burgers vector. The conclusions of this study advance our understanding of the use of DFXM in characterizing individual dislocations, enabling the connection from bulk DFXM imaging to dislocation mechanics.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Notes on the complex Sachdev-Ye-Kitaev model

We describe numerous properties of the Sachdev-Ye-Kitaev model for complex fermions with N $\gg$ 1 flavors and a global U(1) charge. We provide a general definition of the charge in the ( G, Σ) formalism, and compute its universal relation to the infrared asymmetry of the Green function. The same relation is obtained by a renormalization theory. The conserved charge contributes a compact scalar field to the effective action, from which we derive the many-body density of states and extract the charge compressibility. We compute the latter via three distinct numerical methods and obtain consistent results. Finally, we present a two dimensional bulk picture with free Dirac fermions for the zero temperature entropy.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2016

Closure of the operator product expansion in the non-unitary bootstrap

We use the numerical conformal bootstrap in two dimensions to search for finite, closed sub-algebras of the operator product expansion (OPE), without assuming unitarity. We find the minimal models as special cases, as well as additional lines of solutions that can be understood in the Coulomb gas formalism. All the solutions we find that contain the vacuum in the operator algebra are cases where the external operators of the bootstrap equation are degenerate operators, and we argue that this follows analytically from the expressions in arXiv:1202.4698 for the crossing matrices of Virasoro conformal blocks. Our numerical analysis is a special case of the “Gliozzi” bootstrap method, and provides a simpler setting in which to study technical challenges with the method. In the supplementary material, we provide a Mathematica notebook that automates the calculation of the crossing matrices and OPE coefficients for degenerate operators using the formulae of Dotsenko and Fateev.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2015

Study of multiband disordered systems using the typical medium dynamical cluster approximation

We generalize the typical medium dynamical cluster approximation to multiband disordered systems. Using our extended formalism, we perform a systematic study of the nonlocal correlation effects induced by disorder on the density of states and the mobility edge of the three-dimensional two-band Anderson model. We include interband and intraband hopping and an intraband disorder potential. Our results are consistent with those obtained by the transfer matrix and the kernel polynomial methods. We also apply the method to K x Fe 2-y Se 2 with Fe vacancies. Despite the strong vacancy disorder and anisotropy, we find the material is not an Anderson insulator. Moreover our results demonstrate the application of the typical medium dynamical cluster approximation method to study Anderson localization in real materials.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2016

Procedures for Calculating Residential Dehumidification Loads

Residential building codes and voluntary labeling programs are continually increasing the energy efficiency requirements of residential buildings. Improving a building's thermal enclosure and installing energy-efficient appliances and lighting can result in significant reductions in sensible cooling loads leading to smaller air conditioners and shorter cooling seasons. However due to fresh air ventilation requirements and internal gains, latent cooling loads are not reduced by the same proportion. Thus, it's becoming more challenging for conventional cooling equipment to control indoor humidity at part-load cooling conditions and using conventional cooling equipment in a non-conventional building poses the potential risk of high indoor humidity. The objective of this project was to investigate the impact the chosen design condition has on the calculated part-load cooling moisture load, and compare calculated moisture loads and the required dehumidification capacity to whole-building simulations. Procedures for sizing whole-house supplemental dehumidification equipment have yet to be formalized; however minor modifications to current Air-Conditioner Contractors of America (ACCA) Manual J load calculation procedures are appropriate for calculating residential part-load cooling moisture loads. Though ASHRAE 1% DP design conditions are commonly used to determine the dehumidification requirements for commercial buildings, an appropriate DP design condition for residential buildings has not been investigated. Two methods for sizing supplemental dehumidification equipment were developed and tested. The first method closely followed Manual J cooling load calculations; whereas the second method made more conservative assumptions impacting both sensible and latent loads.

47 OTHER INSTRUMENTATION↗
DOE OSTI2026

AthenaK: A Performance-portable Version of the Athena++ Adaptive Mesh Refinement Framework

We describe AthenaK: a new implementation of the Athena++ block-based adaptive mesh refinement framework using the Kokkos programming model. Finite volume methods for Newtonian, special relativistic, and general relativistic (GR) hydrodynamics and magnetohydrodynamics (MHD), and GR-radiation hydrodynamics and MHD, as well as a module for evolving Lagrangian tracer or charged test particles (e.g., cosmic rays) are implemented using the framework. In two companion papers, we describe (1) a new solver for the Einstein equations based on the Z4c formalism, and (2) a GRMHD solver in dynamical spacetimes also implemented using the framework, enabling new applications in numerical relativity. By adopting Kokkos, the code can be run on virtually any hardware, including CPUs, GPUs from multiple vendors, and emerging Advanced RISC Machine processors. AthenaK shows excellent performance and weak scaling, achieving over 1 billion cell updates per second for hydrodynamics in three dimensions on a single NVIDIA Grace Hopper processor. It does this with a typical parallel efficiency of 80% on 65,536 AMD GPUs on the OLCF Frontier system. Such performance portability enables AthenaK to leverage modern exascale computing systems for challenging applications in astrophysical fluid dynamics, numerical relativity, and multimessenger astrophysics.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2016

Experimental and Monte Carlo studies of fluence corrections for graphite calorimetry in low- and high-energy clinical proton beams

Purpose: The aim of this study was to determine fluence corrections necessary to convert absorbed dose to graphite, measured by graphite calorimetry, to absorbed dose to water. Fluence corrections were obtained from experiments and Monte Carlo simulations in low- and high-energy proton beams. Methods: Fluence corrections were calculated to account for the difference in fluence between water and graphite at equivalent depths. Measurements were performed with narrow proton beams. Plane-parallel-plate ionization chambers with a large collecting area compared to the beam diameter were used to intercept the whole beam. High- and low-energy proton beams were provided by a scanning and double scattering delivery system, respectively. A mathematical formalism was established to relate fluence corrections derived from Monte Carlo simulations, using the FLUKA code [A. Ferrari et al., “FLUKA: A multi-particle transport code,” in CERN 2005-10, INFN/TC 05/11, SLAC-R-773 (2005) and T. T. Böhlen et al., “The FLUKA Code: Developments and challenges for high energy and medical applications,” Nucl. Data Sheets 120, 211–214 (2014)], to partial fluence corrections measured experimentally. Results: A good agreement was found between the partial fluence corrections derived by Monte Carlo simulations and those determined experimentally. For a high-energy beam of 180 MeV, the fluence corrections from Monte Carlo simulations were found to increase from 0.99 to 1.04 with depth. In the case of a low-energy beam of 60 MeV, the magnitude of fluence corrections was approximately 0.99 at all depths when calculated in the sensitive area of the chamber used in the experiments. Fluence correction calculations were also performed for a larger area and found to increase from 0.99 at the surface to 1.01 at greater depths. Conclusions: Fluence corrections obtained experimentally are partial fluence corrections because they account for differences in the primary and part of the secondary particle fluence. A correction factor, F(d), has been established to relate fluence corrections defined theoretically to partial fluence corrections derived experimentally. The findings presented here are also relevant to water and tissue-equivalent-plastic materials given their carbon content.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2015

Regioselective, Asymmetric Formal Hydroamination of Unactivated Internal Alkenes

Abstract We report the regioselective and enantioselective formal hydroamination of unsymmetrical internal alkenes catalyzed by a copper catalyst ligated by DTBM‐SEGPHOS. The regioselectivity of the reaction is controlled by the electronic effects of ether, ester, and sulfonamide groups in the homoallylic position. The observed selectivity underscores the influence of inductive effects of remote substituents on the selectivity of catalytic processes occurring at hydrocarbyl groups, and the method provides direct access to various 1,3‐aminoalcohol derivatives with high enantioselectivity.

Xi, Yumeng↗
DOE OSTI2018

Super periodic potential

Highlights: • Concept of Super Periodic (SPP) potential of arbitrary order is introduced. • Scattering coefficients for arbitrary SPP are calculated in closed form. • Symmetric Fractal potential is derived as a special case of SPP. • Generalized Cantor and Smith–Volterra–Cantor (SVC) potentials are studied as special cases of SPP. • Tunnelling amplitudes for fractal, Cantor and SVC potentials are derived. - Abstract: In this paper we introduce the concept of super periodic potential (SPP) of arbitrary order n, n∈I{sup +}, in one dimension. General theory of wave propagation through SPP of order n is presented and the reflection and transmission coefficients are derived in their closed analytical form by transfer matrix formulation. We present scattering features of super periodic rectangular potential and super periodic delta potential as special cases of SPP. It is found that the symmetric self-similarity is the special case of super periodicity. Thus by identifying a symmetric fractal potential as special cases of SPP, one can obtain the tunnelling amplitude for a particle from such fractal potential. By using the formalism of SPP we obtain the close form expression of tunnelling amplitude of a particle for general Cantor and Smith–Volterra–Cantor potentials.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Adjoint methods for quasi-symmetry of vacuum fields on a surface

Adjoint methods can speed up stellarator optimisation by providing gradient information more efficiently compared with finite-difference evaluations. Adjoint methods are herein applied to vacuum magnetic fields, with objective functions targeting quasi-symmetry and a rotational transform value on a surface. Here to measure quasi-symmetry, a novel way of evaluating approximate flux coordinates on a single flux surface without the assumption of a neighbourhood of flux surfaces is proposed. The shape gradients obtained from the adjoint formalism are evaluated numerically and verified against finite-difference evaluations.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2023

Mechanism of Nitrogen-Carbon Bond Formation from Iron(IV) Disilylhydrazido Intermediates during N 2 Reduction

We recently reported a reaction sequence that activates C–H bonds in simple arenes as well as the N–N triple bond in N 2 , delivering the aryl group to N 2 to form a new N–C bond ( Nature 2020 , 584, 221). This enables the transformation of abundant feedstocks (arenes and N 2 ) into N-containing organic compounds. The key N–C bond forming step occurs upon partial silylation of N 2 . However, the pathway through which reduction, silylation, and migration occurred was unknown. Here, in this work, we describe synthetic, structural, magnetic, spectroscopic, kinetic, and computational studies that elucidate the steps of this transformation. N 2 must be silylated twice at the distal N atom before aryl migration can occur, and sequential silyl radical and silyl cation addition is a kinetically competent pathway to a formally iron(IV)–NN(SiMe 3 ) 2 intermediate that can be isolated at low temperature. Kinetic studies show its first-order conversion to the migrated product, and DFT calculations indicate a concerted transition state for migration. The electronic structure of the formally iron(IV) intermediate is examined using DFT and CASSCF calculations, which reveal contributions from iron(II) and iron(III) resonance forms with oxidized NNSi 2 ligands. The depletion of electron density from the Fe-coordinated N atom makes it electrophilic enough to accept the incoming aryl group. This new pathway for the N–C bond formation offers a method for functionalizing N 2 using organometallic chemistry.

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

Changes in polarization dictate necessary approximations for modeling electronic deexcitation intensity: Application to x-ray emission

Accurate simulation of electronic excitations and deexcitations are critical for complementing complex spectroscopic experiments and can provide validation to theoretical approaches. Here, using a generalized framework, we contrast the accuracy and validity of orbital-constrained and linear-response approaches that build upon Kohn-Sham density functional theory (DFT) to simulate emission spectra of electronic origin and propose an efficient approximation, named many-body x-ray emission spectroscopy or MBXES, for simulating such processes. We show analytically as well as with computed examples that for electronic (de)excitation leading to an appreciable change in polarization (i.e., density rearrangement), the adiabatic approximation in a response-based formalism will be inadequate for the calculation of oscillator strength. Thus, such a change (e.g., in the net electrostatic dipole moment of a finite system) can be used as a metric for evaluating the applicability of the adiabatic response-based approach and can be particularly valuable in x-ray emission spectroscopy. On the other hand, MBXES, the flexible method introduced in this paper, can compute oscillator strengths accurately at a much lower computational expense on the basis of two DFT-based self-consistent field calculations. Using illustrative examples of emission spectra, the efficacy of the MBXES method is demonstrated by comparison with its parent theory, orbital-optimized DFT, and with experiments.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2016

Shell model states in the continuum

Here we suggest a method for calculating scattering phase shifts and energies and widths of resonances which utilizes only eigenenergies obtained in variational calculations with oscillator basis and their dependence on oscillator basis spacing ℏΩ. We make use of simple expressions for the S matrix at eigenstates of a finite (truncated) Hamiltonian matrix in the oscillator basis obtained in the HORSE (J-matrix) formalism of quantum scattering theory. The validity of the suggested approach is verified in calculations with model Woods-Saxon potentials and applied to calculations of nα resonances and nonresonant scattering using the no-core shell model.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗