Search NASA⌕ Search

SEARCH · Search NASA

Results for “transit method”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

Concrete Model Checking with Abstract Matching and Refinement

We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible by definition. The method does not require an abstract transition relation to he generated, but instead executes the concrete transitions while storing abstract versions of the concrete states, as specified by a set of abstraction predicates. For each explored transition. the method checks, with the help of a theorem prover, whether there is any loss of precision introduced by abstraction. The results of these checks are used to decide termination or to refine the abstraction, by generating new abstraction predicates. If the (possibly infinite) concrete system under analysis has a finite bisimulation quotient, then the method is guaranteed to eventually explore an equivalent finite bisimilar structure. We illustrate the application of the approach for checking concurrent programs. We also show how a lightweight variant can be used for efficient software testing.

Pasareanu Corina S.↗
NASA NTRS1972

Optimal guidance for the space shuttle transition.

A guidance method for the space shuttle's transition from hypersonic entry to subsonic cruising flight is presented. The method evolves from a numerical trajectory optimization technique in which kinetic energy and total energy (per unit weight) replace velocity and time in the dynamic equations. This allows the open end-time problem to be transformed to one of fixed terminal energy. In its ultimate form, 'E-Guidance' obtains energy balance (including dynamic-pressure-rate damping) and path length control by angle-of-attack modulation and cross-range control by roll angle modulation. The guidance functions also form the basis for a pilot display of instantaneous maneuver limits and destination. Numerical results illustrate the E-Guidance concept and the optimal trajectories on which it is based.

Stengel, R. F.↗
NASA NTRS1972

Optimal guidance for the space shuttle transition

A guidance method for the space shuttle's transition from hypersonic entry to subsonic cruising flight is presented. The method evolves from a numerical trajectory optimization technique in which kinetic energy and total energy (per unit weight) replace velocity and time in the dynamic equations. This allows the open end-time problem to be transformed to one of fixed terminal energy. In its ultimate form, E-Guidance obtains energy balance (including dynamic-pressure-rate damping) and path length control by angle-of-attack modulation and cross-range control by roll angle modulation. The guidance functions also form the basis for a pilot display of instantaneous maneuver limits and destination. Numerical results illustrate the E-Guidance concept and the optimal trajectories on which it is based.

Stengel, R. F.↗
NASA NTRS1974

Optimal guidance for the space shuttle transition

A guidance method for the space shuttle's transition from hypersonic entry to subsonic cruising flight is presented. The method evolves from a numerical trajectory optimization technique in which kinetic energy and total energy (per unit weight) replace velocity and time in the dynamic equations. This allows the open end-time problem to be transformed to one of fixed terminal energy. In its ultimate form, E-Guidance obtains energy balance (including dynamic-pressure-rate damping) and path length control by angle-of-attack modulation and cross-range control by roll angle modulation. The guidance functions also form the basis for a pilot display of instantaneous maneuver limits and destination. Numerical results illustrate the E-Guidance concept and the optimal trajectories on which it is based.

Stengel, R. F.↗
NASA NTRS2006

Exploring the Connection Between Sampling Problems in Bayesian Inference and Statistical Mechanics

The Bayesian and statistical mechanical communities often share the same objective in their work - estimating and integrating probability distribution functions (pdfs) describing stochastic systems, models or processes. Frequently, these pdfs are complex functions of random variables exhibiting multiple, well separated local minima. Conventional strategies for sampling such pdfs are inefficient, sometimes leading to an apparent non-ergodic behavior. Several recently developed techniques for handling this problem have been successfully applied in statistical mechanics. In the multicanonical and Wang-Landau Monte Carlo (MC) methods, the correct pdfs are recovered from uniform sampling of the parameter space by iteratively establishing proper weighting factors connecting these distributions. Trivial generalizations allow for sampling from any chosen pdf. The closely related transition matrix method relies on estimating transition probabilities between different states. All these methods proved to generate estimates of pdfs with high statistical accuracy. In another MC technique, parallel tempering, several random walks, each corresponding to a different value of a parameter (e.g. "temperature"), are generated and occasionally exchanged using the Metropolis criterion. This method can be considered as a statistically correct version of simulated annealing. An alternative approach is to represent the set of independent variables as a Hamiltonian system. Considerab!e progress has been made in understanding how to ensure that the system obeys the equipartition theorem or, equivalently, that coupling between the variables is correctly described. Then a host of techniques developed for dynamical systems can be used. Among them, probably the most powerful is the Adaptive Biasing Force method, in which thermodynamic integration and biased sampling are combined to yield very efficient estimates of pdfs. The third class of methods deals with transitions between states described by rate constants. These problems are isomorphic with chemical kinetics problems. Recently, several efficient techniques for this purpose have been developed based on the approach originally proposed by Gillespie. Although the utility of the techniques mentioned above for Bayesian problems has not been determined, further research along these lines is warranted

Pohorille, Andrew↗
NASA NTRS2004

Automating the Transition Between Sensorless Motor Control Methods for the NASA Glenn Research Center Flywheel Energy Storage System

The NASA Glenn Research Center (GRC) has been working to advance the technology necessary for a flywheel energy storage system for the past several years. Flywheels offer high efficiency, durability, and near-complete discharge capabilities not produced by typical chemical batteries. These characteristics show flywheels to be an attractive alternative to the more typical energy storage solutions. Flywheels also offer the possibility of combining what are now two separate systems in space applications into one: energy storage, which is currently provided by batteries, and attitude control, which is currently provided by control moment gyroscopes (CMGs) or reaction wheels. To date, NASA Glenn research effort has produced the control algorithms necessary to demonstrate flywheel operation up to a rated speed of 60,000 RPM and the combined operation of two flywheel machines to simultaneously provide energy storage and single axis attitude control. Two position-sensorless algorithms are used to control the motor/generator, one for low (0 to 1200 RPM) speeds and one for high speeds. The algorithm allows the transition from the low speed method to the high speed method, but the transition from the high to low speed method was not originally included. This leads to a limitation in the existing motor/generator control code that does not allow the flywheels to be commanded to zero speed (and back in the negative speed direction) after the initial startup. In a multi-flywheel system providing both energy storage and attitude control to a spacecraft, speed reversal may be necessary.

Fehrmann, Elizabeth A.↗
DOE OSTI2019

Solvent extraction of transition metals

The invention provides a continuous method for extracting transition metal, the method comprising: supplying a spent generator liquor comprising transition metal in highly alkaline solution; mixing the liquor with acid thereby generating a solution, wherein the transition metal resides within the solution; combining the solution with an organic liquid comprising tributyl phosphate or other neutral extractant to extract the transition metal within the organic liquid; washing the extracted transition metal in the organic liquid with acid so as to remove non-transition-metal salts from the organic liquid phase; and stripping the washed transition metal loadedorganic liquid phase with hydroxide, water or complexing agent to remove the transition metal from the organic phase.

Tkac, Peter↗
NASA NTRS1987

Boundary-layer receptivity and laminar-flow airfoil design

Boundary-layer receptivity examines the way in which external disturbances generate instability waves in boundary layers. Receptivity theory is complementary to stability theory, which studies the evolution of disturbances that are already present in the boundary layer. A transition prediction method which combines receptivity with linear stability theory would directly account for the influence of free-stream disturbances and also consider the characteristics of the boundary layer upstream of the neutral stability point. The current e sup N transition prediction methods require empirical correlations for the influence of environmental disturbances, and totally ignore the boundary layer characteristics upstream of the neutral stability point. The regions where boundary-layer receptivity occurs can be separated into two classes, one near the leading edges and the other at the downstream points where the boundary layer undergoes rapid streamwise adjustments. Analyses were developed for both types of regions, and parametric studies which examine the relative importance of different mechanisms were carried out. The work presented here has focused on the low Mach number case. Extensions to high subsonic and supersonic conditions are presently underway.

Kerschen, Edward J.↗
NASA NTRS2009

Applying Formal Methods to NASA Projects: Transition from Research to Practice

NASA project managers attempt to manage risk by relying on mature, well-understood process and technology when designing spacecraft. In the case of crewed systems, the margin for error is even tighter and leads to risk aversion. But as we look to future missions to the Moon and Mars, the complexity of the systems will increase as the spacecraft and crew work together with less reliance on Earth-based support. NASA will be forced to look for new ways to do business. Formal methods technologies can help NASA develop complex but cost effective spacecraft in many domains, including requirements and design, software development and inspection, and verification and validation of vehicle subsystems. To realize these gains, the technologies must be matured and field-tested so that they are proven when needed. During this discussion, current activities used to evaluate FM technologies for Orion spacecraft design will be reviewed. Also, suggestions will be made to demonstrate value to current designers, and mature the technology for eventual use in safety-critical NASA missions.

Othon, Bill↗
DOE OSTI2024

Improved Methods for Modeling Functional Transition Metal Compounds in Complex Environments: Ground States, Excited States, and Spectroscopies

Rapid advances in energy applications require new theory and computational models to provide guidance for interpretation of experimental results and mechanistic understanding. New theory development is necessary to treat systems of increasing complexity, size, and relevance to real applications. Functional transition metal compounds, including molecules, clusters, nanoparticles, surfaces, and solids, provide particular promise for magnetic, optical, and catalytic applications. However, such systems can be exceptionally challenging to model. To make progress in understanding and designing transition metal compounds for energy applications, theory must be able to simulate such systems in complex environments, as well as simulate the spectra of such complex systems to provide direct connections with experiment. Leveraging the independent expertise of the team’s members, this project aimed to make inroads to the theoretical and computational challenges associated with studying transition metal compounds, their reaction chemistry, photophysics and photochemistry, and response to spectroscopic interrogation.

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

Coupling of the FUN3D Unstructured Flow Solver and the LASTRAC Stability Code to Model Transition

We develop an iterative automated method to predict transition locations in boundary-layer flows by using the FUN3D solver to perform flow simulations and the LASTRAC code for linear stability computations. The coupling of FUN3D and LASTRAC allows for a robust physics-based approach to model boundary-layer transition by analyzing the growth of different instability waves and then using that information to iteratively update the resulting transition location. There is no user involvement during the iterative computations. We apply this automated method to subsonic flow over a flat plate with a sharp leading edge. The final solution has regions of laminar and turbulent flow with a transition onset location that agrees with experiments and stability-based correlations. This iterative automated method is also applied to an NLF(1)-0416 airfoil for conditions with and without a separation bubble. Along with predicting transition locations, we compare the streamwise distributions of surface-pressure and skin-friction coefficients to a transport-equation-based model. We consider a 6:1 prolate spheroid at three angles of attack, namely, five, ten, and fifteen degrees, where mixed-mode transition occurs due to both Tollmien-Schlichting and crossflow instabilities. The skin-friction contours and transition fronts at every angle of attack from our iterative automated method show good agreement with past experimental and computational results in the literature for the 6:1 prolate spheroid.

Transition↗
NASA NTRS1993

The use of transition region characteristics to improve the numerical simulation of heat transfer in bypass transitional flows

A method is presented for improving the numerical prediction of bypass transition heat transfer on a flat plate in a high-disturbance environment with zero or favorable pressure gradient. The method utilizes low Reynolds number k-epsilon turbulence models in combination with the characteristic parameters of the transition region. The parameters representing the characteristics of the transition region used are the intermittency, transition length and turbulent spot properties. An analysis is made of the transition length in terms of turbulent spot variables. The nondimensional spot formation rate, required for the prediction of the transition length, is shown by the analysis to be a function of the spot spreading angle, the dimensionless spot velocity ratio and the dimensionless spot area ratio. The intermittency form of the k-epsilon equations were derived from conditionally averaged equations which have been shown to be an improvement over global-time-averaged equations for the numerical calculation of the transition region. The numerical predictions are in general good agreement with the experimental data and indicate the potential use of the method in accelerating flows. Turbulence models of the k-epsilon type are known to underpredict the transition length. The present work demonstrates how incorporating transition region characteristics improves the ability of two-equation turbulence models to simulate bypass transition for flat plates with potential application to turbine vanes and blades.

Simon, Frederick F.↗
NASA NTRS1993

High speed transition prediction

The main objective of this work period was to develop, maintain and exercise state-of-the-art methods for transition prediction in supersonic flow fields. Basic state and stability codes, acquired during the last work period, were exercised and applied to calculate the properties of various flowfields. The development of a code for the prediction of transition location using a currently novel method (the PSE or Parabolized Stability Equation method), initiated during the last work period and continued during the present work period, was cancelled at mid-year for budgetary reasons. Other activities during this period included the presentation of a paper at the APS meeting in Tallahassee, Florida entitled 'Stability of Two-Dimensional Compressible Boundary Layers', as well as the initiation of a paper co-authored with H. Reed of the Arizona State University entitled 'Stability of Boundary Layers'.

Gasperas, Gediminis↗