Search NASA⌕ Search

SEARCH · Search NASA

Results for “NETWORK SYNTHESIS”

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

Discovery of hybrid chemical synthesis pathways with DORAnet

Developing efficient tools for discovering novel synthesis pathways is essential to advance chemical production methods that maximize the use of resources and energy. We introduce DORAnet (Designing Optimal Reaction Avenues Network Enumeration Tool), an open-source computational framework that addresses key limitations in current computer-aided synthesis planning (CASP) tools. DORAnet integrates both chemical/chemocatalytic (i.e., non-enzymatic) and enzymatic transformations, enabling the discovery of hybrid synthesis pathways. With 390 expert-curated chemical/chemocatalytic reaction rules and 3606 enzymatic rules derived from MetaCyc, it provides extensive flexibility for synthetic chemists and biotechnologists. The framework features customizable network expansion strategies, advanced filtering, and pathway search, ranking, and visualization tools. Validated against known reaction data, DORAnet successfully identified both established and novel synthesis routes for key industrial chemicals. In a case study involving 51 high-volume targets, DORAnet frequently ranked known commercial pathways among the top three results, demonstrating its practical relevance and ranking accuracy, while also uncovering numerous alternative (hybrid) synthesis pathways that were highly ranked.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Understanding the dynamic nature of plant lipid anabolic and catabolic metabolism is key to sustainable oilseed engineering

Plant-derived oils are essential sources of reduced carbon and various fatty acid (FA) structures for food, biofuels, and the oleochemical industry. Despite extensive efforts, engineering mainstream oilseed crops to produce high levels of industrially valuable unusual FAs (UFAs) remains challenging. This review synthesizes recent advances in the understanding of lipid metabolic networks, emphasizing how species-specific regulation of FA synthesis, activation, and delivery influences triacylglycerol (TAG) assembly to govern the efficiency of UFA accumulation. Key insights reveal that acyl flux through anabolic and catabolic branches of lipid metabolism is tightly controlled by enzyme substrate selectivities, diacylglycerol (DAG) pool compartmentalization, and metabolic context, including lipid remodeling and degradation pathways. Engineering success is often constrained by incompatibilities between UFA biosynthetic enzymes and endogenous host metabolism, leading to flux imbalances, futile cycles, and undesired phenotypes. We highlight emerging strategies to overcome these barriers, such as the use of UFA-selective acyltransferases, coordinated manipulation of DAG source pools, suppression of competing endogenous enzymes, and exploitation of TAG remodeling mechanisms. This integrated synthesis provides a conceptual framework for logic-based engineering of oilseeds with enhanced UFA content by offering new avenues for sustainable biomanufacturing of valuable lipids.

acyltransferase specificity↗
NASA NTRS1990

Microwave structure of the quiet sun at 8.5 GHz

Multifrequency VLA observations of the quiet sun near 8.5 GHz are presented. Two regions of the sun were observed, one dominated by an enhanced network corresponding to a decayed active region, and the other corresponding to an enhanced network with no active features. The full-day synthesis maps for both show nearly perfect correspondence to H-alpha images, and to longitudinal magnetograms. The coronal loops were observed to appear as regions of radio emission with no underlying longitudinal magnetic fields, being aligned with H-alpha fibrils in the photosphere, and connecting regions of opposite magnetic polarity. The emission can be modeled as optically thin free-free emission from a coronal loop with a peak axial density of approximately 2.4-2.8 x 10 to the 9th/cu cm, for an assumed coronal temperature of 1-2 x 10 to the 6th K. The quiet chromosphere sources are measured, and the significance of these measurements for existing chromospheric models is discussed.

Gary, Dale E.↗
DOE OSTI2025

Modeling MTS pyrolysis and SiC deposition kinetics using principal component analysis and neural networks

Accurate chemical kinetics modeling is crucial for improving the efficiency of chemical processing and synthesis of ceramic matrix composites. Detailed kinetic models are computationally expensive due to the large number of transported chemical species, while the simplified physics-based models, such as single-step global mechanisms, are efficient but often overlook key chemical intermediates and pathways. Recent deep learning approaches promise accurate and cost-effective models. Yet, they require additional closures for the transported nonlinear latent variables, complicating integration with existing solvers. In this work, we develop a hybrid linear—nonlinear reduced model for silicon carbide deposition from methyltrichlorosilane precursor by combining principal component analysis (PCA) and autoencoder (AE) neural network (NN) approaches. PCA is used to identify a smaller set of linear transport variables, enabling direct reuse of conventional transport solvers. NNs then reconstruct the full chemical state from these reduced variables. We demonstrate the method on a chemical vapor deposition reactor—comprising a gas-phase pyrolysis plug flow reactor and a heterogeneous surface reactor—over a wide range of temperatures, pressures, and residence times. Our PCA–AE model achieves high accuracy with only five transported scalars, achieving an eightfold cost reduction compared to detailed mechanisms, in both a priori (using data from the test set only) and a posteriori (coupled with a differential equation solver). In conclusion, notable errors arise primarily near training domain boundaries and for long residence times, indicating the need for domain shift indicators and better long-horizon predictions in future reduced chemistry model development.

autoencoder neural networks↗
DOE OSTI2024

Data Science Shows that Entropy Correlates with Accelerated Zeolite Crystallization in Monte Carlo Simulations

We have performed a data science study of Monte Carlo simulation trajectories to understand factors that can accelerate formation of zeolite nanoporous crystals, a process that can take days or even weeks. In previous work, Monte Carlo simulations predicted and experiments confirmed that using a secondary organic structure-directing agent (OSDA) accelerates crystallization of all-silica LTA zeolite, with experiments finding a three-fold speedup [PCCP 24, 142-148 (2022)]. However, it remains unclear what physical factors cause the speed-up. Here, we apply data science to analyze the simulation trajectories to discover what drives accelerated zeolite crystallization in Monte Carlo going from a one-OSDA synthesis (1OSDA) to a two-OSDA version (2OSDA). We encoded simulation snapshots using the Smooth Overlap of Atomic Positions approach, which represents all 2- and 3-body correlations within a given cutoff distance. Principal component analyses failed to discriminate datasets of structures from 1OSDA and 2OSDA simulations, while the Support Vector Machine (SVM) approach succeeded at classifying such structures with an area-under-curve (AUC) score of 0.99 (where AUC = 1 is a perfect classification) with all 3-body correlations, and as high as 0.94 with only 2-body correlations. SVM decision functions reveal relatively broad / narrow histograms for 1OSDA / 2OSDA datasets, suggesting that the two simulations differ strongly in information heterogeneity. Informed by these results, we performed pair (2-body) entropy calculations during crystallization, resulting in entropy differences that semi-quantitatively account for the speedup observed in the previous Monte Carlo simulations. We conclude that altering synthesis conditions in ways that substantially changes the entropy of labile silica networks may accelerate zeolite crystallization, and we discuss possible approaches for achieving such acceleration.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2024

Advances in Engineering Nucleotide Sugar Metabolism for Natural Product Glycosylation in Saccharomyces cerevisiae

Glycosylation is a ubiquitous modification present across all of biology, affecting many things such as physicochemical properties, cellular recognition, subcellular localization, and immunogenicity. Nucleotide sugars are important precursors needed to study glycosylation and produce glycosylated products. Saccharomyces cerevisiae is a potentially powerful platform for producing glycosylated biomolecules, but it lacks nucleotide sugar diversity. Nucleotide sugar metabolism is complex, and understanding how to engineer it will be necessary to both access and study heterologous glycosylations found across biology. This review overviews the potential challenges with engineering nucleotide sugar metabolism in yeast from the salvage pathways that convert free sugars to their associated UDP-sugars to de novo synthesis where nucleotide sugars are interconverted through a complex metabolic network with governing feedback mechanisms. Finally, recent examples of engineering complex glycosylation of small molecules in S. cerevisiae are explored and assessed.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Neural architecture codesign for fast physics applications

We develop a pipeline to streamline neural architecture codesign for physics applications to reduce the need for ML expertise when designing models for novel tasks. Our method employs neural architecture search and network compression in a two-stage approach to discover hardware efficient models. This approach consists of a global search stage that explores a wide range of architectures while considering hardware constraints, followed by a local search stage that fine-tunes and compresses the most promising candidates. We exceed performance on various tasks and show further speedup through model compression techniques such as quantization-aware-training and neural network pruning. We synthesize the optimal models to high level synthesis code for FPGA deployment with the hls4ml library. Additionally, our hierarchical search space provides greater flexibility in optimization, which can easily extend to other tasks and domains. We demonstrate this with two case studies: Bragg peak finding in materials science and jet classification in high energy physics, achieving models with improved accuracy, smaller latencies, or reduced resource utilization relative to the baseline models.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Autonomous Electrochemistry Platform with Real-Time Normality Testing of Voltammetry Measurements Using ML

Electrochemistry workflows utilize various instruments and computing systems to execute workflows consisting of electrocatalyst synthesis, testing and evaluation tasks. The heterogeneity of the software and hardware of these ecosystems makes it challenging to orchestrate a complete workflow from production to characterization by automating its tasks. We propose an autonomous electrochemistry computing platform for a multi-site ecosystem that provides the services for remote experiment steering, real-time measurement transfer, and AI/ML-driven analytics. We describe the integration of a mobile robot and synthesis workstation into the ecosystem by developing custom hub-networks and software modules to support remote operations over the ecosystem’s wireless and wired networks. We describe a workflow task for generating I-V voltammetry measurements using a potentiostat, and a machine learning framework to ensure their normality by detecting abnormal conditions such as disconnected electrodes. We study a number of machine learning methods for the underlying detection problem, including smooth, non-smooth, structural and statistical methods, and their fusers. We present experimental results to illustrate the effectiveness of this platform, and also validate the proposed ML method by deriving its rigorous generalization equations.

Alnajjar, Anees↗
DOE OSTI2025

Data Structure Alchemy

In an increasingly more data-driven world, the project set out to uncover the first principles of data-structure design, chart the immense design space they form, and build automation that can synthesize an optimal structure, or even a whole storage engine, for any given workload, hardware platform, and cost target. Data structures are at the center of every computational system and are directly responsible for its performance. Two core technical thrusts were defined: 1) Mapping design spaces for key data-centric abstractions (filters, hash functions, storage-engine layouts, neural-network topologies, blockchain protocols, image layouts, etc.). 2) Developing search & synthesis algorithms, initially analytical cost models, later neural-guided bi-level optimisers that navigate sextillions of candidate designs in seconds and materialise the best one as ready‐to-run code. This report distills the key insights, accomplishments, and impact.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Utilizing Single-Crystalline Transformations for Precise Atom Placement in Multicomponent Cluster-Based Coordination Networks

The assembly of cluster or superatom building-blocks into extended solids has revolutionized materials design, enabling the synthesis of modular semiconductors with well-defined structures and tunable electronic, magnetic or optical properties. This strategy has recently advanced the synthesis of complex metal oxides with multifunctional or emergent behaviors, but precise atom placement of multiple elements with similar chemistries or preferred coordination environments remains a significant challenge. Here, in this study, we present a strategy for synthesizing polyoxometalate (POM)-based coordination networks with up to three different cations in precisely defined positions. Our approach leverages a single-crystal-to-single-crystal (SCSC) transformation in which the spatial placement of cations is governed by their availability at distinct stages of crystallization and transformation. Specifically, [ZP 5 W 30 O 110 ] (15-n)- (Z = Na + , K + , Ca 2+ , Ag + , Bi 3+ , Y 3+ , any Ln 3+ , Th 4+ ) is coordinatively assembled with various bridging metal cations (Y 3+ , any Ln 3+ , Th 4+ ). By using the encapsulated cation (Z) to "label" the POM, we track the phase-transformation and confirm the retention of single crystallinity. The integrated use of POM labeling and SCSC transformation enables rational control over cation distribution and establishes a versatile strategy for constructing multicomponent materials with high compositional and spatial precision.

Chen, Linfeng [Univ. of California, San Diego, CA ↗
NASA NTRS1992

Cerebellar neurocontroller project, for aerospace applications, in a civilian neurocomputing initiative in the 'decade of the brain'

A key question is how to utilize civilian government agencies along with an industrial consortium to successfully complement the so far primarily defense-oriented neural network research. Civilian artificial neural system projects, such as artificial cerebellar neurocontrollers aimed at duplicating nature's existing neural network solutions for adaptive sensorimotor coordination, are proposed by such a synthesis. The cerebellum provides an intelligent interface between higher possibly symbolic levels of human intelligence and repetitious demands of real world conventional controllers. The generation of such intelligent interfaces could be crucial to the economic feasibility of the human settlement of space and an improvement in telerobotics techniques to permit the cost-effective exploitation of nonterrestrial materials and planetary exploration and monitoring. The authors propose a scientific framework within which such interagency activities could effectively cooperate.

Pellionisz, Andras J.↗
NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗
DOE OSTI2026

On-Detector Machine Learning for Beam-Induced Background Rejection at a 10 TeV Muon Collider

A 10 TeV Muon Collider is a compelling candidate for a future energy-frontier facility, offering unprecedented opportunities to explore the fundamental laws of particle physics. Muon decays in the collider ring produce intense beam-induced background (BIB) that can overwhelm detector occupancy and exceed readout bandwidth constraints. We investigate the potential of on-detector Machine Learning for BIB rejection in the vertex detector, exploiting pixel cluster shapes to distinguish background from collision products. We study three classes of lightweight neural-network architectures, and evaluate their implementation feasibility using high-level synthesis. Selected architectures achieve 88 to 90% data reduction at 99% signal efficiency, while requiring hardware resources compatible with potential ASIC implementation. These results demonstrate the potential of performing substantial BIB rejection directly in the pixel readout, providing a strategy for meeting the tracker readout requirements at a future Muon Collider.

Abadjiev, Daniel [Chicago U.]↗
DOE OSTI2025

Structure-performance relationships in lignin-based transesterification vitrimers: The role of lignin structural features

Lignin has been hailed as an ideal renewable alternative for petrochemical-based prepolymers in material synthesis for a sustainable and circular economy, due to its abundant aromatic network and high carbon content. However, the properties and performance of lignin-derived macromolecules are strongly influenced by the lignin itself. While numerous studies have explored the impact of lignin content on the thermomechanical performance of lignin-based vitrimers, literature on how the inherent structural features of lignin affect these properties is scanty. In this study, hardwood organosolv lignin was fractionated in ethyl acetate, ethanol, and acetone to obtain lignin fractions with varying structural characteristics. These fractions were then modified through carboxylation and crosslinked with epoxidized soybean oil (ESO) at a hydroxyl to epoxy group ratio of 1:1 to produce lignin-based transesterification vitrimers (LVs). The thermal properties (i.e. glass transition temperature and thermal stability), tensile strength, storage modulus, and stress relaxation behavior of the LVs were studied and carefully related to the structural features of lignin. The results revealed a positive relationship between strong hydroxyl content in modified lignin and the tensile strength (5.10–9.71 MPa), storage modulus (1099.4 – 1372.8 MPa), crosslinking density, and stress relaxation of the LVs. Additionally, both the storage modulus and tensile strength exhibited a positive relationship with the ratio of rigid linkages in modified lignin, while lignin molecular weight was found to significantly impact the thermal properties of LVs (i.e Tg and thermal stability). This study not only highlights the valorization of lignin in vitrimer synthesis but also provide insights for designing lignin-based materials with tailored properties for specific applications.

Bio-based polymer↗
NASA NTRS2006

Following the Water: the Evolution of Ice-forming Regions in the Early Solar Nebula

The abundances of water-vapor and water-ice during the first ten million years of the protoplanetary solar nebula are simulated using a new condensation/sublimation model. This study builds on a "snow line" model reported in ApJ 627 L153 (2005); it uses a simple phenomenological model where water vapor molecules evolve from solar atomic abundance and eventually condenses to ice at colder points in the nebula once the water-vapor partial pressure exceeds a value determined by the phase diagram for water. The synthesis of water vapor from elementary species is modeled with a chemical network consisting of about 400 species and 4000 reactions. The evolution of the icy zone (and its relative abundance of solid ice) is traced from a limited region in the early hotter disk to its final state at the time when the gas is expelled and a planetary system begins to form. Possible effects of this dynamic motion on disk chemistry and organic molecule formation are also described.

Davis, Sanford S.↗
DOE OSTI2025

Synthetic Scientific Image Generation with VAE, GAN, and Diffusion Model Architectures

Generative AI (genAI) has emerged as a powerful tool for synthesizing diverse and complex image data, offering new possibilities for scientific imaging applications. This review presents a comprehensive comparative analysis of leading generative architectures, ranging from Variational Autoencoders (VAEs) to Generative Adversarial Networks (GANs) on through to Diffusion Models, in the context of scientific image synthesis. We examine each model's foundational principles, recent architectural advancements, and practical trade-offs. Our evaluation, conducted on domain-specific datasets including microCT scans of rocks and composite fibers, as well as high-resolution images of plant roots, integrates both quantitative metrics (SSIM, LPIPS, FID, CLIPScore) and expert-driven qualitative assessments. Results show that GANs, particularly StyleGAN, produce images with high perceptual quality and structural coherence. Diffusion-based models for inpainting and image variation, such as DALL-E 2, delivered high realism and semantic alignment but generally struggled in balancing visual fidelity with scientific accuracy. Importantly, our findings reveal limitations of standard quantitative metrics in capturing scientific relevance, underscoring the need for domain-expert validation. We conclude by discussing key challenges such as model interpretability, computational cost, and verification protocols, and discuss future directions where generative AI can drive innovation in data augmentation, simulation, and hypothesis generation in scientific research.

Generative Adversarial Networks↗
NASA NTRS1987

Airborne Doppler lidar observations of convective phenomena in Oklahoma

On 30 June 1981, the wind fields around a variety of convective clouds, ranging from large thunderstorm complexes to isolated cumulus congestus, were observed in Oklahoma using an airborne Doppler lidar operated by NASA. By steering the pulsed infrared laser beam alternately along differing horizontal directions, a network of independent radial velocity measurements is obtained, which permits high-resolution synthesis of the full horizontal wind vector field in a swath adjacent to the aircraft flight track. The bright reflections of the laser signal by cloud surfaces permit direct identification of the locus of cloud edges, information which is prerequisite to detailed study of the relationships between the winds inside and outside clouds. The horizontal wind fields derived from the lidar data reveal waves and vortices along the gust front of a storm which eventually produced a gust-front tornado, and cloud-scale convergence patterns around an isolated cumulus congestus. Despite the presence of some questionable data associated with undersampling and delayed recording of certain aircraft motion parameters, most of the lidar results appear consistent with cloud photographs made during the experiment, with surface meteorological data, with aircraft flight-level wind data, and with previous observational and theoretical work.

Mccaul, Eugene W., Jr.↗
NASA NTRS2008

Observability and Estimation of Distributed Space Systems via Local Information-Exchange Networks

In this work, we develop an approach to formation estimation by explicitly characterizing formation's system-theoretic attributes in terms of the underlying inter-spacecraft information-exchange network. In particular, we approach the formation observer/estimator design by relaxing the accessibility to the global state information by a centralized observer/estimator- and in turn- providing an analysis and synthesis framework for formation observers/estimators that rely on local measurements. The noveltyof our approach hinges upon the explicit examination of the underlying distributed spacecraft network in the realm of guidance, navigation, and control algorithmic analysis and design. The overarching goal of our general research program, some of whose results are reported in this paper, is the development of distributed spacecraft estimation algorithms that are scalable, modular, and robust to variations inthe topology and link characteristics of the formation information exchange network. In this work, we consider the observability of a spacecraft formation from a single observation node and utilize the agreement protocol as a mechanism for observing formation states from local measurements. Specifically, we show how the symmetry structure of the network, characterized in terms of its automorphism group, directly relates to the observability of the corresponding multi-agent system The ramification of this notion of observability over networks is then explored in the context of distributed formation estimation.

observability↗