SEARCH · Search NASA

Results for “Set theory”

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 163 records · Page 9

All sources NASA NTRS DOE OSTI

DOE OSTI2024

Convergent ab initio analysis of the multi-channel HOBr + H reaction

High-level potential energy surfaces for three reactions of hypobromous acid with atomic hydrogen were computed at the CCSDTQ/CBS//CCSDT(Q)/complete basis set level of theory. Focal point analysis was utilized to extrapolate energies and gradients for energetics and optimizations, respectively. The H attack at Br and subsequent Br–O cleavage were found to proceed barrierlessly. The slightly submerged transition state lies −0.2 kcal mol−1 lower in energy than the reactants and produces OH and HBr. The two other studied reaction paths are the radical substitution to produce H2O and Br with a 4.0 kcal mol−1 barrier and the abstraction at hydrogen to produce BrO and H2 with an 11.2 kcal mol−1 barrier. The final product energies lie −37.2, −67.9, and −7.3 kcal mol−1 lower in energy than reactants, HOBr + H, for the sets of products OH + HBr, H2O + Br, and H2 + BrO, respectively. Additive corrections computed for the final energetics, particularly the zero-point vibrational energies and spin–orbit corrections, significantly impacted the final stationary point energies, with corrections up to 6.2 kcal mol−1.

Chemistry↗

DOE OSTI2022

Semileptonic form factors for $$B\rightarrow D^*\ell \nu $$ at nonzero recoil from $$2+1$$-flavor lattice QCD: Fermilab Lattice and MILC Collaborations

Abstract We present the first unquenched lattice-QCD calculation of the form factors for the decay $$B\rightarrow D^*\ell \nu $$ B → D ∗ ℓ ν at nonzero recoil. Our analysis includes 15 MILC ensembles with $$N_f=2+1$$ N f = 2 + 1 flavors of asqtad sea quarks, with a strange quark mass close to its physical mass. The lattice spacings range from $$a\approx 0.15$$ a ≈ 0.15 fm down to 0.045 fm, while the ratio between the light- and the strange-quark masses ranges from 0.05 to 0.4. The valence b and c quarks are treated using the Wilson-clover action with the Fermilab interpretation, whereas the light sector employs asqtad staggered fermions. We extrapolate our results to the physical point in the continuum limit using rooted staggered heavy-light meson chiral perturbation theory. Then we apply a model-independent parametrization to extend the form factors to the full kinematic range. With this parametrization we perform a joint lattice-QCD/experiment fit using several experimental datasets to determine the CKM matrix element $$|V_{cb}|$$ | V cb | . We obtain $$\left| V_{cb}\right| = (38.40 \pm 0.68_{\text {th}} \pm 0.34_{\text {exp}} \pm 0.18_{\text {EM}})\times 10^{-3}$$ V cb = ( 38.40 ± 0 . 68 th ± 0 . 34 exp ± 0 . 18 EM ) × 10 - 3 . The first error is theoretical, the second comes from experiment and the last one includes electromagnetic and electroweak uncertainties, with an overall $$\chi ^2\text {/dof} = 126/84$$ χ 2 /dof = 126 / 84 , which illustrates the tensions between the experimental data sets, and between theory and experiment. This result is in agreement with previous exclusive determinations, but the tension with the inclusive determination remains. Finally, we integrate the differential decay rate obtained solely from lattice data to predict $$R(D^*) = 0.265 \pm 0.013$$ R ( D ∗ ) = 0.265 ± 0.013 , which confirms the current tension between theory and experiment.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS1990

Analytical learning and term-rewriting systems

Analytical learning is a set of machine learning techniques for revising the representation of a theory based on a small set of examples of that theory. When the representation of the theory is correct and complete but perhaps inefficient, an important objective of such analysis is to improve the computational efficiency of the representation. Several algorithms with this purpose have been suggested, most of which are closely tied to a first order logical language and are variants of goal regression, such as the familiar explanation based generalization (EBG) procedure. But because predicate calculus is a poor representation for some domains, these learning algorithms are extended to apply to other computational models. It is shown that the goal regression technique applies to a large family of programming languages, all based on a kind of term rewriting system. Included in this family are three language families of importance to artificial intelligence: logic programming, such as Prolog; lambda calculus, such as LISP; and combinatorial based languages, such as FP. A new analytical learning algorithm, AL-2, is exhibited that learns from success but is otherwise quite different from EBG. These results suggest that term rewriting systems are a good framework for analytical learning research in general, and that further research should be directed toward developing new techniques.

Laird, Philip↗

DOE OSTI2022

Benchmarking structural evolution methods for training of machine learned interatomic potentials

When creating training data for machine-learned interatomic potentials (MLIPs), it is common to create initial structures and evolve them using molecular dynamics (MD) to sample a larger configuration space. Here, we benchmark two other modalities of evolving structures, contour exploration (CE) and dimer-method (DM) searches against MD for their ability to produce diverse and robust density functional theory training data sets for MLIPs. We also discuss the generation of initial structures which are either from known structures or from random structures in detail to further formalize the structure-sourcing processes in the future. The polymorph-rich zirconium-oxygen composition space is used as a rigorous benchmark system for comparing the performance of MLIPs trained on structures generated from these structural evolution methods. Using Behler–Parrinello neural networks as our MLIP models, we find that CE and the DM searches are generally superior to MD in terms of spatial descriptor diversity and statistical accuracy.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

DOE OSTI2022

Mechanisms of Complete Dissociation of CO 2 on Iron Clusters

Dissociation of CO 2 on iron clusters was studied by using semilocal density functional theory and basis sets of triple-zeta quality. Fe 2 , Fe 4 , and Fe 16 clusters were selected as the representative host clusters. When searching for isomers of Fe n CO 2 , n=2, 4 and 16 corresponding to carbon dioxide attachment to the host clusters, its reduction to O and CO, and to the complete dissociation, it was found that the total spin magnetic moments of the lowest energy states of the isomers are often quenched with respect to those of initial reagents Fe n +CO 2 . Dissociation pathways of the Fe 2 +CO 2 , Fe 4 +CO 2 , and Fe 16 +CO 2 reactions contain several transition states separated by the local minima states; therefore, a natural question is where do the spin flips occur? Since lifetimes of magnetically excited states were shown to be of the order of 100 fs, the search for the CO 2 dissociation pathways was performed under the assumption that magnetic deexcitation may occur at the intermediate local minima. Two dissociation pathways were obtained for each Fe n +CO 2 reaction using the gradient-based methods. It was found that the Fe 2 +CO 2 reaction is endothermic with respect to both reduction and complete dissociation of CO 2 , whereas the Fe 4 +CO 2 and Fe 16 +CO 2 reactions are exothermic to both reduction and complete dissociation of carbon dioxide. Finally, the CO 2 reduction was found to be more favorable than its complete dissociation in the Fe 4 case.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2025

Observation of VVZ production at $\sqrt{s}$ = 13 TeV with the ATLAS detector

A search for the production of three massive vector bosons, VVZ(V = W, Z) , in proton-proton collisions at $\sqrt{s}$ = 13 TeV is performed using data with an integrated luminosity of 140 fb -1 recorded by the ATLAS detector at the Large Hadron Collider. Events produced in the leptonic final states WWZ → ℓvℓvℓℓ (ℓ = e,μ), WZZ → ℓvℓℓℓℓ, ZZZ → ℓℓℓℓℓ, and the semileptonic final states WWZ → qq ℓvℓℓ and WZZ → ℓv qq ℓℓ, are analysed. The measured cross section for the pp → VVZ process is 660$^{+93}_{-90}$(stat.)$^{+80}_{-81}$(syst.) fb, and the observed (expected) significance is 6.4 (4.7) standard deviations, representing the observation of VVZ production. In addition, the measured cross section for the pp → WWZ process is 442 ± 94(stat.)$^{+60}_{-52}$(syst.) fb, and the observed (expected) significance is 4.4 (3.6) standard deviations, representing evidence of WWZ production. The measured cross sections are consistent with the Standard Model predictions. Constraints on physics beyond the Standard Model are also derived in the effective field theory framework by setting limits on Wilson coefficients for dimension-8 operators describing anomalous quartic gauge boson couplings.

Aad, G. (ORCID:0000000266654934)↗

DOE OSTI2022

Stability Analysis of Substituted Cobaltocenium [Bis(cyclopentadienyl)cobalt(III)] Employing Chemistry-Informed Neural Networks

Cobaltocenium derivatives are promising components of the anion exchange membranes due to their excellent thermal and alkaline stability under the operating conditions of a fuel cell. Here we present an efficient modeling approach of assessing the chemical stability of substituted cobaltocenium CoCp 2 + based on the computed electronic structure enhanced by machine learning techniques. Within the aqueous environment, the positive charge of the metal cation is balanced by the hydroxide anion through formation of the CoCp 2 + OH¯ complexes, whose dissociation is studied within the implicit solvent employing density functional theory. The data set of about 118 species based on 42 substituent groups characterized by a range of electron- donating (ED) and electron-withdrawing (EW) properties is constructed and analyzed. Given 12 carefully chosen chemistry-informed descriptors of the complexes and relevant fragments, the stability of the complexes is found to strongly correlate with the energies of the highest occupied and lowest unoccupied molecular orbitals, modulated by a switching function of the Hirshfeld charge. The latter is used as a measure of the electron withdrawing-donating character of the substituents. Based on this observation from the conventional regression analysis, two fully connected, feed-forward neural network (FNN) models with different unit structures, called the chemistry-informed (CINN) and the quadratic (QNN) neural networks, are developed. Both models predict the bond dissociation energies of the cobaltocenium complexes with mean relative errors less than 5.40% and average absolute errors less than 0.94 kcal/mol. The results show the potential of QNN to efficiently capture more complex relationships. Here, the concept of incorporating the domain (chemical) knowledge/insight into the neural network structure paves the way to applications of machine learning techniques with small data sets, ultimately leading to better predictive models compared to the conventional regression analysis.

36 MATERIALS SCIENCE↗

DOE OSTI2025

Convergent Protocols for Computing Protein–Ligand Interaction Energies Using Fragment-Based Quantum Chemistry

Fragment-based quantum chemistry methods offer a way to sidestep the steep nonlinear scaling of electronic structure calculations so that large molecular systems can be investigated using high-level methods. Here, we use fragmentation to compute protein–ligand interaction energies in systems with several thousand atoms, using a new software platform for managing fragment-based calculations that implements a screened many-body expansion. Convergence tests using a minimal-basis semiempirical method (HF-3c) indicate that two-body calculations, with single-residue fragments and simple hydrogen caps, are sufficient to reproduce interaction energies obtained using conventional supramolecular electronic structure calculations, to within 1 kcal/mol at about 1% of the computational cost. We also demonstrate that the HF-3c results are illustrative of trends obtained with density functional theory in basis sets up to augmented quadruple-ζ quality. Strategic deployment of fragmentation facilitates the use of converged biomolecular model systems alongside high-quality electronic structure methods and basis sets, bringing ab initio quantum chemistry to systems of hitherto unimaginable size. This will be useful for generation of high-quality training data for machine learning applications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2026

High-Yield Room-Temperature Aryl 211 At Radiolabeling via Redox-Activated Column-Shipped 211 At

Efficient late-stage formation of aryl– 211 At bonds is relevant to expanding the scope of targeted α-therapy radiopharmaceuticals. In this work, a catalyst-enabled astatodeboronation approach is evaluated using wet chemically regenerated 211 At recovered from shipped 3-octanone-impregnated columns. A series of aryl boronic esters bearing electron-donating and electron-withdrawing substituents were radiolabeled under mild conditions, with reaction parameters examined through time-dependent studies. Radiochemical conversions ranging from 68–97% were observed across the substrate set. Density functional theory calculations were employed as a qualitative framework to contextualize relative B–C and At–C bonding descriptors. Overall, this study demonstrates that wet chemically regenerated 211 At can be applied to the late-stage labeling of aryl boronic esters under mild conditions and provides guidance for future exploration of 211 At radiolabeling strategies.

211At-aryl labeling↗

DOE OSTI2024

Second-harmonic generation tensors from high-throughput density-functional perturbation theory

Optical materials play a key role in enabling modern optoelectronic technologies in a wide variety of domains such as the medical or the energy sector. Among them, nonlinear optical crystals are of primary importance to achieve a broader range of electromagnetic waves in the devices. However, numerous and contradicting requirements significantly limit the discovery of new potential candidates, which, in turn, hinders the technological development. In the present work, the static nonlinear susceptibility and dielectric tensor are computed via density-functional perturbation theory for a set of 579 inorganic semiconductors. The computational methodology is discussed and the provided database is described with respect to both its data distribution and its format. Several comparisons with both experimental and ab initio results from literature allow to confirm the reliability of our data. The aim of this work is to provide a relevant dataset to foster the identification of promising nonlinear optical crystals in order to motivate their subsequent experimental investigation.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

DOE OSTI2021

DANTE as a primary temperature diagnostic for the NIF iron opacity campaign

The Opacity Platform on the National Ignition Facility (NIF) has been developed to measure iron opacities at varying densities and temperatures relevant to the solar interior and to verify recent experimental results obtained at the Sandia Z-machine, that diverge from theory. The first set of NIF experiments collected iron opacity data at ∼150 eV to 160 eV and an electron density of ∼7 × 1021 cm−3, with a goal to study temperatures up to ∼210 eV, with electron densities of up to ∼3 × 1022 cm−3. Among several techniques used to infer the temperature of the heated Fe sample, the absolutely calibrated DANTE-2 filtered diode array routinely provides measurements of the hohlraum conditions near the sample. However, the DANTE-2 temperatures are consistently low compared to pre-shot LASNEX simulations for a range of laser drive energies. We have re-evaluated the estimated uncertainty in the reported DANTE-2 temperatures and also the error generated by varying channel participation in the data analysis. An uncertainty of ±5% or better can be achieved with appropriate spectral coverage, channel participation, and metrology of the viewing slot.

Opachich, Y. P. (ORCID:0000000314323989)↗

DOE OSTI2026

Burn mode signatures enabled by high dynamic range fusion reaction history

The evolution of the fusion burn of a compressed inertial confinement fusion (ICF) implosion gives information about the evolution of the temperature, mass, and volume of the hot spot. Currently, the fusion reaction history has been measured with about a decade of dynamic range, giving information about just the peak of the fusion burn. There are proposals for extending the dynamic range to 1000×, measuring the rising edge of the burn earlier in time. Using fusion hot spot theory and a set of ICF simulations, we identify and categorize different stages of fusion burn and what signatures could be measured. For ice layered implosions, the details, conditions, and dynamics of the fusion burn propagation could be observed. For double shell and OMEGA scale implosions, the evolution of the final compression and rebounding shock before ignition could be observed. Higher dynamic range expands investigation into the logarithmic derivative, α, as a signature of various mechanisms.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2023

Stability of hairy black holes in shift-symmetric scalar-tensor theories via the effective field theory approach

Shift-symmetric Horndeski theories admit an interesting class of Schwarzschild-de Sitter black hole solutions exhibiting time-dependent scalar hair. The properties of these solutions may be studied via a bottom-up effective field theory (EFT) based on the background symmetries. This is in part possible by making use of a convenient coordinate choice — Lemaître-type coordinates — in which the profile of the Horndeski scalar field is linear in the relevant time coordinate. We construct this EFT, and use it to understand the stability of hairy black holes in shift-symmetric Horndeski theories, providing a set of constraints that the otherwise-free functions appearing in the Horndeski Lagrangian must satisfy in order to admit stable black hole solutions. The EFT is analyzed in the decoupling limit to understand potential sources of instability. Further, we also perform a complete analysis of the EFT with odd-parity linear perturbations around general spherically symmetric space-time.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2023

Analytical Large-Signal Modeling of Inverter-Based Microgrids With Koopman Operator Theory for Autonomous Control

The microgrid (MG) plays a crucial role in the energy transition, but its nonlinearity presents a significant challenge for large-signal power systems studies in the electromagnetic transient (EMT) time scale. In this paper, we develop a large-signal linear MG model that considers the detailed dynamics of the primary and zero-control levels based on the Koopman operator (KO) theory. Firstly, a set of observable functions is carefully designed to capture the nonlinear dynamics of the MG. The corresponding linear KO is then analytically derived based on these observables, resulting in the linear representation of the original nonlinear MG with observables as the new coordinate. The influence of external input on the system dynamics is also considered during the derivation, enabling control of the MG. We solve the voltage control problem using the traditional linear quadratic integrator (LQI) method to demonstrate that textbook linear control techniques can accurately control the original nonlinear MG via the developed KO-linearized MG model. Our proposed KO linearization method is generic and can be easily extended for different control objectives and MG structures using our analytical derivation procedure. Here, we validate the effectiveness of our methodology through various case studies.

25 ENERGY STORAGE↗

DOE OSTI2021

Universality in Quantum Gravity. Final Technical Report

This is the final technical report for the DOE Early Career Award to PI Thomas Hartman at Cornell University, outlining the goals of the research project and summarizing its main technical achievements. These include the discovery of new constraints on quantum field theory, new theoretical methods that allow for a direct derivation of emergent spacetime from conformal field theory in certain settings, and the discovery of fundamental bounds on the dynamics of quantum information.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS1972

Electric dipole moment of diatomic molecules by configuration interaction. IV.

The theory of basis set dependence in configuration interaction calculations is discussed, taking into account a perturbation model which is valid for small changes in the self-consistent field orbitals. It is found that basis set corrections are essentially additive through first order. It is shown that an error found in a previously published dipole moment calculation by Green (1972) for the metastable first excited state of CO was indeed due to an inadequate basis set as claimed.

Green, S.↗

NASA NTRS1978

A model of human decisionmaking in a fault diagnosis task

Utilizing elementary concepts from the theory of fuzzy sets as well as several nonfuzzy heuristics, a model is presented of human decisionmaking in the task of troubleshooting graphically displayed networks. The performance of the model is compared to the results of two previously reported experimental studies. The ability of the model to represent human decisionmaking as a function of network size, forced-pacing, and computer aiding is considered.

Rouse, W. B.↗

NASA NTRS1986

Application of multiple objective optimization techniques to finite element model tuning

This report examines tuning a finite element model using vector optimization techniques. Structural models using finite element theory often need to be adjusted so they can accurately simulate the real structure. The goal is to tune the model such that it will reproduce data derived from structural tests. First, the performance indices are extremized using multiple objective optimization theory, producing a set of possible solutions. Next, the solutions are rank ordered according to a decision maker's preferences to select the best answer. The tuning process was applied to a T-38 horizontal stabilizer. Numerous weighted solutions contained a best static deformation model, a best frequency model and three intermediate combinations of these two models. This automated procedure proved to be a versatile method capable of producing solutions for many types of tuning problems.

Devore, Charles R.↗