Search NASA⌕ Search

SEARCH · Search NASA

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 217 records · Page 12

Artificial Intelligence Transforming Post-Translational Modification Research

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

59 BASIC BIOLOGICAL SCIENCES↗

Design and Synthesis of Materials with High Capacities for Hydrogen Physisorption

Slit pore or planar geometries are the optimal morphology for adsorbents. Our initial effort was to explore single layer graphene as the ideal platform for adsorbents. As literature processes for graphene synthesis proved unreliable in generating structures of relevance, we concentrated our efforts on metal functionalization in order to enhance the normally modest 4-6 kJ/mole typical of carbons. The results of interest through this effort are the 32-36 g/l volume densities projected for 100 bar pressure for Cu modified material at 77K. Modest material compression would improve these values to densities comparable to 700 bar compressed gas tanks. Thermal Program Desorption (TPD) results from the same metal modified material showed hydrogen release over two temperature ranges. The initial range is 100 to 190 K from normally physisorbed gas while chemisorbed hydrogen from the Cu surface showed desorption starting at 300 K. This work suggests a pathway toward higher temperature utility based on both physisorption and chemisorption phenomena. Chemisorption was validated by observing isotope exchange with deuterium.

08 HYDROGEN↗

Automation of Nanoparticle Synthesis Processes in a Plasma Environment Using LabVIEW

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

PECVD↗

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

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

24 POWER TRANSMISSION AND DISTRIBUTION↗

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

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

97 MATHEMATICS AND COMPUTING↗

Proceedings for the Workshop on Applied Nuclear Data Activities 2024

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

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Hls4ml Synthesis Testing

HLS4ml (high level synthesis for machine learning) Is a Python package used to translate commonly used open-source machine learning models into HLS. This is useful in machine learning applications on FPGAs. Machine learning algorithms are only as fast as the hardware that they are used on, and some applications require high speed without sacrificing accuracy. In these situations, an FPGA is a good choice since it is faster than a CPU or a GPU, but programming an FPGA is difficult. This is where HLS4ml can be used to simplify the process, as a well-known learning model can be converted to HLS and more easily deployed onto an FPGA. There are many use cases for a machine learning algorithm running on an FPGA. For example, detectors in a particle accelerator cannot keep every event that they detect, and so a computer must decide which events to keep and which to discard. Using an FPGA with a machine learning algorithm would be a good way to keep as many events as possible.

Swanson, Caiden↗

hls4ml

hls4ml (high level synthesis for machine learning) Is a Python package used to translate commonly used open-source machine learning models into HLS. This is useful in machine learning applications on FPGAs. Machine learning algorithms are only as fast as the hardware that they are used on, and some applications require high speed without sacrificing accuracy. In these situations, an FPGA is a good choice since it is faster than a CPU or a GPU, but programming an FPGA is difficult. This is where hls4ml can be used to simplify the process, as a well-known learning model can be converted to HLS and more easily deployed onto an FPGA. There are many use cases for a machine learning algorithm running on an FPGA. For example, detectors in a particle accelerator cannot keep every event that they detect, and so a computer must decide which events to keep and which to discard. Using an FPGA with a machine learning algorithm would be a good way to keep as many events as possible.

Swanson, Caiden↗

Synthesizing models useful for ecohydrology and ecohydraulic approaches: An emphasis on integrating models to address complex research questions

Ecohydrology combines empiricism, data analytics, and the integration of models to characterize linkages between ecological and hydrological processes. A challenge for practitioners is determining which models best generalizes heterogeneity in hydrological behaviour, including water fluxes across spatial and temporal scales, integrating environmental and socio–economic activities to determine best watershed management practices and data requirements. We conducted a literature review and synthesis of hydrologic, hydraulic, water quality, and ecological models designed for solving interdisciplinary questions. We reviewed 1,275 papers and identified 178 models that have the capacity to answer an array of research questions about ecohydrology or ecohydraulics. Of these models, 43 were commonly applied due to their versatility, accessibility, user–friendliness, and excellent user–support. Forty–one of 43 reviewed models were linked to at least 1 other model especially: Water Quality Analysis Simulation Program (linked to 21 other models), Soil and Water Assessment Tool (19), and Hydrologic Engineering Center's River Analysis System (15). However, model integration was still relatively infrequent. There was substantial variation in model applications, possibly an artefact of the regional focus of research questions, simplicity of use, quality of user–support efforts, or a limited understanding of model applicability. Simply increasing the interoperability of model platforms, transformation of models to user–friendly forms, increasing user–support, defining the reliability and risk associated with model results, and increasing awareness of model applicability may promote increased use of models across subdisciplines. Furthermore, the current availability of models allows an array of interdisciplinary questions to be addressed, and model choice relates to several factors including research objective, model complexity, ability to link to other models, and interface choice.

54 ENVIRONMENTAL SCIENCES↗

Synthesis and thermoluminescence studies of γ-irradiated Dy{sup 3+} doped SrGd{sub 2}O{sub 4} phosphor

Highlights: • SrGd2O4:Dy3+ phosphors have been prepared via homogeneous precipitation cum auto-combustion method for the first time. • TL characteristics of γ-irradiated SrGd2O4: Dy3+ phosphors were studied for various Dy3+ contents and heating rates. • Linear TL profile, less fading and high reproducibility of the present phosphor system reveals its applicability in TL dosimetry. - Abstract: Dy{sup 3+} doped SrGd{sub 2}O{sub 4} phosphors were synthesized via homogeneous precipitation cum auto-combustion method for the first time. Orthorhombic phase formation and granular morphology of SrGd{sub 2}O{sub 4}: Dy{sup 3+} samples were investigated through X-ray diffraction (XRD) and microscopic studies. Thermoluminescence (TL) characteristics of SrGd{sub 2}O{sub 4}: Dy{sup 3+} phosphors were taken after exposure of {sup 60}Co γ-rays. The TL glow curve of as-prepared phosphors was well-resolved into five peaks 114 °C, 161 °C, 198 °C, 248 °C, and 293 °C by using computerized glow curve deconvolution program. The effect of impurity (Dy{sup 3+}) contents and heating rates for the TL glow curves were also studied. The linear behaviour of as-formed SrGd{sub 2}O{sub 4}: Dy{sup 3+} samples are observed within a wide range of dose of 80 Gy–2 kGy. Fading characteristics of SrGd{sub 2}O{sub 4}: Dy{sup 3+} phosphor was studied over the duration of 30 days. A comparative study was done to estimate different trapping parameters by employing Chen’s peak shape method and CGCD simulation of TL glow curves.

36 MATERIALS SCIENCE↗

Sequential self-assembly of DNA functionalized droplets

Complex structures and devices, both natural and manmade, are often constructed sequentially. From crystallization to embryogenesis, a nucleus or seed is formed and built upon. Sequential assembly allows for initiation, signaling, and logical programming, which are necessary for making enclosed, hierarchical structures. Though biology relies on such schemes, they have not been available in materials science. We demonstrate programmed sequential self-assembly of DNA functionalized emulsions. The droplets are initially inert because the grafted DNA strands are pre-hybridized in pairs. Active strands on initiator droplets then displace one of the paired strands and thus release its complement, which in turn activates the next droplet in the sequence, akin to living polymerization. This strategy provides time and logic control during the self-assembly process, and offers a new perspective on the synthesis of materials.

36 MATERIALS SCIENCE↗

Advanced Anode for Internal Reforming and Thermal Management in Solid Oxide Fuel Cells

Solid oxide fuel cell (SOFC) is an efficient and clean electrical power generation system compared to conventional combustion based technologies with energy efficiency reaching as high as 85-90% in co-generation mode (electricity and heat). Other advantages of SOFCs are hybridization, modularity of construction, small CO 2 foot print per kWh of generated electricity and fuel flexibility. Hydrocarbons present in the gaseous fuel is utilized in SOFCs by internal or external reforming. There are two different internal reforming concepts: Direct Internal Reforming (DIR) and Indirect Internal Reforming (IIR). For DIR operation, the endothermic reforming reaction and the exothermic reaction from the oxidation reaction are operated together in the single unit eliminating the requirement for a separate fuel reformer. This configuration also simplifies the overall system design, making SOFC more attractive and efficient means of producing electrical power. The main advantage of the DIR type of operation is that the H 2 or CO consumption by the electrochemical reaction could directly promote the conversion of methane at the anode side of the fuel cell resulting in high conversion and high efficiency. The DIR operation, however, requires an anode material that has desired dual catalytic (hetero and electro) properties for reforming reaction and electrochemical reactions. The anode materials also need to remain resistant to carbon formation at the operating temperature and atmosphere with stable cell performance. Another requirement is to match the reforming reactions and electrochemical reactions to avoid local cooling or overheating, which can result in mechanical failure due to thermally induced stresses. Direct internal reforming (DIR) of hydrocarbon fuels simplifies the overall SOFC system design making it more attractive and efficient for producing electrical power. Low cost alloy anodes for distributed internal reforming of methane and other hydrocarbon fuels offer increased fuel-flexibility, reliability, and long term performance stability of solid oxide fuel cells (SOFC). The research program examined modification of the chemical compositions and microstructure of high entropy alloy (HEA) anode materials using thermochemical calculations and process simulation and modeling to achieve distributed reforming over the entire anode to eliminate hot zones. Cell fabrication and testing of the HEA anodes using button cell configuration has been performed to demonstrate the advantages of new anode over traditional Ni-YSZ anodes for distributed reforming and carbon free operation. Technical accomplishments include identification and synthesis of HEA carbon-resistant anode, demonstration of reduction in reforming rate confirmed by GC and modelling data validating effectiveness for thermal management in cell/stacks, electrochemical testing of HEA anode in single cell (HEA-GDC||YSZ||LSM-YSZ) and Characterization of pretest and posttest anode materials by TEM and SEM-EDS confirming carbon-free operation.

30 DIRECT ENERGY CONVERSION↗

Irradiation-Driven Restructuring of UO 2 Thin Films: Amorphization and Crystallization

Combustion synthesis in uranyl nitrate–acetylacetone–2-methoxyethanol solutions was used to deposit thin UO 2 films on aluminum substrates to investigate the irradiation-induced restructuring processes. Thermal analysis revealed that the combustion reactions in these solutions are initiated at ~160 °C. The heat released during the process and the subsequent brief annealing at 400 °C allow the deposition of polycrystalline films with 5–10 nm UO 2 grains. The use of multiple deposition cycles enables tuning of the film thicknesses in the 35–260 nm range. Irradiation with Ar 2+ ions (1.7 MeV energy and a fluence of up to 1 × 10 17 ions/cm 2 ) is utilized to generate a uniform distribution of atomic displacements within the films. X-ray fluorescence (XRF) and alpha-particle emission spectroscopy showed that the films were stable under irradiation and did not undergo sputtering degradation. X-ray photoelectron spectroscopy (XPS) showed that the stoichiometry and uranium ionic concentrations remain stable during irradiation. The high-resolution electron microscopy imaging and electron diffraction analysis demonstrated that at the early stages of irradiation (below 1 × 10 16 ion/cm 2 ) UO 2 films show complete amorphization and beam-induced densification (sintering), resulting in a pore-free disordered film. Prolonged irradiation (5 × 10 16 ion/cm 2 ) is shown to trigger a crystallization process at the surface of the films that moves toward the UO 2 /Al interface, converting the entire amorphous material into a highly crystalline film. This work reports on an entirely different radiation-induced restructuring of the nanoscale UO 2 compared to the coarse-grained counterpart. The preparation of thin UO 2 films deposited on Al substrates fills an area of national need within the stockpile stewardship program of the National Nuclear Security Administration and fundamental research with actinides. Here, the method reported in this work produces pure, robust, and uniform thin-film actinide targets for nuclear science measurements

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Reproducing Quantum Probability Distributions at the Speed of Classical Dynamics: A New Approach for Developing Force-Field Functors

Modeling nuclear quantum effects is required for accurate molecular dynamics (MD) simulations of molecules. The community has paid special attention to water and other biomolecules that show hydrogen bonding. Standard methods of modeling nuclear quantum effects like Ring Polymer Molecular Dynamics (RPMD) are computationally costlier than running classical trajectories. A force-field functor (FFF) is an alternative method that computes an effective force field that replicates quantum properties of the original force field. In this work, we propose an efficient method of computing FFF using the Wigner–Kirkwood expansion. As a test case, we calculate a range of thermodynamic properties of Neon, obtaining the same level of accuracy as RPMD, but with the shorter runtime of classical simulations. Lastly, by modifying existing MD programs, the proposed method could be used in the future to increase the efficiency and accuracy of MD simulations involving water and proteins.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Normality of I-V Measurements Using ML

There is an increased interest in instrument-computing ecosystems (ICEs) that support science workflows empowered by AI-automated experiments and computations in diverse areas. In particular, electrochemistry ICEs are promising for accelerating the design and discovery of electrochemical systems for energy storage and conversion, by automating significant parts of workflows that combine synthesis and characterization experiments with computations. They require the integration of flow controllers, solvent containers, pumps, fraction collectors, and potentiostats, all connected to an electrochemical cell, as illustrated in Fig. 1. These are specialized instruments with custom software that is not originally designed for network integration. We developed network and software solutions for electrochemical workflows that adapt system and instrument settings in real-time for multiple rounds of experiments. In particular, we developed Python wrappers for Application Programming Interfaces (APIs) of instrument commands and Pyro client-server modules that enable them to be executed from remote computers. The entire workflow is orchestrated by a Jupyter notebook running on a remote computer.

Al Najjar, Anees↗

Biogas reforming over Ni catalysts dispersed in different mixed oxides containing Zn2+, Al3+ and Zr4+cations

Highlights: • The oxides mixture containing NiO, ZnO, Al{sub 2}O{sub 3}, NiAl{sub 2}O{sub 4} and ZnAl{sub 2}O{sub 4} was detected. • The results exhibited intermediate interactions between Ni0 and other phases. • Dry reforming of methane was applied to production of synthesis gas. • Deposition of the carbon filamentous on the catalysts surface was observed. - Abstract: The active phase plays an important role in the catalytic activity. However, its applicability is directly associated with other present phases in the mixture. In view of this, we report the performance of Ni catalysts dispersed on mixed oxides containing Zn{sup 2+}, Al{sup 3+} and Zr{sup 4+}cations in biogas reforming. For this purpose, the samples were characterized by X-ray powder diffraction, which showed the formation of a homogeneous mixture of binary (NiO, ZnO, ZrO{sub 2} and Al{sub 2}O{sub 3}) and ternary (NiAl{sub 2}O{sub 4} and ZnAl{sub 2}O{sub 4}) oxides. The temperature-programmed reduction (H{sub 2}-TPR) provided information on the catalyst reduction. The performance of the catalysts was evaluated using two reduction temperatures (650 °C and 750 °C). The reactions were carried out at 750 °C, where the Ni/ZnAlZr catalyst presented the highest CO{sub 2} conversion attributed to the basic sites, which favored the CO{sub 2} adsorption. Otherwise, the Ni/ZnZr catalyst (reduced at 650 °C) showed a high CH{sub 4} conversion. The catalysts were also reduced at 750 °C and a lower conversion of both reactants (CH{sub 4} and CO{sub 2}) was observed. We argued that the agglomeration process during the reduction condition deteriorates the performance of the catalysts reduced at 750 °C.

09 BIOMASS FUELS↗

Ultra-thin ZrO 2 overcoating on CuO-ZnO-Al 2 O 3 catalyst by atomic layer deposition for improved catalytic performance of CO 2 hydrogenation to dimethyl ether

Abstract An ultra-thin overcoating of zirconium oxide (ZrO 2 ) film on CuO-ZnO-Al 2 O 3 (CZA) catalysts by atomic layer deposition (ALD) was proved to enhance the catalytic performance of CZA/HZSM-5 (H form of Zeolite Socony Mobil-5) bifunctional catalysts for hydrogenation of CO 2 to dimethyl ether (DME). Under optimal reaction conditions (i.e. 240 °C and 2.8 MPa), the yield of product DME increased from 17.22% for the bare CZA/HZSM-5 catalysts, to 18.40% for the CZA catalyst after 5 cycles of ZrO 2 ALD with HZSM-5 catalyst. All the catalysts modified by ZrO 2 ALD displayed significantly improved catalytic stability of hydrogenation of CO 2 to DME reaction, compared to that of CZA/HZSM-5 bifunctional catalysts. The loss of DME yield in 100 h of reaction was greatly mitigated from 6.20% (loss of absolute value) to 3.01% for the CZA catalyst with 20 cycles of ZrO 2 ALD overcoating. Characterizations including hydrogen temperature programmed reduction, x-ray powder diffraction, and x-ray photoelectron spectroscopy revealed that there was strong interaction between Cu active centers and ZrO 2 .

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗