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,513 records · Page 84
All sourcesNASA NTRSDOE OSTI
DOE OSTI2015

Bayesian inference on the sphere beyond statistical isotropy

We present a general method for Bayesian inference of the underlying covariance structure of random fields on a sphere. We employ the Bipolar Spherical Harmonic (BipoSH) representation of general covariance structure on the sphere. We illustrate the efficacy of the method as a principled approach to assess violation of statistical isotropy (SI) in the sky maps of Cosmic Microwave Background (CMB) fluctuations. SI violation in observed CMB maps arise due to known physical effects such as Doppler boost and weak lensing; yet unknown theoretical possibilities like cosmic topology and subtle violations of the cosmological principle, as well as, expected observational artefacts of scanning the sky with a non-circular beam, masking, foreground residuals, anisotropic noise, etc. We explicitly demonstrate the recovery of the input SI violation signals with their full statistics in simulated CMB maps. Our formalism easily adapts to exploring parametric physical models with non-SI covariance, as we illustrate for the inference of the parameters of a Doppler boosted sky map. Our approach promises to provide a robust quantitative evaluation of the evidence for SI violation related anomalies in the CMB sky by estimating the BipoSH spectra along with their complete posterior.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

Photon-Instanton Collider Implemented by a Superconducting Circuit

Instantons, spacetime-localized quantum field tunneling events, are ubiquitous in correlated condensed matter and high-energy systems. However, their direct observation through collisions with conventional particles has not been considered possible. We show how recent advances in circuit quantum electrodynamics, specifically, the realization of galvanic coupling of a transmon qubit to a high-impedance transmission line, allows the observation of inelastic collisions of single microwave photons with instantons (phase slips). We develop a formalism for calculating the photon-instanton cross section, which should be useful in other quantum field theoretical contexts. In particular, we show that the inelastic scattering probability can significantly exceed the effect of conventional Josephson quartic anharmonicity and reach order-unity values.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2025

Stabilizing Non-Abelian Topological Order Against Heralded Noise via Local Lindbladian Dynamics

An important open question for the current generation of highly controllable quantum devices is understanding which phases can be realized as stable steady states under local quantum dynamics. In this work, we show how robust steady-state phases with both Abelian and non-Abelian mixed-state topological order can be stabilized, in two spatial dimensions, against generic “heralded” noise using active dynamics that incorporate measurement and feedback, modeled as a fully local Lindblad master equation. These topologically ordered steady states are two-way connected to pure topologically ordered ground states using local quantum channels, and preserve quantum information for a time that is exponentially large in the system size. Specifically, we present explicit constructions of families of local Lindbladians for both Abelian (ℤ 2 ) and non-Abelian (𝐷 4 ) topological order whose steady states host mixed-state topological order when the noise is below a threshold strength. As the noise strength is increased, these models exhibit first-order transitions to intermediate mixed-state phases where they encode robust classical memories, followed by (first-order) transitions to a trivial steady state at high noise rates. When the noise is imperfectly heralded, steady-state order disappears but our active dynamics significantly enhances the lifetime of the encoded logical information. To carry out the numerical simulations for the non-Abelian 𝐷 4 case, we introduce a generalized stabilizer tableau formalism that permits efficient simulation of the non-Abelian Lindbladian dynamics.

Monte Carlo methods↗
DOE OSTI2015

SU-C-304-07: Are Small Field Detector Correction Factors Strongly Dependent On Machine-Specific Characteristics?

Purpose: The current small field dosimetry formalism utilizes quality correction factors to compensate for the difference in detector response relative to dose deposited in water. The correction factors are defined on a machine-specific basis for each beam quality and detector combination. Some research has suggested that the correction factors may only be weakly dependent on machine-to-machine variations, allowing for determinations of class-specific correction factors for various accelerator models. This research examines the differences in small field correction factors for three detectors across two Varian Truebeam accelerators to determine the correction factor dependence on machine-specific characteristics. Methods: Output factors were measured on two Varian Truebeam accelerators for equivalently tuned 6 MV and 6 FFF beams. Measurements were obtained using a commercial plastic scintillation detector (PSD), two ion chambers, and a diode detector. Measurements were made at a depth of 10 cm with an SSD of 100 cm for jaw-defined field sizes ranging from 3×3 cm{sup 2} to 0.6×0.6 cm{sup 2}, normalized to values at 5×5cm{sup 2}. Correction factors for each field on each machine were calculated as the ratio of the detector response to the PSD response. Percent change of correction factors for the chambers are presented relative to the primary machine. Results: The Exradin A26 demonstrates a difference of 9% for 6×6mm{sup 2} fields in both the 6FFF and 6MV beams. The A16 chamber demonstrates a 5%, and 3% difference in 6FFF and 6MV fields at the same field size respectively. The Edge diode exhibits less than 1.5% difference across both evaluated energies. Field sizes larger than 1.4×1.4cm2 demonstrated less than 1% difference for all detectors. Conclusion: Preliminary results suggest that class-specific correction may not be appropriate for micro-ionization chamber. For diode systems, the correction factor was substantially similar and may be useful for class-specific reference conditions.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2016

DNDO Report: Predicting Solar Modulation Potentials for Modeling Cosmic Background Radiation

The modeling of the detectability of special nuclear material (SNM) at ports and border crossings requires accurate knowledge of the background radiation at those locations. Background radiation originates from two main sources, cosmic and terrestrial. Cosmic background is produced by high-energy galactic cosmic rays (GCR) entering the atmosphere and inducing a cascade of particles that eventually impact the earth’s surface. The solar modulation potential represents one of the primary inputs to modeling cosmic background radiation. Usosokin et al. formally define solar modulation potential as “the mean energy loss [per unit charge] of a cosmic ray particle inside the heliosphere…” Modulation potential, a function of elevation, location, and time, shares an inverse relationship with cosmic background radiation. As a result, radiation detector thresholds require adjustment to account for differing background levels, caused partly by differing solar modulations. Failure to do so can result in higher rates of false positives and failed detection of SNM for low and high levels of solar modulation potential, respectively. This study focuses on solar modulation’s time dependence, and seeks the best method to predict modulation for future dates using Python. To address the task of predicting future solar modulation, we utilize both non-linear least squares sinusoidal curve fitting and cubic spline interpolation. This material will be published in transactions of the ANS winter meeting of November, 2016.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2017

Three-dimensional Boltzmann-Hydro Code for Core-collapse in Massive Stars. II. The Implementation of Moving-mesh for Neutron Star Kicks

We present a newly developed moving-mesh technique for the multi-dimensional Boltzmann-Hydro code for the simulation of core-collapse supernovae (CCSNe). What makes this technique different from others is the fact that it treats not only hydrodynamics but also neutrino transfer in the language of the 3 + 1 formalism of general relativity (GR), making use of the shift vector to specify the time evolution of the coordinate system. This means that the transport part of our code is essentially general relativistic, although in this paper it is applied only to the moving curvilinear coordinates in the flat Minknowski spacetime, since the gravity part is still Newtonian. The numerical aspect of the implementation is also described in detail. Employing the axisymmetric two-dimensional version of the code, we conduct two test computations: oscillations and runaways of proto-neutron star (PNS). We show that our new method works fine, tracking the motions of PNS correctly. We believe that this is a major advancement toward the realistic simulation of CCSNe.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2018

The 2018 Edition of the IRPhEP Handbook

The International Reactor Physics Experiment Evaluation Project (IRPhEP) was established to preserve and evaluate integral reactor physics experiment data, including separate or special effects measurements for nuclear energy and technology applications. Numerous international experiments have been performed over the past several decades to support reactor operations, safety, measurements, and design. Those experiments represent a significant investment of infrastructure, cost, and expertise that, in many instances, cannot be as easily reproduced. They represent valuable resources of data for present and future research, and provide the basis for recording, development, and validation of methods. Contributors worldwide collaborate to evaluate and review selected benchmark experiments for inclusion in the International Handbook of Evaluated Reactor Physics Benchmark Experiments (IRPhEP Handbook). Several new evaluations, and revisions to existing benchmarks have been prepared for inclusion in the 2018 edition of the IRPhEP Handbook. Additionally, an IRPhEP Uncertainty Guide was discussed to provide further guidance regarding the evaluation of reactor physics measurements besides criticality. Recent changes to the IRPhEP Handbook include five minor revisions, the revision of a previous benchmark evaluation to include new data, publication of a new draft benchmark evaluation, final approval for the formal publication of two formerly draft benchmark evaluations, and the inclusion of ten new benchmark evaluations. The IRPhEP Handbook now contains a total of 159 experimental measurement series from 54 unique reactor facilities. International participants are actively engaged in ongoing evaluation activities to prepare content for future editions of the IRPhEP Handbook. There are numerous experiment and reactor facilities worldwide from which benchmark data can be evaluated. Those interested in serving as evaluators and/or reviewers for the IRPhEP are encouraged to participate.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2021

Long-Term Creep-Rupture Behavior of Alloy Inconel 740/740H

To explore potential application of Ni-based alloys for power generation at the higher temperatures and pressures needed to achieve high thermal to electrical-energy conversion efficiency, an extensive creep-rupture dataset covering up to 875 °C and almost 70,000 h for Inconel 740/740H was analyzed using Larson–Miller parameter and Wilshire approaches. The results were used to assess the relative effectiveness of the two analytical methods, both in describing the experimental data and, because of the breadth of the dataset, using analyses of its shorter-time data to make creep lifetime predictions for much more extended times, which were then directly compared to the measured rupture times. The respective methods were also used to predict creep-limited lifetimes relevant to power production (that is, 100,000 h or greater). Despite the complexity of the precipitation-strengthened Inconel 740/740H alloy and the generalized parametric approach of these methodologies, the predictions based on such were reasonably accurate when the entire dataset was analyzed. However, when the analysis was confined to only data for conditions yielding creep-rupture times < 5,000 h( about 65 % of the entire dataset), the Wilshire correlation yielded better prediction for longer time lifetimes due to the inherent instability of the specific Larson–Miller formalism used in this analysis when extrapolated significantly outside its analysis range.

36 MATERIALS SCIENCE↗
DOE OSTI2014

Multiply associating electrolytes in the binding mean spherical approximation: Thermodynamic properties and speciation

Ionic solutions exhibiting multiple association are described within the binding mean spherical approximation (BiMSA). This model is based on the Wertheim formalism, in the framework of the primitive model at the McMillan-Mayer level. The cation and the anion form the various complexes according to stepwise complexation-equilibria. Analytic expressions for the Helmholtz energy, the internal energy, the speciation, and for the osmotic and activity coefficients are given considering a binary solution with an arbitrary number of association sites on one type of ion (polyion) and one site on the ions of opposite sign (counterions). As an alternative, mean field expressions, as developed in SAFT-type theories, are also presented. The result obtained from the latter approximate method exhibits a reasonable agreement with those from BiMSA for the speciation, and a remarkable one for the osmotic coefficient.

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

A simple grand canonical approach to compute the vapor pressure of bulk and finite size systems

In this article we introduce a simple grand canonical screening (GCS) approach to accurately compute vapor pressures from molecular dynamics or Monte Carlo simulations. This procedure entails a screening of chemical potentials using a conventional grand canonical scheme, and therefore it is straightforward to implement for any kind of interface. The scheme is validated against data obtained from Gibbs ensemble simulations for water and argon. Then, it is applied to obtain the vapor pressure of the coarse-grained mW water model, and it is shown that the computed value is in excellent accord with the one formally deduced using statistical thermodynamics arguments. Finally, this methodology is used to calculate the vapor pressure of a water nanodroplet of 94 molecules. Interestingly, the result is in perfect agreement with the one predicted by the Kelvin equation for a homogeneous droplet of that size.

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

Orbital dependent complications for close vs well-separated electrons in diradicals

We investigate two limits in open-shell diradical systems: O3, in which the interesting orbitals are in close proximity to one another, and (C21H13)2, where there is a significant spatial separation between the two orbitals. In accord with earlier calculations, we find that standard density-functional approximations do not predict the open-shell character for the former case but uniformly predict the open-shell character for the latter case. We trace the qualitatively incorrect behavior in O3 predicted by these standard density functional approximations to self-interaction error and use the Fermi–Löwdin-orbital-self-interaction-corrected formalism to determine accurate triplet, closed-shell singlet, and open-shell broken-spin-symmetry electronic configurations. Analysis of the resulting many-electron overlap matrices allows us to unambiguously show that the broken-spin-symmetry configurations do not participate in the representation of the Ms = 0 triplet states and allows us to reliably extract the singlet–triplet splitting in O3 by analyzing the energy as a function of Fermi-orbital-descriptor permutations. The results of these analyses predict the percentage of open-shell character in O3, which agrees well with conventional wavefunction-based methods. While these techniques are expected to be required in cases near the Coulson–Fischer point, we find that they will be less necessary in diradical systems with well-separated electrons, such as (C21H13)2. Results based on energies from self-interaction-corrected generalized gradient, local density, and Hartree–Fock approximations and experimental results are in generally good agreement for O3. These results help form the basis for deriving extended Heisenberg-like Hamiltonians that are needed for descriptions of molecular magnets when there are competing low-energy electronic configurations.

Chemistry↗
DOE OSTI2018

Manufactured chemistry: Rethinking unit operation design in the age of additive manufacturing

Advanced manufacturing enables new approaches to chemical reactor design due to the ability to build complex geometries and topologies unaccessible to traditional manufacturing technologies. These benefits have been demonstrated in the design and manufacture of novel heat exchangers and fluidic devices. However, due to prevailing heuristics in chemical reactor design, many of the benefits of advanced manufacturing have yet to be realized by the chemical engineer. As such, in order to reap these benefits, a formalized design methodology such as topology optimization should be employed for the development of high-efficiency small scale modular reactors capable of being manufactured at large volumes. In this way we may be able to start to descend fast manufacturing learning curves and unleash a new wave of innovation in the chemical engineering sciences.

47 OTHER INSTRUMENTATION↗
DOE OSTI2014

Screening-Constant-by-Unit-Nuclear-Charge method investigations of high lying ({sup 1}D{sub 2},{sup 1}S{sub 0}) ns, nd Rydberg series in the photoionization spectra of the halogen-like ion Kr{sup +}

Energy positions and quantum defects of the 4s{sup 2}4p{sup 4} ({sup 1}D{sub 2},{sup 1}S{sub 0}) ns, nd Rydberg series originating from the 4s{sup 2}4p{sup 52}P{sub 3/2}{sup ∘} ground state and from the 4s{sup 2}4p{sup 52}P{sub 1/2}{sup ∘} metastable state of Kr{sup +} are reported. Calculations are performed using the Screening Constant by Unit Nuclear Charge (SCUNC) method. The results obtained are in suitable agreement with recent experimental data from the combined ASTRID merged-beam set up and Fourier Transform Ion Cyclotron Resonance device (Bizau et al., 2011), ALS measurements (Hinojosa et al., 2012), and multi-channel R-matrix eigenphase derivative calculations (McLaughlin and Balance, 2012). In addition, analysis of the 4s{sup 2}4p{sup 4}({sup 1}D{sub 2})nd and the 4s{sup 2}4p{sup 4}({sup 1}S{sub 0})nd resonances is given via the SCUNC procedure. The excellent results obtained from our work point out that the SCUNC formalism may be used to confirm the results of the analysis from the standard quantum-defect expansion formulas. Eventual errors occurring in the analysis can then be automatically detected and corrected via the SCUNC procedure.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2024

Advancing Heteroanionicity in Zintl Phases: Crystal Structures, Thermoelectric and Magnetic Properties of Two Quaternary Semiconducting Arsenide Oxides, Eu 8 Zn 2 As 6 O and Eu 14 Zn 5 As 12 O

Two novel quaternary oxyarsenides, Eu 8 Zn 2 As 6 O and Eu 14 Zn 5 As 12 O, were synthesized through metal flux reactions, and their crystal structures were established by single-crystal X-ray diffraction methods. Eu 8 Zn 2 As 6 O crystallizes in the orthorhombic space group Pbca, featuring polyanionic ribbons composed of corner-shared triangular [ZnAs 3 ] units, running along the [100] direction. The structure of Eu 14 Zn 5 As 12 O crystallizes in the monoclinic space group P2/m and its anionic substructure can be described as an infinite “ribbonlike” chain comprised of [ZnAs 3 ] trigonal-planar units, although the structural complexity here is greater and also amplified by disorder on multiple crystallographic positions. In both structures, the O 2– anion occupies an octahedral void with six neighboring Eu 2+ cations. Formal electron counting, electronic structure calculations, and transport properties reveal the charge-balanced semiconducting nature of these heteroanionic Zintl phases. High-temperature thermoelectric transport properties measurements on Eu 14 Zn 5 As 12 O reveal relatively high resistivity (ρ 500K = 8 Ω·cm) and Seebeck coefficient values (S 500K = 220 μV K –1 ), along with a low concentration and mobility of holes as the dominant charge-carriers (n 500K = 8.0 × 10 17 cm –3 , μ 500K = 6.4 cm 2 /V s). Magnetic studies indicate the presence of divalent Eu 2+ species in Eu 14 Zn 5 As 12 O and complex magnetic ordering, with two transitions observed at T 1 = 21.6 K and T 2 = 9 K.

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

Dynamics of ligand exchange mechanism at Cu(II) in water: An ab initio quantum mechanical charge field molecular dynamics study with extended quantum mechanical region

Ab initio quantum mechanical charge field molecular dynamics (QMCF-MD) were successfully applied to Cu(II) embedded in water to elucidate structure and to understand dynamics of ligand exchange mechanism. From the simulation studies, it was found that using an extended large quantum mechanical region including two shells of hydration is required for a better description of the dynamics of exchanging water molecules. The structural features characterized by radial distribution function, angular distribution function and other analytical parameters were consistent with experimental data. The major outcome of this study was the dynamics of exchange mechanism and reactions in the first hydration shell that could not be studied so far. The dynamical data such as mean residence time of the first shell water molecules and other relevant data from the simulations are close to the results determined experimentally. Another major characteristic of hydrated Cu(II) is the Jahn-Teller distortion which was also successfully reproduced, leading to the final conclusion that the dominating aqua complex is a 6-coordinated species. The ab initio QMCF-MD formalism proved again its capabilities of unraveling even ambiguous properties of hydrated species that are far difficult to explore by any conventional quantum mechanics/molecular mechanics (QM/MM) approach or experiment.

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

The Atacama Cosmology Telescope: Large-scale velocity reconstruction with the kinematic Sunyaev-Zel'dovich effect and DESI LRGs

The kinematic Sunyaev-Zel'dovich (kSZ) effect induces a non-zero density-density-temperature bispectrum, which we can use to reconstruct the large-scale velocity field from a combination of cosmic microwave background (CMB) and galaxy density measurements, in a procedure known as “kSZ velocity reconstruction”. This method has been forecast to constrain large-scale modes with future galaxy and CMB surveys, improving their measurement beyond what is possible with the galaxy surveys alone. Such measurements will enable tighter constraints on large-scale signals such as primordial non-Gaussianity, deviations from homogeneity, and modified gravity. In this work, we demonstrate a statistically significant measurement of kSZ velocity reconstruction for the first time, by applying quadratic estimators to the combination of the ACT DR6 CMB+kSZ map and the DESI LRG galaxies (with photometric redshifts) in order to reconstruct the velocity field. We do so using a formalism appropriate for the 2-dimensional projected galaxy fields that we use, which naturally incorporates the curved-sky effects important on the largest scales. We find evidence for the signal by cross-correlating with an external estimate of the velocity field from the spectroscopic BOSS survey and rejecting the null (no-kSZ) hypothesis at 3.8σ. Our work presents a first step towards the use of this observable for cosmological analyses.

Sunyaev-Zeldovich effect↗
DOE OSTI2014

A dynamic and ultrafast group delay tuning mechanism in two microcavities side-coupled with a waveguide system

We theoretically propose a dynamic and ultrafast group delay tuning mechanism in two microcavities side-coupled to a waveguide system through external optical pump beams. The optical Kerr effect modulation method is applied to improve tuning rate with response time of subpicoseconds or even femtoseconds. The group delay of an all-optical analog to electromagnetically induced transparency effect can be controlled by tuning either the frequency of photonic crystal microcavities or the propagation phase of line waveguide. Group delay is controlled between 5.88 and 70.98 ps by dynamically tuning resonant frequencies of the microcavities. Alternatively, the group delay is controlled between 1.86 and 12.08 ps by dynamically tuning the propagation phase of line waveguide. All observed schemes are analyzed rigorously through finite-difference time-domain simulations and coupled-mode formalism. Results show a new direction toward microstructure integration optical pulse trapping and all-optical dynamical storage of light devices in optical communication and quantum information processing.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗