Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Transition Model”

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

Applying Incremental, Inductive Model Checking to the Modal Mu Calculus

This work aims to demonstrate that an incremental inductive model checking algorithm built on top of Boolean satisfiability (SAT) solvers can be extended to support modal mu calculus (MMC) formulas. The resulting algorithm, called modal mu calculus model checking using myopic constraints (MC3), solves MMC model checking problems over Boolean labeled transition systems (LTSs). MMC subsumes simple invariance/reachability (as solved by the IC3 algorithm), linear temporal logic (LTL, as solved by the fair algorithm), computation tree logic (CTL, as solved by IICTL), and CTL* (which in turn subsumes LTL and CTL, but was not previously supported by any incremental inductive algorithm). The algorithm is implemented in a prototype solver, mc3.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Near-Infrared Noise in Intense Electron Beams

Requirements for the noise in electron beams (NEB) have recently approached the Shot-noise level in some new applications. The density fluctuations of intense beams in the near-infrared (NIR) region are being measured at the Fermilab Accelerator Science and Technology (FAST) facility. The main goal of the experiment is to accurately compare the Shot-noise model with the observations of optical transition radiation (OTR) generated by a relativistic electron beam ($\gamma \approx 63$), transiting an Aluminium metal surface. In addition, some evidence for longitudinal space-charge-induced microbunching for the chicane-compressed beam was obtained with coherent enhancements up to 100 in the various bandwidth-filtered NIR OTR photodiode signals. With micropulse charges up to 1 nC, the beam parameters are close to those proposed for a stage in an Electron-Ion Collider (EIC) with coherent electron cooling (CEC). In this paper we present the current progress of the NEB project and compare the low electron energy measurements with ImpactX simulations.

43 PARTICLE ACCELERATORS↗
DOE OSTI2026

Longitudinal Phase Space Tomography for the Booster Synchrotron

Efforts in the study of the longitudinal behavior of charged particles in the Fermilab Booster can be catalyzed with an image of the two-dimensional phase space distribution. In the past, tomography has been extensively employed in the reconstruction of the phase space in accelerators such as the Recycler at Fermilab and the Proton Synchrotron Booster at CERN. However, such a capability had yet to realize for the Fermilab Booster synchrotron. In this work, the first successful tomographic phase space reconstruction of a low-energy Booster bunch is presented along with validation metrics. A numerical turn-by-turn model of the longitudinal particle dynamics in the Booster has been implemented, which utilizes a fast, map-based particle transport algorithm. Using a sinogram generated from the Wall Current Monitor, the iterative reconstruction algorithm recovers a discretized image of the original phase space distribution at variable resolution. The reconstruction result shows low root-mean-square error and a rapid convergence toward the solution, providing strong evidence of accuracy. Future and ongoing work includes modeling high-energy bunches above transition and using tomography to infer certain machine parameters such as synchronous phase, peak gap voltage, and synchronous energy in addition to the phase space distribution.

Ebeid, Safi [Unlisted]↗
DOE OSTI2026

Longitudinal Phase Space Tomography for the Booster Synchrotron (Abstract Only)

Efforts in the study of the longitudinal behavior of charged particles in the Fermilab Booster can be catalyzed with an image of the two-dimensional phase space distribution. In the past, tomography has been extensively employed in the reconstruction of the phase space in accelerators such as the Recycler at Fermilab and the Proton Synchrotron Booster at CERN. However, such a capability had yet to realize for the Fermilab Booster synchrotron. In this work, the first successful tomographic phase space reconstruction of a low-energy Booster bunch is presented along with validation metrics. A numerical turn-by-turn model of the longitudinal particle dynamics in the Booster has been implemented, which utilizes a fast, map-based particle transport algorithm. Using a sinogram generated from the Wall Current Monitor, the iterative reconstruction algorithm recovers a discretized image of the original phase space distribution at variable resolution. The reconstruction result shows low root-mean-square error and a rapid convergence toward the solution, providing strong evidence of accuracy. Future and ongoing work includes modeling high-energy bunches above transition and using tomography to infer certain machine parameters such as synchronous phase, peak gap voltage, and synchronous energy in addition to the phase space distribution.

Ebeid, Safi [Unlisted, US]↗
DOE OSTI2023

Vibronic Relaxation Pathways in Molecular Spin Qubit Na 9 [Ho(W 5 O 18 ) 2 ]·35H 2 O under Pressure

In order to explore how spectral sparsity and vibronic decoherence pathways can be controlled in a model qubit system with atomic clock transitions, we combined diamond anvil cell techniques with synchrotron-based far infrared spectroscopy and first-principles calculations to reveal the vibrational response of Na 9 [Ho(W 5 O 18 ) 2 ]·35H 2 O under compression. Because the hole in the phonon density of states acts to reduce the overlap between the phonons and f manifold excitations in this system, we postulated that pressure might move the HoO 4 rocking, bending, and asymmetric stretching modes that couple with the M J = ±5, ±2, and ±7 levels out of resonance, reducing their interactions and minimizing decoherence processes, while a potentially beneficial strategy for some molecular qubits, pressure slightly hardens the phonons in Na 9 [Ho(W 5 O 18 ) 2 ]·35H 2 O and systematically fills in the transparency window in the phonon response. The net result is that the vibrational spectrum becomes less sparse and the overlap with the various M J levels of the Ho 3+ ion actually increases. These findings suggest that negative pressure, achieved using chemical means or elongational strain, could further open the transparency window in this rare earth-containing spin qubit system, thus paving the way for the use of device surfaces and interface elongational/compressive strains to better manage decoherence pathways.

36 MATERIALS SCIENCE↗
DOE OSTI2021

TESS Observations of the WASP-121 b Phase Curve

We study the red-optical photometry of the ultrahot Jupiter WASP-121 b as observed by the Transiting Exoplanet Survey Satellite (TESS) and model its atmosphere through a radiative transfer simulation. Given its short orbital period of ∼1.275 days, inflated state, and bright host star, WASP-121 b is exceptionally favorable for detailed atmospheric characterization. Toward this purpose, we use allesfitter to characterize its full red-optical phase curve, including the planetary phase modulation and secondary eclipse. We measure the day- and nightside brightness temperatures in the TESS passband as 3012{sub −42}{sup +40} and 2022{sub −602}{sup +254} K, respectively, and do not find a statistically significant phase shift between the brightest and substellar points. This is consistent with inefficient heat recirculation on the planet. We then perform an atmospheric retrieval analysis to infer the dayside atmospheric properties of WASP-121 b, such as its bulk composition, albedo, and heat recirculation. We confirm the temperature inversion in the atmosphere and suggest H{sup −}, TiO, and VO as potential causes of the inversion, absorbing heat at optical wavelengths at low pressures. Future Hubble Space Telescope and James Webb Space Telescope observations of WASP-121 b will benefit from its first full phase curve measured by TESS.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

A White Dwarf with Transiting Circumstellar Material Far outside the Roche Limit

We report the discovery of a white dwarf exhibiting deep, irregularly shaped transits, indicative of circumstellar planetary debris. Using Zwicky Transient Facility DR2 photometry of ZTF J013906.17+524536.89 and follow-up observations from the Las Cumbres Observatory, we identify multiple transit events that recur every ≈107.2 days, much longer than the 4.5–4.9 hr orbital periods observed in WD 1145+017, the only other white dwarf known with transiting planetary debris. The transits vary in both depth and duration, lasting 15–25 days and reaching 20%–45% dips in flux. Optical spectra reveal strong Balmer lines, identifying the white dwarf as a DA with ${T}_{\mathrm{eff}}=10,530\pm 140\,{\rm{K}}$ and $\mathrm{log}(g)=7.86\pm 0.06$. A Ca ii K absorption feature is present in all spectra both in and out of transit. Spectra obtained during one night at roughly 15% transit depth show increased Ca ii K absorption with a model atmospheric fit suggesting [Ca/H] = –4.6 ± 0.3, whereas spectra taken on three nights out of transit have [Ca/H] of –5.5, –5.3, and –4.9 with similar uncertainties. While the Ca ii K line strength varies by only 2σ, we consider a predominantly interstellar origin for Ca absorption unlikely. Here, we suggest a larger column density of circumstellar metallic gas along the line of site or increased accretion of material onto the white dwarf's surface are responsible for the Ca absorption, but further spectroscopic studies are required. In addition, high-speed time series photometry out of transit reveals variability with periods of 900 and 1030 s, consistent with ZZ Ceti pulsations.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2026

Longitudinal Phase Space Tomography for the Booster Synchrotron

Efforts in the study of the longitudinal behavior of charged particles in the Fermilab Booster can be catalyzed with an image of the two-dimensional phase space distribution. In the past, tomography had been employed in the reconstruction of the phase space in accelerators such as the Recycler at Fermilab and the Proton Synchrotron Booster at CERN. However, such a capability had yet to realize for the Fermilab Booster synchrotron. In this work, the first successful tomographic phase space reconstruction of a low-energy Booster bunch is presented along with validation metrics. A numerical turn-by-turn model of the longitudinal particle dynamics in the Booster has been implemented, which utilizes a fast, map-based particle transport algorithm. Using a sinogram generated from the Wall Current Monitor signal, the iterative reconstruction algorithm recovers a discretized image of the original phase space distribution at variable resolution. The reconstruction result shows low root-mean-square error and a rapid convergence toward the solution, providing strong evidence of accuracy. Future and ongoing work includes modeling high-energy bunches above transition and using tomography to infer certain machine parameters such as synchronous phase, peak gap voltage, and synchronous energy in addition to the phase space distribution.

Ebeid, Safi [Unlisted; Fermilab]↗
DOE OSTI2020

Langevin simulations of the half-filled cubic Holstein model

Over the past several years, reliable quantum Monte Carlo results for the charge density wave transition temperature T cdw of the half-filled two-dimensional Holstein model in square and honeycomb lattices have become available for the first time. Here, exploiting the further development of numerical methodology, here we present results in three dimensions, which are made possible through the use of Langevin evolution of the quantum phonon degrees of freedom. In addition to determining T cdw from the scaling of the charge correlations, we also examine the nature of charge order at general wave vectors for different temperatures, couplings, and phonon frequencies, and the behavior of the spectral function and specific heat.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

Design Basis Model for Hosting Small Modular Reactors

An aggressive transition from fossil fuels to other types of energy implies the need to construct a large number of nuclear power plants in the near future. However, the real and perceived risks of nuclear energy remain a significant impediment to this transition. This paper describes a comprehensive work process that combines the rigor of model-based systems engineering (MBSE) with 1) the Idaho National Laboratory's (INL) decades of experience with small reactors and with 2) modern project delivery processes. The objective is to reduce the risk of building new facilities or converting existing facilities to nuclear power generation.

42 ENGINEERING↗
DOE OSTI2022

Bilayer Hubbard model: Analysis based on the fermionic sign problem

The bilayer Hubbard model describes the antiferromagnet to spin singlet transition and, potentially, aspects of the physics of unconventional superconductors. Despite these important applications, significant aspects of its phase diagram in the interplane hopping t ⊥ versus on-site interaction U parameter space, at half filling, are largely in disagreement. Here we provide an analysis making use of the average sign of weights over the course of the importance sampling in quantum Monte Carlo simulations to resolve several central open questions. Specifically, this metric of the weights clarifies the finite-sized metallic regimes at small U. Furthermore, at strong interactions, it points to the existence of a crossover from a correlated to uncorrelated band insulator not yet explored in a variety of existing, unbiased numerical methods. Our paper demonstrates the versatility of using properties of the weights in quantum Monte Carlo simulations to reveal important physical characteristics of the models under study.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

Foundation Models for the Electric Power Grid

Foundation models (FMs) currently dominate news headlines. They employ advanced deep learning architectures to extract structural information autonomously from vast datasets through self-supervision. The resulting rich representations of complex systems and dynamics can be applied to many downstream applications. Therefore, advances in FMs can find uses in electric power grids, challenged by the energy transition and climate change. This paper calls for the development of FMs for electric grids. We highlight their strengths and weaknesses amidst the challenges of a changing grid. It is argued that FMs learning from diverse grid data and topologies, which we call grid foundation models (GridFMs), could unlock transformative capabilities, pioneering a new approach to leveraging AI to redefine how we manage complexity and uncertainty in the electric grid. Finally, we discuss a practical implementation pathway and road map of a GridFM-v0, a first GridFM for power flow applications based on graph neural networks, and explore how various downstream use cases will benefit from this model and future GridFMs.

AI-based power flow simulation↗
DOE OSTI2019

Charge Order of Strongly Bounded Electron Pairs on the Triangular Lattice: the Zero-Bandwidth Limit of the Extended Hubbard Model with Strong Onsite Attraction

The inhomogeneous distribution of charged particles is known as charge-order phenomena. Recent experimental studies of (quasi-) two-dimensional materials found different ordered patterns on the triangular lattice. In this work, the preliminary studies of the extended Hubbard model (with the intersite Coulomb density-density repulsion) in the atomic limit on the triangular lattice are presented. The model is investigated within the mean-field approach that treats the onsite term exactly. The finite temperature phase diagrams including metastable phases and some characteristics of the model are determined for the limit of strong onsite attraction. It is shown that in the limit considered all transitions between stable phases are discontinuous (for fixed chemical potential), which is totally different from the model on the alternate lattices. Continuous transitions between metastable phases are also found.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2020

Theory of the phase transition in random unitary circuits with measurements

Here, we present a theory of the entanglement transition tuned by measurement strength in qudit chains evolved by random unitary circuits and subject to either weak or random projective measurements. The transition can be understood as a nonanalytic change in the amount of information extracted by the measurements about the initial state of the system, quantified by the Fisher information. To compute the von Neumann entanglement entropy $\textit{S}$ and the Fisher information $\mathcal{F}$, we apply a replica method based on a sequence of quantities $\tilde{S}^{(n)}$ and $\mathcal{F}^{(n)}$ that depend on the $\textit{n}$th moments of density matrices and reduce to $\textit{S}$ and $\mathcal{F}$ in the limit $\textit{n}$ → 1. These quantities with $\textit{n}$ ≥ 2 are mapped to free energies of a classical spin model with $\textit{n}$! internal states in two dimensions with specific boundary conditions. In particular, $\tilde{S}^{(n)}$ is the excess free energy of a domain wall terminating on the top boundary, and $\mathcal{F}^{(n)}$ is related to the magnetization on the bottom boundary. Phase transitions occur as the spin models undergo ordering transitions in the bulk. Taking the limit of large local Hilbert space dimension $\textit{q}$ followed by the replica limit $\textit{n}$ → 1, we obtain the critical measurement probability $p_c$ = 1/2 and identify the transition as a bond percolation in the 2D square lattice in this limit. Finally, we show there is no phase transition if the measurements are allowed in an arbitrary nonlocal basis, thereby highlighting the relation between the phase transition and information scrambling. We establish an explicit connection between the entanglement phase transition and the purification dynamics of a mixed state evolution and discuss implications of our results to experimental observations of the transition and simulability of quantum dynamics.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

S U ( 2 ) principal chiral model with tensor renormalization group on a cubic lattice

We study the continuous phase transition and thermodynamic observables in the three-dimensional Euclidean S U ( 2 ) principal chiral field model with the triad tensor renormalization group and the anisotropic tensor renormalization group methods. Using these methods, we find results that are consistent with previous Monte Carlo estimates and the predicted renormalization group scaling of the magnetization close to criticality. These results bring us one step closer to studying finite-density quantum chromodynamics in four dimensions using tensor network methods. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Coupling strongly correlated electron systems to a tunable electronic reservoir

Here, we study the effect of coupling an electronic reservoir to a Hubbard model and to a dimer Hubbard model. This is motivated by recent experiments on the effect of illumination on the insulator-metal transition in a vanadium oxides and photoconductive cadmium sulfide heterostructure. We model the system as an electronic reservoir hybridized to the correlated system. We assume that the light intensity controls the hybridization coupling strength. We find that the light intensity acts similarly as the temperature in the weak interaction regime. This is consistent with the role played by electronic reservoirs in out-of-equilibrium systems. In contrast, qualitative differences appear at strong coupling. We show that modeling the V 2 ⁢O 3 compound with a Hubbard model, our results describe qualitatively well the observed illumination-driven suppression of the insulator-metal transition. In contrast, in the DHM results fail to capture the mild suppression observed in the case of VO 2 . This indicates that the lattice may play an important role in this case.

Materials Science↗