Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program 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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Regional Oil and gas Aerial Methane Synthesis model (Analytica) (ROAMS Analytica) v1.5.2

The Regional Oil and gas Aerial Methane Synthesis model (Analytica) is a tool to convert the results of wide-area, source-resolved aerial methane remote sensing surveys of oil and natural gas infrastructure in a given region into methane emissions inventories (estimates of the magnitude and breakdown of methane emissions from the surveyed infrastructure). This version is written in the Analytica programming language, and this version accompanies a correction in preparation for submission to Sherwin et al. 2024 (Nature). The tool leverages databases of source-resolved methane emissions detected in aerial surveys, aerial survey coverage information (which areas were measured and when), data summarizing surveyed oil and natural gas infrastructure and production (derived from third-party databases), as well as state-of-the-art mechanistic emissions simulation tools to characterize emissions too small for the aerial system to see. The regional methane emissions estimates produced by this tool are much more granular in both space and asset type than common satellite- or flux tower-based regional estimates. Unlike other tools for converting site-level measurements into regional emissions estimates, our unique geostatistical approach integrates aerially measured emissions with limited need for statistical extrapolation, which can be highly sensitive to modeler assumptions. As a result, ROAMS-based estimates of regional methane emissions from oil and gas activity are widely viewed as highly credible, as evidenced by the success of Dr. Sherwin's recent paper in Nature.

Sherwin, Evan [Lawrence Berkeley National Laborato↗
DOE OSTI2020

Materials and Approaches for Mitigation of SOFC Cathode Degradation in SOFC Power Systems

Perovskites such as doped lanthanum manganite and cobaltite have been used successfully as a cathode material in SOFC power systems operating between 700-1000°C. The electrodes, however, remain prone to degradation in presence of Cr containing gas atmosphere under systems operating conditions. Cathode in SOFCs is considered as one of the largest contributors of electrochemical performance degradations, leading to significant increase in ohmic and non-ohmic losses as well as interfacial compound formation. These degradations are mostly irreversible due to permanent changes to chemical and morphological alterations in the electrodes, resulting in the blockage of triple phase boundary (TPB) sites and decrease in oxygen reduction reactions (ORR). Fundamental mechanistic understanding has been developed to elucidate the reaction pathways of electrode poisoning in electronically conducting electrodes (LSM) as well as mixed ionic and electronically conducting electrodes (LSCF). The overall goal of this program has been identification and development of cost effective solutions to mitigate electrode degradations under “real world” systems operating conditions. The overall technological innovations and impact from this work are: The research provides an understanding of the degradation mechanism and cost-effective approaches for implementation in SOFC systems; Develop mitigation processes utilizing low cost getters using conventional synthesis and fabrication route; Develop tailored high surface area powders and coatings for high Cr capture capacity under systems operating conditions; >Developed computational models to understand mechanistic behavior; Experimentally measure rate of Cr evaporation from chromia and alumina forming alloys under SOFC operating conditions; Developed conditions to minimize Cr evaporation from balance-of-plant alloys; This innovation will support the development of getter platform to capture both intrinsic and extrinsic impurities present in air; and, Applications under wide operating temperature range (500-900°C) as well for wide high-temperature electrochemical systems (SOFC, SOEC, and OTM). The work has been successfully developed, validated experimentally and implemented. Successful technology transfer of this knowledge with industrial partners has been accomplished and the getters have been independently tested and validated under their systems operating conditions. The innovation will also find application in related high temperature electrochemical systems such as OTM and SOEC for the prevention of Cr assisted performance degradation. The proposed approach for Cr capture can also be applied to oxy-combustion and other advanced combustion techniques for the reduction of Cr vapor in the exhaust gas stream. This fundamental knowledge gained also has led to the path forward for developing advanced getters for capturing more than one contaminant in air.

01 COAL, LIGNITE, AND PEAT↗
DOE OSTI2022

Real-time bioelectronic sensing of environmental contaminants

Real-time chemical sensing is crucial for applications in environmental and health monitoring. Biosensors can detect a variety of molecules through genetic circuits that use these chemicals to trigger the synthesis of a coloured protein, thereby producing an optical signal. However, the process of protein expression limits the speed of this sensing to approximately half an hour, and optical signals are often difficult to detect in situ. Here we combine synthetic biology and materials engineering to develop biosensors that produce electrical readouts and have detection times of minutes. Here we programmed Escherichia coli to produce an electrical current in response to specific chemicals using a modular, eight-component, synthetic electron transport chain. As designed, this strain produced current following exposure to thiosulfate, an anion that causes microbial blooms, within 2 min. This amperometric sensor was then modified to detect an endocrine disruptor. The incorporation of a protein switch into the synthetic pathway and encapsulation of the bacteria with conductive nanomaterials enabled the detection of the endocrine disruptor in urban waterway samples within 3 min. Our results provide design rules to sense various chemicals with mass-transport-limited detection times and a new platform for miniature, low-power bioelectronic sensors that safeguard ecological and human health.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2022

FORCE-DISPATCHES Integration - Initial Demonstration

Integrated energy systems (IES) combine, in mutually beneficial ways, power from variable renewable energy sources and nuclear power plants (NPP) to improve economic viability under uncertain market and weather conditions. The open-source Framework for Optimization of Resources and Economics (FORCE) tool suite, developed at Idaho National Laboratory (INL), has enabled comprehensive modeling and simulation of IES. The capabilities within FORCE include grid portfolio optimization through the Holistic Energy Resource Optimization Network (HERON) and the transient process model analysis library HYBRID, among others. Continuous efforts and investments from the IES programs have been made to expand and improve the versatility of the FORCE toolset in fiscal year 2022. Code-coupling and cross-tool communication have been important methods for improving this versatility. This report focuses on an additional workflow in the HERON tool for capacity and dispatch stochastic optimization through integration with the external tool Design Integration and Synthesis Platform to Advance Tightly Coupled Hybrid Energy Systems (DISPATCHES). DISPATCHES was primarily developed by the National Energy Technology Laboratory, in collaboration with other national laboratories, which included INL, universities, and industry partners. It is coupled to a library of algebraic models for specific plant components, and to a framework for stochastic optimization different from that provided in the current Risk Analysis Virtual Environment (RAVEN)-running-RAVEN algorithm in HERON. HERON currently conducts stochastic optimization via an outer-inner loop: it optimizes over variable capacity on the outer loop, and at each step within the capacity parameter space, conducts an inner optimization over scenarios (of market signals, demand, and/or weather patterns) and hourly dispatch throughout a user-specified number of years. On the other hand, DISPATCHES conducts stochastic optimization via an “all-at-once” strategy in which capacity variables are optimized at the same level as dispatch variables, as all scenarios are considered at once. The latter method works especially well for projects of limited size and project length, as the necessary computational power and memory increases with the number of variables and scenarios. The new capability to use the DISPATCHES workflow in HERON enhances standalone simulations by leveraging FORCE tools—namely, the economic metrics from the Tool for Economic Analysis (TEAL) and reduced-order model (ROM) sampling from RAVEN. The initial demonstration of the DISPATCHES workflow simulates an existing nuclear-case flowsheet within the DISPATCHES repository—this models a NPP with a secondary revenue stream for hydrogen production. Electrical output from the plant is converted to hydrogen via a proton-exchange membrane (PEM) electrolyzer, hydrogen tanks are used for storage, and an additional turbine is added for hydrogen combustion. Continued work regarding this FORCE-DISPATCHES integration will include automatic generation of DISPATCHES models from HERON inputs, offering analysts the option of using either the RAVEN-runsRAVEN or DISPATCHES workflow to solve technoeconomic optimization problems.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2026

2025 EIC-France Workshop: Physics Highlights and Perspectives

This document presents a synthesis of the theory contributions and discussions from the 2nd EIC-France Workshop, held at IJCLab (Orsay) on 1-3 December 2025. The workshop brought together members of the French hadron-physics community to review recent theoretical developments relevant to the future Electron-Ion Collider (EIC) and to coordinate national efforts in preparation for its early physics program. The report first summarizes the collider's initial running conditions and luminosity performance, as outlined in the EIC Early Science Matrix. It then provides concise overviews of the theoretical presentations on inclusive, semi-inclusive, exclusive, heavy-flavor, and small-x physics. Based on these discussions, two measurements emerged as especially well suited for early EIC operation and strongly aligned with areas of established French expertise: inclusive diffraction and inclusive quarkonium production. These channels offer clean signatures, robust theoretical interpretability, and direct sensitivity to fundamental QCD phenomena such as gluon saturation, heavy-quark dynamics, and the small-x structure of hadrons and nuclei. In addition, the workshop identified longer-term physics opportunities that will benefit from the full capabilities of the EIC after its ramp-up phase. These include accessing the three-dimensional structure of the pion through the Sullivan process and a broader program of exclusive three-body final states, both of which represent high-impact avenues for exploring hadronic structure and non-perturbative QCD. Together, the elements summarized in this report provide a coherent overview of the strategic priorities and scientific ambitions shaping the French community's contribution to the EIC physics program.

FOS: Physical sciences↗
DOE OSTI2020

Catalytic C 2 H 2 synthesis via low temperature CO hydrogenation on defect-rich 2D-MoS 2 and 2D-MoS 2 decorated with Mo clusters

Rational design of novel catalytic materials used to synthesize storable fuels via the CO hydrogenation reaction has recently received considerable attention. In this work, defect poor and defect rich 2D-MoS 2 as well as 2D-MoS 2 decorated with Mo clusters are employed as catalysts for the generation of acetylene (C 2 H 2 ) via the CO hydrogenation reaction. Temperature programmed desorption is used to study the interaction of CO and H2 molecules with the MoS 2 surface as well as the formation of reaction products. The experiments indicate the presence of four CO adsorption sites below room temperature and a competitive adsorption between the CO and H 2 molecules. The investigations show that CO hydrogenation is not possible on defect poor MoS 2 at low temperatures. However, on defect rich 2D-MoS 2 , small amounts of C 2 H 2 are produced, which desorb from the surface at temperatures between 170 K and 250 K. A similar C 2 H 2 signal is detected from defect poor 2D-MoS 2 decorated with Mo clusters, which indicates that low coordinated Mo atoms on 2D-MoS 2 are responsible for the formation of C 2 H 2 . Density functional theory investigations are performed to explore possible adsorption sites of CO and understand the formation mechanism of C 2 H 2 on MoS 2 and Mo 7 /MoS 2 . The theoretical investigation indicates a strong binding of C 2 H 2 on the Mo sites of MoS 2 preventing the direct desorption of C 2 H 2 at low temperatures as observed experimentally. Instead, the theoretical results suggest that the experimental data are consistent with a mechanism in which CHO radical dimers lead to the formation of C 2 H 2 that presents an exothermic desorption.

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

Neptunium mononitride as a target material for Pu-238 production

Deep space exploration requires specialized sources for both thermal and power applications. Radioactive decay heat of plutonium-238 (238Pu) provides these sources in the form of radioisotope thermoelectric generators (RTGs). The 238 Pu is produced via neutron capture reaction involving neptunium-237 ( 237 Np) target material. Continual optimization of 237 Np target materials and evaluation of potential alternative targets for production of 238 Pu RTGs are advantageous for meeting ongoing space power system resource requirements. Current production of 238 Pu for RTGs for the United States space program utilizes neptunium dioxide ( 237 NpO 2 ) targets; however, the use of neptunium mononitride ( 237 NpN) presents an opportunity to increase the mass of 237 Np per target compared to the dioxide form, as well as increase the thermal conductivity of the target. To assess the viability of a 237 NpN target material, the material chemistry must be thoroughly evaluated, including synthesis methods and dissolution and reprocessing schemes. This review presents a summary of synthesis pathways for 237 NpN based on published literature on actinide mononitrides. Specific literature on 237 NpN is limited, necessitating evaluation of other actinide systems to gather parallels. This suggests a need for additional experimental studies on 237 NpN. A particular limitation in the existing literature is a lack of information on the differences in material characteristics, such as morphology, particle size, and trace chemical impurities, as a function of synthesis method. These parameters may affect subsequent reactor performance or dissolution of irradiated targets. The evaluation of existing literature is presented with a focus on the efficacy of 237 NpN targets for 238 Pu production.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗
DOE OSTI2021

Understanding Selectivity in CO2 Hydrogenation to Methanol for MoP Nanoparticle Catalysts Using In Situ Techniques

Molybdenum phosphide (MoP) catalyzes the hydrogenation of CO, CO2, and their mixtures to methanol, and it is investigated as a high-activity catalyst that overcomes deactivation issues (e.g., formate poisoning) faced by conventional transition metal catalysts. MoP as a new catalyst for hydrogenating CO2 to methanol is particularly appealing for the use of CO2 as chemical feedstock. Herein, we use a colloidal synthesis technique that connects the presence of MoP to the formation of methanol from CO2, regardless of the support being used. By conducting a systematic support study, we see that zirconia (ZrO2) has the striking ability to shift the selectivity towards methanol by increasing the rate of methanol conversion by two orders of magnitude compared to other supports, at a CO2 conversion of 1.4% and methanol selectivity of 55.4%. In situ X-ray Absorption Spectroscopy (XAS) and in situ X-ray Diffraction (XRD) indicate that under reaction conditions the catalyst is pure MoP in a partially crystalline phase. Results from Diffuse Reflectance Infrared Fourier Transform Spectroscopy coupled with Temperature Programmed Surface Reaction (DRIFTS-TPSR) point towards a highly reactive monodentate formate intermediate stabilized by the strong interaction of MoP and ZrO2. This study definitively shows that the presence of a MoP phase leads to methanol formation from CO2, regardless of support and that the formate intermediate on MoP governs methanol formation rate.

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

High-Temperature Pretreatment Effect on Co/SiO 2 Active Sites and Ethane Dehydrogenation

Here, we report the synthesis, optimization, and characterization of Co/SiO 2 for ethane nonoxidative dehydrogenation. Co/SiO 2 is synthesized via strong electrostatic adsorption using the widely available Co(NO 3 ) 2 as the precursor. We demonstrate that high-temperature pretreatment (900 °C) in an inert atmosphere can significantly enhance the initial activity of the Co/SiO 2 catalyst. X-ray absorption near-edge spectroscopy (XANES), temperature-programmed reduction (TPR), and high-angle annular dark-field scanning transmission electron microscopy (HAADF-STEM) suggest that highly dispersed Co(II) clusters are more active than Co 0 or CoO x nanoparticles. Fourier transform infrared (FTIR) and isopropanol (IPA) temperature-programmed desorption and density functional theory (DFT) calculations suggest that high-temperature treatment significantly increases the density of active Lewis acid sites, possibly via surface dehydroxylation of the catalyst.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Random heteropolymers as enzyme mimics

Despite successes in replicating the primary–secondary–tertiary structure hierarchy of protein, it remains elusive to synthetically materialize protein functions that are deeply rooted in their chemical, structural and dynamic heterogeneities. We propose that for polymers with backbone chemistries different from that of proteins, programming spatial and temporal projections of sidechains at the segmental level can be effective in replicating protein behaviours; and leveraging the rotational freedom of polymer can mitigate deficiencies in monomeric sequence specificity and achieve behaviour uniformity at the ensemble level. Here, guided by the active site analysis of about 1,300 metalloproteins, we design random heteropolymers (RHPs) as enzyme mimics based on one-pot synthesis. We introduce key monomers as the equivalents of the functional residues of protein and statistically modulate the chemical characteristics of key monomer-containing segments, such as segmental hydrophobicity. The resultant RHPs form pseudo-active sites that provide key monomers with protein-like microenvironments, co-localize substrates with catalytic or cofactor-binding sidechains and catalyse reactions such as oxidation and cyclization of citronellal with isopulegol/menthoglycol selectivity. This RHP design led to enzyme-like materials that can retain catalytic activity under non-biological conditions, are compatible with scalable processing and have expanded substrate scope, including environmentally long-lasting antibiotic tetracycline.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Effect of Preparation Conditions of Fe@SiO2 Catalyst on Its Structure Using High-Pressure Activity Studies in a 3D-Printed SS Microreactor

Fischer–Tropsch synthesis (FTS) in a 3D-printed stainless steel (SS) microchannel microreactor was investigated using Fe@SiO2 catalysts. The catalysts were prepared by two different techniques: one pot (OP) and autoclave (AC). The mesoporous structure of the two catalysts, Fe@SiO2 (OP) and Fe@SiO2 (AC), ensured a large contact area between the reactants and the catalyst. They were characterized by N2 physisorption, H2 temperature-programmed reduction (H2-TPR), scanning electron microscopy (SEM), transmission electron microscopy (TEM), X-ray diffraction (XRD), Fourier-transform infrared spectroscopy (FTIR), X-ray photoelectron microscopy (XPS), and thermogravimetric analysis–differential scanning calorimetry (TGA-DSC) techniques. The AC catalyst had a clear core–shell structure and showed a much greater surface area than that prepared by the OP method. The activities of the catalysts in terms of FTS were studied in the 200–350 °C temperature range at 20-bar pressure with a H2/CO molar ratio of 2:1. The Fe@SiO2 (AC) catalyst showed higher selectivity and higher CO conversion to olefins than Fe@SiO2 (OP). Stability studies of both catalysts were carried out for 30 h at 320 °C at 20 bar with a feed gas molar ratio of 2:1. The Fe@SiO2 (AC) catalyst showed higher stability and yielded consistent CO conversion compared to the Fe@SiO2 (OP) catalyst.

Biochemistry & Molecular Biology↗
DOE OSTI2023

Method and apparatus for in situ synthesis of SiC, SiC ceramic matrix composites, and SiC metal matrix composites during additive manufacturing

Methods and apparatuses for in situ synthesis of SiC, CMCs, and MMCs are disclosed, comprising: providing an apparatus having: an electromagnetic energy source; an autofocusing scanner; a powder system for SiC and one or more powders; a powder delivery system; a shielding gas comprising argon and/or nitrogen; and a computer coupled to and configured to control the energy source, scanner, powder system, and powder delivery system to deposit layers of the sample; programming the computer with specifications of the sample; using the computer to control electromagnetic radiation, mixing ratio, and powder deposition parameters based on the specifications of the sample; and using the autofocusing scanner to focus and scan the electromagnetic radiation onto the sample while the powders are concurrently deposited by the powder delivery system onto the sample to create a melting pool to deposit one or more layers onto the sample. Other embodiments are described and claimed.

Liu, Jian↗
DOE OSTI2024

Artificial Intelligence Transforming Post-Translational Modification Research

Post-Translational Modifications (PTMs) are covalent changes to amino acids that occur after protein synthesis, including covalent modifications on side chains and peptide backbones. Many PTMs profoundly impact cellular and molecular functions and structures, and their significance extends to evolutionary studies as well. In light of these implications, we have explored how artificial intelligence (AI) can be utilized in researching PTMs. Initially, rationales for adopting AI and its advantages in understanding the functions of PTMs are discussed. Then, various deep learning architectures and programs, including recent applications of language models, for predicting PTM sites on proteins and the regulatory functions of these PTMs are compared. Finally, our high-throughput PTM-data-generation pipeline, which formats data suitably for AI training and predictions is described. We hope this review illuminates areas where future AI models on PTMs can be improved, thereby contributing to the field of PTM bioengineering.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2026

Automation of Nanoparticle Synthesis Processes in a Plasma Environment Using LabVIEW

This work presents an automated control system for the synthesis of nanomaterials by plasma-enhanced chemical vapor deposition (PECVD), implemented using the LabVIEW software environment. The main objective of the study is to develop an integrated hardware-software platform that enables sequential control of the key stages of the PECVD process, including vacuum chamber preparation, pressure monitoring, working gas supply, plasma ignition, power matching, cyclic nanomaterial growth, and optical monitoring of nanoparticles in the plasma environment. The use of LabVIEW made it possible to integrate actuator control, experimental parameter acquisition, and realtime process visualization within a single automated system. The automated cycle begins with evacuation of the reaction chamber to a predefined base pressure. Transition to the next stage is permitted only after the specified pressure threshold has been reached, ensuring reproducible initial conditions for each experiment. The program then controls the supply of the working gas through mass flow controllers (MFCs). In this work, two gas-flow control modes were considered: analog control using a 0-5 V voltage signal and digital communication via RS-232 interface. It was shown that the analog approach requires accurate scaling of the control voltage, since applying 5 V corresponds to full-scale opening of the controller and results in the maximum gas flow. In contrast, the RS232 interface enables the gas flow rate to be specified directly in sccm, improving the accuracy, flexibility, and convenience of gas-environment control. After pressure stabilization, LabVIEW initiates RF plasma ignition and executes the RF matching algorithm aimed at minimizing reflected power and improving the stability of the plasma process. A separate software module implements the cyclic nanomaterial growth mode, in which the plasma-on time, plasma duration, and total number of synthesis cycles are predefined. This approach makes it possible to control material accumulation on the substrate and to correlate the process parameters with the morphological characteristics of the resulting nanostructures. The final module of the system is designed for optical monitoring of the nanoparticle cloud density in dusty plasma. For this purpose, the change in the intensity of laser radiation passing through the plasma region is recorded using a photodetector and a Keithley 2401 measuring unit connected to LabVIEW via RS-232 interface. The difference between the initial and modified optical signal intensity is used as a diagnostic parameter characterizing the formation and temporal evolution of nanoparticles. The developed system demonstrates that LabVIEW can be effectively applied not only for the automation of individual instruments, but also for the implementation of a complete digital control cycle for PECVD-based nanomaterial synthesis.

PECVD↗
DOE OSTI2022

Robust trajectory-constrained frequency control for microgrids considering model linearization error

Grid supportive modes integrated within inverter-based resources can improve the frequency response of renewable-rich microgrids. The synthesis of grid supportive modes to guarantee frequency trajectory constraints under a predefined disturbance set is challenging but essential. To tackle this challenge, a numerical optimal control (NOC)-based control synthesis methodology is proposed. Without loss of generality, a wind-diesel fed microgrid is studied, where we aim to design grid supportive functions in the wind turbine. In the control design, linearized models are used, and the linearization-induced errors are quantitatively analyzed by reachability and interval arithmetics and represented in the form of interval uncertainties. Then, the NOC problem can be formulated into a robust mixed-integer linear program. The control structure is strategically configured into two levels to realize online deployment. The proposed control is verified on the modified 33-node microgrid with a full-order three-phase nonlinear model in Simulink. In conclusion, the simulation results show the effectiveness of the proposed control paradigm and the necessity of considering linearization-induced uncertainty.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2024

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

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

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Proceedings for the Workshop on Applied Nuclear Data Activities 2024

The Workshop for Applied Nuclear Data Activities (WANDA) is designed to increase communication among nuclear data (ND) users in multidisciplinary federal programs, ND producers, ND funders, and other ND experts. It also presents an opportunity to cross-pollinate ideas as well as introduce ND gaps identified by federal programs to ND experts and ND capabilities to the various federal ND users. WANDA 2024 included five technical sessions, three of which focused on Fusion Energy Sciences (FES)—FES Fusion Neutronics, FES Tritium Production, and FES Material Damage—and two stand-alone sessions—Isotopes and Targetry for Nuclear Data and Uncertainty Quantification. The FES sessions successfully brought new voices to the WANDA discussions, expanding the application space in which nuclear data are critical. FES programs need accurate nuclear data with realistic uncertainty quantification to properly estimate, for example, shielding, activation, tritium production, helium production, structural material integrity, and superconducting magnet operation. This includes a variety of projectile (neutrons, photons, charged particles) and target atoms. One of the action items common to all the FES sessions was a need to perform sensitivity studies to identify the prioritization of nuclear data needs. The Isotopes and Targetry session highlighted the many capabilities available to produce high-quality targets for nuclear data measurements, including 3D printing with spherical powders, combustion synthesis coupled with spin coating & electrospraying, inkjet printing, and isotopic doping. These new methods open doors for more accurate measurement, but it was also stressed that sample characterization following any method of fabrication is of the highest importance to accurately interpret nuclear data measurement results that used that sample. The Uncertainty Quantification (UQ) session was broken into two categories: nuclear data uncertainty quantification and the use of that uncertainty quantification. Thematic to the UQ session was the loss of information when going from nuclear data measurement, to evaluation, to evaluated file, and finally to neutron transport calculations. Current evaluated ND libraries typically only contain covariances, which assume that the probability distributions are Gaussian. Beyond being a simplified assumption for many evaluations, this can lead to negative values on many observables when attempting to sample the covariance. The covariance format, however, is very efficient in that a simple set of linear equations can transform uncertainty from parameters or cross sections to the application of interest. Focused collaboration is needed between nuclear data evaluators and nuclear data users to ensure that needs are being met.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗