Engineering Papers⌕ Search

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.

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

At least 703 records · Page 39

A critical assessment of solutions to the galaxy diversity problem

Galactic rotation curves exhibit a diverse range of inner slopes. Observational data indicates that explaining this diversity may require a mechanism that correlates a galaxy's surface brightness with the central-most region of its dark matter halo. Here, in this work, we compare several concrete models that capture the relevant physics required to explain the galaxy diversity problem. We focus specifically on a Self-Interacting Dark Matter (SIDM) model with an isothermal core and two Cold Dark Matter (CDM) models with/without baryonic feedback. In contrast to the CDM case, the SIDM model can lead to the formation of an isothermal core in the halo, and is also mostly insensitive to baryonic feedback processes, which act on longer time-scales. Using rotation curves from 90 galaxies in the Spitzer Photometry & Accurate Rotation Curves (SPARC) catalog, we perform a comprehensive model comparison that addresses issues of statistical methodology from prior works. The best-fit halo models that we recover are consistent with standard CDM concentration-mass and abundance matching relations. We find that both the SIDM and feedback-affected CDM models are better than a CDM model with no feedback in explaining the rotation curves of low and high surface brightness galaxies in the sample. However, when compared to each other, there is no strong statistical preference for either the SIDM or the feedback-affected CDM halo model as the source of galaxy diversity in the SPARC catalog.

79 ASTRONOMY AND ASTROPHYSICS↗

Growth instabilities shape morphology and genetic diversity of microbial colonies

Abstract Cellular populations assume an incredible variety of shapes ranging from circular molds to irregular tumors. While we understand many of the mechanisms responsible for these spatial patterns, little is known about how the shape of a population influences its ecology and evolution. Here, we investigate this relationship in the context of microbial colonies grown on hard agar plates. This a well-studied system that exhibits a transition from smooth circular disks to more irregular and rugged shapes as either the nutrient concentration or cellular motility is decreased. Starting from a mechanistic model of colony growth, we identify two dimensionless quantities that determine how morphology and genetic diversity of the population depend on the model parameters. Our simulations further reveal that population dynamics cannot be accurately described by the commonly-used surface growth models. Instead, one has to explicitly account for the emergent growth instabilities and demographic fluctuations. Overall, our work links together environmental conditions, colony morphology, and evolution. This link is essential for a rational design of concrete, biophysical perturbations to steer evolution in the desired direction.

Golden, Alexander↗

Transport-driven toroidal rotation with general viscosity profile

Abstract Using the assumption of a weak normalized turbulent viscosity, usually valid in practice, the modulated-transport model (Stoltzfus-Dueck 2012 Phys. Plasmas 19 055908) is generalized to allow the turbulent transport coefficient to vary in an arbitrary way on radial and poloidal position. The new approach clarifies the physical interpretation of the earlier results and significantly simplifies the calculation, via a boundary-layer asymptotic method. Rigorous detailed appendices verify the result of the simple boundary-layer calculation, also demonstrating that it achieves the claimed order of accuracy and providing a concrete prediction for the strong plasma flows in the immediate vicinity of the last closed flux surface. The new formulas are used to predict plasma rotation at the core-edge boundary, in cases with and without externally applied torque. Dimensional formulas and extensive discussion are provided, to support experimental application of the new model.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Designing a validation experiment for radio frequency condensation

Abstract Theoretical studies have suggested that nonlinear effects can lead to ‘radio frequency (RF) condensation’, where an initially broad current profile can coalesce in islands when they reach sufficient width. In suitable conditions, RF condensation can ‘self-focus’ the driven current to the center of an island, improving stabilization efficiency and reducing control complexity. In unsuitable conditions, the effect can prematurely deplete the RF energy before it reaches the island center, impairing stabilization. It is predicted that the RF condensation effect can significantly impact reactor-scale tokamaks. This paper presents a set of simulations investigating the conditions under which RF condensation might be encountered in present-day tokamaks. For concreteness, the calculations use equilibrium reconstructions for two shots from DIII-D and AUG. The Current Condensation Amid Magnetic Islands (OCCAMI) simulation code has been used for this investigation. The code takes as its input a numerically specified axisymmetric EFIT equilibrium solution, and it perturbatively constructs a 3D field with an island embedded at the appropriate rational surface. In the OCCAMI code, the GENRAY code is used for ray tracing and for calculating the power deposition along a ray trajectory, and GENRAY is coupled self-consistently to a solution of the thermal diffusion equation in the island. The simulation results described in the paper illuminate the conditions required for experimental validation of the theory of RF condensation. The simulations also provide an explanation of why the effect was not noticed in experiments prior to the publication of theoretical papers on the subject.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Monitoring the SNS basement neutron background with the MARS detector

Here, we present the analysis and results of the first dataset collected with the MARS neutron detector deployed at the Oak Ridge National Laboratory Spallation Neutron Source (SNS) for the purpose of monitoring and characterizing the beam-related neutron (BRN) background for the COHERENT collaboration. MARS was positioned next to the COH-CsI coherent elastic neutrino-nucleus scattering detector in the SNS basement corridor. This is the basement location of closest proximity to the SNS target and thus, of highest neutrino flux, but it is also well shielded from the BRN flux by infill concrete and gravel. Furthermore, these data show the detector registered roughly one BRN per day. Using MARS' measured detection efficiency, the incoming BRN flux is estimated to be 1.20 ± 0.56 neutrons/m 2 /MWh for neutron energies above ~3.5 MeV and up to a few tens of MeV. We compare our results with previous BRN measurements in the SNS basement corridor reported by other neutron detectors.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Studies of time resolution, light yield, and crosstalk using SiPM-on-tile calorimetry for the future Electron-Ion Collider

We recently proposed a high-granularity calorimeter insert for the Electron-Ion Collider (EIC) that is based on plastic scintillator tiles readout with silicon photomultipliers. In this work, we concretize its design by characterizing its building blocks with measurements of light yield, optical crosstalk, and timing resolutions using cosmic-rays, an LED, and a beta source. We also compared two approaches for the optical isolation of cells: "megatiles" with grooved boundaries between cells, and a 3D-printed plastic frame hosting individual cells. Further, we found that the latter suppresses optical crosstalk to negligible levels while providing an easier assembly method. Overall, these performance studies can help inform calorimeter design and realistic simulations of 5D showers (time, energy, position) for the EIC and other experiments.

47 OTHER INSTRUMENTATION↗

Light detection and cosmic rejection in the ICARUS LArTPC at Fermilab

Abstract The ICARUS-T600 detector is a 760-ton Liquid Argon Time Projection Chamber (LArTPC) currently operating at Fermilab as the Far Detector in the Short Baseline Neutrino (SBN) program. The SBN program is composed of three LArTPCs with a central goal of testing the sterile neutrino hypothesis. After operating for 3-years in the Gran Sasso Underground Laboratory, the ICARUS detector was shipped to CERN where it was outfitted with 360 8” Photomultiplier Tubes (PMTs) for a new optical detection system. The PMT system detects fast scintillation light from charged particles interacting in the Liquid Argon, generating the trigger signal for the full detector and allows 3D reconstruction of events. Now operating at shallow depth, the detector is exposed to a high flux of cosmic rays that can fake neutrino interactions. To mitigate this effect a Cosmic Ray Tagger (CRT) and a 3-meter-thick concrete were installed. Precise timing information from both the PMT and CRT subsystems can help to identify whether an interaction originated from inside or outside of the ICARUS cryostat. This paper reviews a method for cosmogenic background reduction and timing calibration of the CRT and PMT light detection systems in ICARUS.

Instruments & Instrumentation↗

Integrating air quality and health considerations into power sector decarbonization strategies

Climate change and public health are two interconnected societal challenges. Curbing fossil-based electricity generation reduces the emissions of both CO 2 and air pollutants, which brings tangible health benefits from improved air quality. The potential health benefits from decarbonizing the grid are enormous, immediate, and widespread. From renewable portfolio standards to carbon market, the health co-benefits from clean electricity policies often outweigh their policy costs. As climate action goes local, framing decarbonization around health benefits also makes it more personally relevant and economically attractive. Yet, to date, the health impacts have largely been viewed as ancillary benefits from decarbonization, rather than as a core consideration when energy strategies are formed, assessed and implemented. When strategic choices are made about retiring old infrastructure and building new ones, bringing public health to the center of the discussion can generate greater health benefits with more equitable distribution. Here we identify concrete ways to incorporate air quality and health considerations into power sector decarbonization strategies. We draw insights mainly from empirical and modeling evidence for the United States. These insights are generally applicable and could guide health-oriented decarbonization efforts in other countries as well.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Uncertainty in determining carbon dioxide removal potential of biochar

A quantitative and systematic assessment of uncertainty in life-cycle assessment is critical to informing sustainable development of carbon dioxide removal (CDR) technologies. Biochar is the most commonly sold form of CDR to date and it can be used in applications ranging from concrete to agricultural soil amendments. Previous analyses of biochar rely on modeled or estimated life-cycle data and suggest a cradle-to-gate range of 0.20–1.3 kg CO 2 net removal per kg of biomass feedstock, with the range reported driven by differences in energy consumption, pyrolysis temperature, and feedstock sourcing. Herein, we quantify the distribution of CDR possible for biochar production with a compositional life-cycle inventory model paired with scenario-aware Monte Carlo simulation in a 'best practice' (incorporating lower transportation distances, high pyrolysis temperatures, high energy efficiency, recapture of energy for drying and pyrolysis energy requirements, and co-generation of heat and electricity) and 'poor practice' (higher transportation distances, lower pyrolysis temperatures, low energy efficiency, natural gas for energy requirements, and no energy recovery) scenarios. In the best-practice scenario, cradle-to-gate CDR (which is representative of the upper limit of removal across the entire life cycle) is highly certain, with a median removal of 1.4 kg of CO 2 e/kg biomass and results in net removal across the entire distribution. In contrast, the poor-practice scenario results in median net emissions of 0.090 kg CO 2 e/kg biomass. Whether this scenario emits (66% likelihood) or removes (34% likelihood) carbon dioxide is highly uncertain. The emission intensity of energy inputs to the pyrolysis process and whether the bio-oil co-product is used as a chemical feedstock or combusted are critical factors impacting the net carbon dioxide emissions of biochar production, together responsible for 98% of the difference between the best- and poor-practice scenarios.

54 ENVIRONMENTAL SCIENCES↗

Training quantum neural networks using the quantum information bottleneck method

Abstract We provide in this paper a concrete method for training a quantum neural network to maximize the relevant information about a property that is transmitted through the network. This is significant because it gives an operationally well founded quantity to optimize when training autoencoders for problems where the inputs and outputs are fully quantum. We provide a rigorous algorithm for computing the value of the quantum information bottleneck quantity within error ε that requires O ( log 2 ⁡ ( 1 / ϵ ) + 1 / δ 2 ) queries to a purification of the input density operator if its spectrum is supported on { 0 } ⋃ [ δ , 1 − δ ] for δ > 0 and the kernels of the relevant density matrices are disjoint. We further provide algorithms for estimating the derivatives of the QIB function, showing that quantum neural networks can be trained efficiently using the QIB quantity given that the number of gradient steps required is polynomial.

Çatlı, Ahmet Burak (ORCID:0000000152294141)↗

Status of the LCLS-II Cryogenic Distribution System

The LINAC Coherent Light Source II (LCLS-II) located at SLAC National Accelerator Laboratory (SLAC) in Menlo Park, CA, is a U.S. Department of Energy project tasked to design and build a world-class x-ray free-electron laser facility for scientific research. The Linac has superconducting radio frequency cryomodules that are connected to the cryogenic plant by the Cryogenic Distribution System (CDS), which consists of distribution boxes with heat exchangers and reliefs, feed caps, end caps, and surface, vertical, and bypass transfer lines. The CDS components were designed and built to specification by industry. The components have been delivered and their installation at SLAC will be discussed. The as-built relief system design will be presented, showing minimization of relief inlet pressure drops while meeting capacity requirements. The relieving flow pressure drops along the lengths of the CDS to centrally located reliefs at the distribution box were analysed to satisfy Pressure Vessel and Process Piping Code criteria to ensure relief performance. The sub-atmospheric 2 K circuit relieving approach will be discussed, which includes a three-way diverter isolation valve suitable for sub-atmospheric service. The component anchoring load design approach and installation into concrete floor will be discussed. This addresses loading, including seismic loading, along the component’s load path to floor anchoring system.

43 PARTICLE ACCELERATORS↗

XACC: a system-level software infrastructure for heterogeneous quantum–classical computing

Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. In this work, we present XACC, a system-level software infrastructure for quantum–classical computing that promotes a service-oriented architecture to expose interfaces for core quantum programming, compilation, and execution tasks. Additionally, we detail XACC's interfaces, their interactions, and its implementation as a hardware-agnostic framework for both near-term and future quantum–classical architectures. We provide concrete examples demonstrating the utility of this framework with paradigmatic tasks. Our approach lays the foundation for the development of compilers, associated runtimes, and low-level system tools tightly integrating quantum and classical workflows.

97 MATHEMATICS AND COMPUTING↗

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↗

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↗

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)↗

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↗

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↗

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↗