Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “formal”

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Comment on the paper “Physical characterization of Bis(2,2-dinitropropyl) acetal and Bis(2,2-dinitropropyl) formal” by Alexander Edgar, Justine Yang, Manuel Chavez, Michelle Yang & Dali Yang

Errors are noted in the construction of the binary phase diagram in the paper “Physical characterization of Bis(2,2-dinitropropyl) acetal and Bis(2,2-dinitropropyl) formal” by Alexander Edgar, Justine Yang, Manuel Chavez, Michelle Yang & Dali Yang. The authors of that paper misinterpret differential scanning calorimetry (DSC) thermal features. All of the DSC data show features consistent with samples that are supercooled during testing. Such samples do not show solidus points and may not show liquidus points, rendering the constructed phase diagram invalid.

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

Polarization formalism for ALP-induced X-ray emission from magnetars

Missions like NASA's Imaging X-ray Polarimetry Explorer (IXPE) are poised to provide an unprecedented view of the Universe in polarized X-rays. Polarization probes physical anisotropies, a fact exploited by particle physicists to look for the anisotropic a E∙B operator in the axion-like-particle (ALP) Lagrangian. Such studies have typically focused on polarization in the radio and microwaves, through local or cosmic birefringence effects. To such polarization studies we add X-rays emanating from magnetars — a class of neutron stars with near-critical strength magnetic fields — that are important targets for IXPE. ALPs produced in the neutron star core convert to X-rays in the magnetosphere; such X-rays are polarized along the direction parallel to the dipolar magnetic field at the point of conversion. Here, we develop the full theoretical formalism for ALP-induced polarization in the presence of dipolar magnetic fields. For uncorrelated photon and ALP production mechanisms, we completely disentangle the ALP contributions to the Stokes parameters in terms of the ALP intensity, the ALP-to-photon conversion probability, and the ALP-induced birefringence. In the proper limit, our results demonstrate that the inclusion of ALPs suppresses the observed degree of circular polarization compared to its pure astrophysical value. Our results can also be used to impose limits on ALP couplings with IXPE polarization data from magnetars 4U 0142+61 and 1RXS J170849.0-400910, the subject of upcoming work.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2024

Excited-state downfolding using ground-state formalisms

Downfolding coupled cluster (CC) techniques are powerful tools for reducing the dimensionality of many-body quantum problems. This work investigates how ground-state downfolding formalisms can target excited states using non-Aufbau reference determinants, paving the way for applications of quantum computing in excited-state chemistry. This study focuses on doubly excited states for which canonical equation-of-motion CC approaches struggle to describe unless one includes higher-than-double excitations. The downfolding technique results in state-specific effective Hamiltonians that, when diagonalized in their respective active spaces, provide ground- and excited-state total energies (and therefore excitation energies) comparable to high-level CC methods. The performance of this procedure is examined with doubly excited states of H 2 , Methylene, Formaldehyde, and Nitroxyl.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Finite-volume formalism for physical processes with an electroweak loop integral

This study investigates finite-volume effects in physical processes that involve the combination of long-range hadronic matrix elements with electroweak loop integrals. We adopt the approach of implementing the electroweak part as the infinite-volume version, which is denoted as the EW ∞ method in this work. A general approach is established for correcting finite-volume effects in cases where the hadronic intermediate states are dominated by either a single particle or two particles. For the single-particle case, this work derives the infinite volume reconstruction method from a new perspective. For the two-particle case, we provide the correction formulas for power-law finite-volume effects and unphysical terms with exponentially divergent time dependence. The finite-volume formalism developed in this study has broad applications, including the QED corrections in various processes and the two-photon exchange contribution in 𝐾 𝐿 → 𝜇 + ⁢𝜇 − or 𝜂 → 𝜇 + ⁢𝜇 − decays.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

First-order formalism for β functions in bosonic sigma models from supersymmetry breaking

We consider the renormalization group flow equation for the two-dimensional sigma models with the Kähler target space. The first-order formulation allows us to treat perturbations in these models as current-current deformations. We demonstrate, however, that the conventional first-order formalism misses certain anomalies in the measure, and should be amended. We reconcile beta functions obtained within the conformal perturbation theory for the current-current deformations with traditional “geometric” results obtained in the background field methods, in this way resolving the peculiarities pointed out in O. Gamayun et al. [Peculiarities of beta functions in sigma models, J. High Energy Phys. 10 (2023) 097]. The result is achieved by the supersymmetric completion of the first-order sigma model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Sudakov double logs in single-inclusive hadron production in DIS at small x from the color glass condensate formalism

We investigate the high Q 2 (photon virtuality) limit of single-inclusive hadron production in deep inelastic scattering at small x , using the color glass condensate formalism at next-to-leading order. We focus on the Λ QCD 2 ≪ p h 2 ≪ Q 2 kinematic regime, where p h is the produced hadron transverse momentum, and extract the Sudakov double logarithms. We further argue that compatibility between the color glass condensate calculation and transverse momentum dependent distribution factorization at one-loop order can only be achieved if the small-x evolution is kinematically constrained. Published by the American Physical Society 2024

Altinoluk, Tolga (ORCID:0000000182671331)↗
DOE OSTI2023

Stochastic and mixed density functional theory within the projector augmented wave formalism for simulation of warm dense matter

Stochastic density functional theory (DFT) and mixed stochastic-deterministic DFT are burgeoning approaches for the calculation of the equation of state and transport properties in materials under extreme conditions. In the intermediate warm dense matter regime, a state between correlated condensed matter and kinetic plasma, electrons can range from being highly localized around nuclei to delocalized over the whole simulation cell. The plane-wave basis pseudopotential approach is thus the typical tool of choice for modeling such systems at the DFT level. Unfortunately, stochastic DFT methods scale as the square of the maximum plane-wave energy in this basis. To reduce the effect of this scaling and improve the overall description of the electrons within the pseudopotential approximation, we present stochastic and mixed DFT approaches developed and implemented within the projector augmented wave formalism. In conclusion, we compare results between the different DFT approaches for both single-point and molecular dynamics trajectories and present calculations of self-diffusion coefficients of solid density carbon from 1 to 50 eV.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

Formal Definitions and Performance Comparison of Consistency Models for Parallel File Systems

The semantics of HPC storage systems are defined by the consistency models to which they abide. Storage consistency models have been less studied than their counterparts in memory systems, with the exception of the POSIX standard and its strict consistency model. The use of POSIX consistency imposes a performance penalty that becomes more significant as the scale of parallel file systems increases and the access time to storage devices, such as node-local solid storage devices, decreases. While some efforts have been made to adopt relaxed storage consistency models, these models are often defined informally and ambiguously as by-products of a particular implementation. Here in this work, we establish a connection between memory consistency models and storage consistency models and revisit the key design choices of storage consistency models from a high-level perspective. Further, we propose a formal and unified framework for defining storage consistency models and a layered implementation that can be used to easily evaluate their relative performance for different I/O workloads. Finally, we conduct a comprehensive performance comparison of two relaxed consistency models on a range of commonly seen parallel I/O workloads, such as checkpoint/restart of scientific applications and random reads of deep learning applications. We demonstrate that for certain I/O scenarios, a weaker consistency model can significantly improve the I/O performance. For instance, in small random reads that are typically found in deep learning applications, session consistency achieved a 5x improvement in I/O bandwidth compared to commit consistency, even at small scales.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

Description of Freudenthalidium gen. nov. and Halluxium gen. nov. to Formally Recognize Clades Fr3 and H as Genera in the Family Symbiodiniaceae (Dinophyceae)

The Symbiodiniaceae are a family of marine dinoflagellates known mostly for their endosymbiotic interactions with invertebrates and protists, but facultatively and exclusively free‐living life histories in this family are also evident. A recent systematic revision of the Symbiodiniaceae replaced the clade‐based nomenclature of seven divergent lineages of “ Symbiodinium ” sensu lato with one based on formally described genera. The revised taxonomy was not extended to the whole group because type species to describe a new genus for each of the remaining clades and subclades were lacking. In an effort to characterize benthic habitats of symbiodiniaceans in sediments at Heron Island (Great Barrier Reef, Australia), we isolated >100 monoclonal Symbiodiniaceae cultures. Four of these belonged to Symbiodiniaceae ‘subclade’ Fr3, and three to Clade H, based on nucleotide sequence similarity (ITS2, LSU, cp23S, and mtCOB), representing the first cultures of these taxa. Based on these isolates, we propose two new genera: Freudenthalidium gen. nov. and Halluxium gen. nov., circumscribing Clades Fr3 and H, respectively. Three new species are described: Freudenthalidium heronense , F. endolithicum , and Halluxium pauxillum . Kofoidian tabulations of motile cells confirm previous observations that amphiesmal vesicle arrangements are generally conserved across the family. These descriptions are an important step toward completing the systematic revision of the Symbiodiniaceae. That this contribution was enabled by isolates from an endopsammic habitat highlights the potential of discovering new symbiodiniacean species in the environment, the study of which will lead to a deeper understanding of free‐living versus symbiotic life histories in this ecologically important family of dinoflagellates.

Nitschke, Matthew R.↗
DOE OSTI2022

Performance improvements of the windowed multipole formalism using a rational fraction approximation of the Faddeeva function

The windowed multipole (WMP) formalism was introduced as a way to calculate Doppler broadened cross sections on the fly during Monte Carlo simulations. While more arithmetic is needed compared to point-wise cross section look-ups, performance remained competitive from the large memory reductions and sequential data access. The single most expensive function call in a depleted fuel assembly problem using WMP comes from the evaluation of the Faddeeva function, which previously relied on a highly accurate, highly-branching algorithm. This paper explores the use of rational fraction approximations tailored to the domain interest of reactor physics applications and the development of lower accuracy approximations sufficient for our application. The rational approximations were implemented and tested in OpenMC on an infinite medium problem to stress the cross section calculation routine and a PWR assembly problem. In both cases, the rational approximation nearly eliminated the ∼ 20% penalty previously observed when comparing to point-wise libraries. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2020

Calculation of the First Moment of Energy Using D-T Reactivity Formalisms Under the Maxwell-Boltzmann Distribution (Pt. 1)

Nuclear fusion science is an example of a scientific field with a rich history of expert involvement and scientific publications, which together, form an expert-knowledge base. One example of this history is the utilization of published reaction rates from a variety of authors. Investigators for Deuterium-Tritium (D-T) ion fusion can choose from using frequently cited methods: the Bosch and Hale reactivity, thermonuclear reaction rates from Caughlan and Fowler, and the reactivity evaluation from Miley, Towner & Ivich which forms the basis of the Naval Research Lab (NRL) formulary. There are other choices available. Each of the reactivity formulations considered here, are based upon the Maxwell- Boltzmann velocity distribution for D-T fusion ion reactants. Numerical methods for computer codes simulating hot, energetic plasmas, include tabulations of the reactivity, and the first moment of energy. The purpose of this study is to answer the question: what is the first moment of energy, and how has it been formulated? This report is part of a series of reports by the authors on D-T fusion-reaction formalism. The present focus is on defining the mathematical relationship of the first moment of D-T fusion ion kinetic energy, $\langle$E$\rangle$, with the fusion crosssection, fusion reactivity and its derivative with respect to ion-temperature. Three variants of the first moment $\langle$E$\rangle$ are analytically developed and explored: 1) constant cross-section, 2) a normalized first moment, and 3) a particular function of the first moment. Much of the mathematical development is relegated to the Appendices, for a concise presentation of topics and results. A research component of this discussion is our comparison of some of the reactivity and its derivative results between evaluations (1) versus (2) and (3), which the authors have not found in any other publication to date. This investigation is useful for validation, verification (V&V) and uncertainty quantification (UQ) as it compares the work of several authors.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2023

Formal Experimentation and Analysis of Handheld RFID Readers as a Tool for Nuclear Material Accounting

Commercial, off-the-shelf Radio Frequency Identification (RFID) systems have been successfully deployed for inventory tracking in numerous industries, but their viability in the tracking of complex environments containing nuclear material is less understood. Of primary interest in this setting is a RFID tracking system for nuclear material accounting which can reliably identify as many tags as possible with high accuracy, while also reducing an operator’s exposure to radiation. In this work, we develop a formal statistical approach to identify relevant handheld RFID reader settings which optimize tagging performance. To achieve this goal, we design a full factorial split-plot experiment for a static shelf configuration scene with 50 randomly placed nuclear material containers affixed with RFID tags. We use Bayesian inference to fit a second-order response surface model which expresses the probability of a successful match for each container as a function of the experimental factors. Such effects are allowed to vary across individual containers and the containers’ population in its entirety to estimate overall effects. Uncertainties of estimates and predictions are quantified via their corresponding posterior distributions. Following extensive model checking and validation, the fitted model is used to identify experimental factors which maximize matching probabilities at both the container-level and for the full shelf configuration scene. We also analyze sensitivity of performance to relevant factors.

25 ENERGY STORAGE↗
DOE OSTI2024

Formalism for Local Correction of Vertical Crabbing in Hadron Storage Ring

The Electron-Ion Collider (EIC) incorporates crab cavities in both the Electron Storage Ring (ESR) and the Hadron Storage Ring (HSR) to achieve unprecedented luminosity goals. This technical note presents a formalism for the local correction of vertical crabbing in the HSR, addressing the complexities introduced by the integration of crab cavities and the interplay between betatron coupling and crabbing dispersion. Various strategies, including the use of skew quadrupoles and adjustments of Twiss functions, are explored to compensate vertical crabbing to achieve optimal beam-beam performance. The derived theoretical formulas offer practical guidance for minimizing the required vertical crabbing corrections, and will be implemented in the HSR lattice design.

43 PARTICLE ACCELERATORS↗
DOE OSTI2026

Rigid-Mode Limit of the Yokoya Matrix Formalism and the Burov-Lebedev Dispersion Equation

Transverse single-bunch instabilities of space-charge-dominated coasting beams with round and flat transverse geometries are studied using a unified dispersion-relation framework. The analysis combines the Burov-Lebedev formalism, which captures space-charge tune spread, Landau damping, and instability threshold behavior, with Yokoya’s projection method for representing coherent transverse mode structure and its dependence on beam aspect ratio. In the rigid-beam limit, the formulation reduces to a scalar dispersion relation of Burov-Lebedev paper. For non-rigid transverse oscillations, truncation of Yokoya’s Hermite-based expansion yields a finite-dimensional matrix eigenvalue problem in which space-charge and coupling impedance effects enter through Burov-Lebedev–type denominators. This approach provides a consistent basis for comparing rigid and non-rigid instability behavior in round and flat beams and for assessing the role of beam ellipticity in modifying coherent mode structure and stability thresholds.

43 PARTICLE ACCELERATORS↗
DOE OSTI2024

Replication Package for "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifier

This replication package is a case study on automated deductive verification for Rust for practical programs. It is a companion artifact to a corresponding usability study on verification titled "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifiers". It seeks to answer the question "Can Rust developers today use Rust verifiers to verify their code?". To answer this question, the study contrasts the verification experience of two mature Rust verifiers, Creusot and Prusti, by using the tools to develop a verified implementation of union-find in Rust. The union-find implementation is based on real-world code as used in the popular egg E-graph library. The artifact consists of two different verified libraries, one using Creusot and one using Prusti. The libraries have similar Rust interfaces and high-level proofs but differ in their details: Creusot and Prusti have different annotation languages and support different proof styles. Each implementation can be verified with its respective tool and compiles as a traditional Rust development.

Sarracino, John↗
DOE OSTI2022

Extracting the \(\Lambda \) Polarizing Fragmentation Function from Belle e + e − Data within the TMD Formalism

Data from the Belle Collaboration for associated production (with a light unpolarized hadron) and single-inclusive production of transversely polarized Λ-hyperons in e + e − annihilation processes allowed to extract within a TMD approach, for the first time, the Λ polarizing fragmentation function. Recent theoretical developments on the computation of cross sections for single-inclusive hadron production in e + e − annihilation processes, within a Soft Collinear Effective Theory approach, combined with the CSS formalism for the double-hadron production case, can be used to perform a renewed analysis, adopting a full TMD factorization scheme. Preliminary results and a comparison between the two analyses are presented.

CSS evolution equations↗