Search NASA⌕ Search

SEARCH · Search NASA

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 739 records · Page 41

Assessing the Accuracy of Property Model Predictions for Cost Optimization of Desalination Technologies

Accurate modeling of seawater thermophysical and thermodynamic properties is critical for optimizing desalination processes. This study compares three seawater property models, a Reaktoro multicomponent model, the thermophysical seawater properties library from the Massachusetts Institute of Technology, and a simplified sodium chloride model, in the context of levelized cost of water (LCOW) minimization for reverse osmosis (RO) and mechanical vapor compression systems. Process simulations and cost optimizations reveal that although all three models yield comparable LCOW and specific energy consumption (SEC) estimates under baseline conditions, deviations among their predictions increase with salinity. Relative differences in LCOW and SEC reach up to 6% and 8%, respectively. RO results show greater variability due to differences in osmotic pressure predictions, which affect pressure constraints at high recoveries. Computational performance varies substantially; specifically, Reaktoro simulations are up to 28 times slower than empirical models due to their detailed equilibrium calculations. These results suggest that empirical models offer acceptable accuracy for routine desalination process design, while Reaktoro provides advantages in scenarios requiring detailed speciation, such as scaling or pH adjustment studies. These findings underscore the importance of selecting appropriate property models based on the modeling objective of desalination applications and motivate future work integrating thermodynamic rigor with empirical efficiency.

Physical and chemical properties↗

DiaMonD: An Integrated Multifaceted Approach to Mathematics at the Interfaces of Data, Models, and Decisions

For many problems in computational science and engineering, the so-called forward problem—solution of the underlying mathematical model to yield output quantities of interest, given input parameters—is difficult enough for frontier complex models, which are often characterized by coupled multiphysics and possibly stochastic behavior over a wide range of length and time scales. However, we face the need to move beyond the forward problem, to address what is often the ultimate goal of CS&E: decision making. This requires us to tackle a spectrum of mathematical problems that subsume, and are thus even more difficult than, the forward problem. First, given experimental data, we wish to estimate unknown parameters characterizing a model of a natural or engineered system by solving an inverse problem. Second, we seek the optimal configuration of the system (or experiments) by solving an optimal design problem. Third, the optimal operation of the system must be determined by solving an optimal control problem. And fourth, we must quantify uncertainties as they propagate through all of the preceding problems, from data to model inference to prediction and finally to optimal design and control. Optimal mathematical methods and algorithms for such end-to-end, data-to-decisions modeling and simulation of complex problems—requiring integrated solution of forward, inverse, optimization, and UQ problems for large, multiphysics, multiscale models—entails challenges of the highest order, while also presenting great opportunities for applied mathematics research. Unfortunately, research on forward, inverse, optimization, and UQ problems has all-too-often progressed in isolation. This has led to mathematical methods that perform well when considering the forward simulation in isolation, but are prohibitive or suboptimal or unstable when combined with other methods within the framework of inversion, optimization, or UQ. The reverse is also true: general-purpose methods developed within the inversion, optimization, and UQ fields often become prohibitive when applied to complex CS&E problems since they do not exploit their structure.

58 GEOSCIENCES↗

Ultrahigh coulombic efficiency electrolyte enables Li||SPAN batteries with superior cycling performance

Raising the coulombic efficiency of lithium metal anode cycling is the deciding step in realizing long-life rechargeable lithium batteries. Here, we designed a highly concentrated salt/ether electrolyte diluted in a fluorinated ether: 1.8 M LiFSI in DEE/BTFE (diethyl ether/bis(2,2,2-trifluoroethyl)ether), which realized an average coulombic efficiency of 99.37% at 0.5 mA cm -2 and 1 mAh cm -2 for more than 900 cycles. This electrolyte also maintained a record coulombic efficiency of 98.7% at 10 mA cm -2 , indicative of its ability to provide fast-charging with high cathode loadings. Morphological studies reveal dense, dendrite free Li depositions after prolonged cycling, while surface analyses confirmed the formation of a robust LiF-rich SEI layer on the cycled Li surface. Moreover, we discovered that this ether-based electrolyte is highly compatible with the low-cost, high-capacity SPAN (Sulfurized polyacrylonitrile) cathode, where the constructed Li||SPAN cell exhibited reversible cathode capacity of 579 mAh g -1 and no capacity decay after 1200 cycles. A cell where a high areal loading SPAN electrode (>3.5 mAh cm -2 ) is paired with only onefold excess Li was constructed and cycled at 1.75 mA cm -2 , maintaining a coulombic efficiency of 99.30% for the lithium metal. Computational simulations revealed that at saturation, the Li-FSI complex forms contact ion pairs, with a first solvation shell comprising DEE molecules, and a second solvation shell with a mix of DEE/BTFE. This study provides a path to enable high energy density Li||SPAN batteries with stable cycling.

36 MATERIALS SCIENCE↗

Control of monodomain polymer-stabilized cuboidal nanocrystals of chiral nematics by confinement.

Liquid crystals are important components of optical technologies. Cuboidal crystals consisting of chiral liquid crystals-the so-called blue phases (BPs), are of particular interest due to their crystalline structures and fast response times, but it is critical that control be gained over their phase behavior as well as the underlying dislocations and grain boundaries that arise in such systems. Blue phases exhibit cubic crystalline symmetries with lattice parameters in the 100 nm range and a network of disclination lines that can be polymerized to widen the range of temperatures over which they occur. Here, we introduce the concept of strain-controlled polymerization of BPs under confinement, which enables formation of strain-correlated stabilized morphologies that, under some circumstances, can adopt perfect single-crystal monodomain structures and undergo reversible crystal-to-crystal transformations, even if their disclination lines are polymerized. We have used super-resolution laser confocal microscopy to reveal the periodic structure and the lattice planes of the strain and polymerization stabilized BPs in 3D real space. Our experimental observations are supported and interpreted by relying on theory and computational simulations in terms of a free energy functional for a tensorial order parameter. Simulations are used to determine the orientation of the lattice planes unambiguously. The findings presented here offer opportunities for engineering optical devices based on single-crystal, polymer-stabilized BPs whose inherent liquid nature, fast dynamics, and long-range crystalline order can be fully exploited.

confinement↗

Performance of a three-dimensional Navier-Stokes code on CYBER 205 for high-speed juncture flows

A vectorized 3D Navier-Stokes code has been implemented on CYBER 205 for solving the supersonic laminar flow over a swept fin/flat plate junction. The code extends MacCormack's predictor-corrector finite volume scheme to a generalized coordinate system in a locally one dimensional time split fashion. A systematic parametric study is conducted to examine the effect of fin sweep on the computed flow field. Calculated results for the pressure distribution on the flat plate and fin leading edge are compared with the experimental measurements of a right angle blunt fin/flat plate junction. The decrease in the extent of the separated flow region and peak pressure on the fin leading edge, and weakening of the two reversed supersonic zones with increase in fin sweep have been clearly observed in the numerical simulation.

Lakshmanan, B.↗

Three-dimensional transient flow of spin-up in a filled cylinder with oblique gravity force

Three-dimensional transient flow profiles of spin-up in a fully liquid filled cylinder from rest with gravity acceleration at various direction are numerically simulated and studied. Particular interests are concentrated on the development of temporary reverse flow zones and Ekman layer right after the impulsive start of spin-up from rest, and decay before the flow reaching to the solid rotation. Relationship of these flow developments and differences in the Reynolds numbers of the flow and its size selection of grid points concerning the numerical instabilities of flow computations are also discussed. In addition to the gravitational acceleration along the axial direction of the cylindrical container, a series of complicated flow profiles accompanied by three-dimensional transient flows with oblique gravitational acceleration has been studies.

Hung, R. J.↗

TGCM: (T)rait, (G)ene, and (C)rop Growth (M)odel Directed Targeted Gene Characterization in Sorghum (Final Technical Report)

Understanding which genes control important crop traits could help scientists develop better bioenergy and food crops more efficiently. However, plant genomes contain tens of thousands of genes, and testing each one individually is expensive and time-consuming. This project developed computational tools to predict which genes are most likely to matter, allowing researchers to focus their efforts where they will have the greatest impact. This project developed and validated integrated approaches combining machine learning, quantitative genetics, and crop growth modeling to improve the efficiency of functional gene characterization in sorghum (Sorghum bicolor), a critical bioenergy and food security crop. The research addressed a fundamental challenge in plant biology: the majority of genes in plant genomes lack experimentally validated functions, making it difficult to prioritize which genes to study using resource-intensive reverse genetics approaches.

60 APPLIED LIFE SCIENCES↗

Extraordinary Redox Activities in Ladder-Type Conjugated Molecules Enabled by B ← N Coordination-Promoted Delocalization and Hyperconjugation

The introduction of B ← N coordinate bond-isoelectronic to C-C single bond-into π-systems represents a promising strategy to impart exotic redox and electrochromic properties into conjugated organic molecules and macromolecules. To achieve both reductive and oxidative activities using this strategy, a cruciform ladder-type molecular constitution was designed to accommodate oxidation-active, reduction-active, and B ← N coordination units into a compact structure. Two such compounds (BN-F and BN-Ph) were synthesized via highly efficient N-directed borylation. These molecules demonstrated well-separated, two reductive and two oxidative electron-transfer processes, corresponding to five distinct yet stable oxidation states, including a rarely observed boron-containing radical cation. Spectroelectrochemical measurements revealed unique optical characteristics for each of these reduced/oxidized species, demonstrating multicolor electrochromism with excellent recyclability. Distinct color changes were observed between each redox state with clear isosbestic points on the absorption spectra. Here, the underlying redox mechanism was elucidated by a combination of computational and experimental investigations. Single-crystal X-ray diffraction analysis on the neutral state, the oxidized radical cation, and the reduced dianion of BN-Ph revealed structural transformations into two distinct quinonoid constitutions during the oxidation and reduction processes, respectively. B ← N coordination played an important role in rendering the robust and reversible multistage redox properties, by extending the charge and spin delocalization, by modulating the π-electron density, and by a newly established hyperconjugation mechanism.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

The sponge-like topology of large-scale structure in the universe

The relative connectedness of the high- and low-density regions in the universe is studied using a median density contour which divides space into two equal volumes. The CfA data are found to show a sponge-like topology where the highand low-density regions are both interlocking and equivalent. The boundary surface between the two regions has a general negative curvature, and is characterized by a large number of holes. In the initial conditions the connectedness of the two regions must be identical because a change of sign in the random quantum fluctuations would reverse their roles. It is noted that in the cold dark matter and neutrino scenarios the hole sizes are typically of the order of the smoothing diameter or the damping length, whichever is larger. The sponge-like topology is consistent with the universe having a frothy appearance without being divided neatly into cells. A computer algorithm for measuring topology is discussed.

Gott, J. R., III↗

3D Simulations of the Richtmyer-Meshkov Instability with Re-Shock

We present results of inviscid simulations, in three dimensions, of Richtmyer-Meshkov instability for high incident shock Mach number. The growth rate of a single harmonic perturbation is quantified and compared with the results of a 2D calculation. Upon re-shock, the perturbation amplitude undergoes a phase reversal while the mean velocity of the interface is zero. Before re-shock the normalized growth rate of a 2D and 3D interface are nearly the same, but the growth rate after re-shock is significantly larger for the 3D than the 2D case. We also examine the evolution of multiple harmonic perturbations. Computational and parallelization issues of the simulation code will also be briefly discussed. The computations were done on the T3E at Pittsburgh Supercomputing Center.

Meiron, Daniel I.↗

Computational Flow Field in Energy Efficient Engine (EEE)

In this paper, preliminary results for the recently-updated Open National Combustion Code (Open NCC) as applied to the EEE are presented. The comparison between two different numerical schemes, the standard Jameson-Schmidt-Turkel (JST) scheme and the advection upstream splitting method (AUSM), is performed for the cold flow and the reacting flow calculations using the RANS. In the cold flow calculation, the AUSM scheme predicts a much stronger reverse flow in the central recirculation zone. In the reacting flow calculation, we test two cases: gaseous fuel injection and liquid spray injection. In the gaseous fuel injection case, the overall flame structures of the two schemes are similar to one another, in the sense that the flame is attached to the main nozzle, but is detached from the pilot nozzle. However, in the exit temperature profile, the AUSM scheme shows a more uniform profile than that of the JST scheme, which is close to the experimental data. In the liquid spray injection case, we expect different flame structures in this scenario. We will give a brief discussion on how two numerical schemes predict the flame structures inside the EEE using different ways to introduce the fuel injection.

CFD↗

A Step Toward Working with Untrusted Ground Stations

We are witnessing a shift toward outsourcing satellite and ground station services to third-party commercial entities. As with any enterprise, these third parties can be vulnerable to cyber compromise, including image tampering and deepfake injection. The multimedia community is beginning to establish standards and technology to enable authenticity verification of multimedia created and edited by others. While appealing to the remote sensing domain, the nature of raw satellite imagery is incompatible with the proposed change verification tools, resulting in the need for a means to validate updates made to image products. We present a simple method for verifying a specific class of algorithms. Our inverse processing approach eliminates the need to see the original image as the reversed data can be checked against an original digital signature. We demonstrate our approach on basic image restoration routines and conclude with a discussion on open challenges and next steps.

97 MATHEMATICS AND COMPUTING↗

LDV measurements on a rectangular wing with a simulated glaze ice accretion

LDV measurement results are presented for the upper surface of a rectangular semispan wing with and without simulated glaze ice accretion. Inspection of the model centerline flow field indicates that a large region of reverse flow exists aft of the ice horn on the iced model. At alpha = 0 deg, this region extends to 7 percent chord, while at alpha = 4 deg the bubble grows to more than 12 percent chord. At alpha = 8 deg, the time-averaged separation bubble is measured well beyond 50 percent chord. Experimental and computational flow visualization support these findings. The flow in the vicinity of the ice shape contains many of the features of flow over a backward-facing step.

Khodadoust, A.↗

Random Forests and Networks Analysis

Wilson (Proceedings of the twenty-eight annual acm symposium on the theory of computing, pp. 296–303, 1996) in the 1990s described a simple and efficient algorithm based on loop-erased random walks to sample uniform spanning trees and more generally weighted trees or forests spanning a given graph. This algorithm provides a powerful tool in analyzing structures on networks and along this line of thinking, in recent works (Avena and Gaudillière in A proof of the transfer-current theorem in absence of reversibility, in Stat. Probab. Lett. 142, 17–22 (2018); Avena and Gaudillière in J Theor Probab, 2017. https://doi.org/10.1007/s10959-017-0771-3 ; Avena et al. in Approximate and exact solutions of intertwining equations though random spanning forests, 2017. arXiv:1702.05992v1 ; Avena et al. in Intertwining wavelets or multiresolution analysis on graphs through random forests, 2017. arXiv:1707.04616 , to appear in ACHA (2018)) we focused on applications of spanning rooted forests on finite graphs. The resulting main conclusions are reviewed in this paper by collecting related theorems, algorithms, heuristics and numerical experiments. A first foundational part on determinantal structures and efficient sampling procedures is followed by four main applications: (1) a random-walk-based notion of well-distributed points in a graph, (2) a framework to describe metastable-like dynamics in finite settings by means of Markov intertwining dualities, (3) coarse graining schemes for networks and associated processes, (4) wavelets-like pyramidal algorithms for graph signals.

97 MATHEMATICS AND COMPUTING↗

Exact-two-component block-localized wave function: A simple scheme for the automatic computation of relativistic ΔSCF

Block-localized wave function is a useful method for optimizing constrained determinants. In this article, we extend the generalized block-localized wave function technique to relativistic two-component framework. Optimization of excited state determinants for two-component wave functions presents a unique challenge because the excited state manifold is often quite dense with degenerate states. Furthermore, we test the degree to which certain symmetries result naturally from the ΔSCF optimization such as time reversal symmetry and symmetry with respect to the total angular momentum operator on a series of atomic systems. Variational optimizations may often break symmetry in order to lower the overall energy, just as unrestricted Hartree-Fock breaks spin symmetry. Overall, we demonstrate that time reversal symmetry is roughly maintained when using Hartree-Fock, but less so when using Kohn-Sham density functional theory. Additionally, maintaining total angular momentum symmetry appears to be system dependent and not guaranteed. Finally, we were able to trace the breaking of total angular momentum symmetry to the relaxation of core electrons.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Managing a Cray supercomputer as a git branch

Summary Modern software engineering/DevOps techniques applied to Cray XC Series systems management enable higher fidelity translation from test to production environments, reduce administration costs by avoiding duplicate efforts, and increase reliability. This can be done by using a git repository to track and manage all system configurations on the SMW(s) (System Management Workstation) and then adapt a gitflow‐like development methodology. Using git improves change management with peer review of changes, identification of who made a change, knowing why a change was made, facilitating easier reversion of bad changes, and enables a workflow using the ideas from gitflow with individual branches for preparing, maintaining, and recording releases. Using branches enables multiple contributors to work on different types of changes without getting unexpected changes from another feature area. We will describe a process similar to that used at NERSC (National Energy Research Scientific Computing Center) to extract/abstract configuration data, manage it using git, and then re‐apply changes to the SMW(s).

Jacobsen, Douglas M.↗

Structural insights into the mechanism of oxidative activation of heme-free H-NOX from Vibrio cholerae

Bacterial heme nitric oxide/oxygen (H-NOX) domains are nitric oxide (NO) or oxygen sensors. This activity is mediated through binding of the ligand to a heme cofactor. However, H-NOX from Vibrio cholerae (Vc H-NOX) can be easily purified in a heme-free state that is capable of reversibly responding to oxidation, suggesting a heme-independent function as a redox sensor. This occurs by oxidation of Cys residues at a zinc-binding site conserved in a subset of H-NOX homologs. Remarkably, zinc is not lost from the protein upon oxidation, although its ligation environment is significantly altered. Using a combination of computational and experimental approaches, we have characterized localized structural changes that accompany the formation of specific disulfide bonds between Cys residues upon oxidation. Furthermore, the larger-scale structural changes accompanying oxidation appear to mimic those changes observed upon NO binding to the heme-bound form. Thus, Vc H-NOX and its homologs may act as both redox and NO sensors by completely separate mechanisms.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Molecular processes in comets

Potential energy curves for the two lowest 2 sigma- states of OH are computed at the configuration-interaction level using four different basis sets. Electronic transition dipole moments connecting the excited 1 2 sigma- and 2(D) 2 sigma- states with each other and with he ground X2pi state are presented as functions of internuclear distance. The theoretical absorption oscillator strengths for the D 2 sigma-(v prime=0) reverser to X 2pi (v prime prime=0) transition are in good agreement with the empirical value derived from astronomical measurements. The photodissociation cross sections for absorption rom the v prime prime=0,1, and levels of the ground state into the continuum of the 1 2 sigma- state are calculated, and the interstellar and cometary photodissociation rates are derived.

Dalgarno, A.↗