SEARCH · Engineering Papers

Results for “CONCRETES”

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 901 records · Page 50

All sources NASA NTRS DOE OSTI

DOE OSTI2020

Deeply uncertain: comparing methods of uncertainty quantification in deep learning algorithms

We present a comparison of methods for uncertainty quantification (UQ) in deep learning algorithms in the context of a simple physical system. Three of the most common uncertainty quantification methods - Bayesian Neural Networks (BNN), Concrete Dropout (CD), and Deep Ensembles (DE) - are compared to the standard analytic error propagation. We discuss this comparison in terms endemic to both machine learning ("epistemic" and "aleatoric") and the physical sciences ("statistical" and "systematic"). The comparisons are presented in terms of simulated experimental measurements of a single pendulum - a prototypical physical system for studying measurement and analysis techniques. Our results highlight some pitfalls that may occur when using these UQ methods. For example, when the variation of noise in the training set is small, all methods predicted the same relative uncertainty independently of the inputs. This issue is particularly hard to avoid in BNN. On the other hand, when the test set contains samples far from the training distribution, we found that no methods sufficiently increased the uncertainties associated to their predictions. This problem was particularly clear for CD. In light of these results, we make some recommendations for usage and interpretation of UQ methods.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2026

From natural language to control signals: a conceptual framework for semantic channel finding in complex experimental infrastructure

Modern experimental platforms such as particle accelerators, fusion devices, telescopes, and industrial process control systems expose tens to hundreds of thousands of control and diagnostic channels, accumulated over decades of hardware evolution. Operators and AI systems alike depend on informal expert knowledge, inconsistent naming conventions, and scattered documentation to locate the signals required for monitoring, troubleshooting, and automated control, creating a persistent bottleneck for reliability, scalability, and emerging language-model-driven interfaces. We formalize semantic channel finding, the task of mapping natural-language intent to concrete control-system signals, as a general problem in complex experimental infrastructure, and introduce a four-paradigm conceptual framework to guide architecture selection based on facility-specific data regimes. The paradigms span (i) direct in-context lookup over small, curated channel dictionaries, (ii) constrained hierarchical navigation through structured trees, (iii) interactive agent exploration using iterative reasoning and tool-based database queries, and (iv) ontology-grounded semantic search that decouples channel meaning from facility-specific naming conventions. We demonstrate the practical feasibility of each paradigm through proof-of-concept implementations at four operational facilities spanning two orders of magnitude in scale: from compact free-electron lasers to large synchrotron light sources, operating under diverse control-system architectures ranging from clean hierarchical naming schemes to legacy environments with decades of heterogeneous conventions. Where evaluated against expert-curated operational queries, these instantiations achieve 90%–97% accuracy, validating the framework’s applicability across real-world deployment scenarios. To accelerate adoption across the broader scientific and industrial control-system community, we release open-source, plug-and-play implementations of all three interactive paradigms-direct lookup, hierarchical navigation, and middle-layer exploration-within the Osprey framework, together with tools for channel database generation, interactive testing, and minimal-configuration deployment. This work establishes semantic channel finding as a foundational capability for human-centric and agentic AI interfaces at large-scale facilities, providing both a systematic framework for architecture design and practical resources to enable adoption without building custom infrastructure from scratch.

channel finding↗

DOE OSTI2025

Greenhouse gas emissions of global construction material production

Abstract Global production of building materials is a primary contributor to greenhouse gas (GHG) emissions, but the production of these materials is necessary for modern infrastructure and society. Understanding the GHG emissions from building materials production in the context of their function is critical to decarbonizing this important sector. In this work, we present estimates of global production, approximate ranges of GHG emissions, and ranges of material properties of 12 critical building material classes to provide a unified dataset across material types. This dataset drew from industry analyses of production and emissions, ranges of emission factors within a material type, and broad reporting of thermal and mechanical properties to compare both within and between material types. Globally, in 2019, we estimate 42.8 Gt of these 12 materials were produced, with 38.6 Gt used in the building and construction industry. As a result of this production, 9.3 Gt of CO 2 was emitted, or 25% of global fossil GHG emissions, with 5.8 Gt CO 2 (16% of global GHG emissions) due to materials used in construction applications. Both construction material production and emissions are primarily driven by structural materials, such as concrete and steel. Material selection can play a key role in reducing emissions in the context of the function, with variation in emissions of structural materials per unit strength between 0.001–0.1 kg CO 2 /kg/MPa and in insulation materials per R -value/thickness of 0.018–0.14 kg CO 2 /kg/(K⋅m 2 W −1 ))). The developed dataset can play a key role in supporting decision-making in materials by providing a unified source for examining emissions, material properties, and quantity of material produced.

Kane, Seth (ORCID:0000000269401369)↗

DOE OSTI2022

A Biomass Pyrolysis Oil as a Novel Insect Growth Regulator Mimic for a Variety of Stored Product Beetles

Abstract As fumigants face increasing regulatory restrictions, resistance, and consumer pushback, it is vital to expand the integrated pest management (IPM) chemical toolkit for stored products. The production of biomass derived insecticides (e.g., bio-oil fraction) from byproducts of biofuel production may be a promising alternative source of chemistries for controlling stored product insects. These potential insecticidal bio-oils were fractionated based on boiling points (ranging from 115 to 230°C in one series and 245–250°C in another). Fractions were analyzed using GC-MS, and were found to be unique in composition. The lethality of these fractions was tested on Tribolium castaneum, Tribolium confusum, and Oryzaephilus surinamensis (L.) (Coleoptera: Silvanidae). Fractions were tested at concentrations ranging from 5–260 mg/ml to screen for efficacy against adults for durations of 2–8 hr sprayed on concrete arenas. In addition, a separate assay evaluated adult emergence of larvae after 6 wk with supplemental food in arenas, while repellency was evaluated against four stored product insect species in a laminar wind tunnel. A greenhouse gas (GHG) emissions life cycle assessment was also performed, which found the use of the bio-oil fraction could reduce GHG emissions associated with the insecticide supply chain by 25–61% relative to a fossil-fuel based insecticide or pyrethroid. While adults were largely unaffected, we found that larval emergence was significantly suppressed compared to controls by roughly half or more. We also determined that there was minimal repellency to most fractions by most species. We conclude that the use of bio-oil fractions is a climate-friendly choice that may support IPM programs.

09 BIOMASS FUELS↗

DOE OSTI2020

Time-stamped claim logic

Abstract The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e. as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. We introduce the time-stamped claim logic including a sound and complete sequent calculus. In order to show how time-stamped claim logic can be used in practice, we consider a concrete cyber-attribution case study.

Rasga, João↗

DOE OSTI2022

Computational properties of finite PNmatrices

Abstract Recent compositionality results in logic have highlighted the advantages of enlarging the traditional notion of logical matrix semantics, namely by incorporating non-determinism and partiality. Still, several important properties which are known to be computable for finite logical matrices have not been studied in the wider context of partial non-deterministic matrices (PNmatrices). In this paper, we study how incorporating non-determinism and/or partiality in logical matrices impacts on the computational properties of some natural problems regarding their induced logics and concretely their sets of theorems. We show that, while for some of these problems there is no relevant computational impact, there are problems whose computational complexity increases and still other problems that simply become undecidable. In particular, we show that the problem of checking whether the logics characterized by two finite PNmatrices have the same set of theorems is not decidable. This undecidability result explores the connection between PNmatrices and term-DAG-automata, where the universality problem is known to be undecidable. This link also motivates a final contribution, in the form of a pumping-like lemma, which can be used, in some cases, to show that a given logic cannot be characterized by a finite PNmatrix.

Filipe, Pedro↗

DOE OSTI2021

Higher-order topology induced by structural buckling

Abstract Higher-order topological insulator (HOTI) states, such as two-dimension (2D) HOTI featured with topologically protected corner modes at the intersection of two gapped crystalline boundaries, have attracted much recent interest. However, the physical mechanism underlying the formation of HOTI states is not fully understood, which has hindered our fundamental understanding and discovery of HOTI materials. Here we propose a mechanistic approach to induce higher-order topological phases via structural buckling of 2D topological crystalline insulators (TCIs). While in-plane mirror symmetry is broken by structural buckling, which destroys the TCI state, the combination of mirror and rotation symmetry is preserved in the buckled system, which gives rise to the HOTI state. We demonstrate that this approach is generally applicable to various 2D lattices with different symmetries and buckling patterns, opening a horizon of possible materials to realize 2D HOTIs. The HOTIs so generated are also shown to be robust against buckling height fluctuation and in-plane displacement. A concrete example is given for the buckled $\beta $-Sb monolayer from first-principles calculations. Our finding not only enriches our fundamental understanding of higher-order topology, but also opens a new route to discovering HOTI materials.

42 ENGINEERING↗

DOE OSTI2025

Particle Creation from Entanglement Entropy

We investigate how entanglement entropy can drive particle creation, deriving explicit relations between entropy and the radiated particle spectrum, the total number of particles, and the total energy. Particle production is computed for scenarios that include accelerated motion, black hole evaporation, and beta decay, validating against known results while also extending them. We focus primarily on the low-entropy limit (analogous to nonrelativistic motion), but also examine cases of significant particle production arising from harmonic cycles. The results establish an explicit operational link between information flow and matter creation, providing a concrete demonstration of “it from bit”.

Good, Michael R. R. [Nazarbayev University, Astana↗

DOE OSTI2026

Scattering Processes from Quantum Simulation Algorithms for Scalar Field Theories

We provide practical simulation methods for scalar field theories on a quantum computer that yield improved asymptotics as well as concrete gate estimates for the simulation and physical qubit estimates using the surface code. We achieve these improvements through two optimizations. First, we consider a finite volume approach for estimating the elements of the S-matrix. This approach is appropriate in general for 1+1D and for certain low-energy elastic collisions in higher dimensions. Second, we implement our approach using a series of different fault-tolerant simulation algorithms for Hamiltonians formulated both in the field occupation basis and field amplitude basis. Our algorithms are based on either second-order Trotterization or qubitization. The cost of Trotterization in occupation basis scales as O ( λ N 7 | Ω | 3 / ( M 5 / 2 ϵ 3 / 2 ) ) where λ is the coupling strength, N is the occupation cutoff, | Ω | is the volume of the spatial lattice, M is the mass of the particles and ϵ is the uncertainty in the energy calculation used for the S -matrix determination. Qubitization in the field basis scales as O ( | Ω | 2 ( k 2 Λ + k M 2 ) / ϵ ) , where k is the cutoff in the field and Λ is a scaled coupling constant. We find in both cases that the bounds suggest physically meaningful simulations can be performed using on the order of 4 × 10 6 physical qubits and 10 12 T -gates which corresponds to roughly one day on a superconducting quantum computer with surface code and a cycle time of 100 ns. This places the simulation of scalar field theory within striking distance of the gate counts for the best available chemistry simulation results.

Hardy, Andrew [Toronto U.] (ORCID:0000000235817382↗

DOE OSTI2026

Beam-dump ceiling and its experimental implications: The case of a portable experiment

We generalize the nature of the so-called beam-dump “ceiling” beyond which the improvement on the sensitivity reach in the search for fast-decaying mediators dramatically slows down, and we point out its experimental implications that motivate tabletop-sized beam-dump experiments for the search. Light (bosonic) mediators are well-motivated new-physics particles, as they can appear in dark-sector portal scenarios and models to explain various laboratory-based anomalies. Due to their low mass and feebly interacting nature, beam-dump-type experiments, utilizing high-intensity particle beams, can play a crucial role in probing the parameter space of such visibly decaying mediators—in particular, the “prompt decay” region, where the mediators feature relatively large coupling and mass. We present a general and semianalytic proof that the ceiling effectively arises in the prompt-decay region of an experiment and show its insensitivity to data statistics, background estimates, and systematic uncertainties, considering a concrete example, the search for axion-like particles interacting with ordinary photons at three benchmark beam facilities: PIP-II at FNAL, and SPS and LHC-dump at CERN. We then identify optimal criteria to perform a cost-effective and short-term experiment to reach the ceiling, demonstrating that very short-baseline compact experiments enable access to the parameter space unreachable thus far.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2026

Jet charge with global event shapes: Probing quark flavor dynamics

We propose measuring the jet electric charge of jet regions, defined within the framework of global event shapes, as a probe of quark flavor dynamics within the nucleon and the hadronization process. In particular, we consider a measurement of the jet region charge while simultaneously keeping track of the energy flow throughout the event, as characterized by the global event shape. As a concrete example, we focus on the measurement of the (Q), the jet charge of the jet region (𝐽) defined within the framework of the 1-Jettiness global event shape (𝜏 1 ) for the Deep Inelastic Scattering (DIS) process, 𝑒 − +𝑝→𝑒 − +𝐽+𝑋, with unpolarized or longitudinally polarized protons. The 1-Jettiness distribution, binned according to jet charge, allows for enhanced quark flavor separation of the initial state unpolarized or polarized PDFs. On the other hand, the jet charge distribution binned by 1-Jettiness can serve as a probe of quark flavor dynamics in the final state hadronization process. We derive a factorization theorem for simultaneous measurements of 𝜏 1 and Q in the resummation region, 𝜏 1 ≪𝑃 𝐽 𝑇 , where 𝑃 𝐽 𝑇 denotes the transverse momentum of the jet region. The correlation between the jet region charge and the charge of the struck quark is expected to be the strongest in the resummation region. The factorization theorem contains a new universal , generalizing the standard jet function to include a jet charge measurement. Therefore these universal functions can be extracted from a global analysis of N-jettiness and thrust at 𝑒 + ⁢𝑒 − colliders. We provide simulation studies to demonstrate the sensitivity of the 1-Jettiness jet charge observable to quark flavor dynamics in nucleon structure and explore the possibility of probing the final state hadronization process. This observable is well-suited for applications with existing HERA data and the future Electron-Ion Collider (EIC).

Mantry, Sonny [University of North Georgia, Dahlon↗

DOE OSTI2026

Nanoscale Defects as Probes of Time-Reversal Symmetry Breaking

Nanoscale defects such as nitrogen-vacancy (NV) centers can serve as sensitive and noninvasive probes of electromagnetic fields and fluctuations from materials, which in turn can be used to characterize these systems. Here we specifically discuss how NV centers can probe time-reversal symmetry breaking (TRSB) phenomena in low-dimensional electronic systems. We argue that the difference in relaxation rates Γ$_{±\hat{z}}$ of NV centers starting from 𝑚 = ±1 spin states to the ground state with 𝑚 = 0 directly probes TRSB. The effect arises from the difference in the fluctuation spectrum of left- and right-polarized electromagnetic fields emanating from such materials. In the quantum Hall setting, the NV center experiences (nearly zero) large additional contribution to its relaxation due to the presence of the material when its magnetic dipole (anti)aligns with the external field. More generally, the difference in the relaxation rates is sensitive to the imaginary part of the wave-vector-dependent Hall conductivity. We argue that this can be used to determine the Hall viscosity, which can potentially distinguish candidate fractional quantum Hall states and be used to infer the pairing angular momentum in TRSB superconductors. We compute the average relaxation rate [Γ$_{+\hat{z}}$ + Γ$_{-\hat{z}}$] near thin film superconductors and find that it exhibits a Hebel-Slichter-like enhancement below 𝑇 𝑐 . The difference Γ$_{+\hat{z}}$ −Γ$_{-\hat{z}}$ also inherits this peak but is only nonzero for 𝑇 < 𝑇 𝑐 and only if the superconductivity is chiral. We provide concrete estimates for observing this effect in stacked twisted bismuth strontium calcium copper oxide flakes.

NV centers↗

DOE OSTI2025

Color glass condensate meets high twist expansion

We establish the correspondence between two well-known frameworks for quantum chromodynamics (QCD) multiple scattering in nuclear media: the color glass condensate (CGC) and the high-twist (HT) expansion formalism. We argue that a consistent matching between both frameworks, in their common domain of validity, is achieved by incorporating the subeikonal longitudinal momentum phase in the CGC formalism, which mediates the transition between coherent and incoherent scattering. We perform a detailed calculation and analysis of direct photon production in proton-nucleus scattering as a concrete example to establish the matching between HT and CGC up to twist-4, including initial- and final-state interactions, as well as their interferences. The techniques developed in this work can be adapted to other processes in electron-nucleus and proton-nucleus collisions, and they provide a potential avenue for a unified picture of dilute-dense dynamics in nuclear media.

quantum chromodynamics↗

DOE OSTI2026

JIMWLK on a quantum computer

We propose a method for solving the Jalilian-Marian-Iancu-McLerran-Weigert-Leonidov-Kovner (JIMWLK) evolution equation on quantum computers. Our approach exploits the reformulation of the JIMWLK equation as a Lindblad master equation governing the rapidity evolution of the hadronic density matrix, as established in prior work. To render the problem tractable for quantum simulation, we introduce several approximations: the two-dimensional transverse plane is reduced to a one-dimensional radial lattice by assuming azimuthal symmetry of the jump operators; the gauge group is restricted to SU(2); and the infinite Wilson lines of the JIMWLK equation are replaced by finite Wilson links along the light-cone direction. The resulting bosonic Hilbert space is truncated using the electric field basis familiar from Hamiltonian lattice gauge theory, with states restricted to angular momenta 𝑗 ≤ 𝑗 max . We derive the matrix elements of the JIMWLK Lindblad jump operators in this basis. As a benchmark, we demonstrate rapid convergence of the fundamental dipole expectation value with 𝑗 max for both pure and mixed Gaussian initial density matrices. For the simplest truncation, 𝑗 max =1/2, we implement the Lindblad evolution using a quantum simulation algorithm verified with the Qiskit statevector simulator by decomposing the non-unitary evolution operator into a linear combination of unitaries. This work establishes a concrete pathway toward quantum simulation of high-energy quantum chromodynamics evolution equations, with direct relevance to the physics program of the Electron-Ion Collider.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2025

Quantum optimal control of superconducting qubits based on machine-learning characterization

Implementing fast and high-fidelity quantum operations using open-loop quantum optimal control relies on having an accurate model of the quantum dynamics. Any deviations between this model and the complete dynamics of the device, such as the presence of spurious modes or pulse distortions, can degrade the performance of optimal controls in practice. Here, we propose an experimentally simple approach to realize optimal quantum controls tailored to the device parameters and environment while specifically characterizing this quantum system. Concretely, we use physics-inspired machine learning to infer an accurate model of the dynamics from experimentally available data and then optimize our experimental controls on this trained model. We show the power and feasibility of this approach by optimizing arbitrary single-qubit operations in detailed numerical simulations of a superconducting transmon qubit. Furthermore, we demonstrate that this framework produces an accurate description of the device dynamics under arbitrary controls, together with the precise pulses achieving arbitrary single-qubit gates with a high fidelity of ∼99.99%.

Artificial neural networks↗

DOE OSTI2026

Impact of new physics on the JUNO-long-baseline synergy in the neutrino mass ordering determination

The determination of the neutrino mass ordering is one of the flagship goals in particle physics. A well-known and powerful synergy emerges when combining high-precision measurements of the effective atmospheric mass-squared splitting from electron antineutrino disappearance in reactor experiments with that from muon (anti)neutrino disappearance in accelerator-based long-baseline experiments. To fully exploit this synergy, percent-level precision in the atmospheric mass splitting is required—a target that JUNO is expected to achieve within a few months of data taking. This motivated the formulation of a mass ordering sum rule for neutrino disappearance channels, which shows that by combining data from T2K and NOvA with JUNO after one year of operation, the neutrino mass ordering can be determined at the 3⁢𝜎 confidence level. Since JUNO has recently started taking data, it is timely to ask whether this sum rule remains robust in the presence of new physics. We identify the necessary conditions for new physics to affect the sum rule and demonstrate that, in some cases, such effects could lead to an incorrect inference of the mass ordering. As concrete examples, we consider scalar nonstandard interactions (SNSI) and neutrinos coupled to an ultralight scalar field. We find that, for SNSI, current constraints render any modification of the sum rule negligible, whereas in the latter case, the inference of the ordering requires caution. Nevertheless, these effects can be disentangled, illustrating how the sum rule can also be used to search for new physics.

Alves, Gustavo F. S. [Fermi National Accelerator L↗

DOE OSTI2020

Quantum state reduction: Generalized bipartitions from algebras of observables

Reduced density matrices are a powerful tool in the analysis of entanglement structure, approximate or coarse-grained dynamics, decoherence, and the emergence of classicality. It is straightforward to produce a reduced density matrix with the partial-trace map by tracing out part of the quantum state, but in many natural situations this reduction may not be achievable. We investigate the general problem of identifying how the quantum state is reduced given a restriction on the observables. For example, in an experimental setting, the set of observables that can actually be measured is usually modest (compared to the set of all possible observables) and their resolution is limited. In such situations, the appropriate state-reduction map can be defined via a generalized bipartition, which is associated with the structure of irreducible representations of the algebra generated by the restricted set of observables. One of our main technical results is a general, not inherently numeric, algorithm for finding irreducible representations of matrix algebras. In our work, we demonstrate the viability of this approach with two examples of limited-resolution observables. The definition of quantum state reductions can also be extended beyond algebras of observables. To accomplish this task we introduce a more flexible notion of bipartition, the partial bipartition, which describes coarse grainings preserving information about a limited set (not necessarily algebra) of observables. We describe a variational method to choose the coarse grainings most compatible with a specified Hamiltonian, which exhibit emergent classicality in the reduced state space. We apply this construction to the concrete example of the one-dimensional Ising model. Our results have relevance for quantum information, bulk reconstruction in holography, and quantum gravity.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2021

Variational preparation of the thermofield double state of the Sachdev-Ye-Kitaev model

Here, we provide an algorithm for preparing the thermofield double (TFD) state of the Sachdev-Ye-Kitaev (SYK) model without the need for an auxiliary bath. Following previous work, the TFD can be cast as the approximate ground state of a Hamiltonian, H TFD . Using variational quantum circuits, we propose and implement a gradient-based algorithm for learning parameters that find this ground state, an application of the variational quantum eigensolver. Concretely, we find shallow quantum circuits that prepare the ground state of H TFD for the q = 4 SYK model for N = 8 Majoranas per side. For N = 12, we achieve a variational energy within 1% of the true ground-state energy.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗