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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 685 records · Page 38

All sources NASA NTRS DOE OSTI

DOE OSTI2018

Entanglement of exact excited states of Affleck-Kennedy-Lieb-Tasaki models: Exact results, many-body scars, and violation of the strong eigenstate thermalization hypothesis

We obtain multiple exact results on the entanglement of the exact excited states of nonintegrable models we introduced in Phys. Rev. B 98, 235155 (2018). We first discuss a general formalism to analytically compute the entanglement spectra of exact excited states using matrix product states and matrix product operators and illustrate the method by reproducing a general result on single-mode excitations. We then apply this technique to analytically obtain the entanglement spectra of the infinite tower of states of the spin-S AKLT models in the zero and finite energy density limits. We show that in the zero energy density limit, the entanglement spectra of the tower of states are multiple shifted copies of the ground-state entanglement spectrum in the thermodynamic limit. We show that such a resemblance is destroyed at any nonzero energy density. Furthermore, the entanglement entropy S of the states of the tower that are in the bulk of the spectrum is subthermal S ∝ log L, as opposed to a volume law S ∝ L, thus indicating a violation of the strong eigenstate thermalization hypothesis (ETH). These states are examples of what are now called many-body scars. Lastly, we analytically study the finite-size effects and symmetry-protected degeneracies in the entanglement spectra of the excited states, extending the existing theory.

1-dimensional spin chains↗

DOE OSTI2020

Synthesis, structural characterization, and electronic structure of the novel Zintl phase Ba 2 ZnP 2

The novel Zintl phase dibarium zinc diphosphide (Ba 2 ZnP 2 ) was synthesized for the first time. This was accomplished using the Pb flux technique, which allowed for the growth of crystals of adequate size for structural determination via single-crystal X-ray diffraction methods. The Ba 2 ZnP 2 compound was determined to crystallize in a body-centered orthorhombic space group, Ibam (No. 72). Formally, this crystallographic arrangement belongs to the K 2 SiP 2 structure type. Therefore, the structure can be best described as infinite [ZnP 2 ] 4– polyanionic chains with divalent Ba 2+ cations located between the chains. All valence electrons are partitioned, which conforms to the Zintl–Klemm concept and suggests that Ba 2 ZnP 2 is a valence-precise composition. In conclusion, the electronic band structure of this new compound, computed with the aid of the TB–LMTO–ASA code, shows that Ba 2 ZnP 2 is an intrinsic semiconductor with a band gap of ca 0.6 eV.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2020

Quantum Quench Dynamics–Crossover Phenomena in Nonequilibrium Correlated Quantum Systems (Final Technical Report)

In this project we have developed analytical and numerical tools to study the interplay between interactions, dimensionality, fluctuations and disorder in quantum impurity systems. We have studied the transient dynamics following a quench, i.e. the sudden change in a control variable of the model Hamiltonian, which offers a unique way to examine the system’s spatial, temporal and energetic structure. Specifically, we have investigated how crossover scales, i.e. given by Kondo couplings, are affected by disorder. We have addressed a wide range of phenomena, such as the effects of static disorder on dynamical screening of magnetic impurities, and the influence of a fully time-fluctuating bath environment on the dephasing of system qubits. We have found that many of these systems exhibit fascinating counterintuitive behavior, such as e.g. the possibility of asymptotic unitary time evolution in specifically conditioned system-bath Hamiltonians. From a technical point of view, we have developed a supersymmetric formalism to analyze scaling functions of disordered quantum impurity spin chains, we generalized the strong-coupling real-space renormalization group method to probe the quench dynamics of higher-dimensional quantum impurity systems, and we devised a master equation approach that included the effects of a fully fluctuating environment. This way, we have addressed a very broad spectrum of transient phenomena in quantum impurity systems, with disorder ranging from the quenched to the annealed limit.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

DOE OSTI2022

Qualification of SAS4A/SASSYS-1 for Sodium-Cooled Fast Reactor Authorization and Licensing (Final CRADA Report)

This project focuses on assessment and qualification of the SAS4A/SASSYS-1 advanced reactor safety analysis code and its capacity to fulfill requirements associated with license/authorization of a sodium-cooled fast reactor (SFR). Specific objectives of this proposal include: development of a formal documentation requirements matrix that complies with a vendor’s NQA-1 program to identify needs for qualification documentation; completion of software methods qualification gap analysis to identify and close gaps in the verification and validation basis of the software; generation of an Acceptance Test Report to confirm compliance with the software requirements specification; and closure of gaps in Software Design Description (SDD) to assist with the eventual generation of a Modeling Licensing Topic Report (LTR).

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2015

Effect of oxygen vacancy on half metallicity in Ni-doped CeO{sub 2} diluted magnetic semiconductor

The electronic and magnetic properties of Ni-doped CeO{sub 2} diluted amgentic semiconductor (DMS) including the effect of oxygen vacancy (V{sub o}) with doping concentration, x = 0.125 have been calculated using FPLAPW method based on Density Functional Theory (DFT) as implemented in WIEN2k. In the present supercell approach, the XC potential was constructed using GGA+U formalism in which Coulomb correction is applied to standard GGA functional within the parameterization of Perdew-Burke-Ernzerhof (PBE). We have found that the ground state properties of bulk CeO{sub 2} compound have been modified significantly due to the substitution of Ni-dopant at the cation (Ce) site with/without V{sub O} and realized that the ferromagnetism in CeO{sub 2} remarkably depends on the V{sub o} concentrations. The presence of V{sub o}, in Ni-doped CeO{sub 2}, can leads to strong ferromagnetic coupling between the nearest neighboring Ni-ions and induces a HMF in this compound. Such ferromagnetic exchange coupling is mainly attributed to spin splitting of Ni-d states, via electrons trapped in V{sub o}. The HMF characteristics of Ni-doped CeO{sub 2} including V{sub o} makes it an ideal material for spintronic devices.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2014

Optimized Uncertainty Quantification Algorithm Within a Dynamic Event Tree Framework

Methods for developing Phenomenological Identification and Ranking Tables (PIRT) for nuclear power plants have been a useful tool in providing insight into modelling aspects that are important to safety. These methods have involved expert knowledge with regards to reactor plant transients and thermal-hydraulic codes to identify are of highest importance. Quantified PIRT provides for rigorous method for quantifying the phenomena that can have the greatest impact. The transients that are evaluated and the timing of those events are typically developed in collaboration with the Probabilistic Risk Analysis. Though quite effective in evaluating risk, traditional PRA methods lack the capability to evaluate complex dynamic systems where end states may vary as a function of transition time from physical state to physical state . Dynamic PRA (DPRA) methods provide a more rigorous analysis of complex dynamic systems. A limitation of DPRA is its potential for state or combinatorial explosion that grows as a function of the number of components; as well as, the sampling of transition times from state-to-state of the entire system. This paper presents a method for performing QPIRT within a dynamic event tree framework such that timing events which result in the highest probabilities of failure are captured and a QPIRT is performed simultaneously while performing a discrete dynamic event tree evaluation. The resulting simulation results in a formal QPIRT for each end state. The use of dynamic event trees results in state explosion as the number of possible component states increases. This paper utilizes a branch and bound algorithm to optimize the solution of the dynamic event trees. The paper summarizes the methods used to implement the branch-and-bound algorithm in solving the discrete dynamic event trees.

42 ENGINEERING↗

DOE OSTI2018

Two-nucleon emission in neutrino and electron scattering from nuclei: The modified convolution approximation

The theoretical formalism of inclusive lepton–nucleus scattering in the two-nucleon emission channel is discussed in the context of a simplified approach, the modified convolution approximation. This allows one to write the 2p2h responses of the relativistic Fermi gas as a folding integral of two 1p1h responses with the energies and momenta transferred to each nucleon. The idea behind this method is to introduce different average momenta for the two initial nucleons in the matrix elements of the two-body current, with the innovation that they depend on the transferred energies and momenta. This method treats exactly the two-body phase space kinematics, and reduces the formulae of the response functions from seven-dimensional integrals over momenta to much simpler three-dimensional ones. The applicability of the method is checked by comparing with the full results within a model of electroweak meson-exchange currents. The predictions are accurate enough, especially in the low-energy threshold region where the average momentum approximation works the best.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2015

Machine Learning Approaches for Predicting Radiation Therapy Outcomes: A Clinician's Perspective

Radiation oncology has always been deeply rooted in modeling, from the early days of isoeffect curves to the contemporary Quantitative Analysis of Normal Tissue Effects in the Clinic (QUANTEC) initiative. In recent years, medical modeling for both prognostic and therapeutic purposes has exploded thanks to increasing availability of electronic data and genomics. One promising direction that medical modeling is moving toward is adopting the same machine learning methods used by companies such as Google and Facebook to combat disease. Broadly defined, machine learning is a branch of computer science that deals with making predictions from complex data through statistical models. These methods serve to uncover patterns in data and are actively used in areas such as speech recognition, handwriting recognition, face recognition, “spam” filtering (junk email), and targeted advertising. Although multiple radiation oncology research groups have shown the value of applied machine learning (ML), clinical adoption has been slow due to the high barrier to understanding these complex models by clinicians. Here, we present a review of the use of ML to predict radiation therapy outcomes from the clinician's point of view with the hope that it lowers the “barrier to entry” for those without formal training in ML. We begin by describing 7 principles that one should consider when evaluating (or creating) an ML model in radiation oncology. We next introduce 3 popular ML methods—logistic regression (LR), support vector machine (SVM), and artificial neural network (ANN)—and critique 3 seminal papers in the context of these principles. Although current studies are in exploratory stages, the overall methodology has progressively matured, and the field is ready for larger-scale further investigation.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

DOE OSTI2019

Density Calculations of Actinide Solutions using the Pitzer Method

This report summarizes an exhaustive literature search for density data of actinide solutions in support of the Nuclear Criticality Safety Program (NCSP). This work comprises an extension of work originally begun in 2003 that implemented an advanced density calculation scheme in the SCALE material input processor. This method demonstrated improved criticality calculations for aqueous systems of UO 2 (NO 3 ) 2 and Pu(NO 3 ) 4 in excess acid over a considerable range of concentrations and temperatures. It also provided for UO 2 F 2 in acid at room temperature, although with higher uncertainty. The current study was intended to search all available sources for additional data on uranium and plutonium solutions, including the open literature, reports with limited distribution, and unpublished sources such as laboratory notebooks. Data for some of the systems has been regressed to obtain model parameters for the Pitzer formalism of modeling electrolyte solutions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2014

Applicability of Density Functional Theory in Reproducing Accurate Vibrational Spectra of Surface Bound Species

The structural equilibrium parameters, the adsorption energies, and the vibrational frequencies of the nitrogen molecule and the hydrogen atom adsorbed on the (111) surface of rhodium have been investigated using different generalized-gradient approximation (GGA), nonlocal correlation, meta-GGA, and hybrid functionals, namely, Perdew, Burke, and Ernzerhof (PBE), Revised-RPBE, vdW-DF, Tao, Perdew, Staroverov, and Scuseria functional (TPSS), and Heyd, Scuseria, and Ernzerhof (HSE06) functional in the plane wave formalism. Among the five tested functionals, nonlocal vdW-DF and meta-GGA TPSS functionals are most successful in describing energetics of dinitrogen physisorption to the Rh(111) surface, while the PBE functional provides the correct chemisorption energy for the hydrogen atom. It was also found that TPSS functional produces the best vibrational spectra of the nitrogen molecule and the hydrogen atom on rhodium within the harmonic formalism with the error of 22.62 and 21.1% for the NAN stretching and RhAH stretching frequency. Thus, TPSS functional was proposed as a method of choice for obtaining vibrational spectra of low weight adsorbates on metallic surfaces within the harmonic approximation. At the anharmonic level, by decoupling the RhAH and NAN stretching modes from the bulk phonons and by solving one- and two-dimensional Schr€odinger equation associated with the RhAH, RhAN, and NAN potential energy we calculated the anharmonic correction for NAN and RhAH stretching modes as 231 cm21 and 277 cm21 at PBE level. Anharmonic vibrational frequencies calculated with the use of the hybrid HSE06 function are in best agreement with available experiments.

Environmental Molecular Sciences Laboratory↗

DOE OSTI2018

LMI stability conditions and stabilization of fractional-order systems with poly-topic and two-norm bounded uncertainties for fractional-order α: the 1 < α < 2 case

This article addresses the problem of robust stability and stabilization for linear fractional-order system with poly-topic and two-norm bounded uncertainties, and focuses particularly on the case of a fractional order α such that 1 < α < 2. First, the robust asymptotical stable condition is presented. Second, the design method of the state feedback controller for asymptotically stabilizing such uncertain fractional order systems is derived. In the proposed approach, linear matrix inequalities formalism is used to check and design. Lastly, two simulation examples are given to validate the proposed theoretical results.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2021

Free Energies of Proton-Coupled Electron Transfer Reagents and Their Applications

Here, we present an update and revision to our 2010 review on the topic of proton- coupled electron transfer (PCET) reagent thermochemistry. Over the past decade, the data and thermochemical formalisms presented in that review have been of value to multiple fields. Concurrently, there have been advances in the thermochemical cycles and experimental methods used to measure these values. This Review (i) summarizes those advancements, (ii) corrects systematic errors in our prior review that shifted many of the absolute values in the tabulated data, (iii) provides updated tables of thermochemical values, and (iv) discusses new conclusions and opportunities from the assembled data and associated techniques. We advocate for updated thermochemical cycles that provide greater clarity and reduce experimental barriers to the calculation and measurement of Gibbs free energies for the conversion of X to XHn in PCET reactions. In particular, we demonstrate the utility and generality of reporting potentials of hydrogenation, E°(V vs H 2 ), in almost any solvent and how these values are connected to more widely reported bond dissociation free energies (BDFEs). The tabulated data demonstrate that E°(V vs H 2 ) and BDFEs are generally insensitive to the nature of the solvent and, in some cases, even to the phase (gas versus solution). This Review also presents introductions to several emerging fields in PCET thermochemistry to give readers windows into the diversity of research being performed. Some of the next frontiers in this rapidly growing field are coordination-induced bond weakening, PCET in novel solvent environments, and reactions at material interfaces.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2015

Modeling molecule-plasmon interactions using quantized radiation fields within time-dependent electronic structure theory

We present a combined cavity quantum electrodynamics/ab initio electronic structure approach for simulating plasmon-molecule interactions in the time domain. The simple Jaynes-Cummings-type model Hamiltonian typically utilized in such simulations is replaced with one in which the molecular component of the coupled system is treated in a fully ab initio way, resulting in a computationally efficient description of general plasmon-molecule interactions. Mutual polarization effects are easily incorporated within a standard ground-state Hartree-Fock computation, and time-dependent simulations carry the same formal computational scaling as real-time time-dependent Hartree-Fock theory. As a proof of principle, we apply this generalized method to the emergence of a Fano-like resonance in coupled molecule-plasmon systems; this feature is quite sensitive to the nanoparticle-molecule separation and the orientation of the molecule relative to the polarization of the external electric field.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2026

Scattering phase shift in quantum mechanics on quantum computers

Here, we investigate the feasibility of extracting infinite volume scattering phase shift on quantum computers in a simple one-dimensional quantum mechanical model, using the formalism established in the work by Guo and Gasparian [Phys. Rev. D 108, 074504 (2023)] that relates the integrated correlation functions for a trapped system to the infinite volume scattering phase shifts through a weighted integral. The system is first discretized in a finite box with periodic boundary conditions, and the formalism in real time is verified by employing a contact interaction potential with exact solutions. Quantum circuits are then designed and constructed to implement the formalism on current quantum computing architectures. To overcome the fast oscillatory behavior of the integrated correlation functions in real-time simulation, different methods of postdata analysis are proposed and discussed. Test results on IBM hardware show that good agreement can be achieved with two qubits, but complete failure ensues with three qubits due to two-qubit gate operation errors and thermal relaxation errors.

Guo, Peng [Dakota State Univ., Madison, SD (United↗

DOE OSTI2019

Testing thermal conductivity models with equilibrium molecular dynamics simulations of the one-component plasma

Equilibrium molecular dynamics simulations are used to calculate the thermal conductivity of the onecomponent plasma via the Green-Kubo formalism over a broad range of Coulomb coupling strength, 0.1 ≤ Γ ≤180. These simulations address previous discrepancies between computations using equilibrium versus nonequilibrium methods. Analysis of heat flux autocorrelation functions show that very long (6×10 5 $ω^{-1}_{p}$) time series are needed to reduce the noise level to allow ≲2% accuracy. The simulations provide accurate data for Γ ≲ 1. Furthermore, this enables a test of the traditional Landau-Spitzer theory, which is found to agree with the simulations for Γ ≲ 0.3. It also enables tests of theories to address moderate and strong Coulomb coupling. Two are found to provide accurate extensions to the moderate coupling regime of Γ ≲ 10, but none are accurate in the Γ ≳ 10 regime where potential energy transport and coupling between mass flow and stress dominate thermal conduction.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2017

Method for computationally efficient design of dielectric laser accelerator structures

Here, dielectric microstructures have generated much interest in recent years as a means of accelerating charged particles when powered by solid state lasers. The acceleration gradient (or particle energy gain per unit length) is an important figure of merit. To design structures with high acceleration gradients, we explore the adjoint variable method, a highly efficient technique used to compute the sensitivity of an objective with respect to a large number of parameters. With this formalism, the sensitivity of the acceleration gradient of a dielectric structure with respect to its entire spatial permittivity distribution is calculated by the use of only two full-field electromagnetic simulations, the original and ‘adjoint’. The adjoint simulation corresponds physically to the reciprocal situation of a point charge moving through the accelerator gap and radiating. Using this formalism, we perform numerical optimizations aimed at maximizing acceleration gradients, which generate fabricable structures of greatly improved performance in comparison to previously examined geometries.

43 PARTICLE ACCELERATORS↗

DOE OSTI2015

Example Work Domain Analysis for a Reference Sodium Fast Reactor

The nuclear industry is currently designing and building a new generation of reactors that will include different structural, functional, and environmental aspects, all of which are likely to have a significant impact on the way these plants are operated. In order to meet economic and safety objectives, these new reactors will all use advanced technologies to some extent, including new materials and advanced digital instrumentation and control systems. New technologies will affect not only operational strategies, but will also require a new approach to how functions are allocated to humans or machines to ensure optimal performance. Uncertainty about the effect of large scale changes in plant design will remain until sound technical bases are developed for new operational concepts and strategies. Up-to-date models and guidance are required for the development of operational concepts for complex socio-technical systems. This report describes how the classical Work Domain Analysis method was adapted to develop operational concept frameworks for new plants. This adaptation of the method is better able to deal with the uncertainty and incomplete information typical of first-of-a-kind designs. Practical examples are provided of the systematic application of the method in the operational analysis of sodium-cooled reactors. Insights from this application and its utility are reviewed and arguments for the formal adoption of Work Domain Analysis as a value-added part of the Systems Engineering process are presented.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2020

Radiation Simulation using Wi-Fi Signal Strength and Frequency

For routine radiological operations, lost radioactive sources, decommissioning and cleanup of nuclear facilities, and radiological terrorist events such as Radioactive Dispersive Devices (RDDs) or Radiological Exposure Devices (REDs), individuals are tasked with accurately locating both point and distributed sources of radiation. Radiation workers must often practice these tasks, whether part of initial training or periodically as part of formal or informal exercises or drills. In such circumstances, it is desirable to have an accurate recreation of a radioactive source, including a method of detecting it, which does not include dangerous amounts of radiation. The goal of this research was to develop a radiation simulation technology that uses IEEE 802.11x W-LAN protocol, i.e. Wi-Fi sources and detectors for these, as an inexpensive, precise and accurate method of replicating sources of gamma radiation. For this work, existing 802.11x sources were used. Software was developed for use with an Android smartphone to detect the presence of these sources. The measurements followed the expected behavior as a function of distance from the sources, mimicking that of gamma radiation, thus demonstrating the fundamental principle of operation. The ultimate system will be used in an outreach program to interest students in the radiation protection field.

07 ISOTOPE AND RADIATION SOURCES↗