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 145 records · Page 8

Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations

In this article, we focus on the communication costs of three symmetric matrix computations: (i) multiplying a matrix with its transpose, known as a symmetric rank-k update (SYRK) (ii) adding the result of the multiplication of a matrix with the transpose of another matrix and the transpose of that result, known as a symmetric rank-2k update (SYR2K) (iii) performing matrix multiplication with a symmetric input matrix (SYMM). All three computations appear in the Level 3 Basic Linear Algebra Subroutines (BLAS) and have wide use in applications involving symmetric matrices. We establish communication lower bounds for these kernels using sequential and distributed-memory parallel computational models, and we show that our bounds are tight by presenting communication-optimal algorithms for each setting. Our lower bound proofs rely on applying a geometric inequality for symmetric computations and analytically solving constrained nonlinear optimization problems. As a result, the symmetric matrix and its corresponding computations are accessed and performed according to a triangular block partitioning scheme in the optimal algorithms.

Al Daas, Hussam [Rutherford Appleton Laboratory, D↗

Overexpression of the rice BAHD acyltransferase AT10 increases xylan-bound p-coumarate and reduces lignin in Sorghum bicolor

Abstract Background The development of bioenergy crops with reduced recalcitrance to enzymatic degradation represents an important challenge to enable the sustainable production of advanced biofuels and bioproducts. Biomass recalcitrance is partly attributed to the complex structure of plant cell walls inside which cellulose microfibrils are protected by a network of hemicellulosic xylan chains that crosslink with each other or with lignin via ferulate (FA) bridges. Overexpression of the rice acyltransferase OsAT10 is an effective bioengineering strategy to lower the amount of FA involved in the formation of cell wall crosslinks and thereby reduce cell wall recalcitrance. The annual crop sorghum represents an attractive feedstock for bioenergy purposes considering its high biomass yields and low input requirements. Although we previously validated the OsAT10 engineering approach in the perennial bioenergy crop switchgrass, the effect of OsAT10 expression on biomass composition and digestibility in sorghum remains to be explored. Results We obtained eight independent sorghum ( Sorghum bicolor (L.) Moench) transgenic lines with a single copy of a construct designed for OsAT10 expression. Consistent with the proposed role of OsAT10 in acylating arabinosyl residues on xylan with p -coumarate ( p CA), a higher amount of p -coumaroyl-arabinose was released from the cell walls of these lines upon hydrolysis with trifluoroacetic acid. However, no major changes were observed regarding the total amount of p CA or FA esters released from cell walls upon mild alkaline hydrolysis. Certain diferulate (diFA) isomers identified in alkaline hydrolysates were increased in some transgenic lines. The amount of the main cell wall monosaccharides glucose, xylose, and arabinose was unaffected. The transgenic lines showed reduced lignin content and their biomass released higher yields of sugars after ionic liquid pretreatment followed by enzymatic saccharification. Conclusions Expression of OsAT10 in sorghum leads to an increase of xylan-bound p CA without reducing the overall content of cell wall FA esters. Nevertheless, the amount of total cell wall p CA remains unchanged indicating that most p CA is ester-linked to lignin. Unlike other engineered plants overexpressing OsAT10 or a phylogenetically related acyltransferase with similar putative function, the improvements of biomass saccharification efficiency in sorghum OsAT10 lines are likely the result of lignin reductions rather than reductions of cell wall-bound FA. These results also suggest a relationship between xylan-bound p CA and lignification in cell walls.

09 BIOMASS FUELS↗

Contributions to the optical linewidth of shallow donor-bound excitonic transition in ZnO

Neutral shallow donors in zinc oxide (ZnO) are spin qubits with optical access via the donor-bound exciton. This spin–photon interface enables applications in quantum networking, memories, and transduction. Essential optical parameters which impact the spin–photon interface include radiative lifetime, optical inhomogeneous and homogeneous linewidth, and optical depth. We study the donor-bound exciton optical linewidth properties of Al, Ga, and In donors in single-crystal ZnO. The ensemble photoluminescence linewidth ranges from 4 to 11 GHz, less than two orders of magnitude larger than the expected lifetime-limited linewidth. The ensemble linewidth remains narrow in absorption through samples with an estimated optical depth up to several hundred. The primary thermal relaxation mechanism is identified and found to have a negligible contribution to the total linewidth at 2 K. We find that inhomogeneous broadening due to the disordered isotopic environment in natural ZnO is significant, contributing 2 GHz. Two-laser spectral hole burning measurements indicate that the dominant mechanism, however, is homogeneous. Despite this broadening, the high homogeneity, large optical depth, and potential for isotope purification indicate that the optical properties of the ZnO donor-bound exciton are promising for a wide range of quantum technologies, and motivate a need to improve the isotope and chemical purity of ZnO for quantum technologies.

Niaouris, Vasileios (ORCID:000000015313748X)↗

A Possible Observation of Sigma-nn Continuum Structures and A Bound Sigma-NN State Using the (e, e 'K+) Reaction

The E12-17-003 (e, e'K+) experiment was carried out in the experimental Hall A facility of Jefferson Lab in November 2018. The experiment aimed at providing the experimental data for the unknown Lambda-n interaction by measuring the bound state or the resonance state as indicated by the HypHI experiment. The so obtained Lambda-n interaction was assumed to solve the existing charge symmetry breaking problem in the case of Lambda-N interaction. The experiment used Hall A high resolution spectrometers (both left and right spectrometers) positioned symmetrically at constant angle 13.2 deg. each. A 25 cm long aluminum cylinder filled with H-3 gas was used as a production target. The major calibration data were taken with the H target contained in an identical aluminum cylinder. The electroproduction of Lambda and Sigma^0 via p(e, e'K+)Lambda, Sigma^0 reactions was used to calibrate the absolute energy scale with the known masses of the Lambda and Sigma^0. Then by using the (e, e'K+) Sigma-reaction, two possible Lambda-nn resonance states and one NN bound state were observed. The observed states have the energy resolution about 1.6 MeV (FWHM), however, great r statistics are required to solidly confirm the observed states. The A = 3 and 4 Sigma bound states have been predicted long ago but only the A = 4 Sigma hypernucleus, that is He-4/Sigma, was found in the (K-, pi-) reaction. A careful Monte Carlo study was conducted to study the A (nuclear mass number) dependence on the missing mass resolution by using the identical experimental conditions. The simulated and experimentally obtained Lambda and Sigma^0 channels agreed within 100 keV in sigma, where sigma is the standard deviation. The intrinsic missing mass resolution of A = 3 (3/Lambda-n) resonance was predicted about sigma = 0.67 MeV with a natural width of about 0.6 MeV. However, due to the low statistics the precision does not permit sufficient constrain on the determination of the Lambda-n interaction. The reason of having such low statistics is due to the use of unoptimized Hall A system which was definitely feasible but not ideal for this experiment. In addition, the cross section was found to be much smaller than expected.

Pandey, Bishnu↗

Bounding the Minimum Time of a Quantum Measurement

Measurements take a singular role in quantum theory. While they are often idealized as an instantaneous process, this is in conflict with all other physical processes in nature. In this Letter, we adopt a standpoint where the interaction with an environment is a crucial ingredient for the occurrence of a measurement. Within this framework, we derive lower bounds on the time needed for a measurement to occur. Our bound scales proportionally to the change in entropy of the measured system, and decreases as the number of of possible measurement outcomes or the interaction strength driving the measurement increases. We evaluate our bound in two examples where the environment is modelled by bosonic modes and the measurement apparatus is modelled by spins or bosons.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Universal lower bound on the axion decay constant from free streaming effects

We show that enhancement of the axion relic abundance compared to the standard misalignment contribution generically leads to the production of nonzero momentum axion modes, resulting in warm dark matter behavior and enhanced isocurvature perturbations. It leads to universal constraints on the axion parameter space that are independent of detailed model assumptions and cosmological history. For models enhancing relic abundance with gradient axion modes, observations of the Lyman-$α$ forest impose a lower bound on the axion decay constant, $f_a \gtrsim 10^{15} {\rm GeV}\,(10^{-18}{\rm eV}/m_a)$, from the free-streaming effect. For models relying on the delay of coherent axion oscillations, we obtain a slightly weaker bound, $f_a \gtrsim 10^{14} {\rm GeV}\,(10^{-18}{\rm eV}/m_a)$. We make relatively conservative choices to establish these universal bounds but also provide scaling parameters that can be calibrated for stronger constraints in concrete models and updated as observations improve.

Harigaya, Keisuke [Chicago U., EFI; Tokyo U., IPMU↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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

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↗