Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “reversible computing”

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 127 records · Page 7

Sequence optimizations in a high-performance computing environment

Embodiments are directed to techniques to determine dataflow graph instructions comprising one or more pick/switch instruction pairs and generate a reverse static single assignment graph based on the dataflow graph instructions, the reverse static single assignment graph comprising strongly connected components, each of the strongly connected components associated with at least one of the one or more pick/switch instruction pairs. Embodiments also include traversing the reverse static single assignment graph depth-first, and replace pick/switch instructions associated with strongly connected components having configuration values with compound instructions.

97 MATHEMATICS AND COMPUTING↗

Broken time-reversal symmetry in the topological superconductor UPt 3

Topological properties of materials are of fundamental as well as practical importance. Of particular interest are unconventional superconductors that break time-reversal symmetry, for which the superconducting state is protected topologically and vortices can host Majorana fermions with potential use in quantum computing. However, in striking contrast to the unconventional A phase of superfluid 3 He where chiral symmetry was directly observed, identification of broken time-reversal symmetry of the superconducting order parameter, a key component of chiral symmetry, has presented a challenge in bulk materials. The two leading candidates for bulk chiral superconductors are UPt 3 and Sr 2 RuO 4 , although evidence for broken time-reversal symmetry comes largely from surface-sensitive measurements. A long-sought demonstration of broken time-reversal symmetry in bulk Sr 2 RuO 4 is the observation of edge currents, which has so far not been successful. The situation for UPt 3 is not much better. In this work, we use vortices to probe the superconducting state in ultraclean crystals of UPt 3 . Using small-angle neutron scattering, a strictly bulk probe, we demonstrate that the vortices possess an internal degree of freedom in one of its three superconducting phases, providing direct evidence for bulk broken time-reversal symmetry in this material.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Local Explosion Detection and Infrasound Localization by Reverse Time Migration Using 3-D Finite-Difference Wave Propagation

Infrasound data are routinely used to detect and locate volcanic and other explosions, using both arrays and single sensor networks. However, at local distances (< km) topography often complicates acoustic propagation, resulting in inaccurate acoustic travel times leading to biased source locations when assuming straight-line propagation. Here we present a new method, termed Reverse Time Migration-Finite-Difference Time Domain (RTM-FDTD), that integrates numerical modeling into the standard RTM back-projection process. Travel time information is computed across the entire potential source grid via FDTD modeling to incorporate the effects of topography. The waveforms are then back-projected and stacked at each grid point, with the stack maximum corresponding to the likely source. We apply our method to three volcanoes with different network configurations, source-receiver distances, and topography. At Yasur Volcano, Vanuatu, RTM-FDTD locates explosions within ~20 m of the source and differentiates between multiple vents. RTM-FDTD produces a more accurate location for the two Yasur subcraters than standard RTM and doubles the number of detected events. At Sakurajima Volcano, Japan, RTM-FDTD locates the source within 50 m of the active vent despite notable topographic blocking. The RTM-FDTD location is similar to that from the Time Reversal Mirror method, but is more computationally efficient. Lastly, at Shishaldin Volcano, Alaska, RTM and RTM-FDTD both produce realistic source locations (<50 m) for ground-coupled airwaves recorded on a four-station seismic network. We show that RTM is an effective method to detect and locate infrasonic sources across a variety of scenarios, and by integrating numerical modeling, RTM-FDTD produces more accurate source locations and increases the detection capability.

58 GEOSCIENCES↗

Recent Advances for Improving the Accuracy, Transferability, and Efficiency of Reactive Force Fields

Reactive force fields provide an affordable model for simulating chemical reactions at a fraction of the cost of quantum mechanical approaches. However, classically accounting for chemical reactivity often comes at the expense of accuracy and transferability, while computational cost is still large relative to nonreactive force fields. Here, we summarize recent efforts for improving the performance of reactive force fields in these three areas with a focus on the ReaxFF theoretical model. To improve accuracy, we describe recent reformulations of charge equilibration schemes to overcome unphysical long-range charge transfer, new ReaxFF models that account for explicit electrons, and corrections for energy conservation issues of the ReaxFF model. To enhance transferability we also highlight new advances to include explicit treatment of electrons in the ReaxFF and hybrid nonreactive/reactive simulations that make it possible to model charge transfer, redox chemistry, and large systems such as reverse micelles within the framework of a reactive force field. To address the computational cost, we review recent work in extended Lagrangian schemes and matrix preconditioners for accelerating the charge equilibration method component of ReaxFF and improvements in its software performance in LAMMPS.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Efficient Bayesian inference with latent Hamiltonian neural networks in No-U-Turn Sampling

When sampling for Bayesian inference, one popular approach in the computational field is to use Hamiltonian Monte Carlo (HMC) and specifically the No-U-Turn Sampler (NUTS), which automatically decides the end time of the Hamiltonian trajectory. However, HMC and NUTS can require numerous numerical gradients of the target density and can prove slow in practice when relying on computationally expensive forward models. We propose Latent Hamiltonian neural networks (L-HNNs) with HMC and NUTS for solving Bayesian inference problems. Once trained, L-HNNs do not require numerical gradients of the target density during sampling, and hence numerous evaluations of the forward computational model. Moreover, L-HNNs satisfy important properties such as perfect time reversibility and Hamiltonian conservation, making them well-suited for use within HMC and NUTS because stationarity can be shown. We also propose the integration of L-HNNs in an online error monitoring scheme, in which numerical gradients of the target density are used for a few samples whenever the L-HNNs prediction errors are large. This online error monitor scheme prevents sample degeneracy in regions of low probability density and ensures robust uncertainty quantification. We demonstrate L-HNNs in NUTS with online error monitoring on several analytical examples involving complex, heavy-tailed, and high-local-curvature probability densities. We then demonstrate the applicability of L-HNNs in NUTS to two computational case studies, namely the Allen-Cahn stochastic partial differential equation and an elliptic partial differential equation with 25 and 50 inference parameters, respectively. Overall, the L-HNNs in NUTS with online error monitoring satisfactorily inferred these probability densities. In conclusion, compared to traditional NUTS, L-HNNs in NUTS with online error monitoring required 1–2 orders of magnitude fewer numerical gradients of the target density and improved the effective sample size (ESS) per gradient (which is a measure of both the sampling quality and the computational expense) by an order of magnitude.

97 MATHEMATICS AND COMPUTING↗

Ultrahigh pressure compaction-resistant thin film crosslinked composite reverse osmosis membranes

In this study, we present a class of thin-film crosslinked (TFX) composite reverse osmosis (RO) membranes that resist physical compaction at ultrahigh pressures (up to 200 bar). Since RO membranes experience compaction at virtually all pressure ranges, the ability to resist compaction has widespread implications for RO membrane technology. The process described herein involves crosslinking a phase inverted porous polyimide (PI) support membrane followed by interfacial polymerization of a polyamide layer, thereby forming a fully thermoset composite membrane structure. We explore a range of phase inversion membrane formation parameters such as PI concentration, solvent-cosolvent ratios, coagulation bath composition, and crosslinking methods in addition to interfacial polymerization reaction chemistry and conditions. Overall, TFX membranes exhibit significantly less compaction compared to hand-cast and commercial high-pressure RO membranes, experiencing less than 10% decline in water permeance and maintaining salt rejection over 99% for NaCl solutions up to 180,000 mg/L with 200 bar applied pressure.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A Reversed Impedance-Based Stability Criterion for IBR Grids

The existing impedance-based stability criterion is effective for analyzing local control interactions; however, it is difficult to scale the existing criterion to analyze wide-area control interactions among numerous IBRs through a complex power system network. The scaled version of the existing criterion requires the impedance response of each IBR in the system as well as of the network looking from all the IBRs. It is quite challenging to obtain all these impedance responses because of the computational effort and the requirement of separately scanning the impedance of the network and the IBRs. We propose a reversed criterion for the impedance-based stability analysis to address these problems. In contrast to the existing criterion, the reversed criterion analyzes the stability of a power system when an IBR is disconnected from the system. The reversed criterion estimates the impact of an IBR on the frequency and damping of power system oscillation modes using the impedance scans of only the IBR and the grid at its terminal. It can be sequentially applied at different IBRs to evaluate their impact on the power system stability. In addition to scalability, the reversed criterion gives flexibility to focus only on a few selected IBRs, depending on their rating, the magnitude of oscillations observed at their terminals, and the vendor support available for implementing stabilizing control system updates. The reversed criterion is demonstrated on a 14-bus power system with 100% IBRs.

control interactions↗

Nondestructive In Operando Imaging of Thin Film Composite Membrane Compaction Enhanced by AI-Based Segmentation

Reverse osmosis (RO) membranes are essential for desalination and water reuse, yet their permeability declines in high-pressure applications due to membrane compaction. This study investigates the structural and functional responses of commercial brackish, seawater, and high-pressure RO membranes at applied pressures up to 120 bar using a multiscale, nondestructive in operando scanning electron microscopy (iSEM) imaging platform. The iSEM technique reveals progressive densification across the composite membrane structure, which correlates with observed declines in water and solute permeance. To quantify these structural changes with greater fidelity, we combined X-ray computed tomography with AI-based segmentation enabling precise analysis of pore size distribution and thickness of the polysulfone support layer. Compared to traditional thresholding, AI segmentation accurately delineates material phases and void spaces, enhancing the reproducibility and resolution of morphological assessments. The results demonstrate that compaction-induced reductions in porosity and thickness strongly impact membrane transport properties. These findings provide mechanistic insights into the compaction behavior of RO membranes and underscore the potential for advanced imaging and AI-driven data analysis to guide the design of next-generation membranes with improved mechanical resilience and operational longevity.

13 HYDRO ENERGY↗

Grand canonical inverse design of multicomponent colloidal crystals

Inverse design methods are powerful computational approaches for creating colloidal systems which self-assemble into a target morphology by reverse engineering the Hamiltonian of the system. Despite this, these optimization procedures tend to yield Hamiltonians which are too complex to be experimentally realized. An alternative route to complex structures involves the use of several different components, however, conventional inverse design methods do not explicitly account for the possibility of phase separation into compositionally distinct structures. We present an inverse design scheme for multicomponent colloidal systems by combining active learning with a method to directly compute their ground state phase diagrams. This explicitly accounts for phase separation and can locate stable regions of Hamiltonian parameter space which grid-based surveys are prone to miss. Using this we design low-density, binary structures with Lennard-Jones-like pairwise interactions that are simpler than in the single component case and potentially realizable in an experimental setting. This reinforces the concept that ground states of simple, multicomponent systems might be rich with previously unappreciated diversity, enabling the assembly of non-trivial structures with only few simple components instead of a single complex one.

36 MATERIALS SCIENCE↗

Multistage Condensation Pathway Minimizes Hysteresis in Water Harvesting with Large-Pore Metal–Organic Frameworks

Metal-organic frameworks (MOFs) have emerged as promising materials for atmospheric water harvesting (AWH). Large-pore MOFs provide high water capacity, but their significant hysteresis between sorption and desorption makes them unsuitable for AWH. Co2Cl2(BTDD) is a noteworthy exception. This MOF has large, 2.2 nm diameter one-dimensional pores, and combines both record-high water capacity and minimal hysteresis, making it an excellent material for water capture in arid areas. Sorption reversibility in Co2Cl2(BTDD) has been attributed to continuous water uptake. However, the sharp adsorption/desorption in the isotherms supports a discontinuous first-order transition. Here we use molecular simulations to compute the water adsorption and desorption pathways and isotherms in a Co2Cl2(BTDD) model, to elucidate how does this MOF achieve reversibility despite its large pore size. The simulations reveal a multi-stage mechanism of discontinuous water uptake facilitated by spatial segregation of rows of hydrophilic metal sites bridged by ~1 nm hydrophobic ligands. The multi-stage mechanism breaks the barrier of capillary condensation into smaller, easier to surmount ones, resulting in a facile process despite the sharp density discontinuity between confined liquid and vapor. Our results explain why exchanging Co2+ for Ni2+ or Clfor F- in the MOF have minimal impact on the condensation and desorption pressures. On the other hand, we predict that a decrease in hydrophilicity of the MOF vertices would strongly increase the hysteresis. We expect that the relationships between spatial distribution of hydrophilic sites and hysteresis unraveled in this study assist the design of water harvesting materials with maximal capacity and reversibility.

Zaragoza, Alberto↗

NMACFoam (Numerical-model for Membrane-spacer Assemblies and Configurations in OpenFOAM) [SWR-23-57]

NMACFoam is a computational fluid dynamics tool for simulating flow and solids transport in membrane-spacer channels pertaining to reverse osmosis or nanofiltration applications. It is developed on the OpenFOAM framework and allows for simulating spacers with complex geometries. It includes porous wall boundary conditions for membranes and can accurately capture concentration polarization effects. One can perform large calculations at module-scale domain sizes using high performance computing resources with NMACFoam, which scales to 1000s of processors for problems with 1-10 million cells.

Sitaraman, Hariswaran↗

Reversible hydrogen control of antiferromagnetic anisotropy in α-Fe 2 O 3

Antiferromagnetic insulators are a ubiquitous class of magnetic materials, holding the promise of low-dissipation spin-based computing devices that can display ultra-fast switching and are robust against stray fields. However, their imperviousness to magnetic fields also makes them difficult to control in a reversible and scalable manner. Here we demonstrate a novel proof-of-principle ionic approach to control the spin reorientation (Morin) transition reversibly in the common antiferromagnetic insulator α-Fe 2 O 3 (haematite) - now an emerging spintronic material that hosts topological antiferromagnetic spin-textures and long magnon-diffusion lengths. We use a low-temperature catalytic-spillover process involving the post-growth incorporation or removal of hydrogen from α-Fe 2 O 3 thin films. Hydrogenation drives pronounced changes in its magnetic anisotropy, Néel vector orientation and canted magnetism via electron injection and local distortions. We explain these effects with a detailed magnetic anisotropy model and first-principles calculations. Tailoring our work for future applications, we demonstrate reversible control of the room-temperature spin-state by doping/expelling hydrogen in Rh-substituted α-Fe 2 O 3 .

36 MATERIALS SCIENCE↗

Iron-iminopyridine complexes as charge carriers for non-aqueous redox flow battery applications

Non-aqueous redox flow batteries (RFBs) have been gaining increased attention in the energy storage arena. Some of their attractive features include the promise for high energy densities, wider voltage windows compared to aqueous systems, as well as wider operating temperature ranges. One of the major challenges in the development of these systems is the lack of electroactive materials that can undergo reversible redox events within the larger potential window of organic solvents. In this paper, we present the design, synthesis, and measurement of electrochemical properties of some iron-based imine- and iminopyridine complexes as promising candidates for RFB applications. Synthesized complexes afforded three reversible redox couples over a ~3 V range. The redox events were also computationally explored and are in good agreement with experimental data. Theoretical calculations show that the redox event at the positive potential can be characterized as metal-centered event corresponding to Fe 3+ → Fe 2+ reduction, while the two redox events at negative potentials are associated with the consecutive reductions of iminopyridine or diimine moieties. This work has led to the identification of a promising anolyte material, [tris(imino)pyridine)Fe][OTf] 2 (1), which is soluble in acetonitrile and is synthesized in two simple steps. This species shows outstanding performance when cycled between 1.0 V and 2.35 V, with 93% coulombic efficiency, 84% energy efficiency, and a capacity decay rate of 0.61% per cycle at 5 mA cm –2 . Further modifications to this kind of charge carrier may lead to the development of high energy density materials for grid scale energy storage applications.

25 ENERGY STORAGE↗

Access to Ru(IV)–Ru(V) and Ru(V)–Ru(VI) Redox in Layered Li 7 RuO 6 via Intercalation Reactions

The push to increase the capacity of oxides to store charge as Li-ion battery cathodes has challenged our knowledge of the boundaries of redox chemistry and its relationship to the atomic structure. Layered phases with Ru are now classical models in the quest for refined theories. Current understanding dictates that the highest formal state that can be reached in them is Ru(V), after which activity centered at the oxide anions is triggered. Yet, this picture is challenged by this investigation of the intercalation chemistry of Li 7 RuO 6 . Coupling structural and spectroscopic analysis with computational simulations, we show that Li 7 RuO 6 is capable of highly reversible lithiation to Li 8 RuO 6 through the Ru(V)/Ru(IV) redox couple. Further, Li 7 RuO 6 can also undergo anodic Li deintercalation, showing clear evidence of the reversible formation of Ru(VI) with octahedral coordination, an unusual state that is not accessible in other layered oxides. The results highlight the versatility of the Ru-O bond to undergo distinct redox transitions depending on the specific layered arrangements. They enrich our understanding of redox chemistry in solids while underscoring the need for descriptions of charge compensation that reflect the nuance of covalent interactions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Efficient 3-D velocity model building using joint inline and crossline plane-wave wave-equation migration velocity analyses

SUMMARY Wave-equation migration velocity analysis (WEMVA) is an image-domain inversion method for velocity model building. Automatic plane-wave WEMVA (PWEMVA) calculates the moveouts of plane-wave common-image gathers (CIGs) by searching a best-fitting parabola with semblance analysis and backprojects residual CIG moveouts into wavefield wave paths with a reflection tomographic kernel. However, 3-D PWEMVA is very computationally expensive because 3-D reflection tomographic inversion requires at least five 3-D reverse-time migrations per iteration and stores two types of source wavefields at model boundaries. We develop a joint inline and crossline PWEMVA method for efficient 3-D velocity model building. We alternatively implement the inline and crossline PWEMVAs with a constraint for each other, in which we iteratively construct the 3-D velocity model update through 1-D spline interpolation of 2-D gradients. The inline and crossline joint inversion is practical since PWEMVA only inverts for low-wavenumber velocity perturbations along wave paths, and the method can take less than 1 per cent of the computational cost of full 3-D PWEMVA. To construct unaliased plane waves for our joint inline and crossline PWEMVA, we develop a 3-D data interpolation method in the frequency–wavenumber (FK) domain to recover regularly and randomly missing traces. The method minimizes the misfit on sufficiently localized data subsets with iterative optimal step lengths and a gradient preconditioner that iteratively selects dominant dips along different azimuths. In numerical experiments, we use a 3-D synthetic seismic data set and a land 3-D field seismic data set acquired at the Farnsworth CO2-EOR (enhanced oil recovery) field to demonstrate the efficacy of our velocity model building and data interpolation methods.

Liu, Xuejian↗

The Memory Scaling of Reverse-Mode Differentiation in Particle Accelerator Simulations with Space Charge

The recent development of differentiable simulation codes for particle accelerators has enabled gradient-based workflows that promise finer control and more realistic modeling of accelerator facilities. However, when using reverse-mode automatic differentiation, the memory usage continuously increases during the simulation, and can potentially exceed the available hardware memory - especially when costly space charge computation is included. To study the memory requirements for differentiable simulations, we have implemented space charge in Cheetah, a PyTorch-based beam tracking code that supports reverse-mode differentiation. We find that the memory usage for reverse-mode differentiation grows linearly with the number of macroparticles and cells, and that it is proportional to the number of space charge kicks involved in the simulation. This general scaling can be used to evaluate whether a given differentiable simulation is feasible given hardware memory constraints.

Dhamrait, Arjun↗

Buried Dirac Points in Quantum Spin Hall Insulators: Implications for Majorana Kramers Pair-Based Quantum Computing

Quantum spin Hall insulators (QSHIs) host helical electronic edge states that are protected from backscattering due to time-reversal symmetry (TRS). Despite considerable work investigating QSHI edge states, there is still an open question about their unexpected resilience to large magnetic fields where TRS is undoubtedly broken. In this work, we investigate the transport properties of helical edge states in a QSHI-superconductor (QSHI-SC) junction formed by a In⁢As(15 nm)/Ga⁢Sb(5 nm) double quantum well and a superconducting tantalum (Ta) constriction. We observe a robust conductance plateau up to 2 T, signaling resilient edge-state transport. Using a modified Landauer-Büttiker analysis, we find that the zero-field conductance is consistent with 98% Andreev-reflection probability owing to the high transparency of the (In⁢As/Ga⁢Sb)-Ta interface. Such resilience is consistent with the Dirac point for the edge states being buried in the bulk valence band. We further theoretically show that a buried Dirac point does not affect the robustness of the quasi-one-dimensional topological superconducting phase. We find that a buried Dirac point favors the hybridization of Majorana Kramers pairs (MKPs)—predicted to exist in a QSHI-SC constriction—and fermionic modes in the QSHI vacuum edge resulting in extended MKP states, highlighting the subtle role of buried Dirac points in probing MKPs.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Computational thermodynamics and its applications

Thermodynamics is a science concerning the state of a system, whether it is stable, metastable or un- stable, when interacting with the surroundings. In this overview, fundamentals of thermodynamics are briefly reviewed through the combination of first and second laws of thermodynamics for open and nonequilibrium systems to demonstrate that the reversible equilibrium and irreversible nonequilibrium thermodynamics can be integrated to enhance the power and utilities of thermodynamics. The recent progresses in computational thermodynamics, the remaining challenges, and potential impacts in broad scientific fields are discussed here. It is shown that computational thermodynamics enables the modeling of thermodynamics of a state as a function of both external and internal variables and quantitative calculations of a broad range of properties of a multicomponent system in terms of first and second derivatives of energy, including not only equilibrium states when there are no driving forces for any internal processes and but also non-equilibrium states with driving forces for internal processes. Consequently, external constraints such as fixed strain and internal degree of freedoms such as ordering and defects can be described in a coherent framework and applied to materials design. Furthermore, two important but largely overlooked aspects in thermodynamics will be discussed, i.e. the rigorous application of statistical thermodynamics with the probability of configurations and their contributions to system properties, and the applications of second derivatives of energy with respect to either two extensive variables or two potentials or a mixture of them in terms of understanding and predicting emergent behaviors, critical phenomena, kinetic coefficients, and mechanical properties.

36 MATERIALS SCIENCE↗