Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Bounds”

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 253 records · Page 14
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

Bounding the Failure Probability Range of Polynomial Systems Subject to P-box Uncertainties

This paper proposes a reliability analysis framework for systems subject to multiple design requirements that depend polynomially on the uncertainty. Uncertainty is prescribed by probability boxes, also known as p-boxes, whose distribution functions have free or fixed functional forms. An approach based on the Bernstein expansion of polynomials and optimization is proposed. In particular, we search for the elements of a multi-dimensional p-box that minimize (i.e., the best-case) and maximize (i.e., the worst-case) the probability of inner and outer bounding sets of the failure domain. This technique yields intervals that bound the range of failure probabilities. The offset between this bounding interval and the actual failure probability range can be made arbitrarily tight with additional computational effort.

Crespo, Luis G.↗
NASA NTRS2013

Bounding the Role of Black Carbon in the Climate System: a Scientific Assessment

Black carbon aerosol plays a unique and important role in Earth's climate system. Black carbon is a type of carbonaceous material with a unique combination of physical properties. This assessment provides an evaluation of black-carbon climate forcing that is comprehensive in its inclusion of all known and relevant processes and that is quantitative in providing best estimates and uncertainties of the main forcing terms: direct solar absorption; influence on liquid, mixed phase, and ice clouds; and deposition on snow and ice. These effects are calculated with climate models, but when possible, they are evaluated with both microphysical measurements and field observations. Predominant sources are combustion related, namely, fossil fuels for transportation, solid fuels for industrial and residential uses, and open burning of biomass. Total global emissions of black carbon using bottom-up inventory methods are 7500 Gg/yr in the year 2000 with an uncertainty range of 2000 to 29000. However, global atmospheric absorption attributable to black carbon is too low in many models and should be increased by a factor of almost 3. After this scaling, the best estimate for the industrial-era (1750 to 2005) direct radiative forcing of atmospheric black carbon is +0.71 W/sq m with 90% uncertainty bounds of (+0.08, +1.27)W/sq m. Total direct forcing by all black carbon sources, without subtracting the preindustrial background, is estimated as +0.88 (+0.17, +1.48) W/sq m. Direct radiative forcing alone does not capture important rapid adjustment mechanisms. A framework is described and used for quantifying climate forcings, including rapid adjustments. The best estimate of industrial-era climate forcing of black carbon through all forcing mechanisms, including clouds and cryosphere forcing, is +1.1 W/sq m with 90% uncertainty bounds of +0.17 to +2.1 W/sq m. Thus, there is a very high probability that black carbon emissions, independent of co-emitted species, have a positive forcing and warm the climate. We estimate that black carbon, with a total climate forcing of +1.1 W/sq m, is the second most important human emission in terms of its climate forcing in the present-day atmosphere; only carbon dioxide is estimated to have a greater forcing. Sources that emit black carbon also emit other short-lived species that may either cool or warm climate. Climate forcings from co-emitted species are estimated and used in the framework described herein. When the principal effects of short-lived co-emissions, including cooling agents such as sulfur dioxide, are included in net forcing, energy-related sources (fossil fuel and biofuel) have an industrial-era climate forcing of +0.22 (0.50 to +1.08) W/sq m during the first year after emission. For a few of these sources, such as diesel engines and possibly residential biofuels, warming is strong enough that eliminating all short-lived emissions from these sources would reduce net climate forcing (i.e., produce cooling). When open burning emissions, which emit high levels of organic matter, are included in the total, the best estimate of net industrial-era climate forcing by all short-lived species from black-carbon-rich sources becomes slightly negative (0.06 W/sq m with 90% uncertainty bounds of 1.45 to +1.29 W/sq m). The uncertainties in net climate forcing from black-carbon-rich sources are substantial, largely due to lack of knowledge about cloud interactions with both black carbon and co-emitted organic carbon. In prioritizing potential black-carbon mitigation actions, non-science factors, such as technical feasibility, costs, policy design, and implementation feasibility play important roles. The major sources of black carbon are presently in different stages with regard to the feasibility for near-term mitigation. This assessment, by evaluating the large number and complexity of the associated physical and radiative processes in black-carbon climate forcing, sets a baseline from which to improve future climate forcing estimates.

black carbon↗
NASA NTRS2009

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

Pichardie, David↗
DOE OSTI2023

Bounding Pressure and Flammability Evaluations for a Department of Energy Standard Canister Loaded with Aluminum-Clad Spent Fuel

This report presents bounding pressurization and flammability evaluations from the radiolytic gas generation expected during extended (>50 years) dry storage of aluminum-clad spent nuclear fuel (ASNF) elements in a sealed Department of Energy (DOE) Standard Canister. The primary questions involving extended ASNF dry storage center around the adequacy of dry storage conditioning processes (i.e., drying) and the behavior of residual hydrated aluminum oxides on the cladding—specifically, the radiolytic breakdown of chemically bound water in these corrosion products. The objectives of the presented work include providing a bounding assessment of the pressure with respect to the DOE Standard Canister’s structural integrity limits and identifying the potential for forming flammable or explosive gas mixtures (i.e., exceedance of the lower flammability limit of the molecular hydrogen [H2] and oxygen [O2] concentrations). The evaluation results confirm the findings of previous, more complex M&S work. That is, the structural integrity of the canister remains unchallenged by a wide margin. Nevertheless, it is important to recognize that the presented pressure calculations consider a full breakdown of the chemisorbed water, including a consequent release of all available H2. In reality, the breakdown of water in these systems will likely remain incomplete, due to competing chemical and radiolytic reactions, thereby attaining an equilibrium in the storage environment.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2024

Bounding Pressure and Flammability Evaluations of Aluminum-Clad Spent Nuclear Fuel Department of Energy Standard Canisters

This paper presents bounding pressure and flammability evaluations for DOE Standard Canister loaded with DOE-managed aluminum-clad spent nuclear fuel (ASNF). The objective of these evaluations is to gain confidence in the safety and feasibility of possible loading configurations for extended (>50 years) periods of dry storage, with particular focus on the dry storage canister pressures and potential for formation of a flammable atmosphere. The primary concern about the extended dry storage of ASNF is radiolytic gas generation. The aluminum cladding of these materials tends to corrode, and these corrosion products—typically aluminum oxides, such as boehmite, bayerite, or gibbsite—could carry water. This makes ASNF dry storage canisters difficult to dry. The gamma radiation field in dry storage environments could cause a radiolytic breakdown of residual water, forming chemical species such as molecular hydrogen (H2). The release of these species could increase the canister pressure and lead to the generation of a flammable canister atmosphere. The bounding evaluations presented within this study surmise conservative, but credible, conditions and processes. This includes the assumption of a full breakdown of a large quantity of free, physisorbed, and chemisorbed water (bound in a trihydrate, i.e., Al2O3 • 3H2O, layer). The considered dry storage configurations include a ~3 m (10 ft) long, ~46 cm (18 in) diameter (10 x 18) DOE Standard Canister loaded with 32 Advanced Test Reactor (ATR) ASNF elements, and a ~3 m (10 ft) long, ~61 cm (24 in) (10 x 24) diameter DOE Standard Canister loaded with 40 ATR ASNF elements. While the results of this study indicate the possibility of atmospheric hydrogen concentrations above the lower flammability limit, insufficient concentrations of oxygen will prevent the formation of flammable atmospheres. The maximum credible pressures remain well within the structural limits of the DOE Standard Canister.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2021

A compute-bound formulation of Galerkin model reduction for linear time-invariant dynamical systems

This work aims to advance computational methods for projection-based reduced-order models (ROMs) of linear time-invariant (LTI) dynamical systems. For such systems, current practice relies on ROM formulations expressing the state as a rank-1 tensor (i.e., a vector), leading to computational kernels that are memory bandwidth bound and, therefore, ill-suited for scalable performance on modern architectures. This weakness can be particularly limiting when tackling many-query studies, where one needs to run a large number of simulations. This work introduces a reformulation, called rank-2 Galerkin, of the Galerkin ROM for LTI dynamical systems which converts the nature of the ROM problem from memory bandwidth to compute bound. We present the details of the formulation and its implementation, and demonstrate its utility through numerical experiments using, as a test case, the simulation of elastic seismic shear waves in an axisymmetric domain. We quantify and analyze performance and scaling results for varying numbers of threads and problem sizes. In conclusion, we present an end-to-end demonstration of using the rank-2 Galerkin ROM for a Monte Carlo sampling study. We show that the rank-2 Galerkin ROM is one order of magnitude more efficient than the rank-1 Galerkin ROM (the current practice) and about 970 times more efficient than the full-order model, while maintaining accuracy in both the mean and statistics of the field.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

SpectrumSDT: A program for parallel calculation of coupled rotational-vibrational energies and lifetimes of bound states and scattering resonances in triatomic systems

In this work, we present SpectrumSDT – a program for calculations of energies and lifetimes of bound rotational-vibrational states below and scattering resonances above the dissociation threshold on a global potential energy surface of a triatomic system, which may include stable molecules, weekly-bound van-der-Waals complexes, and unbound atom + diatom scattering systems. Large-amplitude vibrational motion is treated explicitly using hyper-spherical coordinates. Three options for the rotational-vibrational interaction are supported: uncoupled (symmetric top rotor), partially coupled (to include interaction between several nearest states only) and full-coupled (vibrating asymmetric-top rotor). In addition to energies and lifetimes, SpectrumSDT is able to integrate ro-vibrational wave functions over the user-defined regions of potential energy surface, which helps to classify these states. In this release of the code, SpectrumSDT is limited to ABA-type molecules with wave functions that do not extend into the regions near Eckart singularities.

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

Maximum bound principle preserving integrating factor Runge–Kutta methods for semilinear parabolic equations

A large class of semilinear parabolic equations satisfy the maximum bound principle (MBP) in the sense that the time-dependent solution preserves for any time a uniform pointwise bound imposed by its initial and boundary conditions. Here, the MBP plays a crucial role in understanding the physical meaning and the well-posedness of the mathematical model. Investigation on numerical algorithms with preservation of the MBP has attracted increasingly attentions in recent years, especially for the temporal discretizations, since the violation of MBP may lead to nonphysical solutions or even blow-ups of the algorithms. In this paper, we study high-order MBP-preserving time integration schemes by means of the integrating factor Runge-Kutta (IFRK) method. Beginning with the space-discrete system of semilinear parabolic equations, we present the IFRK method in general form and derive the sufficient conditions for the method to preserve the MBP. In particular, we show that the classic four-stage, fourth-order IFRK scheme is MBP preserving for some typical semilinear systems although not strong stability preserving, which can be instantly applied to the Allen-Cahn type of equations. To our best knowledge, this is the first time to present a fourth-order linear numerical method preserving the MBP. In addition, convergence of these numerical schemes is proved theoretically and verified numerically, as well as their efficiency by simulations of 2D and 3D long-time evolutional behaviors. Numerical experiments are also carried out for a model which is not a typical gradient flow as the Allen-Cahn type of equations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

FedCSpc: A Cross-Silo Federated Learning System With Error-Bounded Lossy Parameter Compression

Cross-Silo federated learning is widely used for scaling deep neural network (DNN) training over data silos from different locations worldwide while guaranteeing data privacy. Communication has been identified as the main bottleneck when training large-scale models due to large-volume model parameters and gradient transmission across public networks with limited bandwidth. Most previous works focus on gradient compression, while limited work tries to compress parameters that can not be ignored and extremely affect communication performance during the training. Here, to bridge this gap, we propose FedCSpc: an efficient cross-silo federated learning system with an XAI-driven adaptive parameter compression strategy for large-scale model training. Our work substantially differs from existing gradient compression techniques due to the distinct data features of gradient and parameter. The key contributions of this paper are fourfold. (1) Our designed FedCSpc proposes to compress the parameter during the training using the state-of-the-art error-bounded lossy compressor – SZ3. (2) We develop an adaptive compression error bound adjustment algorithm to guarantee the model accuracy effectively. (3) We exploit an efficient approach to utilize the idle CPU resources of clients to compress the parameters. (4) We perform a comprehensive evaluation with a wide range of models and benchmarks on a GPU cluster with 65 GPUs. Results show that FedCSpc can achieve the same model accuracy as FedAvg while reducing the data volume of parameters and gradients in communication by up to 7.39× and 288×, respectively. With 32 clients on a 4 Gb size model, FedCSpc significantly outperforms FedAvg in wall-clock time in the emulated WAN environment (at the bandwidth of 1 Gbps or lower without loss of generality).

SZ3↗
DOE OSTI2025

FedEFsz: Fair Cross-Silo Federated Learning System With Error-Bounded Lossy Compression

Cross-Silo federated learning systems have been identified as an efficient approach to scaling DNN training across geographically-distributed data silos to preserve the privacy of the training data. Communication efficiency and fairness are two major issues that need to be both satisfied when federated learning systems are deployed in practice. Simultaneously guaranteeing both of them, however, is exceptionally difficult because simply combining communication reduction and fairness optimization approaches often causes non-converged training or drastic accuracy degradation. Here, to bridge this gap, we propose FedEFsz. On the one hand, it integrates the state-of-the-art error-bounded lossy compressor SZ3 into cross-silo federated learning systems to significantly reduce communication traffic during the training. On the other hand, it achieves a high fairness (i.e., rather consistent model accuracy and performance across different clients) through a carefully designed heuristic algorithm that can tune the error-bound of SZ3 for different clients during the training. Extensive experimental results based on a GPU cluster with 65 GPU cards show that FedEFsz improves the fairness across different benchmarks by up to 60.88% and meanwhile reduces the communication traffic by up to 315×.

Cross-Silo Federated Learning Systems↗
DOE OSTI2023

Bound-preserving finite element approximations of the Keller–Segel equations

We report this paper aims to develop numerical approximations of the Keller–Segel equations that mimic at the discrete level the lower bounds and the energy law of the continuous problem. We solve these equations for two unknowns: the organism (or cell) density, which is a positive variable, and the chemoattractant density, which is a non-negative variable. We propose two algorithms, which combine a stabilized finite element method and a semi-implicit time integration. The stabilization consists of a nonlinear artificial diffusion that employs a graph-Laplacian operator and a shock detector that localizes local extrema. As a result, both algorithms turn out to be nonlinear and can generate cell and chemoattractant numerical densities fulfilling lower bounds. However, the first algorithm requires a suitable constraint between the space and time discrete parameters, whereas the second one does not. We design the latter to attain a discrete energy law on acute meshes. We report some numerical experiments to validate the theoretical results on blowup and nonblowup phenomena. In the blowup setting, we identify a locking phenomenon that relates the L ∞ (Ω)-norm to the L 1 (Ω)-norm limiting the growth of the singularity when supported on a macroelement.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2014

Supernova Bounds on the Dark Photon Using Its Electromagnetic Decay

The hypothetical massive dark photon (gamma′) which has kinetic mixing with the SM photon can decay electromagnetically to e+ e− pairs if its mass m exceeds 2m(sub e), and otherwise into three SM photons. These decays yield cosmological and supernovae associated signatures. We briefly discuss these signatures, particularly in connection with the supernova SN1987A, and delineate the extra constraints that arise on the mass and mixing parameter of the dark photon. In particular, we find that for dark photon mass m(sub gamma') in the 5-20 MeV range arguments based on supernova 1987A observations lead to a bound on epsilon which is about 300 times stronger than the presently existing bounds based on energy loss arguments.

Supernova bounds on the dark photon using its elec↗
DOE OSTI2020

Metal Halide Scintillators with Fast and Self‐Absorption‐Free Defect‐Bound Excitonic Radioluminescence for Dynamic X‐Ray Imaging

Abstract Scintillators for radiation detection are of great significance in medical imaging, security, and nondestructive inspection. The current challenge for scintillators is to simultaneously achieve high scintillation light yield, fast radioluminescence, simple film fabrication, large X‐ray attenuation efficiency as well as stable and nontoxic compositions; no previous scintillators fulfill all the above requirements. Here, metal halide Rb 2 AgBr 3 , possessing defect‐bound excitonic radioluminescence, is shown as efficient and fast scintillators. This nontoxic and stable scintillator emits from excitons bound to neutral bromine vacancies, enjoying an efficient and spin‐allowed fast emission with minimized self‐absorption. Rb 2 AgBr 3 thus has a high light yield (25 600 photons MeV −1 ), fast scintillation decay time (5.31 ns), and a record value of light yield versus decay time (4821 photons MeV −1 ns −1 ). The close‐space sublimation method is developed for fast and scalable fabrication of oriented Rb 2 AgBr 3 films. The scintillator film is further integrated with commercial flat‐panel imagers, and the spatial resolution reaches 10.2 line pairs per millimeter at the modulation transfer function of 0.2, doubling the resolution of conventional CsI:Tl flat‐panel detectors. The dynamic X‐ray imaging and its use to real‐time monitoring of bone movement without ghosting effect is also demonstrated.

Zhang, Muyi↗
DOE OSTI2022

Direct Exciton Harvesting from a Bound Triplet Pair

Abstract Singlet fission is commonly defined as the generation of two triplet excitons from a single absorbed photon. However, ambiguities within this definition arise due to the complexity of the various double triplet states that exist in SF chromophores and the corresponding interconversion processes. To clarify this process, singlet fission is frequently depicted as sequential two‐step conversion in which a singlet exciton decays into a bound triplet‐pair biexciton state that dissociates into two “free” triplet excitons. However, this model discounts the potential for direct harvesting from the coupled biexciton state. Here, it is demonstrated that individual triplet excitons can be extracted directly from a bound triplet pair. It is demonstrated that due to the requirement for geminate triplet–triplet annihilation in intramolecular singlet fission compounds, unique spectral and kinetic signatures can be used to quantify triplet‐pair harvesting yields. An internal quantum efficiency for triplet exciton transfer from the triplet pair of >50%, limited only by the solubility of the compounds is achieved. The harvesting process is not dependent on the net multiplicity of the triplet‐pair state, suggesting that an explicit, independent dissociation step is not a requirement for using triplet pairs to do chemical or electrical work.

Chemistry↗
DOE OSTI2026

Evidence of Free-Bound Transitions in Warm Dense Matter and Their Impact on Equation-of-State Measurements

Warm dense matter (WDM) is now routinely created and probed in laboratories around the world, providing unprecedented insights into conditions achieved in stellar atmospheres, planetary interiors, and inertial confinement fusion experiments. However, the interpretation of these experiments is often filtered through models with systematic errors that are difficult to quantify. Due to the simultaneous presence of quantum degeneracy and thermal excitation, transitions in which free electrons are de-excited into thermally unoccupied bound states transferring momentum and energy to a scattered x-ray photon become viable. Here we show that such free-bound transitions are a particular feature of WDM and vanish in the limits of cold and hot temperatures. The inclusion of these transitions into the analysis of recent X-ray Thomson Scattering experiments on WDM at the National Ignition Facility and the Linac Coherent Light Source is required to obtain a physically consistent temperature from the Chihara decomposition. This interpretation is corroborated by agreement with a recently developed model-free thermometry technique and presents an important step for precisely characterizing and understanding the complex WDM state of matter.

Boehme, M [HZDR Dresden]↗
DOE OSTI2025

Structures of a synthetic antibody selected against and bound to the C‐terminal domain of Clostridium perfringens enterotoxin

Abstract Clostridium perfringensenterotoxin (CpE) causes cytotoxic gastrointestinal disease in mammalian epithelium by binding membrane protein receptors called claudins. Claudins direct the formation of cell/cell tight junctions through oligomerization and govern the transport of molecules between individual cells. CpE binds claudins through its C‐terminal domain (cCpE) and induces cytotoxicity through its N‐terminal domain. The non‐toxic cCpE is a useful tool to study claudins, tight junctions, and for translational applications, such as increasing the permeability of restrictive tissues like the blood–brain barrier or selective targeting of claudin overexpressing cancers. Conversely, there are no specialized molecular tools to study CpE or cCpE, or to modulate or inhibit their functions. We previously reported the development of synthetic antigen‐binding fragments (sFabs) that bind cCpE, and low‐resolution structures of them bound to claudin/cCpE complexes. Here, we determine high‐resolution structures of sFab COP‐2 bound to cCpE using X‐ray crystallography and cryogenic electron microscopy. The structures and biophysical findings provide the mechanism of COP‐2 binding to cCpE and the molecular determinants driving their interactions. These insights can advance the design of new antibody‐based tools from our COP‐2 scaffold to study or alter cCpE function and give rise to a “Trojan horse” strategy that exploits cCpE's tight junction barrier disrupting function to selectively deliver conjugated therapeutics through normally impermeable tissues.

Biochemistry & Molecular Biology↗
DOE OSTI2024

DK/Dπ scattering and an exotic virtual bound state at the SU(3) flavour symmetric point from lattice QCD

Abstract ElasticS-wave scattering of a charm meson with a light pseudoscalar meson inJ P = 0 + is investigated in the flavour$$ \overline{\textbf{3}} $$ 3 ¯ ,6and$$ \overline{\textbf{15}} $$ 15 ¯ sectors at the SU(3) f flavour point using lattice QCD, working on three volumes withm π ≈ 700 MeV. Large bases of interpolating operators are employed to extract finite-volume spectra, which are subsequently used with the Lüscher method to provide constraints on infinite-volume scattering amplitudes. Examining the singularities of the amplitudes, theS-wave amplitude in the flavour$$ \overline{\textbf{3}} $$ 3 ¯ sector is found to contain a deeply bound state, strongly coupled to elastic threshold, corresponding to the$$ {J}^P={0}^{+}\ {D}_{s0}^{\ast }(2317) $$ J P = 0 + D s 0 ∗ 2317 . In the exotic flavour6sector a virtual bound state is found at$$ \sqrt{s_{\textrm{pole}}} $$ s pole = 2510 – 2610 MeV, roughly 40 – 140 MeV below threshold, whereas the$$ \overline{\textbf{15}} $$ 15 ¯ channel shows weak repulsion.

Physics↗
DOE OSTI2021

Mutual information superadditivity and unitarity bounds

We derive the property of strong superadditivity of mutual information arising from the Markov property of the vacuum state in a conformal field theory and strong subadditivity of entanglement entropy. We show this inequality encodes unitarity bounds for different types of fields. These unitarity bounds are precisely the ones that saturate for free fields. This has a natural explanation in terms of the possibility of localizing algebras on null surfaces. A particular continuity property of mutual information characterizes free fields from the entropic point of view. We derive a general formula for the leading long distance term of the mutual information for regions of arbitrary shape which involves the modular flow of these regions. We obtain the general form of this leading term for two spheres with arbitrary orientations in spacetime, and for primary fields of any tensor representation. For free fields we further obtain the explicit form of the leading term for arbitrary regions with boundaries on null cones.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗