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 37 records · Page 2

Nickel Speciation and Methane Dry Reforming Performance of Ni/Ce x Zr 1-x O 2 Prepared by Different Synthesis Methods

Herein, ceria–zirconia-supported Ni catalysts (Ni/Ce 0.83 Zr 0.17 O 2 or Ni/CZ) are prepared by dry impregnation, strong electrostatic adsorption, coprecipitation (CP), and combustion synthesis (CS). The nature and abundance of Ni species in these samples are characterized by X-ray adsorption spectroscopy, temperature-programmed reduction, and CO chemisorption. The bulk synthesis methods (i.e., CP and CS) produce Ni cations that are incorporated into the CZ lattice forming mixed-metal oxides with Ni 3+ species at low Ni content. The formation of mixed-metal oxides increases the reducibility of CZ and increases the abundance of active surface oxygen. All NiO/CZ catalysts are active for methane dry reforming and retain some of their activity at a steady state. The initial methane conversion correlates linearly with the fraction of accessible Ni after reduction. The predominant path of catalyst deactivation strongly depends on the structure of the catalyst and, thus, on the synthesis method used. All catalysts experience agglomeration of Ni particles under reaction conditions. Improving the Ni dispersion to isolated species embedded in a support does not improve resistance to Ni particle growth. Coke formation is inversely related to the concentration of active surface oxygen. The dominant deactivation mechanism for catalysts made by CS is the encapsulation of Ni particles by the support.

03 NATURAL GAS↗

PPPL Laboratory Directed Research and Development (Project Final Reports, FY2018 - FY2020)

The U.S. Department of Energy’s (DOE) Princeton Plasma Physics Laboratory (PPPL) is a collaborative national center for fusion energy science, basic sciences, and advanced technology. The Laboratory has three major missions: (1) to develop the scientific knowledge and advanced engineering to enable fusion to power the U.S. and the world; (2) to advance the science of nanoscale fabrication for technologies of tomorrow; and (3) to further the development of the scientific understanding of the plasma universe from laboratory to astrophysical scales. PPPL’s Laboratory Directed Research and Development (LDRD) program supports and encourages creativity and innovation and contributes to its long-term viability. New scientific and technical research areas emerge and are nurtured through the program. Furthermore, new capabilities are developed to enable the Laboratory to meet its and DOE’s missions. The program is used to systematically diversify the Laboratory’s programs and mission. In the last few years, the program has started projects in nanomaterial synthesis, microelectronics, advanced x-ray spectroscopy, high-energy-density physics, superconducting magnet technology, machine learning and artificial intelligence, 3D magnetic fields to optimize fusion plasmas, integration of permanent magnets with simple high-field magnets to reduce the cost of producing complex 3D magnetic fields, advanced computational methods for predictive understanding and control of fusion plasma, development of quantum computing algorithms for plasma physics, liquid metal plasma-facing components for fusion reactors, virtual engineering, and plasma-based space propulsion. The program is also the vehicle to recruit and train talented scientists and engineers with the new skills needed to perform the Laboratory’s mission. Many of the new hires through the program go on to become world-class scientists and engineers in their fields. This report provides descriptions and accomplishments of those LDRD projects that were completed during fiscal years 2018 through 2020.

36 MATERIALS SCIENCE↗

Shorter function summaries for finite state machine-based high consequence systems using logic synthesis and tautologies (Final Report LDRD 24-1302)

Computer programs are often viewed as collections of functions – each function has parameters (inputs) and computes a return value, and each has potential side effects that modify program state (outputs). In this research, a Sandia symbolic execution tool designed to support “human-in-the-loop” analysis was modified to automatically create “function summaries,” and a new tool, “diaboolical,” was created to support enhancing readability of the summary using a novel approach to bit-vector simplification that leverages logic synthesis and tautologies. For this effort, students at Auburn University created several finite state machines (FSMs) to serve as exemplars for high-consequence systems. Function summaries for each of the machines were obtained, and then portions of the summaries were simplified using both diaboolical and the simplification procedure of a popular SMT solver. A comparison of the results shows that diaboolical can often produce smaller function summaries, with expression length improvements over the unsimplified function summaries ranging from 0% to 90% for diaboolical and 0% to 65% for the SMT solver, though diaboolical had a significantly greater cost in time. Diaboolical was evaluated against a collection of “arbitrary” C-code as well as FSM exemplars, and for both datasets it achieved an approximately 10% improvement in expression length compared to simplifications that could be obtained using existing techniques. Function summaries can assist assurance efforts that evaluate existing systems and their executable code. A smaller function summary is likely easier for humans to understand and could thus increase the ability and efficacy of assurance practices centered around the analysis of executable artifacts.

97 MATHEMATICS AND COMPUTING↗

Robust Polymer Electrolytes For Flexible Energy Storage (CRADA Final Report)

As part of the Cyclotron Road program, Anthro Energy investigated the formulation, synthesis, and application of advanced supramolecular compounds for lithium-ion batteries. Anthro Energy developed and tested formulations and chemistries to create polymeric materials with improved mechanical strength, safety, and electrochemical performance. These materials were explored for use in next-generation batteries with a variety of form factors. Initially, Anthro Energy tested these materials to create flexible and deformable batteries, which are in high demand for the wearable/flexible electronics industry. In future work, Anthro Energy’s materials may be applied to create rigid structural batteries, or to enable novel chemistries such as silicon anodes or lithium metal anodes. In the process of testing the company’s unique lithium-ion cells, Anthro Energy explored the development and utilization of novel cell components, cell architectures, and testing protocols. These next-generation flexible and structural batteries may eventually enable new categories of electronic devices.

25 ENERGY STORAGE↗

Metamaterials as a Platform for the Development of Novel Materials for Energy Applications

To explore the fundamental properties of metamaterials (MMs) / metasurfaces and their potential for control of energy at the sub‐wavelength scale in support of the mission of the Department of Energy and the office of Basic Energy Sciences. Electromagnetic metamaterials provide a platform for the discovery and design of new materials with novel structures, functions, and properties. The PI proposes to advance the knowledge base of these materials through fundamental investigations of the experimental and theoretical properties of metamaterials for the discovery, prediction and design of new materials with novel structures, functions, and properties. The proposed research activities emphasize a complete basic research program including the conceptual / computational design, fabrication / synthesis of the materials, and the characterization and analysis of their electromagnetic properties. The proposed project explores the fundamental properties of metamaterials / metasurfaces and their potential for energy applications. There are three main topics which will be investigated: 1) Dispersion engineering with metamaterials and metasurfaces, 2) Epsilon near zero metamaterial absorbers and emitters, and 3) All dielectric metamaterials. The program implements a complete basic research program consisting of theory / design, modeling, characterization, and analysis, in order to fully characterize metamaterials and metasurfaces, while at the same time minimizing iterations necessary to achieve the proposal goals.

36 MATERIALS SCIENCE↗

An MLIR-based Compiler Flow for System-Level Design and Hardware Acceleration

The generation of custom hardware accelerators for applications implemented within high-level productive programming frameworks requires considerable manual effort. To automate this process, we introduce \sodaopt, a compiler tool that extends the MLIR infrastructure. \sodaopt automatically searches, outlines, tiles, and pre-optimizes relevant code regions to generate high-quality accelerators through high-level synthesis. \sodaopt can support any high-level programming framework and domain-specific language that interface with the MLIR infrastructure. By leveraging MLIR, \sodaopt solves compiler optimization problems with specialized abstractions. Backend synthesis tools connect to \sodaopt through progressive intermediate representation lowerings. \sodaopt interfaces to a design space exploration engine to identify the combination of compiler optimization passes and options that provides high-performance generated designs for different backends and targets. We demonstrate the practical applicability of the compilation flow by exploring the automatic generation of accelerators for deep neural networks operators outlined at arbitrary granularity and by combining outlining with tiling on large convolution layers. Experimental results with kernels from the PolyBench benchmark show that \sodaopt high-level optimizations improve execution delays of synthesized accelerators up to 60x. We also show that for the selected kernels, our solution outperforms the current of state-of-the art in more than 70% of the benchmarks and provides better average speedup in 55% of them.

Bohm Agostini, Nicolas↗

Bi-metallic Nanoparticle Synthesis for Advanced Manufactured Melt Wires

Science Undergraduate Laboratory Internship (SULI) Program Report: Additive manufacturing (AM) based on direct-write technologies has emerged as the predominant method for the fabrication of passive sensors for the harsh operating environments seen in a nuclear reactor. Through the modification of previous methods, Idaho National Laboratory and Villanova University have improved the synthesis process for AM feedstock, which will allow for the improvement of advanced nuclear sensors and instrumentation. A major part of this work includes the synthesis process of relevant AM compatible feedstock to support the development, fabrication, and testing of AM sensors for peak temperature detection. For this report, bismuth, bismuth/platinum, tin, tin/silver, tin/zinc, indium, and indium/silver bi-metallic nanoparticles were synthesized using the polyol method, which will enhance temperature sensitivity and allow for miniaturization. To characterize the synthesized nanoparticles, we used x-ray fluorescence to evaluate the elemental composition of the nanoparticles and differential scanning calorimetry and thermogravimetric analysis to determine the melting point and mass loss of the samples. Results show that bi-metallic nanoparticles are a viable option for the fabrication of high-resolution AM melt wires. The temperature sensitivity can be brought to within 5°C and melt wires can be fabricated that are in the micrometer scale. This will expand the range of irradiation experiments melt wires can be used for and the measured temperature will be significantly more accurate.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Low Cost High Efficiency Photovoltaics Using Semiconductor Nanocrystals: Cooperative Research and Development CRADA Number CRD-15-00598 (Final Report)

Collaboration will occur between NREL and KIMM in the area of semiconductor nanocrystals for use in advanced solar photon energy conversion strategies. The project takes advantage of the unique capabilities and expertise regarding the incorporation of quantum dots (QD) into solar energy technologies that are available at NREL within the BES-funded programs. KIMM has unique expertise in the synthesis of new types of nanocrystals as well as advanced processes for solution processing.

14 SOLAR ENERGY↗

A Novel Integrated Fermentation Process with Engineered Microbial Consortia for Butanol Production from Lignocellulose Sugars without CO 2 Emission

The goal of this project was to develop a synthetic microbial consortium consisting of a lactic acid bacterium, a carboxydotrophic acetogen, and a solventogenic clostridia for the production of n butanol, an advanced biofuel and industrial chemical, from lignocellulose sugars (mainly glucose and xylose) and formate (produced from CO 2 by electrochemical reduction) in an integrated bioprocess (biorefinery), which can provide an effective solution to the technical challenges in developing energy and carbon optimized synthesis for the bioeconomy and achieve the program objectives of ARPA-E. The project focused on the design, modeling and construction of synthetic microbial consortia consisting of three bacterial species to maximize carbon conversion and butanol production with a 100% theoretical product yield from glucose and zero or negative CO 2 emission.

09 BIOMASS FUELS↗

Plasma-Catalyst Reactivity Control of Surface Nitrogen Species through Plasma-Temperature-Programmed Hydrogenation to Ammonia

Nonthermal plasma activation of N 2 can facilitate nitrogen adsorption on metal catalysts at low bulk temperatures and atmospheric pressure. Here, we apply a plasma-assisted temperature-programmed reaction (plasma-TPRxn) for ammonia (NH 3 ) synthesis using sequential exposure of a silica-supported metal catalyst to N 2 plasma followed by thermal hydrogen treatment while ramping the temperature to decouple the plasma activation of N 2 from surface catalyzed hydrogenation steps. This approach eliminates the effects from bulk plasma phase reactions, thereby allowing for direct interrogation of plasma activated nitrogen on the active metal surfaces. We confirm previously reported spectroscopic observations that show plasma-generated surface nitrogen can be converted to NH 3 through surface catalyzed pathways. Further, we demonstrate that the ammonia desorption peak temperature is sensitive to metal, with Pt desorbing NH 3 at the lowest temperature. Unsteady state microkinetic models of desorption kinetics as a function of initial N coverage and metal recover observed trends in NH 3 desorption temperatures and confirm that observed results reflect hydrogenation of plasma-induced N accommodation at each surface. In total, we show that the hydrogenation ability of the catalyst after plasma activation of N 2 is responsible for the reactivity trends observed in plasma-assisted NH 3 synthesis.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Molecular Programming of Diorganyl Dichalcogenides for Rational Nanocrystal Design

Soft-chemistry nanocrystal synthesis leverages low-temperature, solution-phase reactions to access materials that can be kinetically stabilized rather than thermodynamically favored. Under such mild conditions, reaction pathways are governed not only by precursor composition but also by the molecular details that dictate how reactive atomic species are generated and delivered. Furthermore, harnessing this kinetic sensitivity offers a powerful opportunity: by deliberately programming precursor reactivity, nanocrystal composition, structure, and morphology can be rationally designed rather than empirically discovered.

Chalcogenides↗

Integration of graphical approaches into optimization-based design of multistage liquid extraction

We propose two optimization models for designing two liquid extraction systems: simple multistage liquid extractors and extractors with extract reflux. Both models are motivated by the concepts of the modified McCabe-Thiele graphical method for multistage extractor design. The operating and equilibrium curves in the McCabe-Thiele method are represented by material balances and piece-wise linearized thermodynamics properties. The use of piece-wise approximations improves computational tractability of both optimization models. In addition, we consider some extensions such as dilute systems, insoluble solvents, and non-ideal stages. In conclusion, the applicability of the proposed models is demonstrated with four illustrative examples.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Steam-Assisted Ammonolysis of MoO2 as a Synthetic Pathway to Oxygenated δ-MoN

A common route for the synthesis of molybdenum nitrides is through the temperature-programmed reaction of molybdenum oxides with NH3, or ammonolysis. In this work, the role of precursor phase, gas phase chemistry (impact of H2O), and temperature profile on the reaction outcome (700 °C) was examined, which resulted in varying amounts of MoO2, H2MoO5, and the nitride phases—cubic γ (nominally Mo2N) and hexagonal δ (nominally MoN). The phase fraction of the δ phase increased with precursor in the sequence MoO2 > MoO3 > H2MoO5. Steam in the reaction gas also favored the production of δ over γ, but with too much steam, MoO2 was obtained in the product. Synthesis conditions for obtaining nearly phase-pure δ were identified: MoO2 as the precursor, 2% H2O in the gas stream, and a moderate heating rate (3 °C/min). In situ X-ray diffraction provided insights into the reaction pathway. Extensive physico-chemical analysis of the δ phase, including synchrotron X-ray and neutron diffraction, electron microscopy, thermogravimetric analysis, X-ray photoelectron spectroscopy, and prompt gamma activation analysis, revealed its stoichiometry to be MoO0.108(8)N0.892(8)H0.012(5), indicating non-trivial oxygen incorporation. The presence of N/O ordering and an impurity phase Mo5N6 were also revealed, detectable only by neutron diffraction. Notably, a computationally predicted MoON phase (doi: 10.1103/PhysRevLett.123.236402), of interest due to its potential to display a metal-insulator transition, did not appear under any reaction condition examined.

Pandey, Shobhit↗

LENS: Learning Enabled Network Synthesis

RTRC and UMD have developed novel machine learning based methods under the ARPA-E DIFFERENTIATE program for rapid acceleration of hypothesis generation in complex architecture design spaces involving both discrete choices of component inclusion and interconnection and continuous parametric decisions. The project named Learning Enabled Network Synthesis (LENS) further demonstrated the developed methods on challenging electrical power converter design problems by identifying the most suitable circuit topologies and simultaneously selecting the most appropriate components to achieve optimized design of power converter with improved performances. We demonstrated that LENS could enable exploration of very large design space of circuit topologies and components by addressing the limitations of conventional design process in non-linear, high switching speed, multi-dimensional power converter design and optimization. The key innovation developed in LENS is the seamless integration of statistical learning and logical reasoning techniques and building on the individual strengths of these techniques for rapid hypothesis discovery. The main component of LENS comprises of: 1) Graph Reasoning Engine (GRE) to enforce composition rules that rapidly reject all discrete architectures that are composed incorrectly and generates an adaptive database of feasible designs which can be used by ML modules, 2) Graph Generative Learning module which is a deep neural network based generative model for graph architectures which can enable design space exploration beyond the dataset generated by the GRE, 3) Graph Reduced Order Model (ROM) for graph domains for accelerating computation of output metrics, and 4) Active learning and Rule Discovery module for sample efficient learning and extracting logical rules from the learned ML models which will be integrated in the GRE to enhance the filtering effectiveness. LENS approach can be applied to any design domains where designs can be represented as multi-attribute graphs. The LENS team integrated the various technical innovations listed above into an optimization pipeline and exercised the optimization pipeline on the converter design problem. The LENS project demonstrated that the developed AI/ML technologies can be used to generate novel converter circuits >45x faster than experts on chosen use-cases. This can enable faster design space exploration and identification of new designs which are not considered by experts due to the increasing design space complexity. This has significant potential impact on the public and energy needs of the country. It is currently estimated that 30% of all electrical powers generated passes through power converters. The future estimate is that 80% of all power generated would be passing through converters. LENS fills a critical gap in this space since by accelerating the design process the designers would be able to generate more efficient converters which can lead to significant energy savings for the country.

42 ENGINEERING↗

GAHLS: an optimized graph analytics based high level synthesis framework

The urgent need for low latency, high-compute and low power on-board intelligence in autonomous systems, cyber-physical systems, robotics, edge computing, evolvable computing, and complex data science calls for determining the optimal amount and type of specialized hardware together with reconfigurability capabilities. With these goals in mind, we propose a novel comprehensive graph analytics based high level synthesis (GAHLS) framework that efficiently analyzes complex high level programs through a combined compiler-based approach and graph theoretic optimization and synthesizes them into message passing domain-specific accelerators. This GAHLS framework first constructs a compiler-assisted dependency graph (CaDG) from low level virtual machine (LLVM) intermediate representation (IR) of high level programs and converts it into a hardware friendly description representation. Next, the GAHLS framework performs a memory design space exploration while account for the identified computational properties from the CaDG and optimizing the system performance for higher bandwidth. The GAHLS framework also performs a robust optimization to identify the CaDG subgraphs with similar computational structures and aggregate them into intelligent processing clusters in order to optimize the usage of underlying hardware resources. Finally, the GAHLS framework synthesizes this compressed specialized CaDG into processing elements while optimizing the system performance and area metrics. Evaluations of the GAHLS framework on several real-life applications (e.g., deep learning, brain machine interfaces) demonstrate that it provides 14.27× performance improvements compared to state-of-the-art approaches such as LegUp 6.2.

97 MATHEMATICS AND COMPUTING↗

Methodology for physics-informed generation of synthetic neutron time-of-flight measurement data

Accurate neutron cross section data are a vital input to the simulation of nuclear systems for a wide range of applications from energy production to national security. The evaluation of experimental data is a key step in producing accurate cross sections. There is a widely recognized lack of reproducibility in the evaluation process due to its artisanal nature and therefore there is a call for improvement within the nuclear data community. This can be realized by automating/standardizing viable parts of the process, namely, parameter estimation by fitting theoretical models to experimental data. This automation effort could greatly benefit from a synthetic data resource. This work leverages problem-specific physics, Monte Carlo sampling, and a general methodology for data synthesis to generate unlimited, labelled experimental cross-section data that is statistically indistinguishable to the observed data. Heuristic and, where applicable, rigorous statistical comparisons to observed data support this claim. The demonstration is based on/limited to transmission measurements at Rensselaer Polytechnic Institute (RPI) and energy-differential cross sections in the resolved resonance region (RRR). An open-source software is published alongside this article that executes the complete methodology to produce high-utility synthetic datasets. The goal of this work is to provide an approach and corresponding tool that will allow the evaluation community to begin exploring more data-driven, ML-based solutions to long-standing challenges in the field.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Preliminary Design of Nuclear Reactor Heat Delivery Systems: Integration with Reference Oil Refinery, Methanol Synthesis, and Hydrogen Production

The Department of Energy’s (DOE) Integrated Energy Systems (IES) program is generating comprehensive analyses validating the opportunity for using nuclear energy in a variety of applications including future clean grids, providing heat for direct use, and providing heat to help reduce emissions in chemical commodities. This work focuses on the preliminary designs of thermal delivery systems that can integrate heat produced from a nuclear core to industrial processes. The key research question that needs to be answered is: what is the prospective method for integrating nuclear generated heat energy into non-electric applications that can facilitate combined heat and power operations by advanced nuclear reactor systems? This research is a composition of case studies showing preliminary conceptual designs for thermal delivery systems integrating advanced nuclear systems with a few industrial systems including high temperature steam electrolysis, a reference oil refinery, and potential future methanol systems that supplant some natural gas use with nuclear energy. Piping and instrumentation diagrams have been developed to show the conceptual integration of nuclear systems with representative industrial systems. Different features of the configurations are dependent on the specific integration requirements including energy source conditions, demand quantity, and require energy application conditions. Design concepts are validated using thermodynamic balance calculations to verify system performance including calculating system losses during transport. Key components: pumps and compressors, heat exchangers, and network piping are reported with key design information and sizing.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

CO Dissociation on model Co/SiO 2 catalysts – effect of adsorbed hydrogen

Here we found experimental evidence that shows the effect that adsorbed hydrogen can have on CO dissociation. For cobalt nanoparticles supported on SiO 2 , adsorbed hydrogen enhances CO dissociation. In contrast, adsorbed hydrogen inhibits CO dissociation on a cobalt film supported on SiO 2 . Considering the nature of cobalt deposited by physical vapor deposition, these results can be explained by a preference for CO dissociation to follow the hydrogen-assisted dissociation mechanism on FCC cobalt and step-edges, while the direct dissociation mechanism is preferred on HCP cobalt. These results are in agreement with previous theoretical results.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗