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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Operator versus computer control of adaptive automation

Adaptive automation refers to real-time allocation of functions between the human operator and automated subsystems. The article reports the results of a series of experiments whose aim is to examine the effects of adaptive automation on operator performance during multi-task flight simulation, and to provide an empirical basis for evaluations of different forms of adaptive logic. The combined results of these studies suggest several things. First, it appears that either excessively long, or excessively short, adaptation cycles can limit the effectiveness of adaptive automation in enhancing operator performance of both primary flight and monitoring tasks. Second, occasional brief reversions to manual control can counter some of the monitoring inefficiency typically associated with long cycle automation, and further, that benefits of such reversions can be sustained for some time after return to automated control. Third, no evidence was found that the benefits of such reversions depend on the adaptive logic by which long-cycle adaptive switches are triggered.

Hilburn, Brian↗
NASA NTRS1990

Spectral synthesis in the ultraviolet. III - The spectral morphology of normal stars in the mid-ultraviolet

The morphology of 218 mid-UV spectra of stars ranging from O through K in spectral type is examined. Several new line and continuum indices are defined and their usefulness as temperature, luminosity, and metallicity discriminants is discussed. Mid-UV stellar continua are found to be markedly affected by abundance. A UV excess, delta(2600-V), is computed which is more sensitive by a factor of 10 to (Fe/H) than is delta(U-B). The relative strength of spectral lines in the mid-UV is not as strongly affected by abundance. Mid-UV spectra are much more sensitive to the temperature of the stellar population than to either metallicity or the dwarf/giant ratio. Mg II 2800 shows unexpected behavior, displaying no sensitivity to abundance for cool stars and a reversed sensitivity in FG dwarfs such that metal-poor stars have stronger Mg II strengths at the same temperature than more metal-rich stars.

Fanelli, Michael N.↗
NASA NTRS1993

A spectral algorithm for envelope reduction of sparse matrices

A new algorithm for reducing the envelope of a sparse matrix is presented. This algorithm is based on the computation of eigenvectors of the Laplacian matrix associated with the graph of the sparse matrix. A reordering of the sparse matrix is determined based on the numerical values of the entries of an eigenvector of the Laplacian matrix. Numerical results show that the new reordering algorithm can in some cases reduce the envelope by more than a factor of two over the current standard algorithms such as Gibbs-Poole-Stockmeyer (GPS) or SPARSPAK's reverse Cuthill-McKee (RCM).

Barnard, Stephen T.↗
NASA NTRS2007

Software Safety Risk in Legacy Safety-Critical Computer Systems

Safety-critical computer systems must be engineered to meet system and software safety requirements. For legacy safety-critical computer systems, software safety requirements may not have been formally specified during development. When process-oriented software safety requirements are levied on a legacy system after the fact, where software development artifacts don't exist or are incomplete, the question becomes 'how can this be done?' The risks associated with only meeting certain software safety requirements in a legacy safety-critical computer system must be addressed should such systems be selected as candidates for reuse. This paper proposes a method for ascertaining formally, a software safety risk assessment, that provides measurements for software safety for legacy systems which may or may not have a suite of software engineering documentation that is now normally required. It relies upon the NASA Software Safety Standard, risk assessment methods based upon the Taxonomy-Based Questionnaire, and the application of reverse engineering CASE tools to produce original design documents for legacy systems.

Hill, Janice↗
DOE OSTI2021

A finite element formulation for deformation twinning induced strain localization in polycrystal magnesium alloys

Deformation twinning induces shear strain localization in hexagonal close-packed crystals and is critical for the material’s ductility and failure. Cracks often occur at twin-twin or twin-grain boundary intersections and propagate along twin bands. However, most crystal plasticity models for deformation twinning are based on a “pseudo-slip” approach and do not capture the localized deformation associated with the formation of each discrete twin band. The few exceptions are discrete twin models that involve very complex numerical algorithms and are often compromised in accuracy due to the numerical convergence. These factors make the discrete twin models hard to adopt. This paper proposes a modification to the conventional finite element weak form, to fully incorporate a twin-induced heterogeneous deformation that does not depend on the “pseudo-slip” assumption. The model starts by splitting the deformation gradient into elastic-slip-twinning components. The twin-induced deformation gradient component is computed separately by solving a microstructural evolution problem and then implemented into finite element weak form by constructing a global “twin-force” vector. The constitutive update (e.g., in the user-defined material subroutine, or UMAT, for ABAQUS) therefore avoids dealing with the twinning and recovers to the form of a regular slip-based crystal plasticity model. The results presented here indicate that the twin-induced strain localization and the associated stress-reversal phenomena near the twin band were naturally captured in the model, which was validated against an in-situ synchrotron X-ray micro-diffraction experiment.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Open-source electrochemical cell for in situ X-ray absorption spectroscopy in transmission and fluorescence modes

X-ray spectroscopy is a valuable technique for the study of many materials systems. Characterizing reactions in situ and operando can reveal complex reaction kinetics, which is crucial to understanding active site composition and reaction mechanisms. In this project, the design, fabrication and testing of an open-source and easy-to-fabricate electrochemical cell for in situ electrochemistry compatible with X-ray absorption spectroscopy in both transmission and fluorescence modes are accomplished via windows with large opening angles on both the upstream and downstream sides of the cell. Using a hobbyist computer numerical control machine and free 3D CAD software, anyone can make a reliable electrochemical cell using this design. Onion-like carbon nanoparticles, with a 1:3 iron-to-cobalt ratio, were drop-coated onto carbon paper for testing in situ X-ray absorption spectroscopy. Cyclic voltammetry of the carbon paper showed the expected behavior, with no increased ohmic drop, even in sandwiched cells. Chronoamperometry was used to apply 0.4 V versus reversible hydrogen electrode, with and without 15 min of oxygen purging to ensure that the electrochemical cell does not provide any artefacts due to gas purging. The XANES and EXAFS spectra showed no differences with and without oxygen, as expected at 0.4 V, without any artefacts due to gas purging. The development of this open-source electrochemical cell design allows for improved collection of in situ X-ray absorption spectroscopy data and enables researchers to perform both transmission and fluorescence simultaneously. It additionally addresses key practical considerations including gas purging, reduced ionic resistance and leak prevention.

08 HYDROGEN↗
DOE OSTI2016

Long non-coding RNA CCAT1 promotes glioma cell proliferation via inhibiting microRNA-410

Background and aim: Long non-coding RNAs have been confirmed to play a critical role in various cancers. In the present study, the effect of long non-coding RNA (lncRNA) CCAT1 on glioma cell proliferation and its potential mechanism were investigated. Methods and results: Real-time PCR results showed that lncRNA-CCAT1 expression was significantly upregulated in glioma cancer tissues and cell lines compared with controls. After inhibiting CCAT1 expression in glioma cell line U251 with siRNA-CCAT1 (si-CCAT1), the cell viability and cell colony formation were decreased, the cell cycle was arrested in G1 phase, and the cell apoptosis was increased. As reported in bioinformatics software starbase2.0, a total of 22 microRNAs were potentially targeted by CCAT1. It was confirmed that miR-410 was altered most by si-CCAT1. After up-regulating CCAT1 expression in U251 cells, miR-410 level was decreased. Luciferase reporter assay confirmed that CCAT1 targeted miR-410. Correlation analysis showed that CCAT1 expression was negatively related to miR-410 expression in glioma cancer tissues. In addition, down-regulation of miR-410 reversed the inhibitory effect of si-CCAT1 on glioma proliferation. Conclusion: These data demonstrated that lncRNA-CCAT1 promoted glioma cell proliferation via inhibiting miR-410, providing a new insight about the pathogenesis of glioma proliferation. - Highlights: • lncRNA-CCAT1 expression was significantly upregulated in glioma cancer tissues and cell lines. • Correlation analysis showed that CCAT1 expression was negatively related to miR-410 expression in glioma cancer tissues. • Down-regulation of miR-410 reversed the inhibitory effect of si-CCAT1 on glioma proliferation.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2020

Compressing data for storage in cache memories in a hierarchy of cache memories

An electronic device includes at least one compression-decompression functional block and a hierarchy of cache memories with a first cache memory and a second cache memory. The at least one compression-decompression functional block receives data in an uncompressed state, compresses the data using one of a first compression or a second compression, and, after compressing the data, provides the data to the first cache memory for storage therein. When the data is retrieved from the first cache memory to be stored in the second cache memory, when the data is compressed using the first compression, the compression-decompression functional block decompresses the data to reverse effects of the first compression on the data, thereby restoring the data to the uncompressed state and provides the data compressed using the second compression or in the uncompressed state to the second cache memory for storage therein.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

CRNT4SBML: a Python package for the detection of bistability in biochemical reaction networks

Motivation: Signaling pathways capable of switching between two states are ubiquitous within living organisms. They provide the cells with the means to produce reversible or irreversible decisions. Switchlike behavior of biological systems is realized through biochemical reaction networks capable of having two or more distinct steady states which are dependent on initial conditions. Investigation of whether a certain signaling pathway can confer bistability involves a substantial amount of hypothesis testing. The cost of direct experimental testing can be prohibitive. Therefore, constraining the hypothesis space is highly bene?cial. One such methodology is based on Chemical Reaction Network Theory which uses computational techniques to rule out pathways that are not capable of bistability regardless of kinetic constant values and molecule concentrations. Although useful, these methods are complicated from both pureandcomputationalmathematicsperspectives.Thus,theiradoptionisverylimitedamongstbiologists. Results: We brought Chemical Reaction Network Theory approaches closer to experimental biologists by automating all the necessary steps in CRNT4SMBL. The input is based on SBML format which is the community standard for biological pathway communication. The tool parses SBML and derives C-graph representations of the biological pathway with mass action kinetics. Next steps involve an ef?cient search for potential saddle-node bifurcation points using an optimization technique. This type of bifurcation is important as it has the potential of acting as a switching point between two steady states. Finally, if any bifurcation points are present, numerical continuation analysis extends the equilibria branches for generating the diagram. Presence of an S-shaped bifurcation diagram indicates that the pathway acts as a bistable switch for the given optimization parameters. Availability: CRNT4SBML is available via the Python Package Index. The documentation can be found at https://crnt4sbml.readthedocs.io. CRNT4SBML is licensed under the Apache Software License 2.0. Contact: vladislav.petyuk@pnnl.gov

Reyes, Brandon C.↗
DOE OSTI2017

Multi-scale mechanics of granular solids from grain-resolved X-ray measurements

This work discusses an experimental technique for studying the mechanics of three-dimensional (3D) granular solids. The approach combines 3D X-ray diffraction and X-ray computed tomography to measure grain-resolved strains, kinematics and contact fabric in the bulk of a granular solid, from which continuum strains, grain stresses, interparticle forces and coarse-grained elasto-plastic moduli can be determined. We demonstrate the experimental approach and analysis of selected results on a sample of 1099 stiff, frictional grains undergoing multiple uniaxial compression cycles. We investigate the inter-particle force network, elasto-plastic moduli and associated length scales, reversibility of mechanical responses during cyclic loading, the statistics of microscopic responses and microstructure–property relationships. This work serves to highlight both the fundamental insight into granular mechanics that is furnished by combined X-ray measurements and describes future directions in the field of granular materials that can be pursued with such approaches.

36 MATERIALS SCIENCE↗
NASA NTRS1983

Ion cyclotron waves in the Io plasma torus - Polarization reversal of whistler mode noise

Because of the presence of multiple ion species in the Io plasma torus, whistler mode noise can be converted to ion cyclotron waves via a polarization reversal process at the local crossover frequency. Using whistler mode intensity measurements in the Jovian magnetosphere from Voyager 1, the pitch-angle diffusion rates that would occur if the noise is converted to ion cyclotron waves is estimated. Typical pitch-angle diffusion coefficients range from 0.000001/sec for protons resonating near the equator to 0.0001/sec for 10-keV O(+) ions resonating at high latitudes. Although complete bounce averaged diffusion coefficients have not yet been computed, preliminary estimates indicate that the energetic ion precipitation caused by these waves may be able to account for the EUV auroral emissions at the foot of the torus field lines.

Gurnett, D. A.↗
NASA NTRS1992

Fluid-flow of a row of jets in crossflow - A numerical study

A detailed computer-visualized flow field of a row of jets in a confined crossflow is presented. The Reynolds averaged Navier-Stokes equations are solved using a finite volume method that incorporates a partial differential equation for incremental pressure to obtain a divergence-free flow field. The turbulence is described by a multiple-time-scale turbulence model. The computational domain includes the upstream region of the circular jet so that the interaction between the jet and the crossflow is simulated accurately. It is shown that the row of jets in the crossflow is characterized by a highly complex flow field that includes a horse-shoe vortex and two helical vortices whose secondary velocity components are co-rotating in space. It is also shown that the horse-shoe vortex is a ring of reversed flows located along the circumference of the jet exit.

Kim, S.-W.↗
NASA NTRS1993

Validation of multi-temperature nozzle flow code NOZNT

A computer code NOZNT (Nozzle in n-Temperatures), which calculates one-dimensional flows of partially dissociated and ionized air in an expanding nozzle, is tested against five existing sets of experimental data. The code accounts for: a) the differences among various temperatures, i.e., translational-rotational temperature, vibrational temperatures of individual molecular species, and electron-electronic temperature, b) radiative cooling, and c) the effects of impurities. The experimental data considered are: 1) the sodium line reversal and 2) the electron temperature and density data, both obtained in a shock tunnel, and 3) the spectroscopic emission data, 4) electron beam data on vibrational temperature, and 5) mass-spectrometric species concentration data, all obtained in arc-jet wind tunnels. It is shown that the impurities are most likely responsible for the observed phenomena in shock tunnels. For the arc-jet flows, impurities are inconsequential and the NOZNT code is validated by numerically reproducing the experimental data.

Park, Chul↗
NASA NTRS1994

Prediction of fatique crack growth under flight-simulation loading with the modified CORPUS model

The CORPUS (Computation Of Retarded Propagation Under Spectrum loading) crack growth prediction model for variable-amplitude loading, as introduced by De Koning, was based on crack closure. It includes a multiple-overload effect and a transition from plane strain to plane stress. In the modified CORPUS model an underload affected zone (ULZ) is introduced, which is significant for flight-simulation loading in view of the once per flight compressive ground load. The ULZ is associated with reversed plastic deformation induced by the underloads after crack closure has already occurred. Predictions of the crack growth fatigue life are presented for a large variety of flight-simulation test series on 2024-T3 sheet specimens in order to reveal the effects of a number of variables: the design stress level, the gust spectrum severity, the truncation level (clipping), omission of small cycles, and the ground stress level. Tests with different load sequences are also included. The trends of the effects induced by the variables are correctly predicted. The quantitative agreement between the predictions and the test results is also satisfactory.

Padmadinata, U. H.↗
DOE OSTI2023

Predicting Wind Loading and Instability in Solar Tracking PV Arrays

Wind loading and the fluctuating pressure loads it creates on PV panel surfaces are associated with multiple degradation mechanisms and failures. Modest wind speeds create reversing loads that can initiate cell cracks and weather cracked cells. Stronger wind speeds and extreme weather events can lead to larger scale forces and the aerodynamic instability known as torsional galloping. All these effects are dependent on the complex coupling between wind speed, panel orientation, and a myriad of other hardware and site-specific factors. In this work, we present the latest developments from our work to build an open-source, high-performance computing (HPC) fluid dynamics solver to predict and mitigate these effects. This simulation package allows users to easily specify different array layouts, solar-tracking angles, panel geometries, and weather conditions before automatically generating a refined computational mesh and solving for the unsteady loading on each panel surface. Small domains (e.g., a single panel row in isolation) can be solved on a modern laptop, while larger domains or very high-fidelity studies can be solved on distributed or HPC resources with minimal modifications to the underlying problem specification. We present preliminary case studies obtained using this simulation package and highlight how increased wind speeds combined with sub-optimal tracking angles can exacerbate degradation drivers.

aerodynamics↗
DOE OSTI2025

Thermodynamic modeling of countercurrent chemical looping reverse water gas shift process for redox material screening

The reverse water gas shift (RWGS) reaction is a key pathway for CO 2 utilization, particularly within Power-to-X process chains aimed at sustainable fuel and chemical production. Countercurrent chemical looping (CL-RWGS) using non-stoichiometric oxides can overcome equilibrium limitations of conventional RWGS reactors, enabling significantly higher CO 2 conversions. However, modeling the limiting performance of such systems is challenging due to their multiphase nature and coupled spatial and temporal variation in chemical composition. In this work, we present a discretized batch equilibrium model that simulates CL-RWGS reactors as a series of localized equilibrium exchanges between gas and solid elements. The model is numerically stable, computationally efficient, and free of kinetic source terms, making it well-suited for parametric studies and system-level integration. It is validated against established convection–diffusion models and shown to predict reasonable upper bounds on experimental results. Application of the model to a range of oxygen carrier materials identifies cerium–zirconium solid solutions, particularly Ce 0.80 Zr 0.20 O 2 , as a promising class offering superior oxygen storage characteristics compared to state-of-the-art La 0.6 Sr 0.4 FeO 3 . This framework provides a robust platform for materials screening, reactor sizing, and performance optimization in chemical looping systems. The model implementation is available as open-source software to support further research and development.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1984

ALESEP: A computer program for the analysis of airfoil leading edge separation bubbles

The ALESEP program for the analysis of the inviscid/viscous interaction which occurs due to the presence of a closed laminar transitional separation bubble on an airflow is presented. The ALESEP code provides a iterative solution of the boundary layer equations expressed in an inverse formulation coupled to a Cauchy integral representation of the inviscid flow. This interaction analysis is treated as a local perturbation to a known solution obtained from a global airfoil analysis. Part of the required input to the ALESEP code are the reference displacement thickness and tangential velocity distributions. Special windward differencing may be used in the reversed flow regions of the separation bubble to accurately account for the flow direction in the discretization of the streamwise convection of momentum. The ALESEP code contains a forced transition model based on a streamwise intermittency function and a natural transition model based on a solution of the integral form of the turbulent kinetic energy equation. Instructions for the input/output, and program usage are presented.

Davis, R. L.↗