Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Program Reversal”

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 55 records · Page 3

Instructing cells with programmable peptide DNA hybrids

The native extracellular matrix is a space in which signals can be displayed dynamically and reversibly, positioned with nanoscale precision, and combined synergistically to control cell function. Here we describe a molecular system that can be programmed to control these three characteristics. In this approach we immobilize peptide-DNA (P-DNA) molecules on a surface through complementary DNA tethers directing cells to adhere and spread reversibly over multiple cycles. The DNA can also serve as a molecular ruler to control the distance-dependent synergy between two peptides. Finally, we use two orthogonal DNA handles to regulate two different bioactive signals, with the ability to independently up- or downregulate each over time. This enabled us to discover that neural stem cells, derived from the murine spinal cord and organized as neurospheres, can be triggered to migrate out in response to an exogenous signal but then regroup into a neurosphere as the signal is removed.

36 MATERIALS SCIENCE↗

BARC Element Classifier (barc)

SAND2024-02120O This program enumerates and classifies all possible functional elements in several different categories within the Ballistic Asynchronous Reversible Computing (barc) model of computation. barc software is a research tool that is being used to help document the possible digital behaviors of primitive functional elements in the ABRC a.k.a. BARC model of computation. The method of operation of this software leverages elementary concepts and methods from discrete mathematics: combinatorics (permutations), partitions and equivalence classes, symmetry transformations, and the theory of finite groups. Implementation is in Python programming language. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Frank, Michael↗

RAMSeS: Rapid Analysis of Mission Software Systems

Over the past few decades, software has become ubiquitous as it has been integrated into nearly every aspect of society, including household appliances, consumer electronics, industrial control systems, public utilities, government operations, and military systems. Consequently, many critical national security questions can no longer be answered convincingly without understanding software, including its purpose, its capabilities, its flaws, its communication, or how it processes and stores data. As software continues to become larger, more complex, and more widespread, our ability to answer important mission questions and reason about software in a timely way is falling behind. Today, to achieve such understanding of third-party software, we rely predominantly on the ability of reverse engineering experts to manually answer each particular mission question for every software system of interest. This approach often requires heroic human effort that nevertheless fails to meet current mission needs and will never scale to meet future needs. The result is an emerging crisis: a massive and expanding gap between the national security need to answer mission questions about software and our ability to do so. Sandia National Laboratories has established the Rapid Analysis of Mission Software Systems (RAMSeS) effort, a collaborative long-term effort aimed at dramatically improving our nation’s ability to answer mission questions about third-party software by growing an ecosystem of tools that augment the human reverse engineer through automation, interoperability, and reuse. Focusing on static analysis of binary programs, we are attempting to identify reusable software analysis components that advance our ability to reason about software, to automate useful aspects of the software analysis process, and to integrate new methodologies and capabilities into a working ecosystem of tools and experts. We aim to integrate existing tools where possible, adapt tools when modest modifications will enable them to interoperate, and implement missing capability when necessary. Although we do hope to automate a growing set of analysis tasks, we will approach this goal incrementally by assisting the human in an ever-widening range of tasks.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Sister Rod Destructive Examinations (FY2021) Appendix F: Cyclic Integrated Reversible-Bending Fatigue Tests

As a part of DOE NE High Burnup Spent Fuel Data Project, Oak Ridge National Laboratory (ORNL) is performing destructive examinations (DEs) of high burnup (HBU) (>45 GWd/MTU) spent nuclear fuel (SNF) rods from the North Anna Nuclear Power Station operated by Dominion Energy. The SNF rods, called sister rods or sibling rods, are all HBU and include four different kinds of fuel rod cladding: standard Zircaloy-4 (Zirc-4), low-tin (LT) Zirc-4, ZIRLO, and M5. This appendix documents the status of the ORNL Phase 1 DE activities related to tests of the sister rods using the Cyclic Integrated Reversible-Bending Fatigue Tester (CIRFT) in Phase 1 of the sister rod test program.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Ghidra 101

Ghidra 101 is a collection of tutorials and example programs given to summer interns, intended as an initial introduction to using Ghidra and reverse engineering binaries.

Mast, RyanA [Lawrence Livermore National Laborator↗

Qubit Assignment Using Time Reversal

As quantum computers with large numbers of qubits become increasingly available, experiments executed on a given device may not utilize all available qubits. In this case, the outcome of executing a quantum program will depend on the ability to efficiently select a subset of high-performing physical qubits. For any given quantum program and device there are many ways to assign physical qubits for execution of the program, and assignments will differ in performance due to the variability in quality across qubits and entangling operations on a single device. Evaluating the performance of each assignment using fidelity estimation introduces significant experimental overhead and will be infeasible for many applications, while relying on standard device benchmarks provides incomplete information about the performance of any specific program. Furthermore, the number of possible assignments grows combinatorially in the number of qubits on the device and in the program, motivating the use of heuristic optimization techniques. We demonstrate a practical solution to the problem of qubit assignment by using simulated annealing with a cost function based on the Loschmidt echo, a diagnostic that measures the reversibility of a quantum process. We provide theoretical justification for this choice of cost function by demonstrating that the optimal qubit assignment coincides with the optimal qubit assignment based on state fidelity in the weak error limit, and we provide experimental justification using diagnostics performed on Google’s superconducting qubit devices. We then establish the performance of simulated annealing for qubit assignment using classical simulations of noisy devices as well as optimization experiments performed on a quantum processor. Our results demonstrate that the use of Loschmidt echoes and simulated annealing provides a scalable and flexible approach to optimizing qubit assignment on near-term hardware.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Andra's Underground Research Laboratory as a Tool to Prepare Monitoring System of Cigeo Project - 18070

Andra, as French radioactive waste management agency, plans to build an underground disposal facility, named Cigeo, dedicated to high and intermediate level, long lived radioactive wastes. To ensure the safety during the disposal operations that includes the principle of reversibility, the design of the associated monitoring system will be based on specific research and development program and feedback obtained over more than 15 years on tests performed in representative conditions. Andra's Underground Research Laboratory (URL), located at 500 m deep, is excavated in a clay-rich formation. It is dedicated to (i) assess the thermo-hydro-mechanical, chemical and radiologic behaviors of the rock and supporting layers (concrete and steel), (ii) test envisaged monitoring system, (iii) provide feedback on operational organization and safety management and (iv) qualify operating methods (digging, concrete pouring, monitoring system design, etc.) to be implemented in the future disposal. Data collected from (i) characteristics of samples retrieved from boreholes, (ii) experts' observations, (iii) sensors installed in situ and (iv) manual measurements, are integrated in a database. This database is dedicated to samples management (more than 73 600 classified samples), data measurements collection, and conversion to physical values and available to plots or exports. Each day, approximately 1.6 million of values are integrated in the database. Finally, a geo-referenced database is linked to the main database in order to allow the spatial localization, both on the surface or in the underground galleries. All these tools give confidence in Andra's capacity to monitor Cigeo and be ready for the future industrial pilot phase. The monitoring system will also allow, step by step, optimizing the disposal design, performing regular safety control, helping in decision making for reversibility and improving long term safety. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Site Selection Restart in Germany Results of the Site Selection Commission - 17017

Since 2011 Germany is pursuing a phase-out strategy concerning the use of nuclear power for electricity production. This decision was strongly influenced by the Fukushima event. In 2013 the federal government announced that they also had achieved an agreement with the Federal States in Germany on a law to restart the site selection for a repository for spent fuel and high-level heat-generating waste from scratch. The new law was passed in July 2013. At first a 34-member commission had been installed in April 2014 to evaluate the Site Selection Law [1] and to develop basic principles for site selection, including safety requirements and selection criteria for rock formations. The commission included representatives from the parliament, civil society organizations, industry, environmental organizations, trade unions and scientists. The commission forwarded its recommendations in summer 2016. The evaluated law should come into force in 2017. The stepwise approach for finding a suitable site for a repository for Germany's heat-generating waste might then start in 2017. As shown in publication [2], the site selection process will take several decades. The preferred solution based on the present state of the art is the final disposal in deep geological formations in a mine with the option 'Reversibility and Retrievability (R and R)'. The scientific challenges and the upcoming R and D program are complex. Therefore a 'step-back option' (learning process) is foreseen in the program. The R and D program has to react flexibly to new findings, demands or modifications of criteria or requirements. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Sister Rod Destructive Examinations (FY20), Appendix F: Cyclic Integrated Reversible-Bending Fatigue Tests

This report documents work performed under the Spent Fuel and Waste Disposition’s Spent Fuel and Waste Science and Technology program for the US Department of Energy (DOE) Office of Nuclear Energy (NE). This work was performed to fulfill Level 2 Milestone M2SF-21OR010201032, “ORNL High Burnup Confirmatory Demo Sibling Rod Testing Results,” within work package SF-21OR01020103 and is an update to the work reported in M2SF-19ORO010201026 and M2SF-19OR010201028.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Ion Write Microthermotics: Programing Thermal Metamaterials at the Microscale

Considerable advances in manipulating heat flow in solids have been made through the innovation of artificial thermal structures such as thermal diodes, camouflages, and cloaks. Such thermal devices can be readily constructed only at the macroscale by mechanically assembling different materials with distinct values of thermal conductivity. Here in this paper, we extend these concepts to the microscale by demonstrating a monolithic material structure on which nearly arbitrary microscale thermal metamaterial patterns can be written and programmed. It is based on a single, suspended silicon membrane whose thermal conductivity is locally, continuously, and reversibly engineered over a wide range (between 2 and 65 W/m·K) and with fine spatial resolution (10-100 nm) by focused ion irradiation. Our thermal cloak demonstration shows how ion-write microthermotics can be used as a lithography-free platform to create thermal metamaterials that control heat flow at the microscale.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Proton Tunable Analog Transistor for Low Power Computing

This project was broadly motivated by the need for new hardware that can process information such as images and sounds right at the point of where the information is sensed (e.g. edge computing). The project was further motivated by recent discoveries by group demonstrating that while certain organic polymer blends can be used to fabricate elements of such hardware, the need to mix ionic and electronic conducting phases imposed limits on performance, dimensional scalability and the degree of fundamental understanding of how such devices operated. As an alternative to blended polymers containing distinct ionic and electronic conducting phases, in this LDRD project we have discovered that a family of mixed valence coordination compounds called Prussian blue analogue (PBAs), with an open framework structure and ability to conduct both ionic and electronic charge, can be used for inkjet-printed flexible artificial synapses that reversibly switch conductance by more than four orders of magnitude based on electrochemically tunable oxidation state. Retention of programmed states is improved by nearly two orders of magnitude compared to the extensively studied organic polymers, thus enabling in-memory compute and avoiding energy costly off-chip access during training. We demonstrate dopamine detection using PBA synapses and biocompatibility with living neurons, evoking prospective application for brain - computer interfacing. By application of electron transfer theory to in-situ spectroscopic probing of intervalence charge transfer, we elucidate a switching mechanism whereby the degree of mixed valency between N-coordinated Ru sites controls the carrier concentration and mobility, as supported by density functional theory (DFT) .

97 MATHEMATICS AND COMPUTING↗

Portability for GPU-accelerated molecular docking applications for cloud and HPC: can portable compiler directives provide performance across all platforms?

High-throughput structure-based screening of drug-like molecules has become a common tool in biomedical research. Recently, acceleration with graphics processing units (GPUs) has provided a large performance boost for molecular docking programs. Both cloud and high-performance computing (HPC) resources have been used for large screens with molecular docking programs; while NVIDIA GPUs have dominated cloud and HPC resources, new vendors such as AMD and Intel are now entering the field, creating the problem of software portability across different GPUs. Ideally, software productivity could be maximized with portable programming models that are able to maintain high performance across architectures. While in many cases compiler directives have been used as an easy way to offload parallel regions of a CPU-based program to a GPU accelerator, they may also be an attractive programming model for providing portability across different GPU vendors, in which case the porting process may proceed in the reverse direction: from low-level, architecture-specific code to higher-level directive-based abstractions. MiniMDock is a new mini-application (miniapp) designed to capture the essential computational kernels found in molecular docking calculations, such as are used in phar-maceutical drug discovery efforts, in order to test different solutions for porting across GPU architectures. Here we extend MiniMDock to GPU offloading with OpenMP directives, and compare to performance of kernels using CUDA and HIP on NVIDIA and AMD GPUs, respectively, as well as across different compilers, exploring performance bottlenecks. We document this reverse-porting process, from highly optimized device code to a higher-level version using directives, compare code structure, and describe barriers that were overcome in this effort.

Thavappiragasam, Mathialakan↗

Investigation of design principles for metal-binding and conductive protein assemblies

Throughout the lifetime of this initiative, including renewals, we focused on understanding the fundamental principles of protein-protein interface design that enable predictable and modular spatial and kinetic control of multi-component protein self-assembly in 1D, 2D, and 3D, including the interface with inorganic materials, small molecules, and metal ions. We designed individual protein components that bind specific metal ions, including REEs and transport ions across lipid membranes. We created helical 1D filaments of repeating units with programmed periodicity, pitch, and multi-component environmentally responsive self-assembling protein fibers. We showed that these filaments reversibly assemble and disassemble under specific pH conditions and created end-specific caps that independently tune the balance of attachment and detachment rates at each terminus of the filament. Using similar filaments, we succeeded in binding arrays of heme and chlorophyll molecules and assembling patterned helical coatings around carbon nanotubes in efforts to create de novo conductive nanowires. By arraying REE binding sites in a large circular tandem array with a repeat protein-based cyclic oligomer, we created a molecular scaffold for superradiance and paramagnetic quantum sensing. We created a range of one-component and two-component self-assembling 2D arrays and showed that when designed to engage cell receptors, these arrays can control cell behavior from outside the cell signal to inside the cell. We designed helical repeat proteins with variable lengths displaying charged residues in a pattern matched to the cation lattice of mica. achieved a range of ordered states with an epitaxial match to the underlying crystal lattice. We further applied the learned principles of protein-induced biomineralization to design proteins with an interface lattice matching CaCO 3 and guide the formation of specific crystal forms of CaCO 3 from solution, a significant advance toward the global need to manage carbon. In all cases of mineral lattice matching and biomineralization, we followed assembly using molecularly resolved in situ AFM imaging and extracted information about assembly pathways and energetics, applying deep learning to quantify the dynamics of protein self-organization. We developed techniques for using dynamic metal-dependent interfaces on protein nanopores for discriminatively sensing dilute REEs in solution and demonstrated the use of strong metal-binding interfaces to drive nanocage disassembly for conditional nanocompartmentalization applications. This grant supported 11 people, including Asim Bera, Evans Brackenbrough, Andrew Borst, Nikita Hanikel, Timothy Huddy, Emily Joyce, Alex Young-Seug Kang, Ryan Kibler, Joshua Morris Lubner, Harley Pyles, and Shuai Zhang. The research effort culminated in the production of published papers and theses. Electronic Thesis/Dissertation are distributed by ProQuest/UMI Dissertation Publishing and made available on an open access basis through UW Libraries ResearchWorks Service.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Superstructure Optimization for Brine Valorization from Brackish Water Desalination

This poster presents preliminary results from a superstructure optimization framework developed to identify cost-optimal brine valorization configurations for brackish water desalination plants across diverse U.S. regional feed chemistries. The study uses brackish groundwater compositions from Arizona, California, Florida, New Mexico, and Texas. Using Pyomo Generalized Disjunctive Programming (GDP) within the WaterTAP modeling environment, the optimization framework simultaneously evaluates thousands of candidate treatment configurations, spanning nanofiltration, reverse osmosis, and chemical precipitation, to minimize the levelized cost of water (LCOW) while meeting water recovery targets and product recovery constraints. Results across eight representative feed clusters demonstrate water recovery rates of 57–87% and net LCOW values ranging from -$0.032/m³ (net revenue-positive) to $0.80/m. Notably, no single process configuration was optimal across all feed types, underscoring the necessity of feed-specific optimization. Products targeted include calcium carbonate (CaCO₃) at $0.01/kg and sodium chloride (NaCl) at $0.10/kg, both at 95% purity, with product revenues offsetting treatment costs in several scenarios. The work advances NAWI's process systems engineering capabilities for multi-configuration screening.

58 GEOSCIENCES↗

Interplay between Intrinsic Thermal Stability and Expansion Properties of Functionalized UiO-67 Metal–Organic Frameworks

The UiO family of metal-organic frameworks (MOFs) has been extensively studied for several applications owing to their high stability rendered by their robust secondary building units. The efficient design and use of these materials require a fundamental understanding of their thermal stability and its impact on chemical and structural functionality. In this work, we provide a detailed characterization of the intrinsic thermal behavior of the UiO-67 and functional analogues, UiO-67-NH 2 and UiO-67-CH 3 . Using in situ temperature-programmed X-ray diffraction, we find that distortion of the carboxylate group on the organic linker leads to negative thermal expansion (NTE) of the UiO-67 MOFs during heating. This NTE behavior is correlated with rich and reversible thermal changes observed in the MOF infrared spectral signature as samples are heated to the sample activation temperature (473 K). We find that in the absence of oxygen, activated UiO-67 samples show higher thermal stability compared to ambient or inert environments, with temperature-programmed desorption revealing an overall stability trend: UiO-67 > UiO-67- CH 3 > UiO-67-NH 2 . Two stages of change are observed during thermal treatment above 473 K, which are directly related to deformation of the inorganic node and the isotropic NTE behavior of these materials. Ultimately, these results provide a real-time interpretation of the fundamental thermoresponsive behavior of UiO-67 MOFs and offer a foundation for accurate interpretation of MOF interactions with guest molecules and their temperature dependence.

36 MATERIALS SCIENCE↗

Exploring Explicit Uncertainty for Binary Analysis (EUBA)

Reverse engineering (RE) analysts struggle to address critical questions about the safety of binary code accurately and promptly, and their supporting program analysis tools are simply wrong sometimes. The analysis tools have to approximate in order to provide any information at all, but this means that they introduce uncertainty into their results. And those uncertainties chain from analysis to analysis. We hypothesize that exposing sources, impacts, and control of uncertainty to human binary analysts will allow the analysts to approach their hardest problems with high-powered analytic techniques that they know when to trust. Combining expertise in binary analysis algorithms, human cognition, uncertainty quantification, verification and validation, and visualization, we pursue research that should benefit binary software analysis efforts across the board. We find a strong analogy between RE and exploratory data analysis (EDA); we begin to characterize sources and types of uncertainty found in practice in RE (both in the process and in supporting analyses); we explore a domain-specific focus on uncertainty in pointer analysis, showing that more precise models do help analysts answer small information flow questions faster and more accurately; and we test a general population with domain-general sudoku problems, showing that adding "knobs" to an analysis does not significantly slow down performance. This document describes our explorations in uncertainty in binary analysis.

97 MATHEMATICS AND COMPUTING↗

Programming temporal shapeshifting

Shapeshifting enables a wide range of engineering and biomedical applications, but until now transformations have required external triggers. This prerequisite limits viability in closed or inert systems and puts forward the challenge of developing materials with intrinsically encoded shape evolution. Herein we demonstrate programmable shape-memory materials that perform a sequence of encoded actuations under constant environment conditions without using an external trigger. We employ dual network hydrogels: in the first network, covalent crosslinks are introduced for elastic energy storage, and in the second one, temporary hydrogen-bonds regulate the energy release rate. Through strain-induced and time-dependent reorganization of the reversible hydrogen-bonds, this dual network allows for encoding both the rate and pathway of shape transformations on timescales from seconds to hours. In conclusion, this generic mechanism for programming trigger-free shapeshifting opens new ways to design autonomous actuators, drug-release systems and active implants.

42 ENGINEERING↗

Dual-ion ECRAM as a stable and accurate analog synapse

Electrochemical random-access memory (ECRAM) works by tuning the bulk electronic conductance of functional materials via reversible, electrochemical insertion of ions, resulting in stable analog resistive switching, attractive for analog in-memory and neuromorphic computing. However, achieving fast programming for training and long retention for inference has been elusive. Protonic ECRAM demonstrates fast programming but insufficient retention, while oxygen-based ECRAM with excellent retention requires elevated programming temperatures. Cu-based ECRAM offers a compromise, with an activation energy (E A ) of ≈0.76 eV between protons (E A ≈ 0.4 eV) and oxygen (E A > 1 eV), enabling extensive retention and room temperature programming. Combining Cu 2+ ions with protons to form a dual-ion ECRAM, we demonstrate two distinct switching behaviors: fast switching at ≤5 V, (E A ≈ 0.45 eV) via protons, and nonvolatile, room temperature switching at ≥8 V, with E A ≈ 0.76 eV via Cu 2+ ions. In conclusion, the Cu-based state exhibits a wide conductance range, with excellent retention, low noise, and linear current-voltage behavior, achieving digital-equivalent ImageNet inference accuracy.

analog in-memory computing↗