Search NASA⌕ Search

SEARCH · Search NASA

Results for “foundation”

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 325 records · Page 18

Scaling Laws of Graph Neural Networks for Atomistic Materials Modeling

Atomistic materials modeling is a critical task with wide-ranging applications, from drug discovery to materials science, where accurate predictions of the target material property can lead to significant advancements in scientific discovery. Graph Neural Networks (GNNs) represent the state-of-the-art approach for modeling atomistic material data thanks to their capacity to capture complex relational structures. While machine learning performance has historically improved with larger models and datasets, GNNs for atomistic materials modeling remain relatively small compared to large language models (LLMs), which leverage billions of parameters and terabyte-scale datasets to achieve remarkable performance in their respective domains. To address this gap, we explore the scaling limits of GNNs for atomistic materials modeling by developing a foundational model with billions of parameters, trained on extensive datasets in terabytescale. Our approach incorporates techniques from LLM libraries to efficiently manage large-scale data and models, enabling both effective training and deployment of these large-scale GNN models. This work addresses three fundamental questions in scaling GNNs: the potential for scaling GNN model architectures, the effect of dataset size on model accuracy, and the applicability of LLM-inspired techniques to GNN architectures. Specifically, the outcomes of this study include (1) insights into the scaling laws for GNNs, highlighting the relationship between model size, dataset volume, and accuracy, (2) a foundational GNN model optimized for atomistic materials modeling, and (3) a GNN codebase enhanced with advanced LLM-based training techniques. Our findings lay the groundwork for large-scale GNNs with billions of parameters and terabyte-scale datasets, establishing a scalable pathway for future advancements in atomistic materials modeling.

Li, Chaojian [ORNL] (ORCID:0000000340309777)↗

Toward Practical Federal Spectrum Sharing for Advanced Wireless Technologies

Wireless communications have become critical to modern society as the foundation of vital services, business interactions, and social connections. As technology develops and new scenarios emerge, wireless communications become increasingly entrenched as a foundation for modern life. The materialization of 5G has been especially impactful as an enabler for a wide range of new scenarios and increased dependence. With increasing demand for wireless communications comes increasing demand for the radio frequency (RF) spectrum necessary to support these communications. This spectrum demand, largely driven by desire to realize ubiquitous 5G networks, both public and private, is currently driving a reconsideration of spectrum assignments and forcing legacy users of spectrum to update their use of spectrum. As one of the largest legacy users of spectrum, the U.S. Government (USG) is particularly impacted by the increasing demand for spectrum for non USG use. Unfortunately, there is no clear pathway for U.S. federal agencies to modernize their spectrum use and instead these agencies are forced to simply react to spectrum repurposing driven by overwhelming demand. Here we present preliminary work toward a roadmap for federal agencies to modernize their spectrum use through practical analysis and leveraging emerging spectrum sharing (SS) technologies. This effort utilizes the example of DOE spectrum use in the context of National Telecommunications and Information Administration (NTIA) and Federal Communications Commission (FCC) repurposing to examine the factors that must be considered to facilitate spectrum sharing by federal agencies. Furthermore, this work provides an initial survey of the SS models and SS technologies of highest relevance to federal use. We particularly examine the emerging capabilities of 5G itself to enable SS and unlicensed access through transformative capabilities such as new radio unlicensed (NR-U). This work is a step toward translating the large body of academic discussion on SS into a practical roadmap for federal agencies.

5G↗

Impact of Wildfires on Solar Generation, Reserves and Energy Prices

Wildfire seasons in the Western U.S. become more prolonged and intense in recent years bringing significant variability and uncertainty of solar generation. It greatly challenges the bulk power system and electricity market operation managed by California Independent System Operator (CAISO) as California leads both the wildfire records and the solar power integration. This study presents a screening-level analysis of the impact of wildfires on solar generation, operating reserve and energy prices applying historical real-world wildfire and market operation data. To the best of the authors knowledge, it is a first-of-its-kind study and will lay the foundation for market impact quantification and wildfire mitigation strategies design based on projected wildfire activities in future years.

electricity price↗

Control of Grid-Connected Multiport MV Power Electronics Energy Hub: Preprint

In this paper a new concept of multiport modular medium-voltage power electronics hub (M3PE-HUB) is introduced for future power grid. The goal for this project is to design, develop, and demonstrate foundational technologies and capabilities for multiport power electronics energy hubs that can serve as intelligent devices to coordinate and control several different sources and loads. In this paper, the architecture of the controller, the central controls, and its verification is presented.

controls↗

Global patterns of forest autotrophic carbon fluxes

Carbon (C) fixation, allocation, and metabolism by trees set the basis for energy and material flows in forest ecosystems and define their interactions with Earth’s changing climate. However, we lack a cohesive synthesis on how forest carbon fluxes vary globally with respect to climate and one another. Here, we draw upon 1,319 records from the Global Forest Carbon Database (ForC), representing all major forest types and the nine most significant autotrophic carbon fluxes, to comprehensively explore how C cycling in mature, undisturbed forests varies with latitude and climate on a global scale. We show that, across all flux variables analyzed, C cycling decreases continuously with absolute latitude – a finding that confirms multiple previous studies but contradicts the idea that net primary productivity of temperate forests rivals that of tropical forests. C flux variables generally displayed similar trends across latitude and multiple climate variables, with no differences in allocation detected at this global scale. Temperature variables in general, and mean annual temperature and temperature seasonality in particular, were the best univariate predictors of C flux, explaining 19 - 71% of variation in the C fluxes analyzed. The effects of temperature were modified by moisture availability, with C flux reduced under hot and dry conditions and sometimes under very high precipitation. C fluxes increased with growing season length, but this was never the best univariate predictor. Within the growing season, the influence of climate on C cycling was small but significant for a number of flux variables. These findings clarify how forest C flux varies with latitude and climate on a global scale. In a period of accelerating climatic change, this improved understanding of the fundamental climatic controls on forest C cycling sets a foundation for understanding patterns of change.

Banbury Morgan, Rebecca↗

Ergodic Lagrangian dynamics in a superhero universe

We present a fictional scenario that, while undeniably whimsical, provides the foundation for a unique exercise in extended problem solving, physics analysis, and quantitative model development. Starting with the foundational premise of the Wild Cards shared-world superhero universe, we demonstrate how a variety of concepts appropriate to the advanced undergraduate level—ergodicity, functional analysis, Lagrangian mechanics, and the ever-important simplifying approximation—can be combined into a rich, coherent mathematical model. The goal of this case study is to develop a useful pedagogical exercise in exploring an open-ended research question that presents, at first glance, no clear path forward. Being both eclectic and lengthy, this exercise offers a unique way for students to apply their core physics and mathematics education. It is perhaps best used within a senior honors seminar or within a brief (e.g., January term) elective class.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Hanging by a thread? Forests and drought

Trees are the living foundations on which most terrestrial biodiversity is built. Central to the success of trees are their woody bodies, which connect their elevated photosynthetic canopies with the essential belowground activities of water and nutrient acquisition. The slow construction of these carbon-dense, woody skeletons leads to a slow generation time, leaving trees and forests highly susceptible to rapid changes in climate. Other long-lived, sessile organisms such as corals appear to be poorly equipped to survive rapid changes, which raises questions about the vulnerability of contemporary forests to future climate change. The emerging view that, similar to corals, tree species have rather inflexible damage thresholds, particularly in terms of water stress, is especially concerning. This Review examines recent progress in our understanding of how the future looks for forests growing in a hotter and drier atmosphere.

Science & Technology - Other Topics↗

A standardized quantitative analysis strategy for stable isotope probing metagenomics

ABSTRACT Stable isotope probing (SIP) facilitates culture-independent identification of active microbial populations within complex ecosystems through isotopic enrichment of nucleic acids. Many DNA-SIP studies rely on 16S rRNA gene sequences to identify active taxa, but connecting these sequences to specific bacterial genomes is often challenging. Here, we describe a standardized laboratory and analysis framework to quantify isotopic enrichment on a per-genome basis using shotgun metagenomics instead of 16S rRNA gene sequencing. To develop this framework, we explored various sample processing and analysis approaches using a designed microbiome where the identity of labeled genomes and their level of isotopic enrichment were experimentally controlled. With this ground truth dataset, we empirically assessed the accuracy of different analytical models for identifying active taxa and examined how sequencing depth impacts the detection of isotopically labeled genomes. We also demonstrate that using synthetic DNA internal standards to measure absolute genome abundances in SIP density fractions improves estimates of isotopic enrichment. In addition, our study illustrates the utility of internal standards to reveal anomalies in sample handling that could negatively impact SIP metagenomic analyses if left undetected. Finally, we present SIPmg , an R package to facilitate the estimation of absolute abundances and perform statistical analyses for identifying labeled genomes within SIP metagenomic data. This experimentally validated analysis framework strengthens the foundation of DNA-SIP metagenomics as a tool for accurately measuring the in situ activity of environmental microbial populations and assessing their genomic potential. IMPORTANCE Answering the questions, “who is eating what?” and “who is active?” within complex microbial communities is paramount for our ability to model, predict, and modulate microbiomes for improved human and planetary health. These questions can be pursued using stable isotope probing to track the incorporation of labeled compounds into cellular DNA during microbial growth. However, with traditional stable isotope methods, it is challenging to establish links between an active microorganism’s taxonomic identity and genome composition while providing quantitative estimates of the microorganism’s isotope incorporation rate. Here, we report an experimental and analytical workflow that lays the foundation for improved detection of metabolically active microorganisms and better quantitative estimates of genome-resolved isotope incorporation, which can be used to further refine ecosystem-scale models for carbon and nutrient fluxes within microbiomes.

54 ENVIRONMENTAL SCIENCES↗

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics

Context: Scientific open-source software (SciOSS) plays a foundational role in research and engineering, yet its long-term sustainability has often been overlooked and remains a significant concern. Objective: This study investigates the long-term sustainability of SciOSS through code and test quality metrics. Method: We analyze CASS Software Portfolio projects, classifying them by sustainability and comparing their code structure, test coverage, and links between code quality and testing across the dataset. Results: Sustainable projects show higher, more consistent test coverage and clearer code-test correlations, while unsustainable ones show weaker patterns. Overall, test coverage is low in scientific software, and high complexity and coupling reduce testability. Conclusion: In this study, we present a practical, data-driven approach for assessing sustainability in scientific software, offering a foundation for evaluating long-term software health and supporting future efforts in quality assurance and sustainability monitoring.

Md mushfiqur rahman, Sheikh [University of Tenness↗

Research on the Influence Mechanism of the High‐Steep Slope on the Deformation Characteristics of Bridge Substructure

With the development of the Chinese railway, the high‐steep slope is irreversible to be faced; especially under severe conditions such as heavy rainfall and earthquake, this kind of slope is prone to geological disasters, which seriously affects the safety and stability of the bridge substructure. Aiming to this, long‐term monitorization and numerical analysis were carried out in this research, and the influence mechanism of the high‐steep slopes on the stress and deformation characteristics of the bridge structure was studied. The research results show that under the effect of rainfall and earthquake, the original stress balance in the high‐steep slope is broken, and the possibility of landslide thrust increases; under the comprehensive impact of residual landslide thrust, traction force at slope foot, vertical gravity of bridge slab and vehicle, and the bridge cap will deform. Besides, the deformation of the bridge pier exceeds the allowable lateral displacement of the top of the bridge pier, reaching 111.7%∼112.4% of the limit, which seriously affects the stability of the bridge structure and the safety of the railway service. Therefore, by increasing the support strength of the slope foot and the diameter of the bridge pile foundation, the traction force of the slope foot can be reduced, and the sliding resistance of the bridge pile foundation can be improved so as the safety of the bridge structure can be promoted.

Zhang, Yufang (ORCID:0000000348912060)↗

pnnl/SNAP

In this work, we detail two uncertainty quantification (UQ) methods that provide complementary information. Readout ensembling, by finetuning only the readout layers of an ensemble of foundation models, provides information about model uncertainty. Amending the final readout layer to predict upper and lower quantiles replaces point predictions with distributional predictions, which provide information about uncertainty within the underlying training data. We demonstrate our approach with the MACE-MP-0 model, applying UQ to both the foundation model and a series of finetuned models. The uncertainties produced by the ensemble and quantile methods are demonstrated to be distinct measures by which the quality of the NNP output can be judged.

Pope, Jenna (Bilbrey) [Pacific Northwest National ↗

SPUS-Small-PDE-U-net-Solver

Small PDE U-Net Solver (SPUS) is a compact and efficient foundation model (FM) designed as a unified neural operator for solving a wide range of partial differentialequations (PDEs). SPUS leverages a lightweight residual U-Net-based architecture as a foundation model architecture. To enable effective learning in this minimalist framework, SPUS utilizes a simple yet powerful auto-regressive pretraining strategy which closely replicates the behavior of numerical solvers to learn the underlying physics. SPUS is designed to be pretrained on a diverse set of fluid dynamics PDEs from public benchmark datasets.

Siddik, Abu↗

V-HAMSTeR v1.0.0

V-HAMSTeR is a bioinformatics software tool designed to predict the hosts of viruses directly from genomic sequences. It can be used by researchers to predict animal, prokaryotic, plant, protist or fungal viral hosts including viruses that may be fragmented or discovered in environmental metagenomic datasets. Features & Uses: The software employs a novel dual-stream deep learning architecture that dynamically fuses implicit sequence embeddings from a genomic foundation model with 13 explicit, handcrafted biological features (e.g., coding density and strand switch rates). To ensure maximum reliability, V=HAMSTeR deploys a 5-fold deep ensemble calibrated via Joint Temperature Scaling, providing users with statistically rigorous confidence probabilities. It also features an automated sequence chunking and mean-pooling module to seamlessly process variable-length contigs. Advantages Over Similar Technologies: Existing tools (e.g., IPEV, RNAVirHost) typically rely on either basic k-mers or isolated neural networks. V-HAMSTeR's hybrid architecture captures both broad genomic context and specific biological motifs that standalone foundation models often miss. Furthermore, unlike competitor tools that struggle with incomplete data or exhibit extreme overconfidence, V-HAMSTeR is explicitly benchmarked and mathematically calibrated for fragmented assemblies (1kb–10kb). This makes it uniquely robust, accurate, and trustworthy for the messy reality of real-world environmental viromics.

Grigson, Susie [Lawrence Berkeley National Laborat↗

Improving Process Level Understanding of Boundary Layer Winds over the Northeast U.S. Shelf: The Third Wind Forecast Improvement Project (WFIP3)

The third Wind Forecast Improvement Project (WFIP3), a U.S. Department of Energy and National Oceanic and Atmospheric Administration sponsored investigation, sought to improve understanding of the physical phenomena in the atmosphere and ocean that dictate the structure and variability of wind and thermodynamic fields within the marine atmospheric boundary layer. WFIP3 focused on mesoscale and submesoscale flows -- including sea breezes, low-level jets, low-level clouds, and coastal storms -- and the ability of advanced numerical model parameterizations to represent them within fully coupled oceanic and atmospheric modeling systems and foundational weather forecast models. WFIP3 conducted a comprehensive 18-month observational study over the Northeast U.S. outer continental shelf, a high-use coastal zone, using a 3D multiscale sensor array to highly resolve the temporal, vertical, and horizontal structure of the coupled atmospheric and oceanic boundary layers. Multiple land-based study sites adjacent to the coastal ocean observed surface meteorology and vertical profiles of atmospheric properties via passive infrared and microwave radiometers, active lidars and radars, and radiosondes. At sea, an array of surface flux buoys and two vertical profiling lidar buoys observed both atmospheric and oceanic properties, augmented by land-based oceanographic radar systems and routine ship-based surveys. Intensive observations of the marine atmospheric boundary layer over the ocean was done from an air-sea interaction flux tower and extended deployments of a large autonomous barge platform. Numerous critical forecasting phenomena were observed that are being evaluated within regional coupled and uncoupled modeling systems, including the National Oceanic and Atmospheric Administration's foundational High-Resolution Rapid Refresh forecast model.

Kirincich, Anthony↗

On the Impact of Income, Age, and Travel Distance on the Value of Time

The value of time (VOT) is a fundamental component used in transportation modeling, policy analysis, and economic appraisal. Decades of research and practice have empirically estimated the VOT across many factors (e.g., mode, purpose, time, comfort, etc.), yet little is known about its underlying form. Although it is well established that VOT can vary, it is still unclear whether patterns exist in this variation. The objective of this paper is not to merely estimate the VOT, but to model the VOT across multiple continuous and interacting variables. The purpose is to reveal its functional form with respect to mode, age, gender, purpose, income, and time of day to provide a generalizable understanding for future research and practice. Such an understanding can help develop simpler models and reduce the need for bespoke estimations for every conceivable variable perturbation. This research utilized a household travel survey containing 14,159 reported trips with imputed travel time and costs for the alternative mode choices. The average overall estimated VOT is 40.32 $/h, with results showing VOT varying log-linearly with income and trip distance, but following a Gaussian function (normal curve) with age. Overall, the results show that travel distance dominates VOT variation, which increases exponentially at a rate that is 3.61 times higher per mile of distance than per $10,000 of income, and that VOT by age peaks at age 54. This basic understanding of how the VOT varies sets the foundation for answering the subsequent question for why it might vary.

Engineering↗

Evaluating isoprenol production using the IPP-bypass pathway in the oleaginous yeast Rhodosporidium toruloides

Background To strengthen the national energy supply, there is an increasing demand for domestically generated aviation fuels. Bio-derived advanced aviation fuels offer the opportunity to meet this domestic need while presenting a unique opportunity to investigate the production of novel aviation fuels. Isoprenol, a chemical precursor to such novel fuels, has been shown to be a biologically producible compound in model organisms, but its bio-producibility needs to be further explored in organisms more compatible with industrial bioproduction. Results In this work, we evaluate isoprenol production using the promising bioproduction yeast, Rhodosporidium toruloides. First, we show successful isoprenol production using the IPP-bypass pathways most successful in laboratory strains of E. coli and S. cerevisiae. Next, we demonstrate that increased flux through the mevalonate pathway only modestly increases isoprenol titers. Using proteomics, we identified a potential bottleneck in production at the final step in the IPP-bypass pathway and explored alternative enzymes for this step. Finally, the top three strains of R. toruloides were evaluated in sorghum hydrolysates generated using cholinium lysinate. Through this work, 93.1 mg/L of isoprenol was produced in mock medium and 27.3 mg/L in sorghum hydrolysates. Conclusion Together these results lay the foundation for future work for the production of isoprenol from bioproduction crops.

Advanced aviation fuel↗

Back to Basics: First Principles of HRA

Human Reliability Analysis (HRA) continues to suffer from a myriad of technical gaps in its foundations. Core issues have been widely discussed but remain largely unaddressed, although the path taken to this point was paved with good intentions. Now, while this characterization may seem dramatic it is not intended to throw doubt onto HRA as a discipline or to diminish the value it has on increasing safety and resilience in nuclear power. Rather, it is intended to communicate that HRA has some serious challenges and is desperately in need of a critical evaluation. To quote Dougherty [1], “the misrepresentations that will undoubtedly arise may serve to provoke the necessary creativity.” What bears noting is that in the last thirty years since Alan Swain declared that “no adequate HRA had ever been done,” there has been little effort to correct the issues he highlighted. Human factors practice is still poorly implemented, many complex systems are fundamentally incompatible with reliable human performance, and there remains poor foundational support for many of the assumptions within HRA. We propose three categories of issues in HRA, philosophical, theoretical, and empirical and potential solutions to these issues.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗