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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Nanostructures for Electrical Energy Storage (NEES) (2020 Final Technical Report)

Nanostructures for Electrical Energy Storage (NEES, www.efrc.umd.edu) was an Energy Frontier Research Center supported by the DOE Office of Science, Basic Energy Sciences, from 8/1/2009 to 7/31/2020. Led by the University of Maryland, NEES enjoyed extensive collaborations with its funded partners, including two DOE Laboratories and six universities. The NEES vision has been to reveal a set of scientific insights and design principles that can underpin a next-generation electrical energy storage approach, building on advances in nanoscale science and technology to achieve simultaneous high power and high energy over extended charge/discharge cycling. The vision is motivated by the recognition that scaling into the nano regime opens the door to new physical phenomena and that the tools enlisted in nanoscale research provide major new opportunities for the synthesis not only of materials at molecular scale but for structures at nano scale and above. NEES has translated this vision into its research program based on two observations. First, while the behavior of ions and electrons in electrolytes and in electrode materials is crucial to electrical energy storage (or more appropriately electrochemical energy storage), it is the transport of ion and electron charge between different structural components of a storage device that ultimately determine its performance. With it well recognized that the choice of electrode materials typically constrain ion transport kinetics as well as maximum ion concentration, the search for better electrode materials has been a primary driver of battery research. At the same time the synthesis of electrodes is typically based on aggregation of particles with varying size, shape, and orientation in the electrode. Together with the presence of additional materials to impart electrical conductivity and cohesion to the composite electrode, change in electrode materials is necessarily accompanied by structural changes at the nano/micro scale that are difficult to categorize and manage. From the beginning, NEES’ vision has been to create and study simpler, highly controlled spatial arrangements of known materials as battery components (electrodes, current collectors, and electrolyte) and to understand how design and structure above the molecular scale determines the energy storage performance available from known materials. Second, advances in nanoscience dramatically expanded the portfolio of synthesis methods, structural motifs, and new phenomena available for research. Some of these gave rapid access to new building blocks at the deep nanoscale (e.g., carbon nanotubes grown by self-assembly, nanoscale arrays formed by electrochemical self-alignment, monolayer films controlled by self-limiting reaction). Such advances served as the enabler for the NEES vision to be pursued experimentally through study of 3D structures created and controlled at the nano, micro, and meso scales. Here, we use meso as in the BES MESO Report, implying not only intermediate or varying length scales, but very much the way behavior is influenced by other factors including aggregation of nanocomponents at different densities and spatial configurations, statistical variations in the aggregates, hierarchical architectures in which they can be assembled, or local 3D configurations that result from the architectures. Over its life cycle, NEES has pursued two overarching goals: (1) to understand the scientific fundamentals of electrochemical storage from the nanoscale to the mesoscale; and (2) to create and learn from innovative, controlled, heterogeneous nanostructures, where such nanostructures can enable the first goal and serve as models for future paradigms in energy storage. Specific goals have included: Synthesize heterogeneous nanostructures comprised of multiple materials arranged in controlled fashion and characterize their behavior; Demonstrate and elucidate design principles for achieving simultaneous high power and high energy; Develop materials processes which enable precision control of thin layers and 3D structures; Investigate the impact of artificial interphases on electrode stability during ion insertion/deinsertion; Create dense arrays of nanostructures to understand how the architecture of these assemblies, along with nanostructure design, influences energy storage behavior at the mesoscale; Identify and understand the consequences of nanoconfinement and local inhomogeneities in 3D mesoscale arrays; Develop and apply computational models to stimulate, guide and interpret experiments.

25 ENERGY STORAGE↗
DOE OSTI2023

Molecular surface programming of rectifying junctions between InAs colloidal quantum dot solids

Heavy-metal-free III–V colloidal quantum dots (CQDs) show promise in optoelectronics: Recent advancements in the synthesis of large-diameter indium arsenide (InAs) CQDs provide access to short-wave infrared (IR) wavelengths for three-dimensional ranging and imaging. In early studies, however, we were unable to achieve a rectifying photodiode using CQDs and molybdenum oxide/polymer hole transport layers, as the shallow valence bandedge (5.0 eV) was misaligned with the ionization potentials of the widely used transport layers. This occurred when increasing CQD diameter to decrease the bandgap below 1.1 eV. Here, we develop a rectifying junction among InAs CQD layers, where we use molecular surface modifiers to tune the energy levels of InAs CQDs electrostatically. Previously developed bifunctional dithiol ligands, established for II-VI and IV-VI CQDs, exhibit slow reaction kinetics with III-V surfaces, causing the exchange to fail. Here, we study carboxylate and thiolate binding groups, united with electron-donating free end groups, that shift upward the valence bandedge of InAs CQDs, producing valence band energies as shallow as 4.8 eV. Photophysical studies combined with density functional theory show that carboxylate-based passivants participate in strong bidentate bridging with both In and As on the CQD surface. The tuned CQD layer incorporated into a photodiode structure achieves improved performance with EQE (external quantum efficiency) of 35% (>1 μm) and dark current density < 400 nA cm -2 , a >25% increase in EQE and >90% reduced dark current density compared to the reference device. This work represents an advance over previous III-V CQD short-wavelength IR photodetectors (EQE < 5%, dark current > 10,000 nA cm -2 ).

36 MATERIALS SCIENCE↗
DOE OSTI2023

MLIR loop optimizations for High-Level Synthesis: a case study

High-Level Synthesis (HLS) tools simplify the design of hardware accelerators by automatically generating Verilog/VHDL code starting from a general purpose software programming language. They include a wide range of optimization techniques in the process, most of them performed on a low-level intermediate representation (IR) of the code. Introducing optimizations on a higher level of abstraction could significantly contribute to the automated design process results; for example, polyhedral techniques for the manipulation of loops could have a significant impact on the generated accelerators when applied on a specialized IR. We use loop pipelining as a case study to explore the introduction of compiler-based transformations on top of an existing HLS process. We leverage the Multi-Level Intermediate Representation (MLIR) framework and an external scheduler to implement the required transformations, and couple them with existing HLS tools to evaluate the improvements that loop pipelining brings to the performance of generated accelerators. The proposed approach can be integrated with other high-level transformations on the MLIR representation, combining different techniques to obtain pre-optimized inputs for HLS that do not have to rely on a specific backend tool.

Curzel, Serena↗
DOE OSTI2025

Transcript profiling of plastid ferrochelatase two mutants reveals that chloroplast singlet oxygen signals lead to global changes in RNA profiles and are mediated by Plant U-Box 4

Abstract Background In response to environmental stresses, chloroplasts generate reactive oxygen species, including singlet oxygen ( 1 O 2 ), an excited state of oxygen that regulates chloroplast-to-nucleus (retrograde) signaling, chloroplast turnover, and programmed cell death (PCD). Yet, the central signaling mechanisms and downstream responses remain poorly understood. TheArabidopsis thaliana plastid ferrochelatase two(fc2) mutant conditionally accumulates 1 O 2 , and Plant U-Box 4 (PUB4), a cytoplasmic E3 ubiquitin ligase, is involved in propagating 1 O 2 signals for chloroplast turnover and cellular degradation. Thus, thefc2andfc2 pub4mutants are useful genetic tools to elucidate these signaling pathways. Previous studies have focused on the role of 1 O 2 in promoting cellular degradation infc2mutants, but its impact on retrograde signaling from mature chloroplasts (the major site of 1 O 2 production) is poorly understood. Results To gain mechanistic insights into 1 O 2 signaling pathways, we compared transcriptomes of adult wt,fc2, andfc2 pub4plants. The accumulation of 1 O 2 infc2plants broadly repressed genes involved in chloroplast function and photosynthesis, while inducing genes and transcription factors involved in abiotic and biotic stress, the biosynthesis of jasmonic acid (JA) and salicylic acid (SA), microautophagy, and senescence. Elevated JA and SA levels were observed in 1 O 2 -stressedfc2plants.pub4reversed most of this 1 O 2 -induced gene expression and reduced the JA content infc2plants. Thepub4mutation also blocked JA-induced senescence pathways in the dark. However, fc2 pub4 plantsmaintained constitutively elevated levels of SA even in the absence of bulk 1 O 2 accumulation. Conclusions Together, this work demonstrates that infc2plants, 1 O 2 leads to a robust retrograde signal that may protect cells by downregulating photosynthesis and ROS production while simultaneously mounting a stress response involving SA and JA. The induction of microautophagy and senescence pathways indicate that 1 O 2 -induced cellular degradation is a genetic response to this stress, and the bulk of this transcriptional response is modulated by the PUB4 protein. However, the effect ofpub4on hormone synthesis and signaling is complex and indicates that an intricate interplay of SA and JA are involved in promoting stress responses and programmed cell death during photo-oxidative damage.

Plant Sciences↗
DOE OSTI2022

Snowmass Computational Frontier: Topical Group Report on Quantum Computing

Quantum computing will play a pivotal role in the High Energy Physics (HEP) science program over the early parts of the 21$^{st}$ Century, both as a major expansion of our capabilities across the Computational Frontier, and in synthesis with quantum sensing and quantum networks. This report outlines how Quantum Information Science (QIS) and HEP are deeply intertwined endeavors that benefit enormously from a strong engagement together. Quantum computers do not represent a detour for HEP, rather they are set to become an integral part of our discovery toolkit. Problems ranging from simulating quantum field theories, to fully leveraging the most sensitive sensor suites for new particle searches, and even data analysis will run into limiting bottlenecks if constrained to our current computing paradigms. Easy access to quantum computers is needed to build a deeper understanding of these opportunities. In turn, HEP brings crucial expertise to the national quantum ecosystem in quantum domain knowledge, superconducting technology, cryogenic and fast microelectronics, and massive-scale project management. The role of quantum technologies across the entire economy is expected to grow rapidly over the next decade, so it is important to establish the role of HEP in the efforts surrounding QIS. Fully delivering on the promise of quantum technologies in the HEP science program requires robust support. It is important to both invest in the co-design opportunities afforded by the broader quantum computing ecosystem and leverage HEP strengths with the goal of designing quantum computers tailored to HEP science.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

The Data Mine model for accessible partnerships in data science

Abstract The Data Mine at Purdue University is a pioneering experiential learning community for undergraduate and graduate students of any background to learn data science. The first data‐intensive experience embedded in a large learning community, The Data Mine had nearly 1300 students in academic year (AY) 2022–2023 and nearly 1700 students for AY 2023–2024. The Data Mine embodies data‐infused education, research, and collaboration. Students learn Python, R, SQL, and shell‐scripting, while working on weekly projects within a high‐performance computing (HPC) cluster. In the Corporate Partners cohort, students work on teams of 5–15 students, led by a paid student team leader. Each cohort follows an Agile approach, working on data‐intensive projects provided by industry partners and mentored by company employees. Students develop professional and data skills throughout the academic year, from August through April. Many students return in subsequent years to the program, increasing their tenure with a Corporate Partner. Student teams are inherently interdisciplinary; students from 133 different majors are involved in the program, ranging from new incoming students through PhD level students. These interdisciplinary teams of students bring new perspectives to challenging problems in which data science is a key part of the solution. The interdisciplinary teams foster an environment of synthesis with ideas and solutions. Students come together with different life experiences, different levels of technical skill, but also varying ways they navigate paths to solutions because of the variety of majors represented, resulting in a more creative and robust solution than a traditional data science program. This article is categorized under: Applications of Computational Statistics > Education in Computational Statistics

Betz, Margaret A.↗
DOE OSTI2023

At the interfaces of the hydrologic sciences: Connecting water, elements, ecosystems, and people through the major contributions of Dr. Emily Bernhardt

Here, in this paper, we describe the major contributions of Professor Emily Bernhardt to the hydrologic sciences. Dr. Bernhardt’s work addresses how carbon, nutrient, and contaminant dynamics respond to a wide range of environmental perturbations that alter hydrologic dynamics within and connectivity among ecosystems. Her research leverages intensive and extensive field sampling, experimental manipulations, macroscale data harmonization and exploration, and continental to global-scale synthesis activities to uncover key drivers and patterns of the impacts human perturbations have on water and elemental cycles. Dr. Bernhardt’s research program is defined by her ability to ask questions and use approaches that explicitly consider connectivity and interfaces in a variety of ways. Here, we highlight significant contributions from Dr. Bernhardt’s work, organized by connectivity, interfaces, and interactions among and across (1) elemental cycles, (2) ecosystems, (3) watersheds, (4) scales, and (5) disciplines. We conclude with a section on Dr. Bernhardt’s impact on the hydrologic sciences and beyond through her exceptional dedication to mentorship, engagement, and service.

58 GEOSCIENCES↗
DOE OSTI2021

Development of Passive HC/NOx Trap Catalysts for Low Temperature Gasoline Applications

This project aimed to develop fundamental understanding of the chemistry of NO adsorption and reaction in Pd/zeolites so as to facilitate the rational design of passive NOx adsorber catalysts. The approach adopted combined both experimental and computational methods, which together allow a deeper understanding of the governing chemistry than the use of either method alone. The workflow began with Pd/H-CHA and Pd/H-BEA catalyst synthesis and characterization, in which the Si/Al ratio and Al siting were systematically varied. This was followed by catalyst evaluation using temperature-programed adsorption/desorption methods, as well as in situ spectroscopic measurements to probe the chemistry of NO adsorption. In parallel, the adsorption of NO and other relevant species (H 2 O, CO, HCs) was studied by means of quantum chemical calculations in order to rationalize the experimental data and provide additional insights. Catalyst aging studies were also performed with the aim of elucidating the mechanism of catalyst degradation. Finally, the insights gained in this project were applied to the preparation of an optimized HC/NOx adsorber catalyst, the performance of which was studied using exhaust gas from an engine dynamometer.

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

Generalized optimization-based synthesis of membrane systems for multicomponent gas mixture separation

Synthesizing a membrane system to separate multicomponent gas mixture is challenging due to the combinatorial number of feasible configurations and the difficulties in describing the multicomponent permeators. Here we present a mixed-integer nonlinear programming (MINLP) model for synthesizing membrane systems for multicomponent gas mixture separation. The approach employs a richly connected superstructure to represent numerous potential system configurations, and different physics-based surrogate permeator models, such as countercurrent flow or crossflow, to be used in each stage. Moreover, to describe realistic systems, pressure drop equations can be included. We also present solution methods to accelerate the solution process. Through a case study of natural gas sweetening, we demonstrate that the proposed approach is able to obtain good solutions using an off-the-shelf global optimization solver. Finally, we expand the conventional membrane system synthesis problem by introducing feed variability in our model through a case study of an integrated reactor-separation system.

42 ENGINEERING↗
DOE OSTI2020

Programming Amphiphilic Peptoid Oligomers for Hierarchical Assembly and Inorganic Crystallization

Natural organisms make a wide variety of exquisitely complex, nano-, micro-, and macroscale structured materials in an energy-efficient and highly reproducible manner. During these processes, the information-carrying biomolecules (e.g., proteins, peptides, and carbohydrates) enable (1) hierarchical organization to assemble scaffold materials and execute high-level functions and (2) exquisite control over inorganic materials synthesis, generating biominerals whose properties are optimized for their functions. Inspired by nature, significant efforts have been devoted to developing functional materials that can rival those natural molecules by mimicking in vivo functions using engineered proteins, peptides, DNAs, sequence-defined synthetic molecules (e.g., peptoids), and other biomimetic polymers. Among them, peptoids, a new type of synthetic mimetics of peptides and proteins, have received particular attention because they combine the merits of both synthetic polymers (e.g., high chemical stability and efficient synthesis) and biomolecules (e.g., sequence programmability and biocompatibility). The lack of both chirality and hydrogen bonds in their backbone results in a highly designable peptoid-based system with reduced structural complexity and side chain-chemistry-dominated properties. Here in this Account, we present our recent efforts in this field by programming amphiphilic peptoid sequences for (1) the controlled self-assembly into different hierarchically structured nanomaterials with favorable properties and (2) manipulating inorganic (nano)crystal nucleation, growth, and assembly into superstructures. First, we designed a series of amphiphilic peptoids with controlled side chain chemistries that self-assembled into 1D highly stiff and dynamic nanotubes, 2D membrane-mimetic nanosheets, hexagonally patterned nanoribbons, and 3D nanoflowers. These crystalline nanostructures exhibited sequence-dependent properties and showed promise for different applications. The corresponding peptoid self-assembly pathways and mechanisms were also investigated by leveraging in situ atomic force microscopy studies and molecular dynamics simulations, which showed precise sequence dependency. Second, inspired by peptide- and protein-controlled formation of hierarchical inorganic nanostructures in nature, we developed peptoid-based biomimetic approaches for controlled synthesis of inorganic materials (e.g., noble metals and calcite), in which we took advantage of the substantial side chain chemistry of peptoids and investigated the relationship between the peptoid sequences and the morphology and growth kinetics of inorganic materials. For example, to overcome the challenges (e.g., complexity of protein- and peptide-folding, poor thermal and chemical stabilities) facing the area of protein- and peptide-controlled synthesis of inorganic materials, we recently reported the design of sequence-defined peptoids for controlled synthesis of highly branched plasmonic gold particles. Moreover, we developed a rule of thumb for designing peptoids that predictively enabled the morphological evolution from spherical to coral-shaped gold nanoparticles (NPs). With this Account, we hope to stimulate the research interest of chemists and materials scientists and promote the predictive synthesis of functional and robust materials through the design of sequence-defined synthetic molecules.

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

DFSynthesizer: Dataflow-based Synthesis of Spiking Neural Networks to Neuromorphic Hardware

Spiking Neural Networks (SNNs) are an emerging computation model that uses event-driven activation and bio-inspired learning algorithms. SNN-based machine learning programs are typically executed on tile-based neuromorphic hardware platforms, where each tile consists of a computation unit called a crossbar, which maps neurons and synapses of the program. However, synthesizing such programs on an off-the-shelf neuromorphic hardware is challenging. This is because of the inherent resource and latency limitations of the hardware, which impact both model performance, e.g., accuracy, and hardware performance, e.g., throughput. We propose DFSynthesizer, an end-to-end framework for synthesizing SNN-based machine learning programs to neuromorphic hardware. The proposed framework works in four steps. First, it analyzes a machine learning program and generates SNN workload using representative data. Second, it partitions the SNN workload and generates clusters that fit on crossbars of the target neuromorphic hardware. Third, it exploits the rich semantics of the Synchronous Dataflow Graph (SDFG) to represent a clustered SNN program, allowing for performance analysis in terms of key hardware constraints such as number of crossbars, dimension of each crossbar, buffer space on tiles, and tile communication bandwidth. Finally, it uses a novel scheduling algorithm to execute clusters on crossbars of the hardware, guaranteeing hardware performance. We evaluate DFSynthesizer with 10 commonly used machine learning programs. Our results demonstrate that DFSynthesizer provides a much tighter performance guarantee compared to current mapping approaches.

Computer Science↗
DOE OSTI2024

Genomes of multicellular algal sisters to land plants illuminate signaling network evolution

Zygnematophyceae are the algal sisters of land plants. Here we sequenced four genomes of filamentous Zygnematophyceae, including chromosome-scale assemblies for three strains of Zygnema circumcarinatum . We inferred traits in the ancestor of Zygnematophyceae and land plants that might have ushered in the conquest of land by plants: expanded genes for signaling cascades, environmental response, and multicellular growth. Zygnematophyceae and land plants share all the major enzymes for cell wall synthesis and remodifications, and gene gains shaped this toolkit. Co-expression network analyses uncover gene cohorts that unite environmental signaling with multicellular developmental programs. Our data shed light on a molecular chassis that balances environmental response and growth modulation across more than 600 million years of streptophyte evolution.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

Coupon synthesis status report

This letter report is in submission of completion of the Level 4 milestone number M4AT-23OR1101023 “Coupon synthesis status report” for the AT-23OR110102 “Beryllium Carbide as moderator for MSRs – ORNL” WBS number 2.04.11.01 within the larger Advanced Reactor Technologies program at Oak Ridge National Laboratory. This effort is an initial study of the viability of beryllium carbide as a future neutron moderator for molten salt reactors and other high temperature reactors. The research was awarded funding in September 2022 and this effort will be completed and reported on as a Level 2 milestone by the end of August 2023. This work is a collaboration between Oak Ridge National Laboratory and the University of Michigan. This report will discuss the status of this effort and planed work before the final reporting.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2021

Synthesis of a planar, multicomponent catalytic surface of Na 2 CO 3 /MnO

Here, O 2 adsorption on MnO(100) precovered with sodium (Na) multilayers was investigated by X-ray photoelectron spectroscopy (XPS) and temperature programmed desorption (TPD). Deposition of Na multilayers leads to a first monolayer of oxidic Na followed by metallic Na island growth. XPS results for the oxidation of the metallic Na islands indicate an incomplete oxidation of Na at 125 K. Oxidation at 350 K completely oxidizes the metallic islands producing a mixture of Na 2 O and Na 2 O 2 . Thermal evolution of the oxidation products was examined. After oxidation at 350 K and flashing to 750 K, Na 2 O and Na 2 O 2 are the primary oxides on MnO(100). After flashing to 850 K, a solid state reaction of Na 2 O 2 /Na 2 O and the MnO(100) substrate forms a NaMnO 2 -like surface compound which decomposes above 850 K. Oxygen exchange between CO 2 and Na oxides is observed. The strong interaction between CO 2 and Na oxide islands forms Na 2 CO 3 on MnO(100). Heating the Na 2 CO 3 covered MnO(100) surface to 600 K for 10 min drives oxidic Na in the first monolayer into the MnO subsurface, and produces a surface exposing islands of Na 2 CO 3 on MnO(100).

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

Mediated Fuel Cells: Soluble Redox Mediators and their Applications to Electrochemical Reduction of O2 and Oxidation of H2, Alcohols, Biomass, and Complex Fuels

Mediated fuel cells are electrochemical devices that produce power in a manner similar to that of conventional proton exchange membrane fuel cells (PEMFCs). They differ from PEMFCs in their use of redox mediators dissolved in liquid electrolyte to conduct oxidation of the fuel or reduction of the oxidant, typically O2, in bulk solution. The mediators transport electrons (and often protons) between the electrode and the catalysts or chemical reagents in solution. This strategy can help overcome many of the challenges associated with conventional fuel cells, including managing complex multi-phase reactions (as in O2 reduction) or the use of challenging or heterogeneous fuels, such as hydrocarbons, polyols and biomass. Mediators are also commonly used in enzymatic fuel cells, where direct electron transfer from the electrode to the enzymatic active site can be slow. This review provides a comprehensive survey of historical and recent mediated fuel cell efforts, including applications using chemical and enzymatic catalysts. Our research on in this field has been exploring a number of different topics and has been supported different funding sources: the Center for Molecular Electrocatalysis, an Energy Frontier Research Center funded by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences (molecular mediators for catalytic oxygen reduction); the Great Lakes Bioenergy Research Center, DOE Office of Science DE-SC0018409 (research on biomass-based fuels; U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences, Catalysis Program, DE-FG02-05ER15690 (copper-catalyzed oxidation reactions); and the NIH NIGMS, R01 GM100143 and R35 GM134929 (use of molecular mediators for organic chemical synthesis).

Anson, Colin W.↗
DOE OSTI2023

Architecture-Preserving Provable Repair of Deep Neural Networks

Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image recognition. However, DNNs are far from infallible, and incorrect behavior of DNNs can have disastrous real-world consequences. This paper addresses the problem of architecture-preserving V-polytope provable repair of DNNs. A V-polytope defines a convex bounded polytope using its vertex representation. V-polytope provable repair guarantees that the repaired DNN satisfies the given specification on the infinite set of points in the given V-polytope. An architecture-preserving repair only modifies the parameters of the DNN, without modifying its architecture. The repair has the flexibility to modify multiple layers of the DNN, and runs in polynomial time. It supports DNNs with activation functions that have some linear pieces, as well as fully-connected, convolutional, pooling and residual layers. To the best our knowledge, this is the first provable repair approach that has all of these features. We implement our approach in a tool called APRNN. Using MNIST, ImageNet, and ACAS Xu DNNs, we show that it has better efficiency, scalability, and generalization compared to PRDNN and REASSURE, prior provable repair methods that are not architecture preserving.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Achieving Phase Control of Polymorphic Tungsten Carbide Catalysts

The polymorphism of tungsten carbide (W x C) and the challenge of selectively synthesizing pure phases have impeded a precise understanding of catalytic structure−property relationships. This study establishes a framework for phase-selective synthesis of W x C through controlling carburization kinetics. By maintaining particle sizes below 10 nm, β-W 2 C is selectively synthesized using gaseous carbon precursors (CH 4 /H 2 ) via temperature-programmed carburization (TPC). Our findings reveal that W 2 C stabilization is predominantly dictated by particle size and carburization kinetics rather than support interactions, providing a tunable approach to synthesize tungsten carbide catalysts. We elucidate the mechanistic pathway of WO x carburization, demonstrating that CH 4 activation occurs at mild temperatures via lattice oxygen. Our reactor studies establish ex situ synthesized β- W 2 C as an active and stable catalyst for the reverse water-gas shift (RWGS) reaction. However, the need for passivation and reduction pretreatment leads to a complex surface structure with diminished intrinsic activity. In contrast, our in situ synthesis protocol for β-W 2 C eliminates the need for passivation and exhibits increased CO STY during RWGS, illustrating the intrinsically higher activity compared to metallic W, WC 1−x (0.5 < x < 1), and stoichiometric WC.

CO2 conversion↗
DOE OSTI2023

Support for the Second MOSAiC Science Conference support (Final Report)

This is a final report for a conference support project. The US Department of Energy’s Atmospheric System Research Program provided funding support for the Second MOSAiC Science Conference. MOSAiC is the Multidisciplinary drifting Observatory for the Study of Arctic Climate, a yearlong, international expedition into the rapidly changing Arctic sea ice. The expedition collected measurements of the atmosphere, sea ice, and ocean to study coupled physical, chemical, and biological processes. The Second MOSAiC Science Conference provided an important opportunity to bring the MOSAiC-interested community together to discuss MOSAiC data, scientific analyses, synthesis, modeling activities, and more. Overall, the conference was a significant success and has motivated and facilitated a great deal of ongoing research. The support provide by this project was used along with support from other agencies to implement a participant support program that enabled participation in the conference by a diverse collection of researchers from many different countries and disciplines, 60% of whom were female. Most of these participants were Early Career Researchers. Participation by these researchers was vital to the overall success of the conference and has helped to build leadership and research skills for the participants that will serve both themselves and the broader scientific community in the future.

54 ENVIRONMENTAL SCIENCES↗