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 91 records · Page 5

Arrow of time and its reversal on the IBM quantum computer

Uncovering the origin of the “arrow of time” remains a fundamental scientific challenge. Within the framework of statistical physics, this problem was inextricably associated with the second Law of thermodynamics, which declares that entropy growth proceeds from the system’s entanglement with the environment. this poses a question of whether it is possible to develop protocols for circumventing the irreversibility of time and if so to practically implement these protocols. Here we show that, while in nature the complex conjugation needed for time reversal may appear exponentially improbable, one can design a quantum algorithm that includes complex conjugation and thus reverses a given quantum state. Using this algorithm on an IBM quantum computer enables us to experimentally demonstrate a backward time dynamics for an electron scattered on a two-level impurity.

97 MATHEMATICS AND COMPUTING↗

Investigation of Solar Proton Access Into the Inner Magnetosphere on 11 September 2017

Here, access of solar energetic protons to the inner magnetosphere on 11 September 2017 is investigated by computing the reverse particle trajectories with the Dartmouth geomagnetic cutoff code (Kress et al., 2010). The maximum and minimum cutoff rigidity at each point along the orbit of Van Allen Probe A is numerically computed by extending the code to calculate cutoff rigidity for particles coming from arbitrary direction. Pulse height analyzed (PHA) data have the advantage of providing individual particle energies and effectively excluding background high-energy proton contamination. This technique is adopted to study the cutoff locations for solar protons with different energy. The results demonstrate that cutoff latitude is lower for solar protons with higher energy, consistent with low-altitude vertical cutoffs. Both the observations and numerical results show that proton access into the inner magnetosphere depends strongly on angle between particle arrival direction and magnetic west. Finally, the numerical result is approximately consistent with the observation that the energy of almost all solar protons stays above the minimum cutoff rigidity.

58 GEOSCIENCES↗

Structural and Preclinical Studies of Computationally Designed Non-Nucleoside Reverse Transcriptase Inhibitors for Treating HIV infection

The clinical benefits of HIV-1 non-nucleoside reverse transcriptase (RT) inhibitors (NNRTIs) are hindered by their unsatisfactory pharmacokinetic (PK) properties along with the rapid development of drug-resistant variants. However, the clinical efficacy of these inhibitors can be improved by developing compounds with enhanced pharmacological profiles and heightened antiviral activity. We used computational and structure-guided design to develop two next-generation NNRTI drug candidates, compounds I and II, which are members of a class of catechol diethers. We evaluated the preclinical potential of these compounds in BALB/c mice because of their high solubility (510 µg/ml for compound I and 82.9 µg/ml for compound II), low cytotoxicity, and enhanced antiviral activity against wild-type (WT) HIV-1 RT and resistant variants. Additionally, crystal structures of compounds I and II with WT RT suggested an optimal binding to the NNRTI binding pocket favoring the high anti-viral potency. A single intraperitoneal dose of compounds I and II exhibited a prolonged serum residence time of 48 hours and concentration maximum (Cmax) of 4000- to 15,000-fold higher than their therapeutic/effective concentrations. These Cmax values were 4- to 15-fold lower than their cytotoxic concentrations observed in MT-2 cells. Compound II showed an enhanced area under the curve (0–last) and decreased plasma clearance over compound I and efavirenz, the standard of care NNRTI. Hence, the overall (PK) profile of compound II was excellent compared with that of compound I and efavirenz. Furthermore, both compounds were very well tolerated in BALB/c mice without any detectable acute toxicity. Taken together, these data suggest that compounds I and II possess improved anti-HIV-1 potency, remarkable in vivo safety, and prolonged in vivo circulation time, suggesting strong potential for further development as new NNRTIs for the potential treatment of HIV infection.

59 BASIC BIOLOGICAL SCIENCES↗

Mechanism of structural colors in binary mixtures of nanoparticle-based supraballs

Inspired by structural colors in avian species, various synthetic strategies have been developed to produce noniridescent, saturated colors using nanoparticle assemblies. Nanoparticle mixtures varying in particle chemistry and size have additional emergent properties that affect the color produced. For complex multicomponent systems, understanding the assembled structure and a robust optical modeling tool can empower scientists to identify structure-color relationships and fabricate designer materials with tailored color. Here, we demonstrate how we can reconstruct the assembled structure from small-angle scattering measurements using the computational reverse-engineering analysis for scattering experiments method and use the reconstructed structure in finite-difference time-domain calculations to predict color. We successfully, quantitatively predict experimentally observed color in mixtures containing strongly absorbing nanoparticles and demonstrate the influence of a single layer of segregated nanoparticles on color produced. The versatile computational approach that we present is useful for engineering synthetic materials with desired colors without laborious trial-and-error experiments.

36 MATERIALS SCIENCE↗

Model-based Dynamic Control of Speculative Forays in Parallel Computation

In simulations running in parallel, the processors would have to synchronize with other processors to maintain correct global order of computations. This can be done either by blocking computation until correct order is guaranteed, or by \textit{speculatively} proceeding with the best guess (based on local information) and later correcting errors if/as necessary. Since the gainful lengths of speculative forays depend on the dynamics of the application software and hardware at runtime, an online control system is necessary to dynamically choose and/or switch between the blocking and speculative strategies. In this paper, we formulate the reversible speculative computing in large-scale parallel computing as a dynamic linear feedback control (optimization) system model and evaluate its performance in terms of time and cost savings as compared to the traditional (forward) computing. We illustrate with an exact analogy in the form of vehicular travel under dynamic, delayed route information. The objective is to assist in making the optimal decision on what computational approach is to be chosen, by predicting the amount of time and cost savings (or losing) under different environments represented by different parameters and probability distribution functions. We consider the cases of Gaussian, exponential and log-normal distribution functions. The control system is intended for incorporating into speculative parallel applications such as optimistic parallel discrete event simulations to decide at runtime when and to what extent speculative execution can be performed gainfully.

Perumalla, Kalyan↗

SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation

Compiling high-level quantum programs to machines that are size constrained (i.e. limited number of quantum bits) and time constrained (i.e. limited number of quantum operations) is challenging. In this paper, we present SQUARE (Strategic QUantum Ancilla REuse), a compilation infrastructure that tackles allocation and reclamation of scratch qubits (called ancilla) in modular quantum programs. At its core, SQUARE strategically performs uncomputation to create opportunities for qubit reuse. Current Noisy Intermediate-Scale Quantum (NISQ) computers and forward-looking Fault-Tolerant (FT) quantum computers have fundamentally different constraints such as data locality, instruction parallelism, and communication overhead. Our heuristic-based ancilla-reuse algorithm balances these considerations and fits computations into resource-constrained NISQ or FT quantum machines, throttling parallelism when necessary. To precisely capture the workload of a program, we propose an improved metric, the "active quantum volume," and use this metric to evaluate the effectiveness of our algorithm. Furthermore, our results show that SQUARE improves the average success rate of NISQ applications by 1.47X. Surprisingly, the additional gates for uncomputation create ancilla with better locality, and result in substantially fewer swap gates and less gate noise overall. SQUARE also achieves an average reduction of 1.5X (and up to 9.6X) in active quantum volume for FT machines.

compiler optimization↗

Two Circuits for Directing and Controlling Ballistic Fluxons

Reversible logic schemes using flux solitons (fluxons) on long Josephson junctions (LJJs) have recently been proposed. The attraction of the fluxon is that it propagates ballistically along an LJJ until it encounters a change in the character of the LJJ, often a designed circuit element. Logic gates involve fluxons interacting with circuit elements and with other fluxons. However, testing of ballistic fluxon circuits requires other circuits outside the logic family to direct and control fluxon motion. Here we discuss two such non-reversible fluxon control circuits. First, the polarity filter gate is a simple non-reversible gate that allows one polarity of fluxon to pass, while reflecting the other polarity. In the off state both polarities reflect. Second, the polarity separator generalizes on the polarity filter concept and allows separation of the two fluxon polarities into different LJJs. We discuss simulations of these structures and possible applications.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Advanced general aviation propeller study

Methods for predicting the performance, noise, weight, and cost of propellers for advanced general aviation aircraft of the 1980 time period were developed and computerized. This basic program was refined to incorporate a method of including the blade shape parameter, integrated design lift coefficient. This method and a reverse thrust computational procedure were included in the computer program. The weight equation was refined and also incorporated in the computer program. A User's Manual which includes a complete listing of this computer program with detailed instructions on its use has been written.

Worobel, R.↗

Analysis of the flight dynamics of the Solar Maximum Mission (SMM) off-sun scientific pointing

Algorithms are presented which were created and implemented by the Goddard Space Flight Center's (GSFC's) Solar Maximum Mission (SMM) attitude operations team to support large-angle spacecraft pointing at scientific objectives. The mission objective of the post-repair SMM satellite was to study solar phenomena. However, because the scientific instruments, such as the Coronagraph/Polarimeter (CP) and the Hard X ray Burst Spectrometer (HXRBS), were able to view objects other than the Sun, attitude operations support for attitude pointing at large angles from the nominal solar-pointing attitudes was required. Subsequently, attitude support for SMM was provided for scientific objectives such as Comet Halley, Supernova 1987A, Cygnus X-1, and the Crab Nebula. In addition, the analysis was extended to include the reverse problem, computing the right ascension and declination of a body given the off-Sun angles. This analysis led to the computation of the orbits of seven new solar comets seen in the field-of-view (FOV) of the CP. The activities necessary to meet these large-angle attitude-pointing sequences, such as slew sequence planning, viewing-period prediction, and tracking-bias computation are described. Analysis is presented for the computation of maneuvers and pointing parameters relative to the SMM-unique, Sun-centered reference frame. Finally, science data and independent attitude solutions are used to evaluate the large-angle pointing performance.

Pitone, D. S.↗

Analysis of the flight dynamics of the Solar Maximum Mission (SMM) off-sun scientific pointing

Algorithms are presented which were created and implemented by the Goddard Space Flight Center's (GSFC's) Solar Maximum Mission (SMM) attitude operations team to support large-angle spacecraft pointing at scientific objectives. The mission objective of the post-repair SMM satellite was to study solar phenomena. However, because the scientific instruments, such as the Coronagraph/Polarimeter (CP) and the Hard X-ray Burst Spectrometer (HXRBS), were able to view objects other than the Sun, attitude operations support for attitude pointing at large angles from the nominal solar-pointing attitudes was required. Subsequently, attitude support for SMM was provided for scientific objectives such as Comet Halley, Supernova 1987A, Cygnus X-1, and the Crab Nebula. In addition, the analysis was extended to include the reverse problem, computing the right ascension and declination of a body given the off-Sun angles. This analysis led to the computation of the orbits of seven new solar comets seen in the field-of-view (FOV) of the CP. The activities necessary to meet these large-angle attitude-pointing sequences, such as slew sequence planning, viewing-period prediction, and tracking-bias computation are described. Analysis is presented for the computation of maneuvers and pointing parameters relative to the SMM-unique, Sun-centered reference frame. Finally, science data and independent attitude solutions are used to evaluate the larg-angle pointing performance.

Pitone, D. S.↗

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↗

Numerical methods for reduction of topside ionograms

Several alternative methods for solving the group height equation are presented. Three of these are now in operation at Ames Research Center and use data contained in a single ionogram trace. From the data an electron density profile N(h) is computed. If the ionogram also exhibits other traces, reverse ionogram traces are computed, using the N(h) profile, for comparison with the redundant data. When agreement is poor, the initial data trace is reinterpreted, another N(h) profile computed, and the reverse traces generated once again. This process is repeated until a desired degree of consistency is achieved. To reduce the necessity for human intervention and eliminate decision making required in conjunction with the preceding methods, a method is proposed that accepts as input, all data from a single ionogram. In general, no electron density function will satisfy these data exactly, but a best N(h) profile can be computed. Finally, a method is described that eliminates the need to assume that the ionosphere is spherically stratified. Horizontal gradients in electron density are detected and accounted for by processing several ionograms from the same satellite pass simultaneously. This idea is derived as an extension of one of the basic methods.

Mcculley, L.↗

Computational and experimental investigation of subsonic internal reversing flows

The flow inside a model exhaust configuration was studied using both experimental and computational techniques. The hardware was tested at the NASA Lewis Research Center's Powered Lift Facility at tailpipe total pressure to ambient static pressure ratios ranging from 1.0 to 5.0. The flow simulations were obtained using the two 3-D Navier-Stokes CFD codes run on the Lewis Cray Y-MP computer. Both codes produced oscillatory solutions due to the inflow boundary condition reflecting acoustic waves. The CFD solutions correctly predicted the flow separation along the inside elbow of the takeoff and also along the walls of the ventral duct. Mass flow rates were overpredicted due to underprediction of the turbulent energy dissipation and subsequent total pressure loss.

Rhodes, James A.↗

Generative Thermodynamic Computing

Here, we introduce a generative modeling framework for thermodynamic computing, in which structured data are synthesized from noise by the natural time evolution of a physical system governed by Langevin dynamics. While conventional diffusion models use neural networks to perform denoising, here the information needed to generate structure from noise is encoded by the dynamics of a thermodynamic system. Training proceeds by maximizing the probability with which the computer generates the reverse of a noising trajectory, which ensures that the computer generates data with minimal heat emission. We demonstrate this framework within a digital simulation of a thermodynamic computer. If realized in analog hardware, such a system would function as a generative model that produces structured samples without the need for artificially injected noise or active control of denoising.

Whitelam, Stephen [Lawrence Berkeley National Labo↗

Comparison of liquid rocket engine base region heat flux computations using three turbulence models

The flow in the base region of launch vehicles is characterized by flow separation, flow reversals, and reattachment. Computation of the convective heat flux in the base region and on the nozzle external surface of Space Shuttle Main Engine and Space Transportation Main Engine (STME) is an important part of defining base region thermal environments. Several turbulence models were incorporated in a CFD code and validated for flow and heat transfer computations in the separated and reattaching regions associated with subsonic and supersonic flows over backward facing steps. Heat flux computations in the base region of a single STME engine and a single S1C engine were performed using three different wall functions as well as a renormalization-group based k-epsilon model. With the very limited data available, the computed values are seen to be of the right order of magnitude. Based on the validation comparisons, it is concluded that all the turbulence models studied have predicted the reattachment location and the velocity profiles at various axial stations downstream of the step very well.

Kumar, Ganesh N.↗

Reversing inverse Hall-Petch and direct computation of Hall-Petch coefficients

A 2D bicrystal atomistic model of dislocation transmission through a Σ11<101>{131} symmetric-tilt grain boundary reveals details of Hall-Petch breakdown in the single dislocation regime in Al, Ni, and Cu. Partly based on a previous study, this research determines the stress required for a single dislocation to be transmitted through the Σ11 boundary and finds that single dislocation transmission typically deviates from Hall-Petch behavior because the leading partial dislocation becomes trapped in the boundary and emits glissile grain boundary disconnections that cause boundary sliding deformation at stresses well below boundary transmission stresses. Thus, mechanisms of inverse Hall-Petch, namely grain boundary shear and sliding, are shown to operate in lieu of grain boundary transmission in the single dislocation regime. However, by controlling the applied stresses, inverse Hall-Petch can be reversed and typical Hall- Petch grain boundary transmission regained. This, in turn, allows the direct computation of Hall-Petch coefficients. Further, a second dislocation on the same slip plane preserves typical Hall-Petch behavior for Al and Ni and does not lead to boundary sliding events, thus implying a critical grain size for Hall-Petch breakdown based on the pileup model.

36 MATERIALS SCIENCE↗

Reverse energy partitioning—An efficient algorithm for computing the density of states, partition functions, and free energy of solids

A robust and model free Monte Carlo simulation method is proposed to address the challenge in computing the classical density of states and partition function of solids. Starting from the minimum configurational energy, the algorithm partitions the entire energy range in the increasing energy direction (“upward”) into subdivisions whose integrated density of states is known. When combined with the density of states computed from the “downward” energy partitioning approach [H. Do, J. D. Hirst, and R. J. Wheatley, J. Chem. Phys. 135, 174105 (2011)], the equilibrium thermodynamic properties can be evaluated at any temperature and in any phase. The method is illustrated in the context of the Lennard-Jones system and can readily be extended to other molecular systems and clusters for which the structures are known.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗