Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “reversible computation”

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 397 records · Page 22

An optimized treatment for algorithmic differentiation of an important glaciological fixed-point problem

We apply an optimized method to the adjoint generation of a time-evolving land ice model through algorithmic differentiation (AD). The optimization involves a special treatment of the fixed-point iteration required to solve the nonlinear stress balance, which differs from a straightforward application of AD software, and leads to smaller memory requirements and in some cases shorter computation times of the adjoint. The optimization is done via implementation of the algorithm of Christianson (1994) for reverse accumulation of fixed-point problems, with the AD tool OpenAD. For test problems, the optimized adjoint is shown to have far lower memory requirements, potentially enabling larger problem sizes on memory-limited machines. In the case of the land ice model, implementation of the algorithm allows further optimization by having the adjoint model solve a sequence of linear systems with identical (as opposed to varying) matrices, greatly improving performance. Finally, the methods introduced here will be of value to other efforts applying AD tools to ice models, particularly ones which solve a hybrid shallow ice/shallow shelf approximation to the Stokes equations.

58 GEOSCIENCES↗

Dynamic and reversible transformations of subnanometre-sized palladium on ceria for efficient methane removal

Reversibly adjusting the active structures of supported metal catalysts in response to dynamic working conditions has long been pursued. Here we report the reaction-environment-modulated transformations of subnanometre-sized Pd on CeO 2 for efficient methane removal, leveraging the reaction environments at different stages of automotive exhaust aftertreatment. During the cold start of vehicles, inactive Pd 1 single atoms are readily transformed into PdO $x$ subnanometre clusters by CO even at room temperature with excess O 2 , resulting in boosted low-temperature CH 4 oxidation. At elevated temperatures, dispersion of PdO $x$ cluster into Pd 1 against metal sintering renders outstanding hydrothermal stability to the catalyst, to be activated during the next vehicle start. Combined experimental and computational studies elucidate the dynamically evolved Pd speciation on CeO 2 at an atomic level. In conclusion, modulating the reversible nature of supported metals helps overcome the long-existing trade-off between low-temperature activity and high-temperature stability, also providing a new paradigm for designing intelligent catalysts that brings single-atom/cluster catalysts closer to real applications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

De novo design of pH-responsive self-assembling helical protein filaments

Abstract Biological evolution has led to precise and dynamic nanostructures that reconfigure in response to pH and other environmental conditions. However, designing micrometre-scale protein nanostructures that are environmentally responsive remains a challenge. Here we describe the de novo design of pH-responsive protein filaments built from subunits containing six or nine buried histidine residues that assemble into micrometre-scale, well-ordered fibres at neutral pH. The cryogenic electron microscopy structure of an optimized design is nearly identical to the computational design model for both the subunit internal geometry and the subunit packing into the fibre. Electron, fluorescent and atomic force microscopy characterization reveal a sharp and reversible transition from assembled to disassembled fibres over 0.3 pH units, and rapid fibre disassembly in less than 1 s following a drop in pH. The midpoint of the transition can be tuned by modulating buried histidine-containing hydrogen bond networks. Computational protein design thus provides a route to creating unbound nanomaterials that rapidly respond to small pH changes.

77 NANOSCIENCE AND NANOTECHNOLOGY↗

Standardization of computational experiments in unsteady turbulent boundary-layer flow

Numerical experiments are proposed as standard cases to be computed by all who plan to analyze unsteady turbulent boundary layer behavior. In this way, differences between the results obtained by various methods can be compared in a completely defined environment. The test cases range in difficulty from time relaxation study of the steady flow on a flat plate to the analysis of unsteady reversed flow. Initial and boundary conditions are fully defined for each case and representative outputs are presented. It is recommended that tabulated samples of computations of these test cases be published in a compendium of results.

Carr, L. W.↗

Reverse image search for scientific data within and beyond the visible spectrum

The explosion in the rate, quality and diversity of image acquisition instruments has propelled the development of expert systems to organize and query image collections more efficiently. Recommendation systems that handle scientific images are rare, particularly if records lack metadata. This paper introduces new strategies to enable fast searches and image ranking from large pictorial datasets with or without labels. The main contribution is the development of pyCBIR, a deep neural network software to search scientific images by content. This tool exploits convolutional layers with locality sensitivity hashing for querying images across domains through a user-friendly interface. Our results report image searches over databases ranging from thousands to millions of samples. We test pyCBIR search capabilities using three convNets against four scientific datasets, including samples from cell microscopy, microtomography, atomic diffraction patterns, and materials photographs to demonstrate 95% accurate recommendations in most cases. Furthermore, all scientific data collections are released.

97 MATHEMATICS AND COMPUTING↗

Computational Optimization of Room Temperature Usable Capacity for Hydrogen Storage in MFU-4-Type Metal–Organic Frameworks via Pairwise Metal Substitutions

The efficient storage of hydrogen is a critical challenge in the quest for sustainable energy solutions. Current adsorbent-based methods achieve satisfactory storage densities predominantly under cryogenic temperatures and/or high pressures, which imposes problems with cost-efficient and safe implementation of this technology. Materials that can bind hydrogen gas reversibly at ambient temperatures and more moderate pressures could play a pivotal role in enabling hydrogen-powered technologies. In this study, we use reliable computational modeling to investigate two synthetically feasible paths for tuning the enthalpy of H2 binding in MFU-4-type metal–organic frameworks (MOFs), aiming to maximize usable capacity. This study examines MIM4 IICl3(bta)6 (bta– = benzotriazolate) Kuratowski-type clusters as a model for strong binding sites in MFU-4l frameworks. We systematically evaluate the impact of separately tuning the central MII metal ion (which plays a structural role) and the peripheral MI metal ion (which binds the substrate) on the energetics of H2 binding. Our computational study reveals that H2 binding at an MI site mostly follows the trend AgI < CuI < NiI < CoI < AuI while a larger central MII site generally weakens the H2 binding at a MI site. Importantly, we have identified three new combinations of MI and MII to achieve high fractional usable capacities of the total H2 adsorbed under a pressure swing from 5 to 100 bar at room temperature. Additionally, we examine the nature of the binding interaction between the peripheral metal atom and the hydrogen molecule. While charge transfer predominantly induces this interaction, for several atom combinations, a change in the polarization (associated with variations in the ionic radius of the MI binding atom) is another important factor for adjusting the strength of the interaction. We suggest that the proposed compositions of Kuratowski-type clusters are highly desirable synthetic targets for future laboratory study.

Tkachenko, Nikolay V↗

Graph-based Reversible Evaluation and Tangents Library

GRETL is a C++ library for evaluation, re-evaluation and algorithmic differentiation of functional operations on an arbitrary computational graph with limited memory usage. Similar to popular machine learning frameworks in Python, like PyTorch and JAX, it tracks and stores both operations and output data as functions are evaluated. Once this composition of functions is built up, the entire chain of operations can be back propagated to compute sensitivities of the final result with respect to any number of inputs. In contrast to most machine learning applications, memory usage becomes the bottleneck for back propagation in many physics applications, especially for time-dependent PDEs. Dynamic check pointing becomes essential. An important distinguishing feature of GRETL is its ability to limit the maximum memory usage by automatically dynamic checkpointing the data output for each graph operation (see Wang, Moin, Iaccarino, 2009). During backpropagation, parts of the graph that are no longer in memory are automatically re-evaluated from upstream checkpointed states as needed for derivative sensitivity calculations (or more precisely, for vector-Jacobian products). GRETL is particularly beneficial for applications, such as coupled multi-physics, where deriving adjoint-based sensitivities and managing checkpoint memory across modules becomes onerous. Cases which can be readily handled by the GRETL library include: different time-integration algorithms per physics (e.g., coupled predictor-corrector algorithms, IMEX, etc.), sub-cycling, asynchronous integrators, state dependent timestep sizes, iterative solvers and coupling algorithms, controller algorithms, and more.

Tupek, MichaelR [Lawrence Livermore National Labor↗

Chirality reversal at finite magnetic impurity strength and local signatures of a topological phase transition

Here, we study the honeycomb lattice with a single magnetic impurity modeled by adding imaginary next-nearest-neighbor hopping 𝑖⁢ℎ on a single hexagon. This Haldane defect gives a topological mass term to the gapless Dirac cones and generates chirality. For a small density of defects, Neehus et al. [Phys. Rev. Lett. 135, 126604 (2025)] found that the system's chirality reverses at a critical ℎ 𝑐 ≈ 0.95 associated with an unexpected tricritical point of Dirac fermions at zero defect density. We investigate this zero-density limit by analyzing a single defect and computing two experimentally relevant measures of chirality: (1) orbital magnetization via local Chern marker, a bulk probe of all occupied states; and (2) electronic currents of low-energy states. Both probes show a chirality reversal at a critical ℎ 𝑐 ≈ 0.9–1.0. Motivated by this consistency, we propose a defect-scale toy model whose low-energy states reverse their chirality at ℎ$^{'}_{c}$ ≈ 0.87. Remarkably, the same pair of zero-energy bound states also generates the critical point ℎ 𝑐 in the full impurity projected T-matrix. Our results show how the chirality reversal produced by an impurity can be observed either in local probes or in the global topology, and suggest a possible role of the microscopic defect structure at the critical point.

Chern insulators↗

Physics constrained learning for data-driven inverse modeling from sparse observations

Deep neural networks (DNN) have been used to model nonlinear relations between physical quantities. Those DNNs are embedded in physical systems described by partial differential equations (PDE) and trained by minimizing a loss function that measures the discrepancy between predictions and observations in some chosen norm. This loss function often includes the PDE constraints as a penalty term when only sparse observations are available. As a result, the PDE is only satisfied approximately by the solution. However, the penalty term typically slows down the convergence of the optimizer for stiff problems. We present a new approach that trains the embedded DNNs while numerically satisfying the PDE constraints. We develop an algorithm that enables differentiating both explicit and implicit numerical solvers in reverse-mode automatic differentiation. This allows the gradients of the DNNs and the PDE solvers to be computed in a unified framework. We demonstrate that our approach enjoys faster convergence and better stability in relatively stiff problems compared to the penalty method. Furthermore, our approach allows for the potential to solve and accelerate a wide range of data-driven inverse modeling, where the physical constraints are described by PDEs and need to be satisfied accurately.

97 MATHEMATICS AND COMPUTING↗

Signal propagation in reversible digital mechanics

Digital mechanics explores information processing through binary, mechanical circuits. This work demonstrates a flexural, mechanical integrated circuit (m-IC) that achieves reversible, non-reciprocal signal propagation through integrated AND logic and memory. Our approach exploits sequential bistable transitions with symmetric energy wells, tunable stiffness, impedance matching, and AND gate non-linearity, to enable signal propagation, repeatability, and reversibility. We present a generalized model of logic kinematics and energetics, validated experimentally, to study energy flows, quantify energetic limits, and identify operating regimes for reversible logic. Macro-scale experiments confirm propagation dynamics, and new fabrication methods extend the architecture to micro-scale devices. By achieving controlled, reversible signal transmission across interconnected logic and memory, this work establishes a scalable platform for robust mechanical computing and adaptive sensing.

Johnson, Hilary A. [Lawrence Livermore National La↗

A Simulation Framework for Battery Cell Impact Safety Modeling Using LS-DYNA

The development process of electrified vehicles can benefit significantly from computer-aided engineering tools that predict themultiphysics response of batteries during abusive events. A coupled structural, electrical, electrochemical, and thermal model framework has been developed within the commercially available LS-DYNA software. The finite element model leverages a three-dimensional mesh structure that fully resolves the unit cell components. The mechanical solver predicts the distributed stress and strain response with failure thresholds leading to the onset of an internal short circuit. In this implementation, an arbitrary compressive strain criterion is applied locally to each unit cell. A spatially distributed equivalent circuit model provides an empirical representation of the electrochemical responsewith minimal computational complexity.The thermalmodel provides state information to index the electrical model parameters, while simultaneously accepting irreversible and reversible sources of heat generation. The spatially distributed models of the electrical and thermal dynamics allow for the localization of current density and corresponding temperature response. The ability to predict the distributed thermal response of the cell as its stored energy is completely discharged through the short circuit enables an engineering safety assessment. A parametric analysis of an exemplary model is used to demonstrate the simulation capabilities.

25 ENERGY STORAGE↗

Pressure Exchanger for Energy Recovery in a Trans-Critical CO2 Refrigeration System

Trans-critical CO2 vapor compression (VC) refrigeration cycles require a high compression ratio, which is associated with high expansion losses. To recover these expansion losses, a pressure exchange process between the low- and high-pressure sides of the VC cycle is proposed and examined in this study. The proposed pressure exchange system is an open type constant volume process where the high- and low-pressure flows mix inside the system. This prototype is inspired by the pressure exchangers used in reverse-osmosis (RO) desalination systems. In this system, a 2D model was generated and modeled using the computational fluid dynamics (CFD) technique. The numerical model ignored any losses due to leakage or hydraulic friction and the process is considered adiabatic. For the modeling, it was assumed that the inlet conditions for the two pressure exchanger flows are similar to the flow conditions at the evaporator and gas cooler outlets in a VC cycle. Two parameters are examined to test the validity of the system and understand their effect on the performance, including the inlet flow rate represented by the inlet velocity and the process time represented by the speed of rotation. A total of nine cases were simulated and analyzed in this study.

30 DIRECT ENERGY CONVERSION↗

Respiratory analysis system and method

A system is described for monitoring the respiratory process in which the gas flow rate and the frequency of respiration and expiration cycles can be determined on a real time basis. A face mask is provided with one-way inlet and outlet valves where the gas flow is through independent flowmeters and through a mass spectrometer. The opening and closing of a valve operates an electrical switch, and the combination of the two switches produces a low frequency electrical signal of the respiratory inhalation and exhalation cycles. During the time a switch is operated, the corresponsing flowmeter produces electric pulses representative of the flow rate; the electrical pulses being at a higher frequency than that of the breathing cycle and combined with the low frequency signal. The high frequency pulses are supplied to conventional analyzer computer which also receives temperature and pressure inputs and computes mass flow rate and totalized mass flow of gas. From the mass spectrometer, components of the gas are separately computed as to flow rate. The electrical switches cause operation of up-down inputs of a reversible counter. The respective up and down cycles can be individually monitored and combined for various respiratory measurements.

Liu, F. F.↗

Fatigue criterion for the design of rotating shafts under combined stress

A revised approach to the design of transmission shafting which considers the flexure fatigue characteristics of the shaft material under combined cyclic bending and static torsion stress is presented. A fatigue failure relation, corroborated by published combined stress test data, is presented which shows an elliptical variation of reversed bending endurance strength with static torsional stress. From this elliptical failure relations, a design formula for computing the diameter of rotating solid shafts under the most common condition of loading is developed.

Loewenthal, S. H.↗

Intelligent Engine Systems: Adaptive Control

We have studied the application of the baseline Model Predictive Control (MPC) algorithm to the control of main fuel flow rate (WF36), variable bleed valve (AE24) and variable stator vane (STP25) control of a simulated high-bypass turbofan engine. Using reference trajectories for thrust and turbine inlet temperature (T41) generated by a simulated new engine, we have examined MPC for tracking these two reference outputs while controlling a deteriorated engine. We have examined the results of MPC control for six different transients: two idle-to-takeoff transients at sea level static (SLS) conditions, one takeoff-to-idle transient at SLS, a Bode power command and reverse Bode power command at 20,000 ft/Mach 0.5, and a reverse Bode transient at 35,000 ft/Mach 0.84. For all cases, our primary focus was on the computational effort required by MPC for varying MPC update rates, control horizons, and prediction horizons. We have also considered the effects of these MPC parameters on the performance of the control, with special emphasis on the thrust tracking error, the peak T41, and the sizes of violations of the constraints on the problem, primarily the booster stall margin limit, which for most cases is the lone constraint that is violated with any frequency.

Gibson, Nathan↗

Automated Identification of Nucleotide Sequences

STITCH is a computer program that processes raw nucleotide-sequence data to automatically remove unwanted vector information, perform reverse-complement comparison, stitch shorter sequences together to make longer ones to which the shorter ones presumably belong, and search against the user s choice of private and Internet-accessible public 16S rRNA databases. ["16S rRNA" denotes a ribosomal ribonucleic acid (rRNA) sequence that is common to all organisms.] In STITCH, a template 16S rRNA sequence is used to position forward and reverse reads. STITCH then automatically searches known 16S rRNA sequences in the user s chosen database(s) to find the sequence most similar to (the sequence that lies at the smallest edit distance from) each spliced sequence. The result of processing by STITCH is the identification of the most similar well-described bacterium. Whereas previously commercially available software for analyzing genetic sequences operates on one sequence at a time, STITCH can manipulate multiple sequences simultaneously to perform the aforementioned operations. A typical analysis of several dozen sequences (length of the order of 103 base pairs) by use of STITCH is completed in a few minutes, whereas such an analysis performed by use of prior software takes hours or days.

Osman, Shariff↗

Quantum Computing with Majorana Kramers Pairs

Here, we propose a universal gate set acting on a qubit formed by the degenerate ground states of a Coulomb-blockaded time-reversal invariant topological superconductor island with spatially separated Majorana Kramers pairs: the “Majorana Kramers qubit.” All gate operations are implemented by coupling the Majorana Kramers pairs to conventional superconducting leads. Interestingly, in such an all-superconducting device, the energy gap of the leads provides another layer of protection from quasiparticle poisoning independent of the island charging energy. Moreover, the absence of strong magnetic fields—which typically reduce the superconducting gap size of the island—suggests a unique robustness of our qubit to quasiparticle poisoning due to thermal excitations. Consequently, the Majorana Kramers qubit should benefit from prolonged coherence times and may provide an alternative route to a Majorana-based quantum computer.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗