SEARCH · Search NASA

Results for “Implicit modeling”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

All sources NASA NTRS DOE OSTI

NASA NTRS1983

A generalized computer code for developing dynamic gas turbine engine models (DIGTEM)

This paper describes DIGTEM (digital turbofan engine model), a computer program that simulates two spool, two stream (turbofan) engines. DIGTEM was developed to support the development of a real time multiprocessor based engine simulator being designed at the Lewis Research Center. The turbofan engine model in DIGTEM contains steady state performance maps for all the components and has control volumes where continuity and energy balances are maintained. Rotor dynamics and duct momentum dynamics are also included. DIGTEM features an implicit integration scheme for integrating stiff systems and trims the model equations to match a prescribed design point by calculating correction coefficients that balance out the dynamic equations. It uses the same coefficients at off design points and iterates to a balanced engine condition. Transients are generated by defining the engine inputs as functions of time in a user written subroutine (TMRSP). Closed loop controls can also be simulated. DIGTEM is generalized in the aerothermodynamic treatment of components. This feature, along with DIGTEM's trimming at a design point, make it a very useful tool for developing a model of a specific turbofan engine.

Daniele, C. J.↗

NASA NTRS1984

A generalized computer code for developing dynamic gas turbine engine models (DIGTEM)

Daniele, C. J.↗

NASA NTRS1987

Navier-Stokes analysis of two- and three-dimensional flow field in solid rocket motors with segment joints

A multidimensional implicit Navier-Stokes analysis which uses numerical solution of ensemble-averaged Navier-Stokes equations in a nonorthogonal bodyfitted cylindrical-polar coordinate system has been applied to simulation of the internal flow field in solid-propellant rocket motor chambers with segment joints. The calculation procedure incorporates a two-equation (k-epsilon) turbulence model and utilizes a consistently split, linearized block-implicit algorithm for numerical solution of the governing equations. Computations performed to simulate the axisymmetric flow field in the vicinity of the aft field joint in the Space Shuttle SRB using 14,725 grid points show the presence of a region of reversed axial flow near the downstream edge of the slot. Calculations were also performed for two cases involving asymmetric three-dimensional flow in the vicinity of the aft field joint in the SRB using 721,525 grid points to estimate circumferential velocities and pressure gradients at the joint.

Sabnis, J. S.↗

NASA NTRS1991

Elliptic flow computation by low Reynolds number two-equation turbulence models

A detailed comparison of ten low-Reynolds-number k-epsilon models is carried out. The flow solver, based on an implicit approximate factorization method, is designed for incompressible, steady two-dimensional flows. The conservation of mass is enforced by the artificial compressibility approach and the computational domain is discretized using centered finite differences. The turbulence model predictions of the flow past a hill are compared with experiments at Re = 10 exp 6. The effects of the grid spacing together with the numerical efficiency of the various formulations are investigated. The results show that the models provide a satisfactory prediction of the flow field in the presence of a favorable pressure gradient, while the accuracy rapidly deteriorates when a strong adverse pressure gradient is encountered. A newly proposed model form that does not explicitly depend on the wall distance seems promising for application to complex geometries.

Michelassi, V.↗

NASA NTRS2008

Verification and Planning Based on Coinductive Logic Programming

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

Bansal, Ajay↗

NASA NTRS1985

Free-form Design in Solid Modelling

Solid modelling is developed as a means of representing the shapes of components used in the less specialized mechanical engineering industries. Solids can now be modelled with free form surfaces. In some cases parametric geometry is used exclusively, while in others here is mixed use of parametric and implicit geometry. A method is suggested and discussed for free form solids modelling. The method has several advantages, one of which is that it avoids the use of detached surfaces, Boolean operations and surface intersection computations. It involves only minor topological changes to the model and is therefore computationally efficient.

Pratt, M. J.↗

NASA NTRS1993

Faulty behavior of asynchronous storage elements

It is often assumed that the faults in storage elements (SE's) can be modeled as output/input stuck-at-faults of the element. They are implicitly considered equivalent to the stuck-at faults in the combinational logic surrounding the SE cells. A more accurate higher level fault model for elementary SE's used in asynchronous circuits is presented. This model offers better representation of the physical failures. It is shown that the stuck-at model may be adequate if only modest fault coverage is desired. The enhanced model includes some common fault behaviors of SE's that are not covered by the stuck-at model. These include data-feed-through behaviors that cause the SE to be combinational. Fault models for complex SE cells can be obtained without a significant loss of information about the structure of the circuit.

Al-Assadi, Waleed K.↗

NASA NTRS1975

Hydrodynamic models of a Cepheid atmosphere

Instead of computing a large number of coarsely zoned hydrodynamic models covering the entire atmospheric instability strip, the author computed a single model as well as computer limitations allow. The implicit hydrodynamic code of Kutter and Sparks was modified to include radiative transfer effects in optically thin zones.

Karp, A. H.↗

NASA NTRS1978

Influence of precursor heating on viscous flow around a Jovian entry body

The influence of changes in precursor region flow properties (resulting from the absorption of radiation from the shock layer) on the entire shock layer flow phenomena is investigated. Axially symmetric case is considered for both the preheating zone (precursor region) and shock layer. The flow in the shock layer is considered to be viscous with chemical equilibrium but radiative nonequilibrium. Realistic thermo-physical and spectral models are employed and results are obtained by implicit finite difference and iterative procedures. The results indicate that precursor heating increases the radiative heating of the body by a maximum of 7.5% for a 116 KM entry conditions.

Tiwari, S. N.↗

NASA NTRS1979

Significance of shock and body slip conditions on Jovian entry heating

The influence of the body and shock slip conditions on the heating of a Jovian entry body is investigated. The flow in the shock layer is considered to be axisymmetric, steady, laminar, viscous, and in chemical equilibrium. Realistic thermophysical and step-function spectral models are employed and results are obtained by implicit finite-difference and iteractive procedures. The freestream conditions correspond to a typical Jovian entry trajectory point. The results indicate that the effect of the slip conditions is significant when the altitudes are higher than 225 km and that the contribution of a radiative heat-flux term in the energy equation should not be neglected at any altitude.

Tiwari, S. N.↗

NASA NTRS1979

Influence of precursor heating on viscous flow around a Jovian entry body

The influence of changes in precursor region flow properties (resulting from the absorption of radiation from the shock layer) on the entire shock layer flow phenomena was investigated. The axially symmetric case is considered for both the preheating zone (precursor region) and shock layer. The flow in the shock layer is assumed to be viscous with chemical equilibrium but radiative nonequilibrium. Realistic thermophysical and spectral models are employed, and results are obtained by implicit finite difference and iterative procedures. The results indicate that precursor heating increases the radiative heating of the body by a maximum of 7.5 percent for 116 km entry conditions.

Tiwari, S. N.↗

NASA NTRS1986

Is the Cameron River greenstone belt allochthonous?

Many tectonic models for the Slave Province, N.W.T., Canada, and for Archean granite - greenstone terranes in general, are implicitly dependent on the assumption that greenstone belt lithologies rest unconformably upon older gneissic basement. Other models require originally large separations between gneissic terranes and greenstone belts. A key question relating to the tectonics of greenstone belts is therefore the original spatial relationship between the volcanic assemblages and presumed-basement gneisses, and how this relationship has been modified by subsequent deformation. What remains unclear in these examples is the significance of the so-called later faulting of the greenstone - gneiss contacts. Where unconformities between gneisses and overlying sediments are indisputable, such as at Point Lake, the significance of faults which occur below the base of the volcanic succession also needs to be evaluated. As part of an on-going investigation aimed at answering these and other questions, the extremely well-exposed Cameron River Greenstone Belt and the Sleepy Dragon Metamorphic Complex in the vicinity of Webb Lake and Sleepy Dragon Lake was mapped.

Kusky, T. M.↗

NASA NTRS1987

Computational and experimental investigation of cavity flowfields

This paper presents a computational and experimental investigation of supersonic flow past a cavity in a flat plate. The source of the particular interest in this problem is the ongoing study of the aerodynamic interference effects between a separating store and its bay in the parent body. An upwind relaxation scheme, utilizing flux vector splitting and line-Gauss-Seidel iterations, is used to solve Reynolds-averaged Navier-Stokes equations. Spatial discretizations of this two-dimensional analysis are based on implicit and finite-volume methods. Turbulence is modeled and shocks are captured. The flowfield of the symmetry plane at the half-width is computationally visualized and all flow properties are computed. Experimental tests are conducted in the Langley Unitary Plan Wind Tunnel to measure wall pressures and to capture schlieren photographs. Qualitative as well as quantitative data of computations and experiments agree very well. These two vehicles of investigation are merged to show open, closed and transitional cavity flow behaviors.

Baysal, O.↗

NASA NTRS1987

Evaluation of a research circulation control airfoil using Navier-Stokes methods

The compressible Reynolds time averaged Navier-Stokes equations were used to obtain solutions for flows about a two dimensional circulation control airfoil. The governing equations were written in conservation form for a body-fitted coordinate system and solved using an Alternating Direction Implicit (ADI) procedure. A modified algebraic eddy viscosity model was used to define the turbulent characteristics of the flow, including the wall jet flow over the Coanda surface at the trailing edge. Numerical results are compared to experimental data obtained for a research circulation control airfoil geometry. Excellent agreement with the experimental results was obtained.

Shrewsbury, George D.↗

NASA NTRS1992

A numerical classical flutter analysis of advanced propellers

A three-dimensional Euler solver is coupled with a three-dimensional structural dynamics model to investigate flutter of propfans. An implicit-explicit hybrid scheme is used to reduce computational time for the solution of Euler equations. The aeroelastic equations are formulated in normal modes and are solved for flutter in frequency domain. The required generalized forces are obtained using a pulse response method. Computations show that the instability is dominated by the second mode frequency as was observed in experiment.

Srivastava, R.↗

NASA NTRS1992

Three-dimensional Navier-Stokes heat transfer predictions for turbine blade rows

Results are shown for a three-dimensional Navier-Stokes analysis of both the flow and the surface heat transfer for turbine applications. Heat transfer comparisons are made with the experimental shock-tunnel data of Dunn and Kim, and with the data of Blair for the rotor of the large scale rotating turbine. The analysis was done using the steady-state, three-dimensional, thin-layer Navier-Stokes code developed by Chima, which uses a multistage Runge-Kutta scheme with implicit residual smoothing. An algebraic mixing length turbulence model is used to calculate turbulent eddy viscosity. The variation in heat transfer due to variations in grid parameters is examined. The effects of rotation, tip clearance, and inlet boundary layer thickness variation on the predicted blade and endwall heat transfer are examined.

Boyle, R. J.↗

NASA NTRS1992

Three-dimensional Navier-Stokes heat transfer predictions for turbine blade rows

Boyle, Robert J.↗

NASA NTRS1993

Flux-difference split parabolized Navier-Stokes algorithm for non-equilibrium chemically reacting flows

A flux-difference split explicit finite-difference algorithm is presented for solving the parabolized form of the equations governing three-dimensional nonequilibrium chemically reacting flows. The algorithm is based on an explicit noniterative, upwind space-marching scheme developed by Korte, but differs in that the unsteady Riemann problem, rather than the steady Riemann problem, is solved. The algorithm allows either a second or an approximately third-order accurate upwind treatment of the convection terms by employing the unsteady approximate Riemann solver of Roe. The source terms of the species transport equations are treated in either an explicit or implicit manner, and the species diffusion terms are modeled with either a Fickian or a multicomponent model. A validation of the algorithm is performed by comparing computational results with the 2-D Mach 14, 15 degree compression-corner data of Holden. The three-dimensional capability of the algorithm is demonstrated by computing Mach 2.7 flow over a swept wedge scramjet fuel injector, and three-dimensional reacting flow capability is demonstrated by a computing a shock-jet interaction concept for mixing and combustion enhancement.

White, J. A.↗