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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

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↗
DOE OSTI2024

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↗
DOE OSTI2014

DISCOVERY OF RELATIVELY HYDROGEN-POOR GIANTS IN THE GALACTIC GLOBULAR CLUSTER ω CENTAURI

In this Letter, the results of our low-resolution spectroscopic survey for identifying hydrogen-deficient stars in the red giant sample of the globular cluster ω Cen are reported. Spectral analyses were carried out on the basis of the strengths of the (0, 0) MgH band and the Mg b triplet. In our sample, four giants were identified with weak/absent MgH bands in their observed spectra, which was unexpected for their well determined stellar parameters. The Mg abundances for the program stars were determined from the subordinate lines of the MgH band to the blue of the Mg b triplet, using the spectral synthesis technique. The derived Mg abundances for the program stars were as expected for the red giants of ω Cen, except for the four identified candidates. The determined Mg abundances of these four candidates are much lower than that expected for the red giants of ω Cen, and are unacceptable based on the strengths of the Mg b triplet in their observed spectra. Hence, a plausible explanation for the weak/absent MgH bands in the observed spectra of these stars is a relatively lower abundance of hydrogen in their atmospheres. These giants may belong to the group of helium-enriched red giants of ω Cen.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2018

Final report: Understanding influence of thermal history and glass chemistry on kinetics of phase separation and crystallization in borosilicate glass-ceramic waste forms for aqueous reprocessed high level waste

This report provides an overview of the research activities conducted over the three-year period, October 1, 2015 to September 30, 2018. The project consisted of the US DOE component and a parallel project funded by the UK’s EPSRC. The US project is reported here, with some overview of the UK project results. The project was designed to be highly collaborative, including work in the US by Washington State University and Rutgers University, and in the UK by the University of Sheffield and the University of Warwick. Pacific Northwest National Laboratory supported the US project with some synthesis and some characterization. The overall program had two aims: (Aim 1) Understand fundamental mechanisms of the phase transitions leading to the conversion of melt to multiphase glass-ceramic as a function of composition and cooling rate; (Aim 2) Understand influence of glass chemistry on kinetics of phase separation and crystallization. This report includes the summary of the project objectives, approaches, results and deliverables.

36 MATERIALS SCIENCE↗
DOE OSTI2025

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↗
DOE OSTI2016

Evidence-based evaluation of the cumulative effects of ecosystem restoration

Evaluating the cumulative effects of large-scale ecological restoration programs is necessary to inform adaptive ecosystem management and provide society with resilient and sustainable services. However, complex linkages between restorative actions and ecosystem responses make evaluations problematic. Despite long-term federal investments in restoring aquatic ecosystems, no standard evaluation method has been adopted and most programs focus on monitoring and analysis, not synthesis and evaluation. In this paper, we demonstrate a new transdisciplinary approach integrating techniques from evidence-based medicine, critical thinking, and cumulative effects assessment. Tiered hypotheses are identified using an ecosystem conceptual model. The systematic literature review at the core of evidence-based assessment becomes one of many lines of evidence assessed collectively, using critical thinking strategies and causal criteria from a cumulative effects perspective. As a demonstration, we analyzed data from 166 locations on the Columbia River and estuary representing 12 indicators of habitat and fish response to floodplain restoration actions intended to benefit threatened and endangered salmon. Synthesis of seven lines of evidence showed that hydrologic reconnection promoted macrodetritis export, prey availability, and fish access and feeding. The evidence was sufficient to infer cross-boundary, indirect, compounding and delayed cumulative effects, and suggestive of nonlinear, landscape-scale, and spatial density effects. On the basis of causal inferences regarding food web functions, we concluded that the restoration program has a cumulative beneficial effect on juvenile salmon. As a result, this evidence-based approach will enable the evaluation of restoration in complex coastal and riverine ecosystems where data have accumulated without sufficient synthesis.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2014

Fundamental studies of energy-and hole/electron- transfer in hydroporphyrin architectures

The long-term objective of the Bocian/Holten/Lindsey research program is to design, synthesize, and characterize tetrapyrrole-based molecular architectures that absorb sunlight, funnel energy, and separate charge with high efficiency and in a manner compatible with current and future solar-energy conversion schemes. The synthetic tetrapyrroles include porphyrins and hydroporphyrins; the latter classes of molecules encompass analogues of the naturally occurring chlorophylls and bacteriochlorophylls (e.g., chlorins, bacteriochlorins, and their derivatives). The attainment of the goals of the research program requires the close interplay of molecular design and synthesis (Lindsey group), static and time-resolved optical spectroscopic measurements (Holten group), and electrochemical, electron paramagnetic resonance, and resonance Raman studies, as well as density functional theory calculations (Bocian Group). The proposed research encompasses four interrelated themes: (1) Determination of the rates of ground-state hole/electron transfer between (hydro)porphyrins in multipigment arrays as a function of array size, distance between components, linker type, site of linker connection, and frontier molecular orbital composition. (2) Examination of excited-state energy transfer among hydroporphyrins in multipigment arrrays, including both pairwise and non-adjacent transfer, with a chief aim to identify the relative contributions of through-space (Förster) and through-bond (Dexter) mechanisms of energy transfer, including the roles of site of linker connection and frontier molecular orbital composition. (3) Elucidation of the role of substituents in tuning the spectral and electronic properties of bacteriochlorins, with a primary aim of learning how to shift the long-wavelength absorption band deeper into the near-infrared region. (4) Continued development of the software package PhotochemCAD for spectral manipulations and calculations through the compilation of a database of spectra for naturally occurring and synthetic hydroporphyrins. The availability of such data should augment efforts in the design of light-harvesting systems where spectral coverage in the red and near-infrared regions is desired. Collectively, the proposed studies will provide fundamental insights into molecular properties, interactions, and processes relevant to the design of molecular architectures for solar-energy conversion. The accomplishment of these goals is only possible through a highly synergistic program that encompasses molecular design, synthesis, and characterization.

14 SOLAR ENERGY↗
DOE OSTI2013

Fundamental Studies of Hydroporphyrin Architectures for Solar-Energy Applications

The long-term objective of the Bocian/Holten&Kirmaier/Lindsey research program is to design, synthesize, and characterize tetrapyrrole-based molecular architectures that absorb sunlight, funnel energy, and separate charge with high efficiency and in a manner compatible with current and future solar-energy conversion schemes. The synthetic tetrapyrroles include porphyrins and hydroporphyrins; the latter classes of molecules encompass analogues of the naturally occurring chlorophylls and bacteriochlorophylls (e.g., chlorins, bacteriochlorins, and their derivatives). The attainment of the goals of the research program requires the close interplay of molecular design and synthesis (Lindsey group), static and time-resolved optical spectroscopic measurements (Holten&Kirmaier group), and electrochemical, electron paramagnetic resonance, resonance Raman, and infrared studies, as well as density functional theory calculations (Bocian Group). The proposed research encompasses four interrelated themes: (i) Gain a deeper understanding of the spectral and electronic properties of bacteriochlorins, with a subsidiary aim of learning how to shift the long-wavelength absorption band deeper into the NIR region. Bacteriochlorins bearing diverse substituents, including annulated rings, will be prepared and examined. A set of bacteriochlorins with site-specific isotopic (13C, 2H) substitution patterns about the macrocycle perimeter will be prepared for studies of vibrational and electronic properties. (ii) Examine the underlying electronic origin of panchromatic absorption and excited-state behavior of strongly coupled rylene–tetrapyrrole arrays. The rylene constituents include a perylene-monoimide and a terrylene-monoimide. The tetrapyrroles include porphyrins (meso- or β-linked) and bacteriochlorins (β-linked). The objective is to achieve panchromatic absorption while preserving a viable, long-lived excited singlet state. (iii) Determine the rates of ground-state hole/electron transfer between (hydro)porphyrins as a function of array size, distance between components, linker type, site of linker connection, and frontier molecular orbital composition. (iv) Build upon the results of the aforementioned studies to design, synthesize, and characterize integrated architectures that incorporate a panchromatic absorber and other molecular components that that afford efficient hole/electron migration and long-lived charge separation. Such architectures will be examined on solid substrates to explore the viability of the component parts and processes under application-oriented conditions. Such architectures or successors may prove directly useful for solar-energy conversion systems. An equally important attribute is to serve as a test-bed for successful integration of the requisite properties and processes, some of which require rather weak coupling between constituents, some of which require very strong electronic interactions to elicit the desired behavior, and all of which should be tunable under molecular design control to the extent possible. Collectively, the proposed studies will provide fundamental insights into molecular properties, interactions, and processes relevant to the design of molecular architectures for solar-energy conversion. The accomplishment of these goals is only possible through a highly synergistic program that encompasses molecular design, synthesis, and in-depth characterization.

14 SOLAR ENERGY↗
DOE OSTI2026

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↗
DOE OSTI2013

Feasibility Studies on Process Coupling of Transesterification and Methanol Synthesis Using Cellulose and Bio-oil

The Sponsored Programs of WKU is the compliance management for the entire campus. They are responsible for both the fiscal compliance, in addition to the coordination and implementation of pre and post-award documentation. Dr. Wei-Ping Pan is the Principal Investigator of the project, and is responsible for the carrying out of the objectives outlined in this proposal. Dr. Yan Cao, serve as the Co-Principal Investigator, who is responsible for directing the team in carrying out the objectives outlined. This project investigates feasibilities of combining the transesterification bio-diesel production into the traditional methanol production process. In this process, the raw materials for process feedstock will be completely the biomass, include cellulose fractions of biomass and bio-oil fractions of biomass. The process product will be either the bio-diesel or mixed bio-diesel and bio-methanol, which both can be directly fed as the alterative liquid fuel and also has some improvement on fuel handling. Since its capability of the complete utilization of every part of biomass (both cellulose biomass and bio-oils) and capability of the in-site optimization of reaction heat transfer and thermodynamics equilibrium shift and instant separation of process product, the proposed process can better balance several drawbacks of individual process during production of bio-diesel. This is a totally “green” process with almost all aspects of process to embody the characterization of renewable, compatibility and economic.

10 SYNTHETIC FUELS↗
DOE OSTI2022

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↗
DOE OSTI2022

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 ↗
DOE OSTI2022

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↗
DOE OSTI2024

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↗
DOE OSTI2022

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↗
DOE OSTI2019

Chemical synthesis rewriting of a bacterial genome to achieve design flexibility and biological functionality

Understanding how to program biological functions into artificial DNA sequences remains a key challenge in synthetic genomics. Here, we report the chemical synthesis and testing of Caulobacter ethensis-2.0 ( C. eth-2.0 ), a rewritten bacterial genome composed of the most fundamental functions of a bacterial cell. We rebuilt the essential genome of Caulobacter crescentus through the process of chemical synthesis rewriting and studied the genetic information content at the level of its essential genes. Within the 785,701-bp genome, we used sequence rewriting to reduce the number of encoded genetic features from 6,290 to 799. Overall, we introduced 133,313 base substitutions, resulting in the rewriting of 123,562 codons. We tested the biological functionality of the genome design in C. crescentus by transposon mutagenesis. Our analysis revealed that 432 essential genes of C. eth-2.0 , corresponding to 81.5% of the design, are equal in functionality to natural genes. These findings suggest that neither changing mRNA structure nor changing the codon context have significant influence on biological functionality of synthetic genomes. Discovery of 98 genes that lost their function identified essential genes with incorrect annotation, including a limited set of 27 genes where we uncovered noncoding control features embedded within protein-coding sequences. In sum, our results highlight the promise of chemical synthesis rewriting to decode fundamental genome functions and its utility toward the design of improved organisms for industrial purposes and health benefits.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2019

Fluorine-programmed nanozipping to tailored nanographenes on rutile TiO 2 surfaces

The rational synthesis of nanographenes and carbon nanoribbons directly on nonmetallic surfaces has been an elusive goal for a long time. In this paper, we report that activation of the carbon (C)–fluorine (F) bond is a reliable and versatile tool enabling intramolecular aryl-aryl coupling directly on metal oxide surfaces. A challenging multistep transformation enabled by C–F bond activation led to a dominolike coupling that yielded tailored nanographenes directly on the rutile titania surface. Because of efficient regioselective zipping, we obtained the target nanographenes from flexible precursors. Fluorine positions in the precursor structure unambiguously dictated the running of the “zipping program,” resulting in the rolling up of oligophenylene chains. Finally, the high efficiency of the hydrogen fluoride zipping makes our approach attractive for the rational synthesis of nanographenes and nanoribbons directly on insulating and semiconducting surfaces.

36 MATERIALS SCIENCE↗
DOE OSTI2026

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↗