Search NASA⌕ Search

SEARCH · Search NASA

Results for “Transformational Tools and Technologies”

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

Spatially Resolved Raman Spectroscopic Investigation of Uranyl Fluoride: A Case Study in the Importance of Instrument Optimization

Raman spectroscopy is an emerging technique for rapid and nondestructive analysis of nuclear materials for forensic and nonproliferation applications as it is a powerful tool for distinguishing multiple chemical forms of materials with similar stoichiometries. Recent developments in spectroscopic software have enabled rapid data collection with high-speed Raman spectroscopic mapping capabilities. However, some uranium-rich materials are susceptible to degradation in humid air and/or laser-induced phase transformations. To mitigate environmental or measurement-related sample degradation of potential samples of interest, we have taken a systematic approach to define optimized data collection parameters for high-throughput measurements of uranyl fluoride (UO 2 F 2 ), which is an important intermediate material in the nuclear fuel cycle. First, we systematically describe the influence of optical magnification (5× to 100×), laser power, and exposure time on obtained signal for identical particles of UO 2 F 2 and find that at low laser power and exposure times, comparable signal is obtained regardless of optical magnification. Second, we ensure sample integrity during data collection, and third, collect spectroscopic maps that employ optimized parameters to reduce the time required to obtain spatially resolved spectroscopic information. Reductions of 90% and 99% in measurement times are discussed as they relate to differences in resolving spectroscopic features of particles in identical mapping areas. Finally, during this work, we found that additional data processing options were needed and thus developed a customized Python script for importing, processing, analyzing, and visualizing Raman spectroscopic map data.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2023

Foundations of machine learning for low-temperature plasmas: methods and case studies

Abstract Machine learning (ML) and artificial intelligence have proven to be an invaluable tool in tackling a vast array of scientific, engineering, and societal problems. The main drivers behind the recent proliferation of ML in practically all aspects of science and technology can be attributed to: (a) improved data acquisition and inexpensive data storage; (b) exponential growth in computing power; and (c) availability of open-source software and resources that have made the use of state-of-the-art ML algorithms widely accessible. The impact of ML on the field of low-temperature plasmas (LTPs) could be particularly significant in the emerging applications that involve plasma treatment of complex interfaces in areas ranging from the manufacture of microelectronics and processing of quantum materials, to the LTP-driven electrification of the chemical industry, and to medicine and biotechnology. This is primarily due to the complex and poorly-understood nature of the plasma-surface interactions in these applications that pose unique challenges to the modeling, diagnostics, and predictive control of LTPs. As the use of ML is becoming more prevalent, it is increasingly paramount for the LTP community to be able to critically analyze and assess the concepts and techniques behind data-driven approaches. To this end, the goal of this paper is to provide a tutorial overview of some of the widely-used ML methods that can be useful, amongst others, for discovering and correlating patterns in the data that may be otherwise impractical to decipher by human intuition alone, for learning multivariable nonlinear data-driven prediction models that are capable of describing the complex behavior of plasma interacting with interfaces, and for guiding the design of experiments to explore the parameter space of plasma-assisted processes in a systematic and resource-efficient manner. We illustrate the utility of various supervised, unsupervised and active learning methods using LTP datasets consisting of commonly-available, information-rich measurements (e.g. optical emission spectra, current–voltage characteristics, scanning electron microscope images, infrared surface temperature measurements, Fourier transform infrared spectra). All the ML demonstrations presented in this paper are carried out using open-source software; the datasets and codes are made publicly available. The FAIR guiding principles for scientific data management and stewardship can accelerate the adoption and development of ML in the LTP community.

Physics↗
NASA NTRS2023

The Earth in Living Color - NASA’s Surface Biology and Geology Designated Observable

The Surface Biology and Geology (SBG) Designated Observable will transform our understanding of the global land surface, inland and coastal aquatic ecosystems through visible-to-shortwave infra-red imaging (VSWIR) spectroscopy and thermal infra-red (TIR) imaging. SBG is one of four high-priority observables recommended in the 2017 NASA Earth Science Decadal Survey t o address science questions on vegetation and aquatic ecosystem health, snow-cover dynamics, volcanic activity, and minerology. With a planned launch readiness date of 2028, SBG is currently in Pre-Phase A, with Level 1 requirements being developed for a two-spacecraft architecture, including an additional constellation pathfinder. The recommended architecture emerged from an extensive study (2018-2021) that engaged the research and applications community to consider the science questions and measurement objectives of the Decadal Survey. A Science and Applications Traceability Matrix was used as a basis for scoring candidate architectures, with inputs from four working groups that covered algorithms, applications, calibration and validation, and modeling. Two pathfinder studies, Modeling End-to-End Traceability in support of SBG (MEET-SBG) and Space-based Imaging Spectroscopy and Thermal pathfindER (SISTER) are providing pre-launch modeling tools and data for algorithm development to support science value trades. The architecture consists of one spacecraft hosting a wide-swath VSWIR imaging spectrometer providing 30-m ground-sample distance (GSD), a spectral range of 380-2500 nm (at 10 nm resolution), 16-day revisit with 400 signal-to-noise for VNIR and 250 for SWIR (at 25% reflectance). A separate spacecraft will host a wide swath thermal imager, with five to seven bands placed between 4-12 μm), with 60-m (GSD), 3- day revisit, and 0.2K noise-equivalent differential temperature (NeDT). A VNIR compact camera will be hosted on the TIR spacecraft to enable coincident TIR and VNIR observations. A constellation pathfinder will evaluate options for enabling VSWIR mission continuity using Small Sats or data buys. Partnerships with international space agencies contribute technology as well as improvements to temporal revisit. SBG, when launched, will be the first dedicated mission collecting the full spectra of the Earth’s ‘living color’ and will play a critical role in NASA’s Earth System Observatory.

David S Schimel↗
DOE OSTI2025

Digital Transformation for the Existing Fleet: Where to Start?

To remain economically viable in today’s electricity marketplace, nuclear power plants are replacing old analog equipment with modern digital tools. Having information available in an electronic format allows most work processes to become more efficient by automating simple, time-consuming tasks. However, with thousands of routine work processes performed every day, it can be difficult for the plants to know where to begin. We partnered with a nuclear utility to develop a novel assessment tool that measures seven health indicators for each work process performed, providing a rapid digital status report of the plant. The assessment tool is inexpensive and user-friendly, administered remotely, and automatically customized to each employee. Data from 167 employees representing different perspectives were analyzed to identify optimal candidates for digital initiatives that yield the highest payback for increased process efficiencies. We ranked by a priority index to ensure that processes with a good combination of time savings and digital opportunity were at the top. The focus was on determining a maximum investment to ensure that the cost savings from these initiatives are positive over a specified period. We identified potential cost savings of $2.6m, $1.3m and $1.2m for our top priority processes. By using our novel assessment tool to determine the digital status of the plant’s work processes, they were provided with a starting point for target candidates that would most benefit from a digital initiative. Our analysis helps stakeholders understand the financial impact of digital initiatives and identify maximum investment amounts when seeking technical solutions.

assessment↗
DOE OSTI2024

Phase-field modeling of thermally-grown oxide and damage evolution in environmental barrier coatings

Silicon carbide-based ceramic matrix composites protected by environmental barrier coatings (EBCs) present a promising materials solution for next-generation gas turbines. Developing more robust and efficient EBCs is therefore of significant technological importance. During the service in high-temperature oxidative environments, there is a thermally grown oxide (TGO) layer, spontaneously formed in the EBC system. TGO is recognized as a critical factor for the degradation and failure of EBCs, yet the detailed mechanisms of TGO growth and its effect on EBC failure remain unclear. In this study we develop a comprehensive chemo-mechano-phase-field model to simulate growth of the TGO in EBCs, factoring in creep and deformation, and especially the cracking behaviors. The volume expansion due to TGO growth and the resulting large inelastic deformation are addressed by using our recently developed, so-called incremental realization of inelastic deformation (IRID) algorithm, in combination with an adapted Hu-Chen spectral solver for elasticity. Simulations of TGO growth are performed considering different growth modes of TGOs determined mainly by the ratio of oxidant permeability in the topcoat to that in the TGO itself. Large-scale three-dimensional (3D) simulations are performed to model the formation of interconnecting vertical/channel cracks (often called ‘mud cracks’). The simulated crack morphology are in excellent agreement with the experimental observations from the literature. The simulations also provide insights into the cracking of EBCs and its dependence on the structure and constituent properties of the coating system. Furthermore, these results demonstrate the developed damage model can be a useful tool for design of more durable EBCs.

Cracking↗
NASA NTRS2016

Earth Science Data Analytics: Preparing for Extracting Knowledge from Information

Data analytics is the process of examining large amounts of data of a variety of types to uncover hidden patterns, unknown correlations and other useful information. Data analytics is a broad term that includes data analysis, as well as an understanding of the cognitive processes an analyst uses to understand problems and explore data in meaningful ways. Analytics also include data extraction, transformation, and reduction, utilizing specific tools, techniques, and methods. Turning to data science, definitions of data science sound very similar to those of data analytics (which leads to a lot of the confusion between the two). But the skills needed for both, co-analyzing large amounts of heterogeneous data, understanding and utilizing relevant tools and techniques, and subject matter expertise, although similar, serve different purposes. Data Analytics takes on a practitioners approach to applying expertise and skills to solve issues and gain subject knowledge. Data Science, is more theoretical (research in itself) in nature, providing strategic actionable insights and new innovative methodologies. Earth Science Data Analytics (ESDA) is the process of examining, preparing, reducing, and analyzing large amounts of spatial (multi-dimensional), temporal, or spectral data using a variety of data types to uncover patterns, correlations and other information, to better understand our Earth. The large variety of datasets (temporal spatial differences, data types, formats, etc.) invite the need for data analytics skills that understand the science domain, and data preparation, reduction, and analysis techniques, from a practitioners point of view. The application of these skills to ESDA is the focus of this presentation. The Earth Science Information Partners (ESIP) Federation Earth Science Data Analytics (ESDA) Cluster was created in recognition of the practical need to facilitate the co-analysis of large amounts of data and information for Earth science. Thus, from a to advance science point of view: On the continuum of ever evolving data management systems, we need to understand and develop ways that allow for the variety of data relationships to be examined, and information to be manipulated, such that knowledge can be enhanced, to facilitate science. Recognizing the importance and potential impacts of the unlimited ways to co-analyze heterogeneous datasets, now and especially in the future, one of the objectives of the ESDA cluster is to facilitate the preparation of individuals to understand and apply needed skills to Earth science data analytics. Pinpointing and communicating the needed skills and expertise is new, and not easy. Information technology is just beginning to provide the tools for advancing the analysis of heterogeneous datasets in a big way, thus, providing opportunity to discover unobvious scientific relationships, previously invisible to the science eye. And it is not easy It takes individuals, or teams of individuals, with just the right combination of skills to understand the data and develop the methods to glean knowledge out of data and information. In addition, whereas definitions of data science and big data are (more or less) available (summarized in Reference 5), Earth science data analytics is virtually ignored in the literature, (barring a few excellent sources).

data analytics↗
DOE OSTI2024

AI-assisted detector design for the EIC (AID(2)E)

Artificial Intelligence is poised to transform the design of complex, large-scale detectors like ePIC at the future Electron Ion Collider. Featuring a central detector with additional detecting systems in the far forward and far backward regions, the ePIC experiment incorporates numerous design parameters and objectives, including performance, physics reach, and cost, constrained by mechanical and geometric limits. This project aims to develop a scalable, distributed AI-assisted detector design for the EIC (AID(2)E), employing state-of-the-art multiobjective optimization to tackle complex designs. Supported by the ePIC software stack and using G EANT 4 simulations, our approach benefits from transparent parameterization and advanced AI features. The workflow leverages the PanDA and iDDS systems, used in major experiments such as ATLAS at CERN LHC, the Rubin Observatory, and sPHENIX at RHIC, to manage the compute intensive demands of ePIC detector simulations. Tailored enhancements to the PanDA system focus on usability, scalability, automation, and monitoring. Ultimately, this project aims to establish a robust design capability, apply a distributed AI-assisted workflow to the ePIC detector, and extend its applications to the design of the second detector (Detector-2) in the EIC, as well as to calibration and alignment tasks. Additionally, we are developing advanced data science tools to efficiently navigate the complex, multidimensional trade-offs identified through this optimization process.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2004

The Role of Ontologies in Schema-based Program Synthesis

Program synthesis is the process of automatically deriving executable code from (non-executable) high-level specifications. It is more flexible and powerful than conventional code generation techniques that simply translate algorithmic specifications into lower-level code or only create code skeletons from structural specifications (such as UML class diagrams). Key to building a successful synthesis system is specializing to an appropriate application domain. The AUTOBAYES and AUTOFILTER systems, under development at NASA Ames, operate in the two domains of data analysis and state estimation, respectively. The central concept of both systems is the schema, a representation of reusable computational knowledge. This can take various forms, including high-level algorithm templates, code optimizations, datatype refinements, or architectural information. A schema also contains applicability conditions that are used to determine when it can be applied safely. These conditions can refer to the initial specification, to intermediate results, or to elements of the partially-instantiated code. Schema-based synthesis uses AI technology to recursively apply schemas to gradually refine a specification into executable code. This process proceeds in two main phases. A front-end gradually transforms the problem specification into a program represented in an abstract intermediate code. A backend then compiles this further down into a concrete target programming language of choice. A core engine applies schemas on the initial problem specification, then uses the output of those schemas as the input for other schemas, until the full implementation is generated. Since there might be different schemas that implement different solutions to the same problem this process can generate an entire solution tree. AUTOBAYES and AUTOFILTER have reached the level of maturity where they enable users to solve interesting application problems, e.g., the analysis of Hubble Space Telescope images. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.

Bures, Tomas↗
DOE OSTI2021

In Situ High Energy X-ray Diffraction Characterization of Phase Transformations and Mechanical Behaviors in Rapidly Solidified Titanium and Stainless Steel Alloys [Thesis]

Advanced manufacturing techniques like additive manufacturing (AM) have poised themselves to revolutionize metal manufacturing. A wide range of AM techniques are capable of manufacturing metal components with unique, complex geometries and hastening the scientific-engineering-development cycle. Metal AM relies on a layer-by-layer rapid manufacturing process to build components from the substrate up. Rapid solidification is a large departure from traditional metal manufacturing due to its complex physics. Characterization of rapid solidification is difficult, stemming from the small volumes used in AM and the fast dynamics of the process. High energy X-ray diffraction (HEXRD) is a solution to the characterization problems of rapidly solidified alloys and AM. HEXRD can probe small volumes at fast rates and provides a wide range of thermomechanical and kinetic information. This thesis presents the application of HEXRD to rapidly solidified titanium and stainless steel alloys through a series of case studies. In the first two studies, HEXRD is applied to rapidly solidified titanium and stainless steel welds. The materials are characterized for their temperature history, phase changes, kinetics, and microstructural evolution. In the next case study, HEXRD is applied to characterize phase changes in elastocaloric NiTi shape memory alloys (SMAs) under thermomechanical load. HEXRD, in conjunction with other tools, is used to explain the superior performance of the additively manufactured SMAs. In the final two case studies, HEXRD is used to measure the mechanical response of AM parts with complex geometries; namely, the octet truss lattice. Diffraction reveals a wide range of materials information about the AM microstructure including unexpected phases, texture, and mechanical response to loading. The mechanical results from HEXRD and then compared with theoretical predictions about the performance of octet truss lattices. Summarily, HEXRD is a diverse tool that is poised to address the complex characterization problems of many aspects of the additive manufacturing process.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Development and implementation of an in situ high-resolution isotopic microscope for measuring metabolic interactions in soil mesocosms (Final Report)

Many of our planet’s ecosystems rely on the activities of soil microbial communities. These microbes have significant and wide-ranging effects: they metabolize carbon and other nutrients, interact with plants and fungi, and perform other processes important to soil health. However, our ability to directly observe the enzymatic and metabolic activities of microbes within soil is currently limited, not only by the complexity of soil microbial communities themselves, but also by the lack of experimental tools to study them and their molecular interactions in situ. These challenges hinder our understanding of the life-sustaining processes of biomass decomposition and the manner in which it contributes to the movement of freed carbon within soil ecosystems. Here we aimed to develop a novel ultrahigh-resolution isotopic microscope that combines complementary imaging modalities to gain insights into metabolic cycling in soil. This final report covers both the portion of this work that was initially completed at the University of North Carolina at Chapel Hill from 2018 to 2019 (as award DE-SC0019012) and then from 2020 to 2022 (2023 in NCE) at the University of Massachusetts Chan Medical School. This goal was to build an integrated platform consisting of fluorescence microscopy, Raman microspectroscopy, and nanospray desorption electrospray ionization Fourier transform ion cyclotron resonance mass spectrometry (nanoDESI-FTICR-MS) to directly investigate microbial activities and molecular transformations occurring in soil by exploiting the use of both fluorescent labels and stable isotope probing. Specifically, our instrument was conceived as integrating: (A) fluorescence detection to localize soil microbes, identify bacteria taking up polysaccharides, and monitor gene expression of enzymes involved in decomposition; (B) Raman microspectroscopy to determine which microbes incorporate decomposition products into their biomass, as well as which decomposers are metabolically active; and (C) nanoDESI-FTICR-MS imaging to spatially probe, in real-time, the metabolites in the surrounding area, which we expect will reveal the distributions of the products of the enzymatic breakdown of polysaccharides, as well as specialized metabolites acting as cell-cell signals between decomposers. To enable these measurements, we exploited fluorescence-based probes to map the microbes that are enzymatically active (per A) and utilized stable isotope-labeled substrates to visualize both the microbial and molecular fate of decomposed biomass (B and C, respectively). To accomplish our goal, we combined the expertise of a multidisciplinary group of scientists to pursue the construction of this microscope and to investigate scientific questions that would be facilitated by such a capability. We aimed to employ this spatially informative, high-resolution isotopic microscope to visualize the critical steps of biomass degradation and the molecular fate of other environmentally relevant substrates within soil mesocosms. Accordingly, this technology will enhance our understanding of the microbial and metabolic interactions occurring within soil communities that are relevant to carbon degradation and other soil processes. The instrument has been developed and housed at EMSL, where it will be available to the entire EMSL User Base, enabling a variety of related DOE-relevant systems to be interrogated in the future by diverse scientific research groups.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2026

Short‐Term Hourly Weather Forecasting Using PredRNN With Image Preprocessing

Global weather forecast models are vital tools with numerous applications, including public safety, agriculture, and transportation. Recent advancements in artificial intelligence (AI) and deep learning (DL) have shown the potential to enhance weather forecasting accuracy and speed. In this study, we developed a short-term hourly weather forecast framework with a wavelet transform function for data preprocessing and a spatiotemporal DL model, PredRNN, for predicting five surface atmospheric variables, including wind speed and direction, mean sea level pressure (MSLP), temperature, and precipitation. The framework demonstrated promising results. It produces global forecasts at 0.25° (∼25 km) with a 1-day lead time RMSE of 1.8 m/s for wind components, 180 Pa for MSLP, and 1.8 K for temperature. Although our model does not surpass state-of-the-art AI weather forecast models across all metrics, it outperforms these models in precipitation forecasting and wind prediction at short lead times and achieves comparable accuracy for MSLP. Its native hourly forecasting capability, together with training on widely accessible GPU hardware, contributes meaningfully to the advancement of accessible DL weather forecasting methods. Our work highlights the importance of integrating temporal components and data transformation techniques to improve the predictability and accuracy of weather forecasts.

Tran, Hoang [Pacific Northwest National Laboratory↗
NASA NTRS2007

The Road to Mach 10: A History of the X-43A Hypersonic Flight Test Program at NASA Dryden...Toward the Future

In terms of technology, the X-43A/Hyper-X represented a singular milestone. After nearly a half century of high hopes, studies, wind tunnel tests, proposals, and canceled projects, a scramjet-powered vehicle had flown. The performance of the engine qualified the scramjet design tools and scaling laws. In turn, the theoretical calculations and ground testing could be used to design more advanced engine concepts. Just as important, both the scramjet and vehicle systems had successfully operated in the variable temperatures and densities of the atmosphere. The X-43A systems were able to maintain the exact flight conditions necessary for the scramjet to operate properly. Control deflections to correct the engine-induced moments were close to pre-flight predictions. When the unexpected occurred, such as when the vehicle pitched up during the cowl opening on the second flight, the control system was sufficiently designed to correct the situation. The airframe and wing structure, the thermal protection material, and the internal conditions of the X-43A performed largely as predicted. The HXLV thermal anomaly during the ascent on the third flight and "the Mach 8 unpleasantness" during the descent indicated that the HXLV and X-43A were not as resilient to aerodynamic heating as expected. The X-43A 's airframe drag and lift both were slightly higher than predicted, but still within preflight uncertainty predictions. The stability and control were as predicted, as was the boundary layer transition. The biggest aerodynamic worry before the flight was the separation of the HXLV and the X- 43A. After all was said and done, this went exactly as predicted, proving that non-symmetrical/high-dynamic pressure stage separations could be performed. This in turn meant that two-stage-to-orbit vehicles employing this technology were feasible. The Hyper-X program also served as a training ground for a new generation of scramjet and hypersonic researchers. This included both NASA and contractor personnel, providing them with experience in ground testing and component development; vehicle design, construction, integration, system checkout, and, ultimately, flight testing and data analysis. Additionally, researchers learned the practical details of running a project within finite budget and time limits, about the ambiguousness of risk assessment, and about the need to spend a significant amount of time and effort dealing with engineering problems, such as those with the FAS, that have nothing to do with the project's research goals. Finally, all those who worked on the X-43A project now know what it is like to spend years transforming an idea into a functional vehicle, only for it to be lost in a matter of seconds. And then to go through years of work to correct the problems, to face the possibility that still more might exist, and finally to savor the triumph of two successful flights. For those who will work on the hypersonic projects that emerge in coming years, these experiences may prove to be the most valuable of all.

Peebles, Curtis↗
NASA NTRS2005

Formal Safety Certification of Aerospace Software

In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

Denney, Ewen↗
DOE OSTI2026

Automated ICRF heating surrogate modeling via machine learning

This work introduces automated machine learning workflows that address critical bottlenecks in surrogate model development for Ion Cyclotron Range of Frequencies (ICRF) heating applications. The automated framework includes data analysis tools that transform raw datasets into actionable insights in seconds, replacing weeks of manual exploratory effort and ensuring consistent, reproducible dataset characterization. By integrating advanced hyperparameter optimization (HPO) methods including Bayesian optimization via BoTorch and Tree-structured Parzen Estimators (TPE), the framework significantly reduces model development time from weeks to hours, decreasing computational cost and required expertise, while enabling high-accuracy surrogate models. Compared to traditional hyperparameter scanning (HPS) techniques such as methodical, randomized, and grid searches, HPO methods achieve superior convergence and predictive performance, even when compared to already well-tuned reference models. On NSTX High Harmonic Fast Wave (HHFW) heating datasets, both Random Forest Regressor (RFR) and neural network surrogates demonstrate improved accuracy, achieving R 2 values beyond 0.97 and 0.98, respectively. The results show that while HPO gains are modest for robust architectures like RFR, they become essential for more sensitive models such as neural networks, highlighting the trade-offs across optimization strategies. Through automated workflows that eliminate manual hyperparameter tuning and require minimal ML expertise, this work enables widespread adoption of high-fidelity surrogate models across the fusion community for real-time plasma control, uncertainty quantification, rapid experimental scenario development, and integrated system optimization.

Sanchez-Villar, Alvaro [Princeton Plasma Physics L↗
DOE OSTI2024

UHT-CAMANCHE: Ultra-High Temperature Ceramic Additively Manufactured Compact Heat Exchangers

The conceptual basis for this project is the convergence of advanced ultra-high temperature ceramic materials and additive manufacturing technologies to produce compact ceramic heat exchangers with complex internal flow path geometries. Task areas were broadly divided into materials and manufacturing development, heat exchanger design, component testing, and techno-economic analysis. Technical challenges included the design and commissioning of new test facilities, improving feature resolution and deposition rate of ceramic additive manufacturing techniques, establishing process-structure-property relationships in additively manufactured ultra-high temperature ceramics, and assessing high temperature materials compatibility in CO 2 environments. The primary candidate material evaluated in this work is a composite comprising zirconium diboride (ZrB2) with 30 vol. % silicon carbide (SiC) which was selected based on its desirable combination of high temperature mechanical properties, high thermal and electrical conductivities, and oxidation resistance. High solids loaded ZrB2-SiC pastes suitable for extrusion-based additive manufacturing were developed for the first time as part of this work. Materials compatibility studies indicate this material oxidizes in CO 2 to form a protective borosilicate scale which transforms to pure silica above 1000°C. Parts made by additive manufacturing displayed enlarged grain sizes produced by pressureless sintering as compared to hot-press sintering. Increases in microstructural coarseness have outsized effect on oxidation performance up to 1400°C due to incomplete oxidation of coarse large diameter SiC particles resulting in lower amounts of silica that apparently inhibit protective scale formation. Additive manufacturing as a forming technique did not appear to significantly affect thermal conductivity, hardness, or elastic modulus, though flexural strength was reduced by half or more as compared to traditionally hot-pressed materials. This effect was attributed to the presence of strength-limiting flaws (ca. 40 microns in size) originating from extrudate inhomogeneities that could potentially be eliminated with further process improvements. Attempts to attain economies of scale for production of multi-kilowatt scale heat exchangers by ceramic additive manufacturing proved difficult. Lack of automation and a modest extrusion rate while retaining fine feature resolution made the overall process labor intensive and limited experimental throughput. A number of full-scale components were taken through post-process heat treatments including drying, binder burnout, and sintering; however, none survived without significant flaws or cracks. Therefore, no operational data from a newly installed heat exchanger test loop were able to be obtained during the performance period. Continued research and development is recommended to improve economic feasibility of ceramic additive manufacturing by standardizing the use of advanced sensors, artificial intelligence, and automation tools to reduce associated labor costs and accelerate production rates. The materials and manufacturing techniques demonstrated in this work are likely to find applications in defense and energy applications.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2022

Snowmass2021 Cosmic Frontier: Cosmic Microwave Background Measurements White Paper

This is a solicited whitepaper for the Snowmass 2021 community planning exercise. The paper focuses on measurements and science with the Cosmic Microwave Background (CMB). The CMB is foundational to our understanding of modern physics and continues to be a powerful tool driving our understanding of cosmology and particle physics. In this paper, we outline the broad and unique impact of CMB science for the High Energy Cosmic Frontier in the upcoming decade. We also describe the progression of ground-based CMB experiments, which shows that the community is prepared to develop the key capabilities and facilities needed to achieve these transformative CMB measurements.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2026

Quantitative Dissection of Agrobacterium Virulence to Generate a Synthetic Ti Plasmid

Agrobacterium is not only a costly plant pathogen but is also an essential tool for plant transformation. Though Agrobacterium-mediated transformation (AMT) has been heavily studied, its polygenic nature and complex transcriptional regulation make identification of the genetic basis of transformational efficiency difficult through traditional genetic and bioinformatic approaches. Here, we use a bottom-up synthetic approach to systematically engineer the tumor-inducing plasmid (pTi), wherein the majority of virulence machinery is encoded. Using a validated toolkit to control Agrobacterium gene expression in planta, we perform a quantitative dissection of AMT to investigate the contributions of critical vir-genes at different expression levels. We construct a synthetic pTi capable of transient plant and stable fungal transformation and characterize bottlenecks and solutions for complex polygenic synthetic pTi designs. Our reductionist approach demonstrates how bottom-up engineering can be used to dissect and elucidate the genetic underpinnings of complex biological traits, laying the foundation for future engineering to establish full synthetic control over the critical process of AMT.

Agrobacterium-mediated transformation↗
DOE OSTI2024

$Z$-Pinch Interferometry Analysis With the Fourier-Based TNT Code

Here, we present the analysis of interferometry diagnostics with the user-friendly Talbot Numerical Tool (TNT), a Fourier-based postprocessing code that enables real-time assessment of plasma systems. TNT performance was explored with visible and infrared interferometry in pulsed-power-driven Z -pinch configurations to expand its capabilities beyond Talbot X-ray interferometry in the high-intensity laser environment. TNT enabled accurate electron density characterization of magnetically driven plasma flows and shocks through phase-retrieval methods that did not require data modification or masking. TNT demonstrated enhanced resolution, detecting below 4 % fringe shift, which corresponds to 8.7 × 10 15 cm –2 within 28 μ m, approaching the laser probing system limit. TNT was tested against a well-known interferometry analysis software, delivering an average resolving power nearly ten times better (~28 μ m versus ~ 210 μ m) when resolving plasma ablation features. TNT demonstrated higher sensitivity when probing sharp electron density gradients in supersonic shocks. A maximum electron areal density of 4.1 × 10 17 cm –2 was measured in the shocked plasma region, and a minimum electron density detection of ~ 1.0 × 10 15 cm –2 was achieved. When probing colliding plasma flows, the calculations of the effective adiabatic index and the associated errors were improved from γ* = 2.6 ± 1.6 – 1.4 ± 0.2 with TNT postprocessing, contributing valuable data for the interpretation of radiative transport. Additional applications of TNT in the characterization of pulsed-power plasmas and beyond are discussed.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗