Search NASA⌕ Search

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.

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

At least 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Aspects of the normal state resistivity of cuprate superconductors

Planar normal state resistivity data taken from three families of cuprate superconductors are compared here with theoretical calculations from the recent extremely correlated Fermi liquid theory (ECFL). The two hole doped cuprate materials LSCO and BSLCO and the electron doped material LCCO have yielded rich data sets at several densities δ and temperatures T, thereby enabling a systematic comparison with theory. The recent ECFL resistivity calculations for the highly correlated t-t'-J model by us give the resistivity for a wide set of model parameters. After using X-ray diffraction and angle resolved photoemission data to fix parameters appearing in the theoretical resistivity, only one parameter, the magnitude of the hopping t, remains undetermined. For each data set, the slope of the experimental resistivity at a single temperature-density point is sufficient to determine t, and hence the resistivity on absolute scale at all remaining densities and temperatures. This procedure is demonstrated to give a fair account of the entire data.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS1993

Generation and exploration of aggregation abstractions for scheduling and resource allocation

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

Lowry, Michael R.↗
NASA NTRS1998

The Effect of Set Size on the Relation Between Saccadic and Perceptual Decisions During Search

We have shown that when searching for a disk in noise at one of 10 locations, the accuracy of the I st saccade is similar to that of the perceptual decision at the time of saccadic programming. The present study has two goals: 1) to test whether this linden - extends to a contrast-discrimination task without noise, and 2) to measure the effect of set size on the relation between saccadic and perceptual decisions. Methods: Three observers searched over a grey background (34.5 cd/sq m) for a bright disk (63.2 cd/sq m) among dim disks (54.1 cd/sq m) along the circumference of a circle (r = 5.9 deg.) centered on a fixation cress. Four set sizes (2, 4, 6, 12) were used. In the 1st condition, stimuli were presented for 1 sec. and observers used natural eye movements. We then measured the accuracy of the first saccade (% correct using a shortest-distance criterion). In the 2nd condition, observers fixated a central cross at all times and the stimulus duration was approx. 70 as less than the median latency of the first saccade in the 1st condition (saccadic programming time). We then recorded perceptual performance and discarded trials in which observers broke fixation. Results: For set sizes of 2, 4, 8, and 12, the mean d' across observers for the perceptual decision was 2.03, 1.96, 1.94, 1.71, respectively, while the mean d' of the first saccade was only 0.73, 1.40, 1.23, 1.17. Conclusions: Unlike detection of a disk in noise, for all observers and set-sizes, the perceptual accuracy at the time of saccadic programming is better than that of the lst saccade. For set-sizes of 4, 6, and 12, the amount of information available to the perceptual system relative to that available to the saccadic system is approximately constant (fixed do ratio). For these higher set sizes, the constancy in do across set size for both perception and saccadic decisions is consistent with a simple signal detection theory (SDT) model that processes noisy signals in parallel. However, for 2 observers, at a set-size of 2, saccadic targeting appears to be worse than the SDT model prediction, perhaps due to speed-accuracy trade-off.

Eckstein, M. P.↗
DOE OSTI2023

Say where you sample: Increasing site selection transparency in urban ecology

Urban ecological studies have the potential to extend our understanding of socio-ecological systems beyond that of an individual city or region. Cross-comparative empirical work and synthesis are imperative to develop a general urban ecological theory. This can be achieved only if studies are replicable and generalizable. Transparency in methods reporting facilitates generalizability and replicability by documenting the decisions scientists make during the various steps of research design; this is particularly true for sampling design and selection because of their impact on both internal and external validity and the potential to unintentionally introduce bias. Three interdependent aspects of sample design are study sample selection (e.g., specific organisms, soils, or water), sample specification (measurement of specific variable of interest), and site selection (locations sampled). Of these, documentation of site selection—the where component of sample design—is underrepresented in the urban ecology literature. Using a stratified random sample of 158 papers from 12 major urban ecology journals, we investigated how researchers selected study sites in urban ecosystems and evaluated whether their site selection methods were transparent. We extracted data from these papers using a 50-question, theory-based questionnaire and a multiple-reviewer approach. Our sample represented almost 45 years of urban ecology research across 40 different countries. We found that more than 80% of the papers read were not transparent in their site selection methodology. We do not believe site selection methods are replicable for 70% of the papers read. Key weaknesses include incomplete descriptions of populations and sampling frames, urban gradients, sample selection methods, and property access. Low transparency in reporting the where methodology limits urban ecologists’ ability to assess the internal and external validity of studies’ findings and to replicate published studies; it also limits the generalizability of existing studies. The challenges of low transparency are particularly relevant in urban ecology, a field where standard protocols for site selection and delineation are still being developed. These limitations interfere with the fields’ ability to build theory and inform policy. We conclude by offering a set of recommendations to increase transparency, replicability, and generalizability.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2024

Multitask methods for predicting molecular properties from heterogeneous data

Data generation remains a bottleneck in training surrogate models to predict molecular properties. We demonstrate that multitask Gaussian process regression overcomes this limitation by leveraging both expensive and cheap data sources. In particular, we consider training sets constructed from coupled-cluster (CC) and density functional theory (DFT) data. We report that multitask surrogates can predict at CC-level accuracy with a reduction in data generation cost by over an order of magnitude. Of note, our approach allows the training set to include DFT data generated by a heterogeneous mix of exchange–correlation functionals without imposing any artificial hierarchy on functional accuracy. More generally, the multitask framework can accommodate a wider range of training set structures—including the full disparity between the different levels of fidelity—than existing kernel approaches based on Δ-learning although we show that the accuracy of the two approaches can be similar. Consequently, multitask regression can be a tool for reducing data generation costs even further by opportunistically exploiting existing data sources.

Chemistry↗
NASA NTRS2006

Relation between Hertz Stress-Life Exponent, Ball-Race Conformity, and Ball Bearing Life

ANSI/ABMA and ISO standards based on Lundberg-Palmgren bearing life theory are normalized for ball bearings having inner- and outer-race conformities of 52 percent (0.52) and made from pre-1940 bearing steel. The Lundberg-Palmgren theory incorporates an inverse 9th power relation between Hertz stress and fatigue life for ball bearings. The effect of race conformity on ball set life independent of race life is not incorporated into the Lundberg-Palmgren theory. In addition, post-1960 vacuum-processed bearing steel exhibits a 12th power relation between Hertz stress and life. The work reported extends the previous work of Zaretsky, Poplawski, and Root to calculate changes in bearing life, that includes the life of the ball set, caused by race conformity, Hertz stress-life exponent, ball bearing type and bearing series. The bearing fatigue life in actual application will usually be equal to or greater than that calculated using the ANSI/ABMA and ISO standards that incorporate the Lundberg-Palmgren theory. The relative fatigue life of an individual race is more sensitive to changes in race conformity for Hertz stress-life exponent n of 12 than where n = 9. However, when the effects are combined to predict actual bearing life for a specified set of conditions and bearing geometry, the predicted life of the bearing will be greater for a value of n = 12 than n = 9.

Zaretsky, Erwin V.↗
NASA NTRS2008

Relation Between Hertz Stress-Life Exponent, Ball-Race Conformity, and Ball Bearing Life

ANSI/ABMA and ISO standards based on Lundberg-Palmgren bearing life theory are normalized for ball bearings having inner- and outerrace conformities of 52 percent (0.52) and made from pre-1940 bearing steel. The Lundberg-Palmgren theory incorporates an inverse 9th power relation between Hertz stress and fatigue life for ball bearings. The effect of race conformity on ball set life independent of race life is not incorporated into the Lundberg-Palmgren theory. In addition, post-1960 vacuum-processed bearing steel exhibits a 12th power relation between Hertz stress and life. The work reported extends the previous work of Zaretsky, Poplawski, and Root to calculate changes in bearing life--that includes the life of the ball set--caused by race conformity, Hertz stress-life exponent, ball bearing type and bearing series. The bearing fatigue life in actual application will usually be equal to or greater than that calculated using the ANSI/ABMA and ISO standards that incorporate the Lundberg-Palmgren theory. The relative fatigue life of an individual race is more sensitive to changes in race conformity for Hertz stress-life exponent n of 12 than where n = 9. However, when the effects are combined to predict actual bearing life for a specified set of conditions and bearing geometry, the predicted life of the bearing will be greater for a value of n = 12 than n = 9.

Zaretsky, Erwin V.↗
DOE OSTI2020

ELSI — An open infrastructure for electronic structure solvers

Routine applications of electronic structure theory to molecules and periodic systems need to compute the electron density from given Hamiltonian and, in case of non-orthogonal basis sets, overlap matrices. System sizes can range from few to thousands or, in some examples, millions of atoms. Different discretization schemes (basis sets) and different system geometries (finite non-periodic vs. infinite periodic boundary conditions) yield matrices with different structures. The ELectronic Structure Infrastructure (ELSI) project provides an open-source software interface to facilitate the implementation and optimal use of high-performance solver libraries covering cubic scaling eigensolvers, linear scaling density-matrix-based algorithms, and other reduced scaling methods in between. In this paper, we present recent improvements and developments inside ELSI, mainly covering (1) new solvers connected to the interface, (2) matrix layout and communication adapted for parallel calculations of periodic and/or spin-polarized systems, (3) routines for density matrix extrapolation in geometry optimization and molecular dynamics calculations, and (4) general utilities such as parallel matrix I/O and JSON output. The ELSI interface has been integrated into four electronic structure code projects (DFTB+, DGDFT, FHI-aims, SIESTA), allowing us to rigorously benchmark the performance of the solvers on an equal footing. Based on results of a systematic set of large-scale benchmarks performed with Kohn–Sham density-functional theory and density-functional tight-binding theory, we identify factors that strongly affect the efficiency of the solvers, and propose a decision layer that assists with the solver selection process. As a result, we describe a reverse communication interface encoding matrix-free iterative solver strategies that are amenable, e.g., for use with planewave basis sets.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Validation of theory-based models for the control of plasma currents in W7-X divertor plasmas

A theory-based model for the control of plasma currents for steady-state operation in W7-X is proposed and intended for model-based plasma control. The conceptual outline implies the strength of physics-based models: it offer approaches applicable to future conditions of fusion devices or next-step machines. The application at extrapolated settings is related to the validity range of the theory model. Therefore, the predictive power of theory-based control models could be larger than for data-driven approaches and limitations can be predicted from the validity range for the prediction of bootstrap currents in W7-X. The model predicts the L/R response when density or heating power is changed. The model is based on neoclassical bootstrap current calculations and validated for different discharge conditions. While the model was found to be broadly applicable for conducted electron-cyclotron-heated discharges in W7-X, limits were found for cases when the polarization of the electron cyclotron heating was changed from X2 to O2-heating. The validity assessment attempts to quantify the potential of the derived model for model-based control in the operational space (density, heating power) of W7-X.

neoclassical modelling↗
NASA NTRS1995

Existence of frozen-in coordinate systems

The 'frozen-in' coordinate systems were first introduced in the works on 'reconnection' and 'magnetic barrier' theories (see review by M.l.Pudovkin and V.S.Semenov, Space Sci. Rev. 41,1 1985). The idea was to utilize the mathematical apparatus developed for 'general relativity' theory to simplify obtaining solutions to the ideal MHD equations set. Magnetic field (B), plasma velocity (v), and their vector product were used as coordinate vectors. But there exist no stationary solutions of ideal MHD set that satisfies the required boundary conditions at infinity (A.D.Chertkov, Solar Wind Seven Conf.,Pergamon Press,1992,165) having non-zero vector product of v and B where v and B originate from the same sphere. The existence of a solution is the hidden mine of the mentioned theories. The solution is constructed in the coordinate system, which is unknown and indeterminate before obtaining this solution. A substitution of the final solution must be done directly into the initial MHD set in order to check the method. One can demonstrate that 'solutions' of Petschek's problem, obtained by 'frozen-in' coordinate systems, does not satisfy just the 'frozen-in' equation, i.e. induction equation. It stems from the fact that Petschek's 're-connection' model, treated as a boundary problem, is over determined. This problem was incorrectly formulated.

Chertkov, A. D.↗
DOE OSTI2025

Machine Learning Approaches to Predicting Induced Seismicity and Imaging Geothermal Reservoir Properties

This project developed machine learning (ML) methods, lab data sets, and field data to advance geothermal exploration and geothermal energy production. The work had three focus areas. One involved the development of ML methods to use microearthquakes (MEQs) for imaging geothermal reservoir properties and improving subsurface characterization – most importantly the evolution of permeability within the evolving reservoir. This part of the work included development of ML approaches for automated MEQ location, focal mechanism determination and identification of earthquake precursors. The second area focused on using MEQ signals generated by geothermal exploration and production to predict the relationship between fluid injection and seismicity. Here, we extended to reservoir scale our success in using ML to predict laboratory earthquakes and fault zone stress state. The third focus area was on lab experiments. Here, we developed new ML models for lab earthquake prediction and identification of precursors to failure to improve earthquake forecasting and early warning in geothermal settings. Major outcomes of our work include ML models that learn from MEQ signals during geothermal exploration and production to predict induced seismicity. MEQs occur naturally in connection with drilling and energy production. We developed ML methods to use the seismic waves from these events to characterize the elastic, hydraulic and poromechanical properties of reservoirs. Our work illuminated fracture geometry and the evolution of fracture permeability by incorporating seismic coda wave analysis and ML methods to relate fluid injection and seismicity. We significantly expanded laboratory earthquake prediction to include methods that use both passive measurements of microearthquakes within the lab fault zones and also active source acoustic measurements of fault zone elastic properties. These methods can now predict fault zone stress state, time to failure and the magnitude of lab earthquakes. Our work showed that repetitive stick- slip failure events during frictional sliding (the lab equivalent of earthquakes) are preceded by a cascade of micro-failure events that radiate energy in a manner that foretells unstable failure – manifest as laboratory MEQs. We documented a mapping between fracture properties and statistical attributes of elastic radiation. We extended existing works to geothermal reservoir scale and developed ML methods to determine reservoir permeability, fracture properties, and their evolution during geothermal energy production. An attractive feature of ML algorithms is their ability to handle big datasets and reveal patterns and correlations that may remain invisible to conventional analyses. Our work connected data from field, laboratory and intermediate scales to study permeability, stress, strength, fracture stiffness and geometry. At the field scale we used data from the Newberry Volcano field site, UtahFORGE, EGS Collab, and also the Bedretto underground research lab in Switzerland. These data sets are bridging the gap between the lab scale, theory, and reservoir scale. Our work produced plain language summaries to improve public understanding of DOE research. We also developed openly distributed ML and seismicity datasets for use by all researchers and we published connections between induced seismicity in geothermal areas and reservoir properties including permeability, fracture properties, and stress state. Our models are designed for the large data sets of induced seismicity typically associated with geothermal sites. We produced labeled event catalogs and used them on geothermal data to assess how ML can facilitate geothermal production and exploration. All datasets are available on the GDR Productivity: The project produced 32 publications in peer reviewed journals (two are in review). It supported the work of 6 PhD students, 40 conference presentations, 6 keynote talks at national meetings, and mentoring and professional development for 4 postdoctoral fellows.

15 GEOTHERMAL ENERGY↗
DOE OSTI2024

Range‐separated density functional theory using multiresolution analysis and quantum computing

Quantum computers are expected to outperform classical computers for specific problems in quantum chemistry. Such calculations remain expensive, but costs can be lowered through the partition of the molecular system. In the present study, partition was achieved with range-separated density functional theory (RS-DFT). The use of RS-DFT reduces both the basis set size and the active space size dependence of the ground state energy in comparison with the use of wave function theory (WFT) alone. The utilization of pair natural orbitals (PNOs) in place of canonical molecular orbitals (MOs) results in more compact qubit Hamiltonians. To test this strategy, a basis-set independent framework, known as multiresolution analysis (MRA), was employed to generate PNOs. Tests were conducted with the variational quantum eigensolver for a number of molecules. The results show that the proposed approach reduces the number of qubits needed to reach a target energy accuracy.

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

Effective field theory interactions for liquid argon target in DarkSide-50 experiment

We reanalize data collected with the DarkSide-50 experiment and recently used to set limits on the spin-independent interaction rate of weakly interacting massive particles (WIMPs) on argon nuclei with an effective field theory framework. The dataset corresponds to a total (16660 ± 270) kg d exposure using a target of low-radioactivity argon extracted from underground sources. We obtain upper limits on the effective couplings of the 12 leading operators in the nonrelativistic systematic expansion. For each effective coupling we set constraints on WIMP-nucleon cross sections, setting upper limits between 2.4×10-45 cm2 and 2.3×10-42 cm2 (8.9 ×10-45 cm2 and 6.0 ×10-42 cm2) for WIMPs of mass of 100 GeV/c2 (1000 GeV/c2) at 90% confidence level.

Agnes, P↗
DOE OSTI2023

Combination of inclusive top-quark pair production cross-section measurements using ATLAS and CMS data at $ \sqrt{s} $ = 7 and 8 TeV

A combination of measurements of the inclusive top-quark pair production cross-section performed by ATLAS and CMS in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV at the LHC is presented. The cross-sections are obtained using top-quark pair decays with an opposite-charge electron–muon pair in the final state and with data corresponding to an integrated luminosity of about 5 fb$^{−1}$ at $ \sqrt{s} $ = 7 TeV and about 20 fb$^{−1}$ at $ \sqrt{s} $ = 8 TeV for each experiment. The combined cross-sections are determined to be 178.5 ± 4.7 pb at $ \sqrt{s} $ = 7 TeV and $ {243.3}_{-5.9}^{+6.0} $ pb at $ \sqrt{s} $ = 8 TeV with a correlation of 0.41, using a reference top-quark mass value of 172.5 GeV. The ratio of the combined cross-sections is determined to be R$_{8/7}$ = 1.363 ± 0.032. The combined measured cross-sections and their ratio agree well with theory calculations using several parton distribution function (PDF) sets. The values of the top-quark pole mass (with the strong coupling fixed at 0.118) and the strong coupling (with the top-quark pole mass fixed at 172.5 GeV) are extracted from the combined results by fitting a next-to-next-to-leading-order plus next-to-next-to-leading-log QCD prediction to the measurements. Using a version of the NNPDF3.1 PDF set containing no top-quark measurements, the results obtained are $ {m}_t^{\textrm{pole}}={173.4}_{-2.0}^{+1.8} $ GeV and $ {\alpha}_{\textrm{s}}\left({m}_Z\right)={0.1170}_{-0.0018}^{+0.0021} $.[graphic not available: see fulltext]

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Measurements of the pp → W ± γγ and pp → Zγγ cross sections at $ \sqrt{\mathrm{s}} $ = 13 TeV and limits on anomalous quartic gauge couplings

The cross section for W or Z boson production in association with two photons is measured in proton-proton collisions at a centre-of-mass energy of 13 TeV. The data set corresponds to an integrated luminosity of 137 fb -1 collected by the CMS experiment at the LHC. The W → ℓν and Z → ℓℓ decay modes (where ℓ = e, μ) are used to extract the Wγγ and Zγγ cross sections in a phase space defined by electron (muon) with transverse momentum larger than 30 GeV and photon transverse momentum larger than 20 GeV. All leptons and photons are required to have absolute pseudorapidity smaller than 2.5. The measured cross sections in this phase space are σ(Wγγ) = ${13.6}_{-1.9}^{+1.9}{\left(\mathrm{stat}\right)}_{-4.0}^{+4.0}$ (syst) ± 0.08 (PDF + scale) fb and σ(Zγγ) = ${5.41}_{-0.55}^{+0.58}{\left(\mathrm{stat}\right)}_{-.070}^{+0.64}$(syst) ± 0.06 (PDF + scale) fb. Limits on anomalous quartic gauge couplings are set in the framework of an effective field theory with dimension-8 operators.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

An Orbital Basis Set for Double Photoionization of Atoms and Molecules

The ab initio theoretical treatment of one-photon double photoionization processes has been limited to atoms and diatomic molecules by the challenges posed by large grid-based representations of the double ionized continuum wave function. To provide a path for extensions to polyatomics, an energy-adapted orbital basis approach is demonstrated that reduces the dimensions of such representations and simultaneously allows larger time steps in time-dependent computational descriptions of double ionization. Additionally, an algorithm that exploits the diagonal nature of the two-electron integrals in the grid basis and dramatically accelerates the transformation between grid and orbital representations is presented. Excellent agreement between the present results and benchmark theoretical calculations is found for H – and Be atoms, as well as the hydrogen molecule, including for the triply differential cross sections that relate the angular distribution and energy sharing of all of the particles in the molecular frame.

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

Electronic Structure and Bonding of US, SUO, and US 2

Anion photoelectron spectra of US – and US 2 – were recorded using the third (355 nm) and fourth (266 nm) harmonics of an Nd:YAG laser, which yielded vertical detachment energies (VDEs) of 1.71 and 2.02 eV, respectively. The experimental results are supported by extensive relativistic ab initio calculations, primarily at the coupled cluster level of theory, with systematic sequences of correlation consistent basis sets. Calculations include the closely related SUO and SUO – molecules, as well as the oxide congeners UO/UO – and UO 2 /UO 2 – which are well-known experimentally and provide benchmark systems for the sulfide calculations. Adiabatic electron detachment energies (ADEs) are computed for UO – , UO 2 – , US – , SUO – , and US 2 – using the Feller–Peterson–Dixon (FPD) composite approach. Additionally, ADEs are determined for UO – and US – using a spinor-based coupled cluster approach where spin–orbit coupling is included at the orbital level. VDEs are derived from the ab initio results from Franck–Condon simulations of the photoelectron spectra.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2020

GauXC v0.1.0

GauXC is a modern, modular C++ library for the numerical exchange-correlation (XC) integration required for the Gaussian basis set discretization of Kohn-Sham density functional theory (DFT). The modular nature of GauXC allows for an extensible software design which enables performance portability on an array of CPU and GPU architectures.

Williams-Young, David↗