Search NASA⌕ Search

SEARCH · Search NASA

Results for “Requirements engineering”

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 307 records · Page 17

A split ribozyme system for in vivo plant RNA imaging and genetic engineering

RNA plays a central role in plants, governing various cellular and physiological processes. Monitoring its dynamic abundance provides a discerning understanding of molecular mechanisms underlying plant responses to internal (developmental) and external (environmental) stimuli, paving the way for advances in plant biotechnology to engineer crops with improved resilience, quality and productivity. In general, traditional methods for analysis of RNA abundance in plants require destructive, labour-intensive and time-consuming assays. To overcome these limitations, we developed a transformative innovation for in vivo RNA imaging in plants. Specifically, we established a synthetic split ribozyme system that converts various RNA signals to orthogonal protein outputs, enabling in vivo visualisation of various RNA signals in plants. We demonstrated the utility of this system in transient expression experiments (i.e., leaf infiltration in Nicotiana benthamiana ) to detect RNAs derived from transgenes and tobacco rattle virus, respectively. Also, we successfully engineered a split ribozyme-based biosensor in Arabidopsis thaliana for in vivo visualisation of endogenous gene expression at the cellular level, demonstrating the feasibility of multi-scale (e.g., cellular and tissue level) RNA imaging in plants. Furthermore, we developed a platform for easy incorporation of different protein outputs, allowing for flexible choice of reporters to optimise the detection of target RNAs.

59 BASIC BIOLOGICAL SCIENCES↗

Synergistic learning with multi-task DeepONet for efficient PDE problem solving

Multi-task learning (MTL) is an inductive transfer mechanism designed to leverage useful information from multiple tasks to improve generalization performance compared to single-task learning. It has been extensively explored in traditional machine learning to address issues such as data sparsity and overfitting in neural networks. In this work, we apply MTL to problems in science and engineering governed by partial differential equations (PDEs). However, implementing MTL in this context is complex, as it requires task-specific modifications to accommodate various scenarios representing different physical processes. To this end, we present a multi-task deep operator network (MT-DeepONet) to learn solutions across various functional forms of source terms in a PDE and multiple geometries in a single concurrent training session. We introduce modifications in the branch network of the vanilla DeepONet to account for various functional forms of a parameterized coefficient in a PDE. Additionally, we handle parameterized geometries by introducing a binary mask in the branch network and incorporating it into the loss term to improve convergence and generalization to new geometry tasks. Our approach is demonstrated on three benchmark problems: (1) learning different functional forms of the source term in the Fisher equation; (2) learning multiple geometries in a 2D Darcy Flow problem and showcasing better transfer learning capabilities to new geometries; and (3) learning 3D parameterized geometries for a heat transfer problem and demonstrate the ability to predict on new but similar geometries. Finally, our MT-DeepONet framework offers a novel approach to solving PDE problems in engineering and science under a unified umbrella based on synergistic learning that reduces the overall training cost for neural operators.

42 ENGINEERING↗

Engineering and evaluation of FXa bypassing agents that restore hemostasis following Apixaban associated bleeding

Direct oral anticoagulants (DOACs) targeting activated factor Xa (FXa) are used to prevent or treat thromboembolic disorders. DOACs reversibly bind to FXa and inhibit its enzymatic activity. However, DOAC treatment carries the risk of anticoagulant-associated bleeding. Currently, only one specific agent, andexanet alfa, is approved to reverse the anticoagulant effects of FXa-targeting DOACs (FXaDOACs) and control life-threatening bleeding. However, because of its mechanism of action, andexanet alfa requires a cumbersome dosing schedule, and its use is associated with the risk of thrombosis. Here, we present the computational design, engineering, and evaluation of FXa-variants that exhibit anticoagulation reversal activity in the presence of FXaDOACs. Our designs demonstrate low DOAC binding affinity, retain FXa-enzymatic activity and reduce the DOAC-associated bleeding by restoring hemostasis in mice treated with apixaban. Importantly, the FXaDOACs reversal agents we designed, unlike andexanet alfa, do not inhibit TFPI, and consequently, may have a safer thrombogenic profile.

59 BASIC BIOLOGICAL SCIENCES↗

Roadmap on thermodynamics and thermal metamaterials

Thermal metamaterials represent a transformative paradigm in modern physics, synergizing thermodynamic principles with metamaterial engineering to master heat flow at will. As next-generation technologies demand multi-scale thermal control, this field urgently requires systematic frameworks to unify its multidisciplinary advances. Curated through a global collaboration involving over 50 specialists across 25 subdisciplines, this review primarily summarizes two decades of advancements, ranging from theoretical breakthroughs to functional implementations. The review reveals groundbreaking innovations in heat manipulation through the exploration of both classical and non-classical transport regimes, topological thermal control mechanisms, and quantum-informed phonon engineering strategies. By bridging physical insights like non-Hermitian thermal dynamics and valleytronic phonon transport with cutting-edge applications, we demonstrate paradigm-shifting capabilities: environment-adaptive thermal cloaks, AI-optimized metamaterials, and nonlinear thermal circuits enabling heat-based computation. Experimental milestones include 3D thermal null media with reconfigurable invisibility and thermal designs breaking classical conductivity limits. Here, this collaborative effort establishes an indispensable roadmap for physicists, highlighting pathways to quantum thermal management, entropy-controlled energy systems, and topological devices. As thermal metamaterials transition from laboratory marvels to technological cornerstones, this work provides the foundational lexicon and design principles for the coming era of intelligent thermal matter.

heat conduction control↗

Multifunctional textured graphene-based coatings on elastomeric gloves for chemical protection

Nanotechnology offers a variety of new tools for the design of next-generation personal protective equipment (PPE). One example is the use of two-dimensional materials as coatings that enhance the performance and ergonomics of elastomeric gloves designed to protect users from hazardous chemicals. Desirable features in such coatings may include molecular barrier function, liquid droplet repellency, stretchability for compatibility with the elastomer, breathability, and an ultrathin profile that preserves the user's manual dexterity and tactile sensation. The present work explores the potential of engineered graphene-based films with out-of-plane texturing as a novel platform to meet these multifold requirements. Graphene-based films in different formulations were fabricated from water-borne inks by vacuum filtration and solution casting methods on glove-derived nitrile rubber substrates. The various coatings were then subjected to tests of molecular permeation by model volatile organic compounds, droplet contact angle, breathability, and mechanical stability during stretching and solvent immersion. The films dramatically improve the barrier properties of glove-derived nitrile. The out-of-plane graphene texturing imparts stretchability through microscale folding/unfolding, while also enhancing droplet repellency in some cases through a lotus-like roughening effect. The combined results suggest that engineered textured graphene-based films are a promising platform for creating multifunctional coatings for a next generation of chemically protective gloves and other elastomer-based PPE.

36 MATERIALS SCIENCE↗

Cell-Free-Based Thermophilic Biocatalyst for the Synthesis of Amino Acids from One-Carbon Feedstocks

Bioproduction from one-carbon compounds, such as formate, is an attractive prospect due to reduced energy requirements and the possibility for using CO 2 as a sustainable feedstock. Formate-fixing pathways engineered using Escherichia coli lysate-based cell-free expression (CFE) biocatalysts have the potential to route 100% of feedstock carbon toward chemical synthesis but are undermined by siphoning of in-pathway metabolites and cofactors by the CFE background metabolism. To address this limitation, we engineer a CFE-based thermophilic multienzyme biocatalyst for the synthesis of serine and glycine from formate, bicarbonate, and ammonia. After expression of the thermophilic formate-to-serine pathway in a one-pot reaction, the mesophilic E. coli CFE background machinery is removed by simple heat denaturation, eliminating the siphoning of cofactors, inpathway metabolites, and products. After bioprocess optimization, including pathway gene expression duration and chemical synthesis temperature, we achieve near stoichiometric conversion of formate and bicarbonate to serine and glycine, reaching 97% of stoichiometric yield. The use of a moderately thermophilic biocatalyst allowed chemical synthesis to take place at mesophilic temperatures, enabling the balance of optimal enzyme activity with minimal metabolite/cofactor thermal degradation. In a fed-batch experiment, the biocatalyst shows sustained chemical synthesis rates for 8 h, paving the way toward a continuous bioprocess. Finally, a sensitivity analysis of cofactor usage revealed that the most expensive cofactors, THF and NADPH, can be reduced by 5-fold without significantly lowering product yields. To the best of our knowledge, this is the first instance of expressing a thermophilic pathway in an E. coli lysate-based CFE system to generate a thermophilic biocatalyst for use at mesophilic temperatures. The CFEbased thermophilic formate-to-serine biocatalyst triples the combined serine and glycine yield previously obtained by a CFE-based mesophilic formate-to-serine biocatalyst (30%), and quadruple the yield obtained by a purified enzyme system (22%). Ultimately, this work opens the door to using E. coli lysate-based CFE for thermophilic biocatalyst generation to achieve high chemical synthesis yields.

bacteria↗

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↗

DiMER

SAND2025-04145O DiMER is a Python based tool that helps researchers understand the functions of genes by searching through multiple biological databases. It takes user-provided data and scans various databases to find the best matches for gene functions, generating a clear summary of results. DiMER identifies the most relevant functional annotations and improves upon previous annotations by replacing instances of "unknown protein function" with more accurate descriptions. DiMER requires minimal setup. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Mageeney, Catherine [Sandia National Lab. (SNL-CA)↗

Desal.jl

SAND2026-22942O Desal.jl is a Julia software package for lightweight reverse-osmosis desalination simulation. It supports static and dynamic operation of power-limited desalination systems without requiring optimization dependencies. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Michelen Strofer, Carlos [Sandia National Lab. (SN↗

Even Higher-Level Synthesis: An Exploration of AI Hardware Accelerators using HLS4ML

With the rise of artificial intelligence, the popularization of deep learning, and a constantly evolving industry, the demand for flexible and efficient tools has never been greater. As algorithms grow more complex, their runtime and energy consumption increase exponentially. Customized hardware accelerators, long used for specific mathematical operations, remain essential for managing modern applications' computational and power demands. Hardware accelerators can speed up complex computations by orders of magnitude, but their manual design and verification processes are often challenging and time-consuming. High-Level Synthesis (HLS) provides a solution by transforming high-level algorithm descriptions, typically written in C++ or SystemC, into synthesizable RTL suitable for hardware implementation. This approach reduces development time for RTL engineers while offering flexibility beyond what traditional handwritten RTL can provide. We extended this capability to the machine-learning domain with the open-source framework hls4ml, which allows neural networks trained in Python frameworks like Tensorflow or PyTorch to be synthesized into efficient hardware representations for the traditional FPGA and ASIC flows. This breakthrough addresses the growing need for reduced design turnaround and easy verification of ML hardware accelerators with low latency and power efficiency constraints. During this tutorial, we will demonstrate how Python complements HLS by simplifying the ML design process, bridging the gap between software and hardware development. Attendees will explore how we translate neural networks modeled in Python into fixed-point C++ models suitable for HLS workflows. We will dive into strategies like Value-Range Analysis and Quantization-Aware Training, which optimize these designs for deployment and evaluate their accuracy, power consumption, and energy efficiency. To exemplify these concepts, experts from Fermilab will share their experiences applying this technology to high-energy physics experiments, where real-time, low-latency processing is critical. Over the years, Fermilab engineers have demonstrated how deep neural networks, optimized for hardware using hls4ml, can meet the stringent requirements of trigger systems at the CERN Large Hadron Collider. These systems rely on rapid decision-making to process immense data volumes while retaining only the most relevant events for further analysis. The application of hls4ml has also been extended to innovative technologies like smart pixel arrays. These smart pixels integrate ML inference capabilities directly into sensor devices, enabling localized data processing at the pixel level. This approach drastically reduces the need to transmit raw data to external processing units, significantly decreasing power consumption and latency. By embedding neural networks within the pixel architecture, the smart pixels can identify and prioritize relevant data in real time, providing a highly efficient solution for edge computing in scenarios such as particle detectors and imaging systems. Fermilab's work highlights the potential of hardware-accelerated ML in scenarios where both speed and power efficiency are mission-critical. Through this tutorial, attendees will gain valuable insights into the challenges and solutions of deploying ML in hardware. Understanding how HLS and hls4ml streamline the development of neural network-based hardware accelerators is fundamental for the industry's future. Participants will learn how these technologies are shaping the future of AI and scientific computing.

Di Guglielmo, Giuseppe [Fermilab]↗

Prototype Development for MBSE-Driven Digital Environment at Fermilab

Complex projects like Fermilab s accelerators and detectors involve thousands of interdependent components and requirements, making traditional documentation hard to keep consistent and often causing rework. Model-Based Systems Engineering (MBSE) tackles this by representing the system as a digital, queryable model. While widely used in aerospace and safety-critical industries, MBSE adoption has been limited elsewhere due to steep learning curves and high costs. This project investigates how a web-first, low-code MBSE stack can reduce those barriers and offer an accessible, unified source of truth for engineers and physicists.

Valle, Diego Pedro (ORCID:0009000865900663)↗

Science of Scale-Up: Accelerating chemical manufacturing technology development workshop report

The Science of Scale-Up: Accelerating chemical manufacturing technology development workshop report outlines key insights and actionable recommendations for accelerating the scale-up of disruptive chemical manufacturing technologies. Convened in October 2024, the workshop brought together approximately fifty experts from academia, industry, national laboratories, and government agencies to address the barriers and solutions for maturing technologies from proof-of-concept to commercialization. The report identifies seven critical themes for enabling faster scale-up. These themes were explored through general discussions and breakout sessions focused on three specific chemical manufacturing technologies—electrochemical, thermochemical, and biological conversion processes. The findings emphasize the importance of interdisciplinary collaboration, robust funding mechanisms, and shared resources to overcome technical barriers and accelerate technology deployment. The report also highlights technology-specific challenges and opportunities, including the need for advanced materials, scalable manufacturing processes, and integrated testing environments. For electrochemical manufacturing processes, durability and material optimization are key priorities, while thermochemical processes require novel reactor designs and better supply chain integration. Biological conversion processes face hurdles in strain engineering, reactor design, and process integration. Across all technologies, the workshop emphasized the importance of leveraging computational tools, standardized protocols, and collaborative networks to address knowledge gaps and technical barriers. By acting on these insights, stakeholders can reduce the timeline for scaling up critical chemical manufacturing technologies, ensuring their timely impact on manufacturing competitiveness, and environmental sustainability.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Searching for Strongly-Interacting Dark Matter with the Heavy Photon Search Experiment

The Heavy Photon Search Experiment (HPS) is a fixed-target experiment at Jefferson Lab’s Hall B, designed to explore a hidden sector (HS) of particles containing dark matter and a new force mediator known as the “heavy photon” (A'). The A' is a massive spin-1 gauge boson associated with a new U (1)D symmetry in the HS that kinetically mixes with the Standard Model () photon with a weak coupling strength parameterized by ¿, with ¿2 ~ 10-2 -10-10. HPS utilizes a high-intensity electron beam on a thin tungsten target to produce heavy photons in the MeV-GeV mass range via “dark bremsstrahlung,” a process analogous to SM bremsstrahlung but suppressed by ¿2. The A' can decay resonantly to SM leptons, allowing HPS to conduct both mass resonance searches for prompt decays (large ¿) and displaced vertex searches for long-lived particles (small ¿). In addition to the minimal A' model, HPS probes more complex extensions such as the QCD-like strongly-interacting massive particles (SIMPs) HS containing “dark” pions (pD) and vector mesons (VD), with pD as dark matter candidates. These particles introduce new thermal dark matter freeze- out scenarios and visible signals through long-lived VD decays to SM leptons, which are accessible to HPS. This analysis conducted a displaced vertex search for VD ¿ e-e+ in the mass range 30 MeV to 124 MeV and ¿ between 10-6 < ¿ < 10-2 using data from the 2016 Engineering Run (10.753 nb-1) at 2.3 GeV. Unlike the minimal A' search, SIMP signal kinematics required new approaches to signal normalization and SM background rejection. The strongest signal evidence was a local p-value of 0.01317 for mVD = 119 MeV, corresponding to a global significance of 0.9s. Although no signal was found, this search excluded a region of the SIMP parameter space at 90 % confidence. This work demonstrates HPS’s competitive capability to probe SIMP sectors within cosmologically significant parameters and introduces a new method for HPS displaced vertex searches using track vertical impact parameter cuts

Spellman, Alic [Univ. of California, Santa Cruz, C↗

SPC-70804 Rev 1 Zircar ZAL-45 Alumina Standoff Plates for Use in MARVEL

Idaho National Laboratory (INL) is developing a microreactor to produce electrical power utilizing a small nuclear core and Stirling engines under the Microreactor Application Research Validation and Evaluation (MARVEL) program. This procurement specification defines the requirements for fabrication of the MARVEL ZAL-45 standoff plates manufactured by Zircar. The design requires eight (8) ceramic standoff plates; however, the requested quantity shall be twelve to account for required testing after receipt of materials. Any conflict between this specification and referenced Codes and Standards, or any supplementary specifications in the procurement documents requires written clarification from the Contractor prior to proceeding with any work. Any deviation from the procurement documents requires approval by the Contractor with the change request process.

21 - SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLAN↗

Electrochemical Phase Engineering of γ′-V 2 O 5 Thin Films for Sodium-Ion Storage Electrodes

V 2 O 5 is a promising sodium-ion cathode material due to its high theoretical capacity (147 mAh/g) and working voltage (3.3 V vs Na/Na + ). Among its various crystal phases, γ′-V 2 O 5 has a large interlayer spacing, ensuring the reversible insertion–extraction of sodium ions. However, current synthesis methods for γ′-V2O5 require high temperatures (>600 °C) and toxic chemicals (NO 2 BF 4 ), which make the preparation demanding. Herein, we put forward an electrochemical phase engineering method combining thermal annealing and electrochemistry to easily prepare thin-film γ′-V 2 O 5 . Electrochemical characterization shows near-ideal performance as a thin-film cathode material for sodium-ion batteries. It shows a measured initial capacity of 152 mAh/g, a high working voltage (3.3 V vs Na + /Na), and an exceptional Coulombic efficiency of 98%, significantly surpassing previously reported values (∼50% CE). Cyclic voltammogram and galvanostatic capacity curves confirm the sodium insertion–deinsertion, which remains stable at 2 C. The γ′-V 2 O 5 thin film has electrochemical performance similar to γ′-V 2 O 5 powder, indicating another workable morphology of γ′-V 2 O 5 for sodium-ion batteries.

batteries↗

Evaluation of Bio-Intermediates and Other Biofuels for use in Marine Engines

This paper presents an overview of the DOE Marine Biofuel Feasibility Study to evaluate the potential of biofuels for ocean-going vessels. These vessels operate on low-cost residual fuel oils (also known as heavy fuel oils or HFO), which require significant heating and purification onboard vessels. The industry is looking at economical alternative fuels that can enhance performance from combustion/emissions, rheology, and other perspectives. Four U.S. national laboratories are collaborating to evaluate a variety of biofuels, including bio-intermediates (pyrolysis and hydrothermal liquefaction oils), biodiesel (fatty acid methyl esters or FAME), bio-residuals (FAME byproducts) for their suitability as fuels for marine diesel engines. Bio-intermediates in particular are of interest because large marine engines that operate on HFO can tolerate lowerquality, more viscous fuels and may be able to utilize these fuels with less upgrading than other applications, presenting economic advantages. The test fuels of interest are examined to determine the minimum level of upgrading required for blend compatibility with market HFOs containing high levels of asphaltenes as well as their impact on the viscosity, polymerization tendency, and combustion properties (particularly cetane number) of the fuel blends in preparation for future evaluation in engine studies.

Kaul, Brian [ORNL] (ORCID:0000000184813620)↗

The Road to Useful Quantum Computers

Building a useful quantum computer is a grand science and engineering challenge, currently pursued intensely by teams around the world. In the 1980s, Richard Feynman and Yuri Manin observed independently that computers based on quantum mechanics might enable better simulations of quantum phenomena. Their vision remained an intellectual curiosity until Peter Shor published his famous quantum algorithm for integer factoring, and shortly thereafter a proof that errors in quantum computations can be corrected. Since then, quantum computing R&D has progressed rapidly, from small-scale experiments in university physics laboratories to well-funded industrial efforts and prototypes. Hype notwithstanding, quantum computers have yet to solve scientifically or practically important problems -- a target often called quantum utility. In this article, we describe the capabilities of contemporary quantum computers, compare them to the requirements of quantum utility, and illustrate how to track progress from today to utility. We highlight key science and engineering challenges on the road to quantum utility, touching on relevant aspects of our own research.

Emerging Technologies (cs.ET)↗

Molecular Engineering Enabled Stable Deep Eutectic Amide-Based Electrolyte for High-Temperature Lithium–Metal Batteries

The development of advanced lithium-metal batteries (LMBs), such as high-temperature LMBs and high-energy-density LMBs, has critical requirements for electrolytes. However, conventional electrolytes suffer from thermal instability and insufficient electrolyte/Li interfacial compatibility, severely limiting their utilization in high-temperature LMBs. Herein, we design a high-temperature N-methylacetamide (NMAc)-based deep eutectic electrolyte (DEE) by molecular engineering on a solvation structure via a sacrificial additive of vinyl ethylene carbonate (VEC). Specifically, VEC interacts with the Li prior to NMAc, facilitating the formation of a solid electrolyte interphase to inhibit the reaction between Li and NMAc. The stable VEC-DEE effectively suppresses the growth of lithium dendrites and ensures the battery a cycling stability of 550 cycles at 80 °C. Additionally, we also demonstrate the application of VEC-DEE in high-energy-density LMBs with a high mass loading of 2.5 mAh/cm 2 . In conclusion, this research opens a new avenue for the rational design of advanced high-temperature electrolytes.

25 ENERGY STORAGE↗