Search NASA⌕ Search

SEARCH · Search NASA

Results for “SPACE EXPLORATION”

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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

47 Tuc in Rubin Data Preview 1. Exploring Early LSST Data and Science Potential

We present analyses of the early data from Rubin Observatory’s Data Preview 1 (DP1) for the field of the globular cluster 47 Tuc. The DP1 data set for 47 Tuc includes four nights of observations from the Rubin Commissioning Camera (LSSTComCam), covering multiple bands (ugriy). We address challenges of crowding in the inner region of the cluster and toward the SMC in DP1, and demonstrate improved star–galaxy separation by fitting fifth-degree polynomials to the stellar loci in color–color diagrams and applying multidimensional sigma clipping. We compile a catalog of 3576 probable 47 Tuc member stars selected via a combination of isochrone, Gaia proper-motion, and color–color space matched filtering. We explore the sources of photometric scatter in the 47 Tuc color–color sequence, evaluating contributions from various potential sources, including differential extinction within the cluster. Finally, of the 72 well-characterized variables in the field, we recover three known variable stars, including two RR Lyrae and one eclipsing binary, in the coadd-based object catalog, and identify 62 in the difference image-based object catalog. Although the DP1 lightcurves have sparse temporal sampling, they appear to follow the patterns of densely sampled literature lightcurves well. Despite some data limitations for crowded-field stellar analysis, DP1 demonstrates the promising scientific potential for future LSST data releases.

Choi, Yumi [NSF National Optical-Infrared Astronom↗
DOE OSTI2021

Efficient Active Learning for Gaussian Process Classification by Error Reduction

Active learning sequentially selects the best instance for labeling by optimizing an acquisition function to enhance data/label efficiency. The selection can be either from a discrete instance set (pool-based scenario) or a continuous instance space (query synthesis scenario). In this work, we study both active learning scenarios for Gaussian Process Classification (GPC). The existing active learning strategies that maximize the Estimated Error Reduction (EER) aim at reducing the classification error after training with the new acquired instance in a onestep-look-ahead manner. The computation of EER-based acquisition functions is typically prohibitive as it requires retraining the GPC with every new query. Moreover, as the EER is not smooth, it can not be combined with gradient-based optimization techniques to efficiently explore the continuous instance space for query synthesis. To overcome these critical limitations, we develop computationally efficient algorithms for EER-based active learning with GPC. Further, we derive the joint predictive distribution of label pairs as a one-dimensional integral, as a result of which the computation of the acquisition function avoids retraining the GPC for each query, remarkably reducing the computational overhead. We also derive the gradient chain rule to efficiently calculate the gradient of the acquisition function, which leads to the first query synthesis active learning algorithm implementing EER-based strategies. Our experiments clearly demonstrate the computational efficiency of the proposed algorithms. We also benchmark our algorithms on both synthetic and real-world datasets, which show superior performance in terms of sampling efficiency compared to the existing state-of-the-art algorithms.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Collective Ferromagnetism of Artificial Square Spin Ice

In this work, we study the temperature and magnetic field dependence of the total magnetic moment of large-area permalloy artificial square spin ice arrays. The temperature dependence and hysteresis behavior are consistent with the coherent magnetization reversal expected in the Stoner-Wohlfarth model, with clear deviations due to interisland interactions at small lattice spacing. Through micromagnetic simulations, we explore this behavior and demonstrate that the deviations result from increasingly complex magnetization reversal at small lattice spacing, induced by interisland interactions, and depending critically on details of the island shapes. These results establish new means to tune the physical properties of artificial spin ice structures and other interacting nanomagnet systems, such as patterned magnetic media.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2022

Multi-objective materials bayesian optimization with active learning of design constraints: Design of ductile refractory multi-principal-element alloys

We report Bayesian Optimization (BO) has emerged as a powerful framework to efficiently explore and exploit materials design spaces. To date, most BO approaches to materials design have focused on the materials discovery problem as if it were a single expensive-to-query ‘black box’ in which the target is to optimize a single objective (i.e., material property or performance metric). Also, such approaches tend to be constraint agnostic. Here, we present a novel multi-information BO framework capable of actively learning materials design as a multiple objectives and constraints problem. We demonstrate this framework by optimally exploring a Refractory Multi-Principal-Element Alloy (MPEA) space, here specifically, the system Mo-Nb-Ti-V-W. The MPEAs are explored to optimize two density-functional theory (DFT) derived ductility indicators (Pugh’s Ratio and Cauchy pressure) while learning design constraints relevant to the manufacturing of high-temperature gas-turbine components. Alloys in the BO Pareto-front are analyzed using DFT to gain an insight into fundamental atomic and electronic underpinning for their superior performance, as evaluated within this framework.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Real-space observation of ergodicity transitions in artificial spin ice

Abstract Ever since its introduction by Ludwig Boltzmann, the ergodic hypothesis became a cornerstone analytical concept of equilibrium thermodynamics and complex dynamic processes. Examples of its relevance range from modeling decision-making processes in brain science to economic predictions. In condensed matter physics, ergodicity remains a concept largely investigated via theoretical and computational models. Here, we demonstrate the direct real-space observation of ergodicity transitions in a vertex-frustrated artificial spin ice. Using synchrotron-based photoemission electron microscopy we record thermally-driven moment fluctuations as a function of temperature, allowing us to directly observe transitions between ergodicity-breaking dynamics to system freezing, standing in contrast to simple trends observed for the temperature-dependent vertex populations, all while the entropy features arise as a function of temperature. These results highlight how a geometrically frustrated system, with thermodynamics strictly adhering to local ice-rule constraints, runs back-and-forth through periods of ergodicity-breaking dynamics. Ergodicity breaking and the emergence of memory is important for emergent computation, particularly in physical reservoir computing. Our work serves as further evidence of how fundamental laws of thermodynamics can be experimentally explored via real-space imaging.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Speeding-up fuzzing through directional seeds

Abstract Fuzzing is an automated process for discovering inputs in a program that may trigger unexpected behavior. Today, fuzzing has become a standard practice for the discovery of bugs and security vulnerabilities. However, the main issue with such practices is that the exploration of the input space of programs can often be prohibitively expensive. Therefore, several alternative fuzzing strategies have been introduced during the last few years. Some fuzzing techniques rely on human expertise to provide a plausible set of initial input examples, namely, seeds. However, the process of handcrafting seeds for fuzzing purposes often becomes strenuous for humans as it requires a deeper understanding of the Program-Under-Test (PUT). Also, the use of known inputs to programs often does not trigger vulnerable program behavior or may not reach potentially vulnerable code locations. To address those issues, we propose a seed generation framework that enables Human-In-The-Loop (HITL) directed fuzzing where the human assumes a more active role in the creation of seeds that can penetrate and assess desired locations of the PUT. Our proposed framework uses Symbolic Execution (SE) to generate seeds that exercise paths to target program locations. Moreover, our framework enables the visualization of the explored execution paths in the binary of the PUT for the generated seeds. We evaluated our approach on a set of 12 carefully designed C programs with diverse characteristics that mimic real-world programs. The experimental results show the effectiveness of the proposed approach in improving the performance of standard fuzzing tools such as the American Fuzzy Lop ("Image missing" <#comment/> ). Specifically, our solution can generate seeds that substantially enhance the performance of the fuzzer, achieving speedups ranging from $$1.46\times $$ 1.46 × to $$68.53\times $$ 68.53 × for branch conditions, $$1.39\times $$ 1.39 × to $$254.62\times $$ 254.62 × for branch depths, $$14,879.59\times $$ 14 , 879.59 × to $$30,295.88\times $$ 30 , 295.88 × for branch widths over traditional seeds. Additionally, the speedup increases with the number of target function ranging from $$12,260\times $$ 12 , 260 × to $$22,856.07\times $$ 22 , 856.07 × over traditional seeds while only requiring less than 15 seconds on average for the seed generation step.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Uncertainty-driven dynamics for active learning of interatomic potentials

Machine learning (ML) models, if trained to data sets of high-fidelity quantum simulations, produce accurate and efficient interatomic potentials. Active learning (AL) is a powerful tool to iteratively generate diverse data sets. In this approach, the ML model provides an uncertainty estimate along with its prediction for each new atomic configuration. If the uncertainty estimate passes a certain threshold, then the configuration is included in the data set. Here we develop a strategy to more rapidly discover configurations that meaningfully augment the training data set. The approach, uncertainty-driven dynamics for active learning (UDD-AL), modifies the potential energy surface used in molecular dynamics simulations to favor regions of configuration space for which there is large model uncertainty. The performance of UDD-AL is demonstrated for two AL tasks: sampling the conformational space of glycine and sampling the promotion of proton transfer in acetylacetone. The method is shown to efficiently explore the chemically relevant configuration space, which may be inaccessible using regular dynamical sampling at target temperature conditions.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Agentic AI vs ML-Based Autotuning: A Comparative Study for Loop Reordering Optimization

High Performance Computing (HPC) applications rely heavily on code optimizations to achieve good performance on modern CPU and GPU architectures. Traditional Machine Learning auto-tuning approaches have demonstrated success in exploring high-dimensional spaces, but they often require expensive compile-run evaluations and lack adaptability for large HPC applications. The recent advances in Large Language Models (LLMs) and Agentic AI systems raise intriguing questions about the potential of these approaches to address specific optimization methodologies. This work aims to answer an essential question for the HPC community: “How Agentic AI Systems Compare to Traditional ML Autotuning Techniques?” To address this question, we present a comparative analysis between a traditional ML-based optimization approach and an Agentic AI system, evaluating their respective capabilities and limitations for loop-level optimization. In addition, we introduced a new Agentic AI system named LoopGen-AI using three different Large Language Models: GPT-4.1, Claude 4.0, and Gemini 2.5. A key finding is that LoopGen-AI achieves competitive per-formance with only a few program runs, the reasoning logs from the agents revealed that their decisions rely heavily on the combination of semantic understanding of the target kernel with dynamic feedback from the environment, highlighting a promising new dimension in performance tuning. In contrast, ML-based autotuners focus on statistical exploration, and require orders of magnitude more runs to reach peak performance. Additionally, our analysis shows that prompt engineering, particularly using Persona + Context Manager patterns, significantly impacts the effectiveness of Agentic AI. Our results indicate that while Agentic AI systems are not yet a complete replacement for ML-based autotuners, it can effectively complement traditional methods.

Rosas, Miguel Romero↗
DOE OSTI2021

Curating a comprehensive set of enzymatic reaction rules for efficient novel biosynthetic pathway design

Enzyme substrate promiscuity has significant implications for metabolic engineering. The ability to predict the space of possible enzymatic side reactions is crucial for elucidating underground metabolic networks in microorganisms, as well as harnessing novel biosynthetic capabilities of enzymes to produce desired chemicals. Reaction rule-based cheminformatics platforms have been implemented to computationally enumerate possible promiscuous reactions, relying on existing knowledge of enzymatic transformations to inform novel reactions. However, past versions of curated reaction rules have been limited by a lack of comprehensiveness in representing all possible transformations, as well as the need to prune rules to enhance computational efficiency in pathway expansion. To this end, we curated a set of 1224 most generalized reaction rules, automatically abstracted from atom-mapped MetaCyc reactions and verified to uniquely cover all common enzymatic transformations. Additionally, we developed a framework to systematically identify and correct redundancies and errors in the curation process, resulting in a minimal, yet comprehensive, rule set. These reaction rules were capable of reproducing more than 85% of all reactions in the KEGG and BRENDA databases, for which a large fraction of reactions is not present in MetaCyc. Our rules exceed all previously published rule sets for which reproduction was possible in this coverage analysis, which allows for the exploration of a larger space of known enzymatic transformations. By leveraging the entire knowledge of possible metabolic reactions through generalized enzymatic reaction rules, we are able to better utilize underground metabolic pathways and accelerate novel biosynthetic pathway design to enable bioproduction towards a wider range of new molecules.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2020

ARES. III. Unveiling the Two Faces of KELT-7 b with HST WFC3

We present the analysis of the hot-Jupiter KELT-7 b using transmission and emission spectroscopy from the Hubble Space Telescope, both taken with the Wide Field Camera 3. Our study uncovers a rich transmission spectrum that is consistent with a cloud-free atmosphere and suggests the presence of H{sub 2}O and H{sup −}. In contrast, the extracted emission spectrum does not contain strong absorption features and, although it is not consistent with a simple blackbody, it can be explained by a varying temperature–pressure profile, collision induced absorption, and H{sup −}. KELT-7 b had also been studied with other space-based instruments and we explore the effects of introducing these additional data sets. Further observations with Hubble, or the next generation of space-based telescopes, are needed to allow for the optical opacity source in transmission to be confirmed and for molecular features to be disentangled in emission.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2022

Magnetic Ordering in a High‐Spin Donor–Acceptor Conjugated Polymer

Abstract The development of open‐shell organic molecules that magnetically order at room temperature,which can be practically applied, remains a grand challenge in chemistry, physics, and materials science. Despite the exploration of vast chemical space, design paradigms for organic paramagnetic centers generally result in unpaired electron spins that are unstable or isotropic. Here, a high‐spin conjugated polymer is demonstrated, which is composed of alternating cyclopentadithiophene and benzo[1,2‐ c ;4,5‐ c ′]bis[1,2,5]thiadiazole heterocycles, in which macromolecular structure and topology coalesce to promote the spin center generation and intermolecular exchange coupling. Electron paramagnetic resonance (EPR) spectroscopy is consistent with spatially localized spins, while magnetic susceptibility measurements show clear anisotropic spin ordering and exchange interactions that persist at room temperature. The application of long‐range π‐correlations for spin center generation promotes remarkable stability. This work offers a fundamentally new approach to the implementation of this long‐sought‐after physical phenomenon within organic materials and the integration of manifold properties within emerging technologies.

Steelman, Michael E.↗
DOE OSTI2022

Search for long-lived particles decaying into muon pairs in proton-proton collisions at $\sqrt{s}$ = 13 TeV collected with a dedicated high-rate data stream

A search for long-lived particles decaying into muon pairs is performed using proton-proton collisions at a center-of-mass energy of 13 TeV, collected by the CMS experiment at the LHC in 2017 and 2018, corresponding to an integrated luminosity of 101 fb -1 . The data sets used in this search were collected with a dedicated dimuon trigger stream with low transverse momentum thresholds, recorded at high rate by retaining a reduced amount of information, in order to explore otherwise inaccessible phase space at low dimuon mass and nonzero displacement from the primary interaction vertex. No significant excess of events beyond the standard model expectation is found. Upper limits on branching fractions at 95% confidence level are set on a wide range of mass and lifetime hypotheses in beyond the standard model frameworks with the Higgs boson decaying into a pair of long-lived dark photons, or with a long-lived scalar resonance arising from a decay of a b hadron. The limits are the most stringent to date for substantial regions of the parameter space. These results can be also used to constrain models of displaced dimuons that are not explicitly considered in this paper.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Axion searches with two superconducting radio-frequency cavities

We propose an experimental setup to search for Axion-like particles (ALPs) using two superconducting radio-frequency cavities. In this light-shining-through-wall setup the axion is sourced by two modes with large fields and nonzero $_E^→$∙$_B^→$ in an emitter cavity. In a nearby identical cavity only one of these modes, the spectator, is populated while the other is a quiet signal mode. Axions can up-convert off the spectator mode into signal photons. We discuss the physics reach of this setup finding potential to explore new ALP parameter space. Enhanced sensitivity can be achieved if high-level modes can be used, thanks to improved phase matching between the excited modes and the generated axion field. We also discuss the potential leakage noise effects and their mitigation, which is aided by O(GHz) separation between the spectator and signal frequencies.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

FIMP dark matter from flavon portals

We investigate the phenomenology of a non-thermal dark matter (DM) candidate in the context of flavor models that explain the hierarchy in the masses and mixings of quarks and leptons via the Froggatt-Nielsen (FN) mechanism. A flavor-dependent U(1) FN symmetry explains the fermion mass and mixing hierarchy, and also provides a mechanism for suppressed interactions of the DM, assumed to be a Majorana fermion, with the Standard Model (SM) particles, resulting in its FIMP (feebly interacting massive particle) character. Such feeble interactions are mediated by a flavon field through higher dimensional operators governed by the U(1) FN charges. We point out a natural stabilizing mechanism for the DM within this framework with the choice of half-integer U(1) FN charge n for the DM fermion, along with integer charges for the SM fermions and the flavon field. In this flavon portal scenario, the DM is non-thermally produced from the decay of the flavon in the early universe which becomes a relic through the freeze-in mechanism. We explore the allowed parameter space for this DM candidate from relic abundance by solving the relevant Boltzmann equations. We find that reproducing the correct relic density requires the DM mass to be in the range (100 – 300) keV for n = 7.5 and (3 – 10) MeV for n = 8.5 where n is the U(1) FN charge of the DM fermion.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

Leptogenesis in the Neutrino Option

We examine the compatibility between the Neutrino Option, in which the electroweak scale is generated by PeV mass type I seesaw Majorana neutrinos, and leptogenesis. We find the Neutrino Option is consistent with resonant leptogenesis. Working within the minimal seesaw scenario with two heavy Majorana neutrinos N 1, 2 , which form a pseudo-Dirac pair, we explore the viable parameter space. We find that the Neutrino Option and successful leptogenesis are compatible in the cases of a neutrino mass spectrum with normal (inverted) ordering for 1.2 × 10 6 < M (GeV) < 8.8 × 10 6 (2.4 × 10 6 < M (GeV) < 7.4 × 10 6 ), with M = ( M 1 + M 2 )/2 and M 1, 2 the masses of N 1, 2 . Successful leptogenesis requires that ΔM/M ≡ ( M 2 - M 1 )/ M ~10 -8 . We further show that leptogenesis can produce the baryon asymmetry of the Universe within the Neutrino Option scenario when the requisite CP violation in leptogenesis is provided exclusively by the Dirac or Majorana low energy CP violation phases of the PMNS matrix.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Submonomer synthesis of sequence defined peptoids with diverse side-chains.

Peptoids are a diverse family of sequence-defined oligomers of N-substituted glycine monomers, that can be readily accessed by the solid-phase submonomer synthesis method. Due to the versatility and efficiency of this chemistry, and the easy access to hundreds of potential monomers, there is an enormous potential sequence space that can be explored. This has enabled researchers from many different fields to custom-design peptoid sequences tailored to a wide variety of problems in biomedicine, nanoscience and polymer science. Here we provide detailed protocols for the synthesis of peptoids, using optimized protocols that can be performed by non-chemists. The submonomer method is fully compatible with Fmoc-peptide synthesis conditions, so the method is readily automated on existing automated peptide synthesizers using protocols provided here. Although the submonomer synthesis for peptoids is well established, there are special considerations required in order to access many of the most useful and desirable sidechains. Here we provide methods to include most of the amino-acid-like side chains, some of the most important non-natural monomer classes, as well as the creation of peptoid conjugates and peptide-peptoid hybrids.

Connolly, Michael D↗
DOE OSTI2022

Evaluating the intrinsic resistance to balling of alloys: A High-throughput physics-informed and data-enabled approach

To date, the vast majority of work on metal additive manufacturing (AM) has been framed in terms of the need to tune processing conditions for a particular AM technology in order to print conventional alloys, oftentimes developed for fabrication methods other than AM. This approach overlooks the fact that historically, many engineering alloy system has been designed with a particular processing route in mind, e.g., ingot metallurgy, powder metallurgy, rapid quenching, etc. There are thus significant opportunities to design alloys specifically for AM. A key challenge is that alloy design requires performance metrics that can be optimized by exploring the alloy chemistry space. Here, we present a study in which we examine how intrinsic thermophysical properties can be used to estimate performance metrics related to the behavior of a solidifying metal droplet under AM-relevant conditions. By identifying these intrinsic properties, it is possible to directly incorporate ‘intrinsic printability’, specifically ‘intrinsic resistance to balling’, into AM-focused alloy design.

20 FOSSIL-FUELED POWER PLANTS↗
DOE OSTI2022

A Low-Enriched Uranium (LEU) option for the conversion of FRM II

The Forschungs-Neutronenquelle Heinz Maier-Leibnitz (FRM II) is Germany’s most powerful research reactor and uses Highly Enriched Uranium (HEU) fuel enriched at 93 %. The Technical University of Munich (TUM) operates the reactor and has been mandated to convert the FRM II to a lower-enrichment fuel. In preparation for the lower-enrichment fuel downselection, planned for 2023, TUM is evaluating multiple conversion scenarios. In this paper, it is demonstrated that a conversion of FRM II to Low-Enriched Uranium (LEU) is scientifically possible when using the novel monolithic U-10Mo fuel system, which is currently in the qualification process. As a research reactor, safety criteria, neutron flux distribution and cycle length are key metrics. To begin, neutronic and thermal-hydraulic models were created based on current technical drawings and relevant material properties. Specifically tailored computational methods and coupling schemes have also been developed to properly evaluate all relevant characteristics for the conversion of the FRM II reactor. Using these models and methods, a systematic parameter study was performed to explore the defined design space. The results of that study indicate that many LEU designs using monolithic U-10Mo appear to be viable to convert FRM II to LEU. One example of an LEU solution for the FRM II reactor that fulfills the stated safety, compatibility and scientific performance requirements is discussed in more detail.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗