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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
DOE OSTI2016

Dielectric response and electric modulus of Y{sub 2}CrCoO{sub 6} perovskite

Y{sub 2}CrCoO{sub 6} perovskite prepared by solution combustion method and sintered at 1073 K has been characterized by dielectric spectroscopy and electric modulus formalism. Temperature and frequency dependent measurements of permitivitty reveal that observed relaxation might be related to the hopping conductivity, i.e. universal dielectric response. The presence of electrode polarization is dominant at low frequencies. The electric modulus dependencies enable us to distinguish and separate the relaxation processes connected to the conduction processes in the material. The presences of both grain and grain boundary effects are established, each dominant in different frequency and temperature range. The conductivity through grain boundaries obeys metalic behavior, while conductivity through grains shows semiconductor behavior. The electrical behavior of this material depends on the differences in (Cr-O) and (Co-O) bond lenghts, Co{sup 3+} being in the low-spin state, resulting in shorter Co-O and thus stronger π bonding e.g. more efficient overlapping of the Co{sup 3+} d-orbitals with oxygen p{sub π} orbitals.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

DL_POLY Quantum 2.0: A modular general-purpose software for advanced path integral simulations

DL_POLY Quantum 2.0, a vastly expanded software based on DL_POLY Classic 1.10, is a highly parallelized computational suite written in FORTRAN77 with a modular structure for incorporating nuclear quantum effects into large-scale/long-time molecular dynamics simulations. This is achieved by presenting users with a wide selection of state-of-the-art dynamics methods that utilize the isomorphism between a classical ring polymer and Feynman’s path integral formalism of quantum mechanics. Here, the flexible and user-friendly input/output handling system allows the control of methodology, integration schemes, and thermostatting. DL_POLY Quantum is equipped with a module specifically assigned for calculating correlation functions and printing out the values for sought-after quantities, such as dipole moments and center-of-mass velocities, with packaged tools for calculating infrared absorption spectra and diffusion coefficients.

36 MATERIALS SCIENCE↗
DOE OSTI2013

MID-INFRARED SELECTION OF ACTIVE GALACTIC NUCLEI WITH THE WIDE-FIELD INFRARED SURVEY EXPLORER. II. PROPERTIES OF WISE-SELECTED ACTIVE GALACTIC NUCLEI IN THE NDWFS BOOeTES FIELD

Stern et al. presented a study of Wide-field Infrared Survey Explorer (WISE) selection of active galactic nuclei (AGNs) in the 2 deg{sup 2} COSMOS field, finding that a simple criterion W1-W2 {>=} 0.8 provides a highly reliable and complete AGN sample for W2 < 15.05, where the W1 and W2 passbands are centered at 3.4 {mu}m and 4.6 {mu}m, respectively. Here we extend this study using the larger 9 deg{sup 2} NOAO Deep Wide-Field Survey Booetes field which also has considerably deeper WISE observations than the COSMOS field, and find that this simple color cut significantly loses reliability at fainter fluxes. We define a modified selection criterion combining the W1-W2 color and the W2 magnitude to provide highly reliable or highly complete AGN samples for fainter WISE sources. In particular, we define a color-magnitude cut that finds 130 {+-} 4 deg{sup -2} AGN candidates for W2 < 17.11 with 90% reliability. Using the extensive UV through mid-IR broadband photometry available in this field, we study the spectral energy distributions of WISE AGN candidates. We find that, as expected, the WISE AGN selection can identify highly obscured AGNs, but that it is biased toward objects where the AGN dominates the bolometric luminosity output. We study the distribution of reddening in the AGN sample and discuss a formalism to account for sample incompleteness based on the step-wise maximum-likelihood method of Efstathiou et al. The resulting dust obscuration distributions depend strongly on AGN luminosity, consistent with the trend expected for a receding torus. At L{sub AGN} {approx} 3 Multiplication-Sign 10{sup 44} erg s{sup -1}, 29% {+-} 7% of AGNs are observed as Type 1, while at {approx}4 Multiplication-Sign 10{sup 45} erg s{sup -1} the fraction is 64% {+-} 13%. The distribution of obscuration values suggests that dust in the torus is present as both a diffuse medium and in optically thick clouds.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2013

In-in and δN calculations of the bispectrum from non-attractor single-field inflation

In non-attractor single-field inflation models producing a scale-invariant power spectrum, the curvature perturbation on super-horizon scales grows as R∝a{sup 3}. This is so far the only known class of self-consistent single-field models with a Bunch-Davies initial state that can produce a large squeezed-limit bispectrum violating Maldacena's consistency relation. Given the importance of this result, we calculate the bispectrum with three different methods: using quantum field theory calculations in two different gauges, and classical calculations (the δN formalism). All the results agree, giving the local-form bispectrum parameter of f{sup local}{sub NL} = 5(1+c{sub s}{sup 2})/(4c{sub s}{sup 2}). This result is valid for arbitrary values of the speed of sound parameter, c{sub s}, for a particular non-attractor model we consider in this paper.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2013

ASYMMETRIC ELECTRON DISTRIBUTIONS IN THE SOLAR WIND

A plausible mechanism responsible for producing asymmetric electron velocity distribution functions in the solar wind is investigated by means of one-dimensional electrostatic particle-in-cell (PIC) simulation. A recent paper suggests that the variation in the ion-to-electron temperature ratio influences the nonlinear wave-particle dynamics such that it results in the formation of asymmetric distributions. The present PIC code simulation largely confirms this finding, but quantitative differences between the weak turbulence formalism and the present PIC simulation are also found, suggesting the limitation of the analytical method. The inter-relationship between the asymmetric electron distribution and the ion-to-electron temperature ratio may be a new useful concept for the observation.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2015

Thermodynamic assessment of the Pr-O system

We found that the Calphad method was used to perform a thermodynamic assessment of the Pr–O system. Compound energy formalism representations were developed for the fluorite α-PrO 2–x and bixbyite σ-Pr 3 O 5 ± x solid solutions while the two-sublattice liquid model was used to describe the binary melt. The series of phases between Pr 2 O 3 and PrO 2 were taken to be stoichiometric. Moreover, the equilibrium oxygen pressure, phase equilibria, and enthalpy data were used to optimize the adjustable parameters of the models for a self-consistent representation of the thermodynamic behavior of the Pr–O system from 298 K to melting.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Architectures

Quantum Error Correction (QEC) codes are essential for achieving fault-tolerant quantum computing (FTQC). However, their implementation faces significant challenges due to disparity between required dense qubit connectivity and sparse hardware architectures. Current approaches often either underutilize QEC circuit features or focus on manual designs tailored to specific codes and architectures, limiting their capability and generality. In response, we introduce QECC-Synth, an automated compiler for QEC code implementation that addresses these challenges. We leverage the ancilla bridge technique tailored to the requirements of QEC circuits and introduces a systematic classification of its design space flexibilities. We then formalize this problem using the MaxSAT framework to optimize these flexibilities. Evaluation shows that our method significantly outperforms existing methods while demonstrating broader applicability across diverse QEC codes and hardware architectures.

Yin, Keyi [University of California, San Diego]↗
DOE OSTI2019

Radioactive Decay Computation with a Graph Approach for Solving a Linear Dynamic System

ABSTRACT: This article gives two graph-based algorithms for radioactive decay computation. The first algorithm identifies the connected components of the graph induced from the given radioactive decay dynamics to reduce the size of the problem. The solutions are derived over the precalculated connected components, respectively and independently. The second algorithm utilizes acyclic structure of radioactive decay dynamics. The algorithm evaluates the reachable vertices of the induced system graph from the initially activated vertices and finds the minimal set of starting vertices populating the entire reachable vertices. Then, the decay calculations are performed over the reachable vertices from the identified minimal starting vertices, respectively, with the partitioned initial value over the reachable vertices. A formal argument is given to show that the proposed graph inspired divide and conquer calculation methods perform the intended radioactive decay calculation. Empirical efforts comparing the proposed radioactive decay calculation algorithms are presented.

42 ENGINEERING↗
DOE OSTI2024

On-the-fly machine learned force fields for the study of warm dense matter: Application to diffusion and viscosity of CH

We develop a framework for on-the-fly machine learned force field (MLFF) molecular dynamics (MD) simulations of warm dense matter (WDM). In particular, we employ an MLFF scheme based on the kernel method and Bayesian linear regression, with the training data generated from the Kohn–Sham density functional theory (DFT) using the Gauss spectral quadrature method, within which we calculate energies, atomic forces, and stresses. We verify the accuracy of the formalism by comparing the predicted properties of warm dense carbon with recent Kohn–Sham DFT results in the literature. In so doing, we demonstrate that ab initio MD simulations of WDM can be accelerated by up to three orders of magnitude, while retaining ab initio accuracy. We apply this framework to calculate the diffusion coefficients and shear viscosity of CH at a density of 1 g/cm3 and temperatures in the range of 75 000–750 000 K. We find that the self- and inter-diffusion coefficients and the viscosity obey a power law with temperature, and that the diffusion coefficient results suggest a weak coupling between C and H in CH. In addition, we find agreement within standard deviation with previous results for C and CH but disagreement for H, demonstrating the need for ab initio calculations as presented here.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2023

Thermofield Theory for Finite-Temperature Electronic Structure

Wave function methods have offered a robust, systematically improvable means to study ground-state properties in quantum many-body systems. Theories like coupled cluster and their derivatives provide highly accurate approximations to the energy landscape at a reasonable computational cost. Analogues of such methods to study thermal properties, though highly desirable, have been lacking because evaluating thermal properties involve a trace over the entire Hilbert space, which is a formidable task. Besides, excited-state theories are generally not as well studied as ground-state ones. In this mini-review, we present an overview of a finite-temperature wave function formalism based on thermofield dynamics to overcome these difficulties. Thermofield dynamics allows us to map the equilibrium thermal density matrix to a pure state, i.e., a single wave function, albeit in an expanded Hilbert space. Ensemble averages become expectation values over this so-called thermal state. Around this thermal state, we have developed a procedure to generalize ground-state wave function theories to finite temperatures. As explicit examples, we highlight formulations of mean-field, configuration interaction, and coupled cluster theories for thermal properties of Fermions in the grand-canonical ensemble. To assess the quality of these approximations, we also show benchmark studies for the one-dimensional Hubbard model, while comparing against exact results. We will see that the thermal methods perform similarly to their ground-state counterparts, while merely adding a prefactor to the asymptotic computational cost. Furthermore, they also inherit all the properties, good or bad, from the ground-state methods, signifying the robustness of our formalism and the scope for future development.

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

SU-E-T-752: Three-Dimensional Carcinogenic Maps Induced by Photons and Protons

Purpose: Evaluate the excess relative risk (ERR) induced by photons and protons in each voxel of the lung, and display it as a three-dimensional map, known as the ERRM (i.e. excess relative risk map) along with the dose distribution map. In addition, we also study the effect of variations in the linear energy transfer (LET) distribution on ERRM for a given proton plan. Methods: The excess relative risk due to radiation is estimated using the initiation-inactivation-proliferation formalism. This framework accounts for three biological phenomenon: mutation induction, cell kill and proliferation. Cell kill and mutation induction are taken as a function of LET using experimental data. LET distributions are calculated using a Monte Carlo algorithm. ERR is then estimated for each voxel in the organ, and displayed as a three dimensional carcinogenic map. Results: The differences in the ERR’s between photons and protons is seen from the three-dimensional ERR map. In addition, we also varied the LET of a proton plan and observed the differences in the corresponding ERR maps demonstrating variations in the ERR maps depend on features of a proton plan. Additionally, our results suggest that any two proton plans that have the same integral dose does not necessarily imply identical ERR maps, and these changes are due to the variations in the LET distribution map. Conclusion: Clinically, it is important to have a three dimensional display of biological end points. This study is an effort to introduce 3D ERR maps into the treatment planning workflow for certain sites such as pediatric head and neck tumors.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2025

Granger causal inference for climate change attribution

Abstract Climate change detection and attribution (D&A) is concerned with determining the extent to which anthropogenic activities have influenced specific aspects of the global climate system. D&A fits within the broader field of causal inference, the collection of statistical methods that identify cause and effect relationships. There are a wide variety of methods for making attribution statements, each of which require different types of input data and focus on different types of weather and climate events and each of which are conditional to varying extents. Some methods are based on Pearl causality (direct experimental interference) while others leverage Granger (predictive) causality, and the causal framing provides important context for how the resulting attribution conclusion should be interpreted. However, while Granger-causal attribution analyses have become more common, there is no clear statement of their strengths and weaknesses relative to Pearl-causal attribution and no clear consensus on where and when Granger-causal perspectives are appropriate. In this prospective paper, we provide a formal definition for Granger-based approaches to trend and event attribution and a clear comparison with more traditional methods for assessing the human influence on extreme weather and climate events. Broadly speaking, Granger-causal attribution statements can be constructed quickly from observations and do not require computationally-intesive dynamical experiments. These analyses also enable rapid attribution, which is useful in the aftermath of a severe weather event, and provide multiple lines of evidence for anthropogenic climate change when paired with Pearl-causal attribution. Confidence in attribution statements is increased when different methodologies arrive at similar conclusions. Moving forward, we encourage the D&A community to embrace hybrid approaches to climate change attribution that leverage the strengths of both Granger and Pearl causality.

Risser, Mark D. (ORCID:0000000319561783)↗
DOE OSTI2014

Analysis of the methods for the derivation of binary kinetic equations in the theory of fluorescence concentration quenching

In the framework of unified many-particle approach the familiar problem of fluorescence concentration quenching in the presence of pumping (light pulse) of arbitrary intensity is considered. This process is a vivid and the simplest example of multistage bulk reaction including bimolecular irreversible quenching reaction and reversible monomolecular transformation as elementary stages. General relation between the kinetics of multistage bulk reaction and that of the elementary stage of quenching has been established. This allows one to derive general kinetic equations (of two types) for the multistage reaction in question on the basis of general kinetic equations (differential and integro-differential) of elementary stage of quenching. Relying on the same unified many-particle approach we have developed binary approximations with the use of two (frequently employed in the literature) many-particle methods (such as simple superposition approximation and the method of extracting pair channels in three-particle correlation evolution) to the derivation of non-Markovian binary kinetic equations. The possibility of reducing the obtained binary equations to the Markovian equations of formal chemical kinetics has been considered. As an example the exact solution of the problem (for the specific case) is examined, and the applicability of two many particle methods of derivation of binary equations is analyzed.

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

Considering nonlocality in the optical potentials within eikonal models

Background: For its simplicity, the eikonal method is the tool of choice to analyze nuclear reactions at high energies (E > 100 MeV/nucleon), including knockout reactions. However, so far, the effective interactions used in this method are assumed to be fully local. Purpose: Given the recent studies on nonlocal optical potentials, in this work we assess whether nonlocality in the optical potentials is expected to impact reactions at high energies and then explore different avenues for extending the eikonal method to include nonlocal interactions. Method: We compare angular distributions obtained for nonlocal interactions (using the exact R-matrix approach for elastic scattering and the adiabatic distorted wave approximation for transfer) with those obtained using their local-equivalent interactions. Results: Our results show that transfer observables are significantly impacted by nonlocality in the high-energy regime. Because knockout reactions are dominated by stripping (transfer to inelastic channels), nonlocality is expected to have a large effect on knockout observables too. Three approaches are explored for extending the eikonal method to nonlocal interactions, including an iterative method and a perturbation theory. Conclusions: None of the derived extensions of the eikonal model provide a good description of elastic scattering. Here, this paper suggests that nonlocality removes the formal simplicity associated with the eikonal model.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2014

Modeling techniques for quantum cascade lasers

Quantum cascade lasers are unipolar semiconductor lasers covering a wide range of the infrared and terahertz spectrum. Lasing action is achieved by using optical intersubband transitions between quantized states in specifically designed multiple-quantum-well heterostructures. A systematic improvement of quantum cascade lasers with respect to operating temperature, efficiency, and spectral range requires detailed modeling of the underlying physical processes in these structures. Moreover, the quantum cascade laser constitutes a versatile model device for the development and improvement of simulation techniques in nano- and optoelectronics. This review provides a comprehensive survey and discussion of the modeling techniques used for the simulation of quantum cascade lasers. The main focus is on the modeling of carrier transport in the nanostructured gain medium, while the simulation of the optical cavity is covered at a more basic level. Specifically, the transfer matrix and finite difference methods for solving the one-dimensional Schrödinger equation and Schrödinger-Poisson system are discussed, providing the quantized states in the multiple-quantum-well active region. The modeling of the optical cavity is covered with a focus on basic waveguide resonator structures. Furthermore, various carrier transport simulation methods are discussed, ranging from basic empirical approaches to advanced self-consistent techniques. The methods include empirical rate equation and related Maxwell-Bloch equation approaches, self-consistent rate equation and ensemble Monte Carlo methods, as well as quantum transport approaches, in particular the density matrix and non-equilibrium Green's function formalism. The derived scattering rates and self-energies are generally valid for n-type devices based on one-dimensional quantum confinement, such as quantum well structures.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2016

SU-G-JeP2-02: A Unifying Multi-Atlas Approach to Electron Density Mapping Using Multi-Parametric MRI for Radiation Treatment Planning

Purpose: MRI has a number of advantages over CT as a primary modality for radiation treatment planning (RTP). However, one key bottleneck problem still remains, which is the lack of electron density information in MRI. In the work, a reliable method to map electron density is developed by leveraging the differential contrast of multi-parametric MRI. Methods: We propose a probabilistic Bayesian approach for electron density mapping based on T1 and T2-weighted MRI, using multiple patients as atlases. For each voxel, we compute two conditional probabilities: (1) electron density given its image intensity on T1 and T2-weighted MR images, and (2) electron density given its geometric location in a reference anatomy. The two sources of information (image intensity and spatial location) are combined into a unifying posterior probability density function using the Bayesian formalism. The mean value of the posterior probability density function provides the estimated electron density. Results: We evaluated the method on 10 head and neck patients and performed leave-one-out cross validation (9 patients as atlases and remaining 1 as test). The proposed method significantly reduced the errors in electron density estimation, with a mean absolute HU error of 138, compared with 193 for the T1-weighted intensity approach and 261 without density correction. For bone detection (HU>200), the proposed method had an accuracy of 84% and a sensitivity of 73% at specificity of 90% (AUC = 87%). In comparison, the AUC for bone detection is 73% and 50% using the intensity approach and without density correction, respectively. Conclusion: The proposed unifying method provides accurate electron density estimation and bone detection based on multi-parametric MRI of the head with highly heterogeneous anatomy. This could allow for accurate dose calculation and reference image generation for patient setup in MRI-based radiation treatment planning.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2026

Cosmological neutrino mass: a frequentist overview in light of DESI

We derive constraints on the neutrino mass using a variety of recent cosmological datasets, including DESI BAO, the full-shape analysis of the DESI matter power spectrum and the one-dimensional power spectrum of the Lyman-α forest (P1D) from eBOSS quasars as well as the cosmic microwave background (CMB). The constraints are obtained in the frequentist formalism by constructing profile likelihoods and applying the Feldman-Cousins prescription to compute confidence intervals. This method avoids potential prior and volume effects that may arise in a comparable Bayesian analysis. Parabolic fits to the profiles allow one to distinguish changes in the upper limits from variations in the constraining power σ of the different data combinations. We find that all profiles in the ΛCDM model are cut off by the ∑m ν ≥ 0 bound, meaning that the corresponding parabolas reach their minimum in the unphysical sector. The most stringent 95% C.L. upper limit is obtained by the combination of DESI DR2 BAO, Planck PR4 and CMB lensing at 53 meV, below the minimum of 59 meV set by the normal ordering. The corresponding constraining power σ is 43 meV, which highlights the importance of the cut-off by negative values in the determination of the upper limit. Extending ΛCDM to non-zero curvature and w 0 w a CDM relaxes the constraints past 59 meV again, but only w 0 w a CDM exhibits profiles with a minimum at a positive value. Additionally, we extend the formalism to constrain the lightest neutrino mass. For DESI DR2 BAO, Planck PR4 and CMB lensing, we find confidence limits at 20 and 19 meV for normal and inverted ordering, respectively. Using a combination of DESI DR1 full-shape, BBN and eBOSS Lyman-α P1D, we successfully constrain the neutrino mass independently of the CMB. This combination yields m l ≤ 97 and 98 meV in the normal and inverted orderings, and total neutrino mass ∑m ν ≤ 285 meV (95% C.L.). The addition of DESI full-shape or Lyman-α P1D to CMB and DESI BAO results in small but noticeable improvement of the constraining power of the data. Lyman-α free-streaming measurements especially improve the constraint. Since they are based on eBOSS data, this sets a promising precedent for upcoming DESI data.

Frequentist statistics↗
DOE OSTI2015

Superposition of Fragment Excitations for Excited States of Large Clusters with Application to Helium Clusters

We develop a local excited-state method, based on the configuration interaction singles (CIS) wave function, for large atomic and molecular clusters. This method exploits the properties of absolutely localized molecular orbitals (ALMOs), which strictly limits the total number of excitations, and results in formal scaling with the third power of the system size for computing the full spectrum of ALMO-CIS excited states. Here, the derivation of the equations and design of the algorithm are discussed in detail, with particular emphasis on the computational scaling. Clusters containing ~500 atoms were used in evaluating the scaling, which agrees with the theoretical predictions, and the accuracy of the method is evaluated with respect to standard CIS. Finally, a pioneering application to the size dependence of the helium cluster spectrum is also presented for clusters of 25-231 atoms, the largest of which results in the computation of 2310 excited states per sampled cluster geometry.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗