Search NASA⌕ Search

SEARCH · Search NASA

Results for “theory building”

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 181 records · Page 10

Overview study of combustion experiments in a space laboratory

A program of reduced gravity fluids research was initiated in the late 1950s. The primary motivations for this program was a need to characterize the behavior of propellants in a space environment. In the conduction of experiments, use was made of drop towers, aircraft, and ballistic rockets. There remained a core of problems which could not be solved with the aid of the employed approaches. Proposals for Spacelab experiments were, therefore, submitted. A committee came to the overall conclusion that there was a broad range of combustion experimentation that should be conducted in space. An examination of the analytical models which exist for numerous combustion phenomena reveals that these, are 'zero-G' theories. Experimentation in space will permit these theories to be tested and establish a firm basis upon which to build an understanding of more complicated combustion processes. Realistic in-space fire safety criteria are needed to eliminate the risk of major fire hazards in space. Such criteria can only be obtained through long-term reduced-gravity experimentation.

Cochran, T. H.↗

Predictive monitoring research: Summary of the PREMON system

Traditional approaches to monitoring are proving inadequate in the face of two important issues: the dynamic adjustment of expectations about sensor values when the behavior of the device is too complex to enumerate beforehand, and the selective but effective interpretation of sensor readings when the number of sensors becomes overwhelming. This system addresses these issues by building an explicit model of a device and applying common-sense theories of physics to model causality in the device. The resulting causal simulation of the device supports planning decisions about how to efficiently yet reliably utilize a limited number of sensors to verify correct operation of the device.

Doyle, Richard J.↗

An investigation of messy genetic algorithms

Genetic algorithms (GAs) are search procedures based on the mechanics of natural selection and natural genetics. They combine the use of string codings or artificial chromosomes and populations with the selective and juxtapositional power of reproduction and recombination to motivate a surprisingly powerful search heuristic in many problems. Despite their empirical success, there has been a long standing objection to the use of GAs in arbitrarily difficult problems. A new approach was launched. Results to a 30-bit, order-three-deception problem were obtained using a new type of genetic algorithm called a messy genetic algorithm (mGAs). Messy genetic algorithms combine the use of variable-length strings, a two-phase selection scheme, and messy genetic operators to effect a solution to the fixed-coding problem of standard simple GAs. The results of the study of mGAs in problems with nonuniform subfunction scale and size are presented. The mGA approach is summarized, both its operation and the theory of its use. Experiments on problems of varying scale, varying building-block size, and combined varying scale and size are presented.

Goldberg, David E.↗

Building Electron/Proton Nanohighways for Full Utilization of Water Splitting Catalysts

Low electron/proton conductivities of electrochemical catalysts, especially earth-abundant nonprecious metal catalysts, severely limit their ability to satisfy the triple-phase boundary (TPB) theory, resulting in extremely low catalyst utilization and insufficient efficiency in energy devices. In this study, an innovative electrode design strategy is proposed to build electron/proton transport nanohighways to ensure that the whole electrode meets the TPB, therefore significantly promoting enhance oxygen evolution reactions and catalyst utilizations. It is discovered that easily accessible/tunable mesoporous Au nanolayers (AuNLs) not only increase the electrode conductivity by more than 4000 times but also enable the proton transport through straight mesopores within the Debye length. The catalyst layer design with AuNLs and ultralow catalyst loading (≈0.1 mg cm -2 ) augments reaction sites from 1D to 2D, resulting in an 18-fold improvement in mass activities. Furthermore, using microscale visualization and unique coplanar-electrode electrolyzers, the relationship between the conductivity and the reaction site is revealed, allowing for the discovery of the conductivity-determining and Debye-length-determining regions for water splitting. These findings and strategies provide a novel electrode design (catalyst layer + functional sublayer + ion exchange membrane) with a sufficient electron/proton transport path for high-efficiency electrochemical energy conversion devices.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Provably accurate simulation of gauge theories and bosonic systems

Quantum many-body systems involving bosonic modes or gauge fields have infinite-dimensional local Hilbert spaces which must be truncated to perform simulations of real-time dynamics on classical or quantum computers. To analyze the truncation error, we develop methods for bounding the rate of growth of local quantum numbers such as the occupation number of a mode at a lattice site, or the electric field at a lattice link. Our approach applies to various models of bosons interacting with spins or fermions, and also to both abelian and non-abelian gauge theories. We show that if states in these models are truncated by imposing an upper limit Λ on each local quantum number, and if the initial state has low local quantum numbers, then an error at most ϵ can be achieved by choosing Λ to scale polylogarithmically with ϵ − 1 , an exponential improvement over previous bounds based on energy conservation. For the Hubbard-Holstein model, we numerically compute a bound on Λ that achieves accuracy ϵ , obtaining significantly improved estimates in various parameter regimes. We also establish a criterion for truncating the Hamiltonian with a provable guarantee on the accuracy of time evolution. Building on that result, we formulate quantum algorithms for dynamical simulation of lattice gauge theories and of models with bosonic modes; the gate complexity depends almost linearly on spacetime volume in the former case, and almost quadratically on time in the latter case. We establish a lower bound showing that there are systems involving bosons for which this quadratic scaling with time cannot be improved. By applying our result on the truncation error in time evolution, we also prove that spectrally isolated energy eigenstates can be approximated with accuracy ϵ by truncating local quantum numbers at Λ = polylog ( ϵ − 1 ) .

Tong, Yu↗

Mean Field Theory of Self‐Organizing Memristive Connectomes

Abstract Biological neuronal networks are characterized by nonlinear interactions and complex connectivity. Given the growing impetus to build neuromorphic computers, understanding physical devices that exhibit structures and functionalities similar to biological neural networks is an important step toward this goal. Self‐organizing circuits of nanodevices are at the forefront of the research in neuromorphic computing, as their behavior mimics synaptic plasticity features of biological neuronal circuits. However, an effective theory to describe their behavior is lacking. This study provides for the first time an effective mean field theory for the emergent voltage‐induced polymorphism of circuits of a nanowire connectome, showing that the behavior of these circuits can be explained by a low‐dimensional dynamical equation. The equation can be derived from the microscopic dynamics of a single memristive junction in analytical form. The effective model is tested on experiments of nanowire networks and show that it fits both the potentiation and depression of these synapse‐mimicking circuits. It is shown that this theory applies beyond the case of nanowire networks by formulating a general mean‐field theory of conductance transitions in self‐organizing memristive connectomes.

Caravelli, Francesco↗

Remark on the theory of lifting surfaces

First, the Weissinger method, as it applies to a rectangular wing,is discussed. By building on this framework it is shown how to treat the lift problem for any thin wing of arbitrary plan form.

FLOW INCOMPRESSIBLE↗

Multiscale Normalizing Flows for Gauge Theories

Scale separation is an important physical principle that has previously enabled algorithmic advances such as multigrid solvers. Previous work on normalizing flows has been able to utilize scale separation in the context of scalar field theories, but the principle has been largely unexploited in the context of gauge theories. This work gives an overview of a new method for generating gauge fields using hierarchical normalizing flow models. This method builds gauge fields from the outside in, allowing different parts of the model to focus on different scales of the problem. Numerical results are presented for $U(1)$ and $SU(3)$ gauge theories in 2, 3, and 4 spacetime dimensions.

Abbott, Ryan↗

Workflow Agents vs. Expert Systems: Problem Solving Methods in Work Systems Design

During the 1980s, a community of artificial intelligence researchers became interested in formalizing problem solving methods as part of an effort called "second generation expert systems" (2nd GES). How do the motivations and results of this research relate to building tools for the workplace today? We provide an historical review of how the theory of expertise has developed, a progress report on a tool for designing and implementing model-based automation (Brahms), and a concrete example how we apply 2nd GES concepts today in an agent-based system for space flight operations (OCAMS). Brahms incorporates an ontology for modeling work practices, what people are doing in the course of a day, characterized as "activities." OCAMS was developed using a simulation-to-implementation methodology, in which a prototype tool was embedded in a simulation of future work practices. OCAMS uses model-based methods to interactively plan its actions and keep track of the work to be done. The problem solving methods of practice are interactive, employing reasoning for and through action in the real world. Analogously, it is as if a medical expert system were charged not just with interpreting culture results, but actually interacting with a patient. Our perspective shifts from building a "problem solving" (expert) system to building an actor in the world. The reusable components in work system designs include entire "problem solvers" (e.g., a planning subsystem), interoperability frameworks, and workflow agents that use and revise models dynamically in a network of people and tools. Consequently, the research focus shifts so "problem solving methods" include ways of knowing that models do not fit the world, and ways of interacting with other agents and people to gain or verify information and (ultimately) adapt rules and procedures to resolve problematic situations.

Clancey, William J.↗

Luminescence from Self‐Trapped Excitons and Energy Transfers in Vacancy‐Ordered Hexagonal Halide Perovskite Cs 2 HfF 6 Doped with Rare Earths for Radiation Detection

Abstract Compared to halides Cs 2 HfX 6 (X = Cl, Br, I) with a vacancy‐ordered cubic double perovskite structure, the halide Cs 2 HfF 6 (CHF), with a hexagonal Bravais lattice, possesses a higher mass density and chemical stability for radiation detection. Luminescence properties and energy transfer mechanisms of rare‐earths‐doped CHF materials are studied here. The structure of CHF is identified as a new type of vacancy‐ordered hexagonal perovskite, with the same type of building blocks of the double perovskite but stacked with single layers. Density‐functional theory calculations reveal a large bandgap of CHF. A broad emission is observed from the pristine CHF host, which is suggested to be associated with self‐trapped excitons (STEs). A series of rare‐earths‐doped materials are designed utilizing the STE emissions, and efficient energy transfers from STEs and Tb 3+ to Eu 3+ are achieved for tunable emissions. The codoped material shows stable emission under X‐ray irradiation, with 10.2% reduction from its initial emission intensity, associated with possible structural evolution by radiation‐induced deformation of the soft host. The radiation responses of singly and codoped materials are evaluated, and the codoped material is found to be more sensitive to the radiation energy than the singly doped or pristine CHF for radiation detection.

36 MATERIALS SCIENCE↗

Direct Observation of Circularly Polarized Nonlinear Optical Activities in Chiral Hybrid Lead Halides

Circularly polarized light emission is a crucial application in imaging, sensing, and photonics. However, utilizing low-energy photons to excite materials, as opposed to high-energy light excitation, can facilitate deep-tissue imaging and sensing applications. The challenge lies in finding materials capable of directly generating circularly polarized nonlinear optical effects. In this study, we introduce a chiral hybrid lead halide (CHLH) material system, R/S-DPEDPb 3 Br 8 ·H 2 O (DPED = 1,2-diphenylethylenediammonium), which can directly produce circularly polarized second harmonic generation (CP-SHG) through linearly polarized infrared light excitation, exhibiting a polarization efficiency as high as 37% at room temperature. To understand the spin relaxation mechanisms behind the high polarization efficiency, we utilized two models, so-called D’yakonov–Perel’ (DP) and Bir–Aronov–Pikus (BAP) mechanisms. The unique zigzag inorganic frameworks within the hybrid structure are believed to reduce the dielectric confinement and exciton binding energy, thus enhancing spin polarization, especially in regions with a high excitation pump fluence based on the DP mechanism. In the case of low excitation pump fluence, the BAP mechanism dominates, as evidenced by the observed decrease in the polarization ratio from CP-SHG measurement. Using density functional theory analysis, we elucidate how the distinctive 8-coordination environment of lead bromide building blocks effectively suppresses spin–orbit coupling at the conduction band minimum. This suppression significantly diminishes spin-splitting, thereby slowing the spin relaxation rate.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Structure-aware graph neural network based deep transfer learning framework for enhanced predictive analytics on diverse materials datasets

Abstract Modern data mining methods have demonstrated effectiveness in comprehending and predicting materials properties. An essential component in the process of materials discovery is to know which material(s) will possess desirable properties. For many materials properties, performing experiments and density functional theory computations are costly and time-consuming. Hence, it is challenging to build accurate predictive models for such properties using conventional data mining methods due to the small amount of available data. Here we present a framework for materials property prediction tasks using structure information that leverages graph neural network-based architecture along with deep-transfer-learning techniques to drastically improve the model’s predictive ability on diverse materials (3D/2D, inorganic/organic, computational/experimental) data. We evaluated the proposed framework in cross-property and cross-materials class scenarios using 115 datasets to find that transfer learning models outperform the models trained from scratch in 104 cases, i.e., ≈90%, with additional benefits in performance for extrapolation problems. We believe the proposed framework can be widely useful in accelerating materials discovery in materials science.

Chemistry↗

Inference of the linear matter power spectrum at z = 0 using DESI DR1 Full-Shape data

Measurements of galaxy distributions at large cosmic distances capture clustering from the past. In this study, we use a cosmological model to translate these observations into the present-day galaxy distribution. Specifically, we reconstruct the 3D linear matter power spectrum at redshift z = 0 using Dark Energy Spectroscopic Instrument (DESI) Year 1 (DR1) galaxy clustering data and Cosmic Microwave Background (CMB) observations, assuming the ΛCDM model, and compare it to the result assuming the w 0 w a CDM model. Building on previous state-of-the-art methods, we apply Effective Field Theory (EFT) modelling of the galaxy power spectrum to account for small-scale effects in the 2-point statistics of galaxy data. Implementation of the EFT approach improves the modelling of the galaxy power spectrum, providing a more robust consistency test of the assumed cosmological model. By casting both CMB and galaxy clustering observations, spanning distinct redshift regimes, into k-space, we can identify discrepancies between the datasets of different redshifts, which would indicate potential inaccuracies in the assumed expansion history. While previous studies have shown consistency with ΛCDM, this work extends the analysis with higher-quality data to further test the expansion histories of both ΛCDM and w 0 w a CDM. Our findings show that both ΛCDM and w 0 w a CDM provide consistent fits to the linear matter power spectrum recovered from DESI DR1 data.

cosmological parameters from LSS↗

Nuclear-level effective theory of 𝜇→𝑒 conversion: Formalism and applications

Over the next decade new 𝜇→𝑒 conversion searches at Fermilab (Mu2e) and J-PARC (COMET, DeeMe) are expected to advance limits on charged lepton flavor violation (CLFV) by more than four orders of magnitude. Here, by considering the consequence of 𝑃 and 𝐶⁢𝑃 on elastic 𝜇→𝑒 conversion and the structure of possible charge and current densities, we show that rates are governed by six nuclear responses and a single scale, 𝑞/𝑚 𝑁 , where 𝑞 ≈ 𝑚 𝜇 is the momentum transferred from the leptons to the nucleus. To relate this result to microscopic formulations of CLFV, we construct in nonrelativistic effective theory (NRET) the CLFV nucleon-level interaction, pointing out the relevance of the dimensionless scales 𝑦=($^{𝑞⁢𝑏}_2$) 2 ⁢ > |$\overrightarrow{𝑣}_N$⁢|>|$\overrightarrow{𝑣}_μ$⁢|>|$\overrightarrow{𝑣}_T$| , where 𝑏 is the nuclear size, $\overrightarrow{𝑣}_N$ and $\overrightarrow{𝑣}_μ$ are the nucleon and muon intrinsic velocities, and $\overrightarrow{𝑣}_T$ is the target recoil velocity. We discuss previous work, noting the lack of a systematic treatment of the various small parameters. Because the parameter 𝑦 is not small, a proper calculation of 𝜇→𝑒 conversion requires a full multipole expansion of the nuclear response functions, an apparently daunting task with Coulomb-distorted electron partial waves. We demonstrate that the multipole expansion can be carried out to high precision by introducing a simplifying local momentum 𝑞 eff for the electron. Previous work has been limited to simple charge or spin interactions, thereby treating the nucleus effectively as a point particle. We show that such formulations are not compatible with the general form of the 𝜇→𝑒 conversion rate, failing to generate three of the six allowed nuclear response functions. The inclusion of the nucleon velocity $\overrightarrow{𝑣}_N$ yields an NRET with 16 operators and a rate of the general form. Consequently, in the current discovery era for CLFV, it provides the most sensible starting point for experimental analysis, defining what can and cannot be determined about CLFV from the highly exclusive process of 𝜇→𝑒 conversion. Finally, we expand the NRET operator basis to account for the effects of $\overrightarrow{𝑣}_μ$, associated with the muon's lower component, generating corrections to the CLFV coefficients of the point-nucleus response functions. Using advanced shell-model methods, we compute 𝜇→𝑒 conversion rates for a series of experimental targets, deriving bounds on the coefficients of the CLFV operators. These calculations are the first to include a general basis of CLFV operators, full evaluation of the associated nuclear response functions, and an accurate treatment of electron and muon Coulomb effects. We discuss target selection as an experimental “knob” that can be turned to probe the microscopic origins of CLFV. We describe two types of coherence that enhance certain CLFV operators and selection rules that blind elastic 𝜇→𝑒 conversion to others. We discuss the matching of the NRET onto higher level effective field theories, such as those constructed at the light quark level, noting opportunities to build on existing work in direct detection of dark matter. We discuss the relation of 𝜇→𝑒 conversion to 𝜇→𝑒+𝛾 and 𝜇→3⁢𝑒, showing how MEG II and Mu3e results will complement those of Mu2e and COMET. Finally we describe a accompanying script—in Mathematica and Python versions—that can be used to compute 𝜇→𝑒 conversion rates in various nuclear targets for the full set of NRET operators.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

The Design, Construction and Testing of the Straw Tracking Detectors for the E989 Muon g-2 Experiment at Fermilab.

The requirement of science, to stretch the boundaries and our understanding of the standard model,is the driving force for the continuous development of our knowledge of the building blocks of theUniverse. Experiments are designed, built and tested to support the theories of the mathematiciansof the physics community and the theorists help interpret the experimental results, looking foravenues of new physics. However, as is known in both science and human nature, nothing is everperfect - there is always room for improvement.The E989 Muon g-2 Collaboration experiment at Fermi National Accelerator Laboratory (otherwiseknown as Fermilab), aims to quantify the muon anomalous magnetic moment to unprecedentedprecision and looks to increase the accuracy of the measurement by fourfold of the predecessorexperiment - E821 at Brookhaven. The discrepancy between the theoretical prediction of theanomalous magnetic moment of the muon and the experimental results, has given tantalisingindication of new physics, prompting an ”upgrade” for systematic accuracy on the E821.The particular focus of this thesis details the design, construction and quality testing of the strawtracking modules for the E989 experiment. The author was one of the dedicated technicians whobuilt and tested the tracker modules at the University of Liverpool High Energy Physics (HEP)department, she built and quality tested the modules, wrote the procedural document for the buildand subsequently was involved in the Run I startup, shut down and data taking shifts (for Run Iand Run II) which contributed to the recent release of the first unblinded data.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Quantum Optimization: Potential, Challenges, and the Path Forward

Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum algorithms has developed in many areas, with optimization being one of the most pronounced domains. Across computer science and physics, there are a number of algorithmic approaches, often with little linkage. This is further complicated by the fragmented nature of the field of mathematical optimization, where major classes of optimization problems, such as combinatorial optimization, convex optimization, non-convex optimization, and stochastic extensions, have devoted communities. With these aspects in mind, this work draws on multiple approaches to study quantum optimization. Provably exact versus heuristic settings are first explained using computational complexity theory — highlighting where quantum advantage is possible in each context. Then, the core building blocks for quantum optimization algorithms are outlined to subsequently define prominent problem classes and identify key open questions that, if answered, will advance the field. The effects of scaling relevant problems on noisy quantum devices are also outlined in detail, alongside meaningful benchmarking problems. We underscore the importance of benchmarking by proposing clear metrics to conduct appropriate comparisons with classical optimization techniques. Lastly, we highlight two domains – finance and sustainability – as rich sources of optimization problems that could be used to benchmark, and eventually validate, the potential real-world impact of quantum optimization.

97 MATHEMATICS AND COMPUTING↗

The elastic energy and character of quakes in solid stars and planets

The quadrupolar mechanical energy of a rotating axially symmetric solid planet (with or without a liquid interior) is calculated using methods previously developed for neutron stars in which an elastic reference tensor is introduced to describe the build-up of elastic energy in the star. The basic parameters of the theory (the gravitational energy A and elastic energy B) depend upon the internal structure of the planet and may be calculated from specific planetary models. Explicit expressions are obtained for the Love numbers, and for the planetary wobble frequency. The theory provides a simple relationship between changes in shape or axis of figure of the planet and elastic energy release. The theory is extended to describe the Earth by taking into account isostasy, triaxiality and the observed lithospheric configuration.

Pines, D.↗

Application of normal mode theory to seismic source and structure problems: Seismic investigations of upper mantle lateral heterogeneity

The theory of the normal modes of the earth is investigated and used to build synthetic seismograms in order to solve source and structural problems. A study is made of the physical properties of spheroidal modes leading to a rational classification. Two problems addressed are the observability of deep isotropic seismic sources and the investigation of the physical properties of the earth in the neighborhood of the Core-Mantle boundary, using SH waves diffracted at the core's surface. Data sets of seismic body and surface waves are used in a search for possible deep lateral heterogeneities in the mantle. In both cases, it is found that seismic data do not require structural differences between oceans and continents to extend deeper than 250 km. In general, differences between oceans and continents are found to be on the same order of magnitude as the intrinsic lateral heterogeneity in the oceanic plate brought about by the aging of the oceanic lithosphere.

Okal, E. A.↗