Search NASA⌕ Search

SEARCH · Search NASA

Results for “expression systems”

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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Equivalency Factors and Mixed Isotope Subcritical Limits [Slides]

Equivalency factors (EF) are coefficients used to express the reactivity of a quantity of a given isotope in terms of an equivalent amount of another isotope’s reactivity. EFs are often used to conservatively determine if a given mixed-isotope system is within previously established limits. These EFs are calculated by taking ratios of established subcritical limits, also called the Rule of Fractions.

07 ISOTOPE AND RADIATION SOURCES↗
DOE OSTI2026

Scaling kinetic Monte-Carlo simulations of grain growth with combined convolutional and graph neural networks

Graph neural networks (GNN) have emerged as a promising machine learning method for microstructure simulations such as grain growth. However, accurate modeling of realistic grain boundary networks requires large simulation cells, which GNN has difficulty scaling up to. To alleviate the computational costs and memory footprint of GNN, we suggest a hybrid architecture combining a convolutional neural network (CNN) based bijective autoencoder to compress the spatial dimensions, and a GNN that evolves the microstructure in the latent space of reduced spatial sizes. Our results demonstrate that the new design significantly reduces computational costs with using fewer message passing layer (from 12 down to 3) compared with GNN alone. The reduction in computational cost becomes more pronounced as the spatial size increases, indicating strong computational scalability. For the largest mesh evaluated (160 3 ), our method reduces memory usage and runtime in inference by 117× and 115×, respectively, compared with GNN-only baseline. More importantly, it shows higher accuracy and stronger spatiotemporal capability than the GNN-only baseline, especially in long-term testing. Such combination of scalability and accuracy is essential for simulating realistic material microstructures over extended time scales. The improvements can be attributed to the bijective autoencoder’s ability to compress information losslessly from spatial domain into a high dimensional feature space, thereby producing more expressive latent features for the GNN to learn from, while also contributing its own spatiotemporal modeling capability. Training data are generated from stochastic grain growth simulations, providing realistic variability for learning robust microstructure evolution. Comprehensive system validation confirms that the model is accurate, robust, and scalable.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Functional plasticity of HCO 3 – uptake and CO 2 fixation in Cupriavidus necator H16

Despite its prominence, the ability to engineer Cupriavidus necator H16 for inorganic carbon uptake and fixation is underexplored. We tested the roles of endogenous and heterologous genes on C. necator inorganic carbon metabolism. Deletion of β-carbonic anhydrase can had the most deleterious effect on C. necator autotrophic growth. Replacement of this native uptake system with several classes of dissolved inorganic carbon (DIC) transporters from Cyanobacteria and chemolithoautotrophic bacteria recovered autotrophic growth and supported higher cell densities compared to wild-type (WT) C. necator in batch culture. Strains expressing Halothiobacillus neopolitanus DAB2 (hnDAB2) and diverse rubisco homologs grew in CO 2 similarly to the wild-type strain. Our experiments suggest that the primary role of carbonic anhydrase during autotrophic growth is to support anaplerotic metabolism, and an array of DIC transporters can complement this function. This work demonstrates flexibility in HCO 3 - uptake and CO 2 fixation in C. necator, providing new pathways for CO 2 -based biomanufacturing.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Bipolar transport in diamond under photo-excitation: Evidence of free charge scattering by excitons

The fundamental characteristics of the Coulomb e-h interactions in ultra-pure diamond are investigated through time-resolved photoconductivity measurements in homogeneously photoexcited samples with ohmic-like low resistive B + sandwich contacts. Here, we demonstrate that, in the electric field, the bipolar charge mobility exhibits drastic reduction for photo-injected densities of 10 14 ‐10 16 cm ‐3 that cannot be explained only by mutual scattering between free e-h particles. This phenomenon is clarified by adding scattering caused by excitons whose density grows in the photo-exited system. The comparison of drift mobilities at 300 K in diamond obtained in this study and in pure Si and Ge obtained from literature, where exciton scattering is insignificant, is presented. We derive the empirical expression for the density dependences of bipolar mobility for the electric fields up to 1 kV/cm that could be useful for the development of diamond electronic devices.

Bipolar drift↗
DOE OSTI2026

Neuralized fermionic tensor networks for quantum many-body systems

In this work, we describe a class of neuralized fermionic tensor network states (NN-fTNSs) that introduce nonlinearity into fermionic tensor networks through configuration-dependent neural network transformations of the local tensors. The construction uses the fTNS algebra to implement a natural fermionic sign structure and is compatible with standard tensor network algorithms but gains enhanced expressivity through the neural network parametrization. Using the 1D and 2D Fermi-Hubbard models as benchmarks, we demonstrate that NN-fTNSs achieve order of magnitude improvements in the ground-state energy compared to pure fTNSs with the same bond dimension and can be systematically improved through both the tensor network bond dimension and the neural network parametrization. Compared to existing fermionic neural quantum states based on Slater determinants and Pfaffians, NN-fTNSs offer a physically motivated alternative fermionic structure. Furthermore, compared to such states, NN-fTNSs naturally exhibit improved computational scaling and we demonstrate a construction that achieves linear scaling with the lattice size.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2025

Exact block encoding of imaginary time evolution with universal quantum neural networks

We develop a constructive approach to generate quantum neural networks capable of representing the exact thermal states of all many-body qubit Hamiltonians. The Trotter expansion of the imaginary time propagator is implemented through an exact block encoding by means of a unitary, restricted Boltzmann machine architecture. Marginalization over the hidden-layer neurons (auxiliary qubits) creates the nonunitary action on the visible layer. Then, we introduce a unitary deep Boltzmann machine architecture in which the hidden-layer qubits are allowed to couple laterally to other hidden qubits. We prove that this wave-function is closed under the action of the imaginary time propagator and, more generally, can represent the action of a universal set of quantum gate operations. We provide analytic expressions for the coefficients for both architectures, thus enabling exact network representations of thermal states without stochastic optimization of the network parameters. In the limit of large imaginary time, the yields the ground state of the system. The number of qubits grows linearly with the number of interactions and total imaginary time for a fixed interaction order. Both networks can be readily implemented on quantum hardware via midcircuit measurements of auxiliary qubits. If only one auxiliary qubit is measured and reset, the circuit depth scales linearly with imaginary time and number of interactions, while the width is constant. Alternatively, one can employ a number of auxiliary qubits linearly proportional to the number of interactions, and circuit depth grows linearly with imaginary time only. Every midcircuit measurement has a postselection success probability, and the overall success probability is equal to the product of the probabilities of the midcircuit measurements.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Insights into distorted lamellar phases with small-angle scattering and machine learning

Lamellar phases are essential in various soft matter systems, with topological defects significantly influencing their mechanical properties. In this report, we present a machine-learning approach for quantitatively analyzing the structure and dynamics of distorted lamellar phases using scattering techniques. By leveraging the mathematical framework of Kolmogorov–Arnold networks, we demonstrate that the conformations of these distorted phases – expressed as superpositions of complex waves – can be reconstructed from small-angle scattering intensities. Through the contour analysis of wave field phase singularities, we obtain the statistics of the spatial distribution of topological defects. Furthermore, we establish that the temporal evolution of these defects can be derived from the time-dependent traveling wave field, informed by the dispersion relation of spectral components. This method opens new avenues for investigating the dynamics of distorted lamellar phases using various dynamic scattering techniques such as neutron spin echo and X-ray photon correlation spectroscopy. These findings enhance our microscopic understanding of how defects influence the physical properties of lamellar materials, with implications for both equilibrium and non-equilibrium states in general lamellar systems.

36 MATERIALS SCIENCE↗
DOE OSTI2026

PowerAnalytics.jl: User-Centric Power Systems Analysis in Julia

The National Laboratory of the Rockies recently released version 1 of PowerAnalytics.jl, an analysis module for the outputs of its popular open-source electrical power systems modeling platform Sienna. It features an extensible framework - based on the flexible selecting of components, the execution of arbitrary metrics on them, and a familiar DataFrames-based output interface with embedded metadata - to process results in the Sienna style while keeping the interface as simple as possible for non-Julia experts. Here, I describe the package and where it fits into the Sienna ecosystem, how I harnessed user-centered design and Julia features to achieve beginner friendliness without sacrificing performance and expressibility, and what lessons might be drawn from the package's design and implementation.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

GridSTIX

SF-25-112 Grid-STIX is a comprehensive extension of the STIX (Structured Threat Information Expression) 2.1 ontology specifically designed for electrical grid cybersecurity applications. This ontology provides a standardized, machine-readable framework for modeling grid assets, operational technology devices, threats, vulnerabilities, supply chain risks, and security relationships in electrical power systems. ## Key Features - **Comprehensive Grid Coverage**: Physical assets, OT devices, grid components, sensors, and energy storage systems - **Zero Trust Architecture**: Policy decision points, enforcement points, trust brokers, and continuous monitoring - **AMI Infrastructure**: Advanced metering networks, head-end systems, mesh gateways, and MDM systems - **Advanced Security Modeling**: Attack patterns, vulnerabilities, mitigations, and supply chain risks - **Critical Grid Relationships**: Power flow, protection, control, and synchronization relationships - **Supply Chain Security**: Supplier modeling, country of origin tracking, and risk assessment - **Protocol Support**: DNP3, Modbus, IEC 61850, IEC 60870-5-104, OPC-UA, and IEEE standards - **Python Code Generation**: Automated STIX-compliant Python class generation from ontologies - **Interactive Visualization**: Enhanced HTML network graphs with grid-specific categorization - **STIX 2.1 Compliance**: Full compatibility with STIX threat intelligence ecosystem

Blakely, Benjamin [Argonne National Laboratory (AN↗
DOE OSTI2024

SolarAPP+ Performance Review (2023 Data)

The Solar Automated Permit Processing Plus (SolarAPP+) platform is an online portal to facilitate and expedite rooftop solar photovoltaic (PV) and battery storage permitting processes. SolarAPP+ allows PV contractors to upload system specifications, have that information automatically reviewed for code compliance, and receive instant approval for code-compliant systems, reducing authority having jurisdiction (AHJ) staff time needed for review. SolarAPP+ also provides inspection checklists to verify installation practices and adherence to approved designs. SolarAPP+ is available to AHJs at no cost. This report is part of an ongoing series of reviews of SolarAPP+ performance. Consistent with previous performance reviews, we summarize SolarAPP+ adoption trends to date and compare various metrics for PV systems permitted through SolarAPP+ versus systems permitted through traditional AHJ permitting processes. As of the end of 2023, the National Renewable Energy Laboratory (NREL) had contacted over 1,700 AHJs with significant solar permitting volume regarding SolarAPP+. Of those, 793 AHJs had expressed interest in the platform as of the end of 2023. 161 AHJs had begun piloting the platform and 97 of these had publicly launched the platform by the end of 2023. In 2023, 668 installers submitted 18,906 permits through the SolarAPP+ platform, including 4,834 permits submitted as part of a solar plus storage program. SolarAPP+ permits accounted for around 43% of all permits issued in participating AHJs. We compare permitting timelines through SolarAPP+ to traditional AHJ permitting processes to assess the platform's performance. Consistent with previous SolarAPP+ performance reviews, we find that permitting timelines are significantly shorter for SolarAPP+ projects. Based on median timelines, a typical SolarAPP+ project is permitted and inspected 14.5 business days sooner than traditional projects. We estimate that automatic SolarAPP+ permitting saved around 7,200 hours of AHJ staff time in 2023. Finally, we estimate that SolarAPP+ eliminated over 150,000 business days in permitting-related delays in 2023.

14 SOLAR ENERGY↗
DOE OSTI2024

Rapid assessment of the creep rupture life of metals: A model enabling experimental design

Prediction of the creep rupture life of engineering metals is critical for qualification and design of new materials. The use of long-term creep tests and the need to quantify the performance variability in a priori similar systems hinder the rapid creep assessment of a given material. Therefore, it is essential to develop methods that can extrapolate the long-term performance of alloys and the associated variability from short-term experiments. To this end, this study introduces a new model which enables the estimation of the rupture life of a material for a given stress and temperature. This model relies on two components. First, a new relation for the minimum creep rate (MCR) of materials is introduced. It includes a stress dependent stress exponent allowing the model to capture the variation of MCR across a wide range of temperatures and stresses. Second, employing the Monkman-Grant (MG) law, we establish a relation between stress, temperature and creep rupture life. Together, these two elements yield a new closed-form mathematical expression for the Larson Miller parameter as a function of stress and temperature. This expression captures the creep rupture time for many metals (Gr91, Copper, Gr122 and 347H) and compares favorably with alternate empirical approaches. The model is then used to assess the minimum duration of creep rates necessary to qualify the material up to 100000h. Furthermore, it is found that depending on the material system, creep tests as few as five limited to 5000 h for steels (Gr91, Gr122, 347H) and 100 h for copper are sufficient to model creep lifetimes. Finally, using a Bayesian inference-based approach to calibrate the model, we demonstrate that variability in rupture life can be captured via the quantification of the uncertainty in the model parameters and extrapolated from a limited number of short to moderately short creep tests; thereby paving the way for accelerated creep testing.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Theoretical foundations of waste factor and waste figure with applications to fixed wireless access and relay systems

The growing energy demands of next-generation wireless systems call for unified, system-level metrics to evaluate and optimize energy efficiency. This paper advances the concept of the Waste Factor (W), or Waste Figure (WF) in decibel scale, as a general framework for modeling power loss across cascaded communication components. By integrating W into the Consumption Factor (CF)–the ratio of data rate to consumed power–we reveal how component inefficiencies influence the minimum achievable energy per bit. Closed-form expressions are derived for energy-per-bit consumption in both direct and relay-assisted links, along with a decision rule for selecting the more energy-efficient path. While not explicitly modeled, Reflective Intelligent Surfaces (RIS) are shown to fit naturally within this framework. The analysis is further applied to a Fixed Wireless Access (FWA) scenario, where asymmetries in traffic direction and hardware inefficiencies are jointly considered, demonstrating the utility of the Waste Factor in guiding energy-aware system design.

Sevim, Nurullah [Texas A&M University, College Sta↗
DOE OSTI2024

Entire expressed peripheral blood transcriptome in pediatric severe malarial anemia

Abstract This study on severe malarial anemia (SMA: Hb < 6.0 g/dL), a leading global cause of childhood morbidity and mortality, compares the entire expressed whole blood host transcriptome between Kenyan children (3-48 mos.) with non-SMA (Hb ≥ 6.0 g/dL, n = 39) and SMA ( n = 18). Differential expression analyses reveal 1403 up-regulated and 279 down-regulated transcripts in SMA, signifying impairments in host inflammasome activation, cell death, and innate immune and cellular stress responses. Immune cell profiling shows decreased memory responses, antigen presentation, and immediate pathogen clearance, suggesting an immature/improperly regulated immune response in SMA. Module repertoire analysis of blood-specific gene signatures identifies up-regulation of erythroid genes, enhanced neutrophil activation, and impaired inflammatory responses in SMA. Enrichment analyses converge on disruptions in cellular homeostasis and regulatory pathways for the ubiquitin-proteasome system, autophagy, and heme metabolism. Pathway analyses highlight activation in response to hypoxic conditions [Hypoxia Inducible Factor (HIF)−1 target and Reactive Oxygen Species (ROS) signaling] as a central theme in SMA. These signaling pathways are also top-ranking in protein abundance measures and a Ugandan SMA cohort with available transcriptomic data. Targeted RNA-Seq validation shows strong concordance with our entire expressed transcriptome data. These findings identify key molecular themes in SMA pathogenesis, offering potential targets for new malaria therapies.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2024

Rearrangement collision theory of phonon-driven exciton dissociation

Understanding the processes governing the dissociation of excitons to free charge carriers in semiconductors and insulators is of central importance for photovoltaic applications. Dyson's S-matrix formalism provides a framework for computing scattering rates between quasiparticle states derived from the same underlying Hamiltonian, often reducing to familiar Fermi's “golden rule” like expressions at first order. By presenting a rigorous formalism for multichannel scattering, we extend this approach to describe scattering between composite quasiparticles and, in particular, the process of exciton dissociation mediated by the electron-phonon interaction. Subsequently, we derive rigorous expressions for the exciton dissociation rate, a key quantity of interest in optoelectronic materials, which enforce correct energy conservation and may be readily used in ab initio calculations. We apply our formalism to a three-dimensional model system to compare temperature-dependent exciton rates obtained for different scattering channels.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2025

Metabolic Redox Coupling Controls Methane Production in Permafrost‐Affected Peatlands Through Organic Matter Quality‐Dependent Energy Allocation

ABSTRACT Permafrost thaw represents one of Earth's largest climate feedback risks, potentially releasing vast carbon (C) stores as greenhouse gases (GHG). However, our ability to predict emissions remains limited by poor understanding of how changing organic matter (OM) composition affects microbial carbon processing. We test a metabolism‐centered redox framework, which views microbial processes as coupled oxidative‐reductive reactions, to mechanistically explain how organic matter metabolite quality controls greenhouse gas production in permafrost‐affected peatland ecosystems. Rather than relying solely on geochemical redox measurements, our approach examines how microbes balance electron flow through metabolic pathways. Using active layer peat (9–19 cm) from contrasting environments (bog and fen), we employed multi‐omics approaches, including metabolomics, metagenomics, and metatranscriptomics, to link OM chemistry to microbial function. Our results reveal distinct dissolved organic matter metabolite composition, with fen systems enriched in compounds with higher substrate quality (low molecular weight (MW) sugars with high H:C ratios and low aromaticity) and bog systems dominated by compounds with lower substrate quality (high MW phenols with lower H:C ratios and higher aromaticity). In fen samples, these sugar‐like compounds correlated with higher oxidative metabolism and methanogenesis, supported by increased glycolysis gene expression. Initially, electrons from increased oxidative metabolism were balanced through nitrate and sulfate reduction, but as these electron acceptors were depleted, methanogenesis increased to maintain redox balance. Fen samples showed rapid degradation of both high‐ and low‐substrate‐quality compounds, suggesting sufficient energy for efficient C cycling. Conversely, bog samples exhibited more polyphenolic compounds, lower glycolysis activity, and higher stress‐related gene expression, suggesting energy was diverted towards cell maintenance under acidic conditions rather than C processing. This approach suggests that predicting greenhouse gas emissions requires an understanding of how organic matter quality shapes microbial energy allocation strategies, providing a mechanistic framework for improving emission predictions from permafrost‐affected peatlands and similar ecosystems.

Biodiversity & Conservation↗
DOE OSTI2024

Sentinel

Network intrusion detection systems (NIDS) are commonplace in network security but they frequently employ algorithms that are computational demanding requiring hardware and software with significant power requirements. Two examples of such resource-intensive algorithms used for network security are regular expression matching and broader signature pattern matching which are commonly used in deep packet inspection (DPI). Network security algorithms that have large power requirements may be a challenge for low-power internet-of-things (IoT) environments, which generally lack the power resources to implement complex security measures like computationally expensive DPI at the edge. Furthermore, IoT environments incorporating 5G standalone networks have network latency constraints beyond just power that make DPI at the edge even more difficult. Programmable logic is ideally suited for machine learning inference for DPI because of its deep instruction level parallelism and single-cycle memory access. Machine learning approaches for DPI have been explored before using the programmable logic of field programmable gate arrays (FPGA) as a potential solution for NIDS approaches that would be power-suitable for IoT. However, those previous programmable logic NIDS approaches utilize either a supervised or unsupervised learning model. Sentinel utilizes the ensemble of these two machine learning approaches known as a semi-supervised approach which has shown promise in NIDS implementations. Sentinel provides a programmable logic implementation of a semi-supervised approach for DPI which operates at much lower power and latency than a GPU implementation with negligible loss of accuracy due to quantization through a logistic regressor.

Anderson, MatthewW [Idaho National Laboratory (INL↗
DOE OSTI2026

Rational engineering to enhance C8-fatty acid biosynthesis in Picosynechococcus sp. PCC 7002

Medium-chain fatty acids (e.g., C8-C14) are important biofuel precursors that can be produced from CO2 by cyanobacteria and other photoautotrophs. However, cyanobacteria naturally direct a relatively small fraction of fixed carbon to lipid synthesis, primarily producing long-chain membrane-bound fatty acids. We investigated whether mitigating kinetic bottlenecks within the fatty acid biosynthesis (FAB) pathway could enhance flux to free fatty acid (FFA) production in Picosynechococcus sp. PCC 7002. Previous in vitro studies proposed that the FAB initiating enzyme FabH is the primary rate-controlling enzyme in PCC 7002. We hypothesized that enhancing fatty acid initiation could increase in vivo FFA production while shifting the kinetic bottleneck further downstream in the pathway. We enabled C8-FFA accumulation by knocking out the native acyl-acyl carrier protein synthetase gene (aas) and expressing the highly active Cuphea palustris-derived mutant thioesterase CpFatB1.2-M4-287 (CupTE), which selectively catalyzes C8 chain termination. We then expressed the diatom-derived Chaetoceros sp. GSL56 FabH ortholog (chKASIII), to enhance initiation, and a medium-chain selective E. coli ketosynthase ecFabF[I108F] (ecFabF∗), to enhance elongation. When expressed individually or in combination with ecFabF∗, chKASIII slowed growth and decreased net carbon fixation rates relative to the parental Δaas-CupTE strain. However, co-expression of chKASIII, ecFabF∗, and CupTE redirected a larger fraction of fixed carbon toward FFA production, increasing relative carbon flux to C8-FFA and decreasing the projected minimum selling price by four-fold. This work demonstrates how systems metabolic engineering can be applied to enhance C8-FFA production in cyanobacteria while highlighting the unpredictable physiological consequences of host metabolic burden.

09 BIOMASS FUELS↗
DOE OSTI2024

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗