Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “precondition”

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 235 records · Page 13

An investigation of resonant waves in a numerical model of an observed sudden stratospheric warming

A global quasi-linear time-dependent model that is able to represent the interaction of a single planetary Rossby wave with the zonal flow is used to investigate several questions concerning the role of resonance in the major stratospheric warming of February 1979. Special attention is given to the examination of the degree of dependence of the warming development on the phase speed of the wave and the initial mean flow. The results indicate that the preconditioning occurred early in the month, just after the minor sudden warming around February 5-7, and that a fairly broad range of eastward traveling phase speeds was capable of generating a warming. The model sensitivity tests indicate that the warming simulation has a weak dependence on the frequency of wave forcing and on the day used for initializing the basic state.

Smith, Anne K.↗

Compressible flow calculations employing the Galerkin/least-squares method

A multielement group, domain decomposition algorithm is presented for solving linear nonsymmetric systems arising in the finite-element analysis of compressible flows employing the Galerkin/least-squares method. The iterative strategy employed is based on the generalized minimum residual (GMRES) procedure originally proposed by Saad and Shultz. Two levels of preconditioning are investigated. Applications to problems of high-speed compressible flow illustrate the effectiveness of the scheme.

Shakib, F.↗

Parallel iterative methods for sparse linear and nonlinear equations

As three-dimensional models are gaining importance, iterative methods will become almost mandatory. Among these, preconditioned Krylov subspace methods have been viewed as the most efficient and reliable, when solving linear as well as nonlinear systems of equations. There has been several different approaches taken to adapt iterative methods for supercomputers. Some of these approaches are discussed and the methods that deal more specifically with general unstructured sparse matrices, such as those arising from finite element methods, are emphasized.

Saad, Youcef↗

Numerical study of vortical flow over a sideslipping delta wing

The three-dimensional vortical viscous flow past a sideslipping delta wing at a high angle of attack is numerically investigated. A computational method for calculating low-speed viscous flowfields is developed. The time-iterative method uses an implicit upwind-relaxation finite-difference algorithm with a nonsingular eigensystem to solve the preconditioned, three-dimensional, incompressible Navier-Stokes equations in curvilinear coordinates. An algebraic turbulence model is implemented to account for the eddy viscosity. The technique of local time stepping is incorporated to accelerate the rate of convergence to a steady-state solution. Computed results are compared with experimental data.

Hsu, C.-H.↗

Characterization of metal oxide absorbents for regenerative carbon dioxide and water vapor removal for advanced portable life support systems

Characterization of the performance of a silver-oxide-based absorbent in terms of its ability to remove both gaseous CO2 and water vapor in an astronaut portable life support systems (PLSS) is discussed. Attention is focused on regeneration of the absorbent from the carbonite state of the oxide state, preconditioning of the absorbent using a humidified gas stream, and absorption breakthrough testing. Based on the results of bench-scale experiments, a test plan is carried out to further characterize the silver-oxide-based absorbent on a larger scale; it calls for examination of the absorbent in both an adiabatic packed bed and a near-isothermal cooled bed configuration. It is demonstrated that the tested absorbent can be utilized in a way that removes substantial amounts of CO2 and water vapor during an 8-hour extravehicular activity mission, and that applying the absorbent to PLSS applications can simplify the ventilation loop.

Kast, Timothy P.↗

Analysis of the SSME HPOTP bearing inlet cavity

Analysis of the flow in the Space Shuttle Main Engine (SSME) high pressure oxygen turbopump (HPOTP) bearing no. 1 inlet cavity was completed in support of return-to-flight. With the incorporation of several design changes in the Phase 2 turbopump, rotordynamic stability of the pumps was enhanced, but the durability and life of the LOX-cooled bearings has decreased. During the post-Challenger SSME recertification, the causes of limited bearing durability were investigated. One topic addressed was the flow environment upstream of the pump-end bearing and the effect of seal exit swirl and a cavity anti-vortex rib on the bearing environment and life. The objective is to define the hydrodynamic environment upstream of the pump-end bearing and determine the effect of seal exit swirl and the anti-vortex rib on bearing inlet swirl. The problem was posed as an axisymmetric cavity flow with the computational domain extending from the seal exit to the bearing inlet. This domain was discretized with 22800 grid points. Boundary conditions were obtained from a 1-D model of the SSME coolant path. The inlet Mach number was 0.19 and the problem was solved with the CMINT code utilizing the Briley-McDonald/Beam-Warming algorithm with preconditioning to speed convergence at low Mach numbers. Three parametric cases with inlet swirl of 50 percent shaft speed (labyrinth seal), 20 percent shaft speed (damping seal), and no inlet swirl were considered. Computational results indicate large vortical flow structures in the cavity, with the labyrinth, damping, and no-swirl cases yielding bearing inlet swirl rates of 14, 10, and 9 percent of shaft speed, respectively. When these results were used as input to the SHABRETH bearing model, limited durability could not be explained by these small differences in swirl. Also, based on these results, a proposed design change for the cavity anti-vortex rib was not implemented by the SSME chief engineer.

Mcconnaughey, P. K.↗

High-performance equation solvers and their impact on finite element analysis

The role of equation solvers in modern structural analysis software is described. Direct and iterative equation solvers which exploit vectorization on modern high-performance computer systems are described and compared. The direct solvers are two Cholesky factorization methods. The first method utilizes a novel variable-band data storage format to achieve very high computation rates and the second method uses a sparse data storage format designed to reduce the number of operations. The iterative solvers are preconditioned conjugate gradient methods. Two different preconditioners are included; the first uses a diagonal matrix storage scheme to achieve high computation rates and the second requires a sparse data storage scheme and converges to the solution in fewer iterations that the first. The impact of using all of the equation solvers in a common structural analysis software system is demonstrated by solving several representative structural analysis problems.

Poole, Eugene L.↗

Dust in regions of massive star formation

It is suggested that protostars increase mass by accreting the surrounding gas and dust. Grains are destroyed as they near the central protostar creating a dust shell or cocoon. Radiation pressure acting on the grains can halt the inflow of material thereby limiting the amount of mass accumulated by the protostar. General constraints were considered on the initial dust-to-gas ratio and mass accretion rates that permit inflow. These results were constrained further by constructing a numerical model, including radiative deceleration on grains and grain destruction processes. Also the constraints on dust properties were investigated which allow the formation of massive stars. The obtained results seem to suggest that massive star formation requires rather extreme preconditioning of the grain and gas environment.

Wolfire, Mark G.↗

Implicit solvers for unstructured meshes

Implicit methods were developed and tested for unstructured mesh computations. The approximate system which arises from the Newton linearization of the nonlinear evolution operator is solved by using the preconditioned GMRES (Generalized Minimum Residual) technique. Three different preconditioners were studied, namely, the incomplete LU factorization (ILU), block diagonal factorization, and the symmetric successive over relaxation (SSOR). The preconditioners were optimized to have good vectorization properties. SSOR and ILU were also studied as iterative schemes. The various methods are compared over a wide range of problems. Ordering of the unknowns, which affects the convergence of these sparse matrix iterative methods, is also studied. Results are presented for inviscid and turbulent viscous calculations on single and multielement airfoil configurations using globally and adaptively generated meshes.

Venkatakrishnan, V.↗

Physical and chemical properties of the Martian soil: Review of resources

The chemical and physical properties of Martian surface materials are reviewed from the perspective of using these resources to support human settlement. The resource potential of Martian sediments and soils can only be inferred from limited analyses performed by the Viking Landers (VL), from information derived from remote sensing, and from analysis of the SNC meteorites thought to be from Mars. Bulk elemental compositions by the VL inorganic chemical (x ray fluorescence) analysis experiments have been interpreted as evidence for clay minerals (possibly smectites) or mineraloids (palagonite) admixed with sulfate and chloride salts. The materials contained minerals bearing Fe, Ti, Al, Mg and Si. Martian surface materials may be used in many ways. Martian soil, with appropriate preconditioning, can probably be used as a plant growth medium, supplying mechanical support, nutrient elements, and water at optimal conditions to the plants. Loose Martian soils could be used to cover structures and provide radiation shielding for surface habitats. Martian soil could be wetted and formed into abode bricks used for construction. Duricrete bricks, with strength comparable to concrete, can probably be formed using compressed muds made from martian soil.

Stoker, C. R.↗

Derivation of sequential, real-time, process-control programs

The use of weakest-precondition predicate transformers in the derivation of sequential, process-control software is discussed. Only one extension to Dijkstra's calculus for deriving ordinary sequential programs was found to be necessary: function-valued auxiliary variables. These auxiliary variables are needed for reasoning about states of a physical process that exists during program transitions.

Marzullo, Keith↗

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems

Presented here is a formal specification and verification of a property of a quadruplicately redundant fault tolerant microprocessor system design. A complete listing of the formal specification of the system and the correctness theorems that are proved are given. The system performs the task of obtaining interactive consistency among the processors using a special instruction on the processors. The design is based on an algorithm proposed by Pease, Shostak, and Lamport. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, providing certain preconditions hold, using a computer aided design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Bickford, Mark↗

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification

The design and formal verification of a hardware system for a task that is an important component of a fault tolerant computer architecture for flight control systems is presented. The hardware system implements an algorithm for obtaining interactive consistancy (byzantine agreement) among four microprocessors as a special instruction on the processors. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, provided certain preconditions hold. An assumption is made that the processors execute synchronously. For verification, the authors used a computer aided design hardware design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Srivas, Mandayam↗

Human factors in spacecraft design

This paper describes some of the salient implications of evolving mission parameters for spacecraft design. Among the requirements for future spacecraft are new, higher standards of living, increased support of human productivity, and greater accommodation of physical and cultural variability. Design issues include volumetric allowances, architecture and layouts, closed life support systems, health maintenance systems, recreational facilities, automation, privacy, and decor. An understanding of behavioral responses to design elements is a precondition for critical design decisions. Human factors research results must be taken into account early in the course of the design process.

Harrison, Albert A.↗

Diagnostic analysis of observed and numerically simulated cloud and precipitation structures during pre-ERICA

A preliminary 140-km simulation of a rapid cyclogenesis, using the Limited Area Mesoscale Prediction System (LAMPS) is discussed. A three-dimensional version of LAMPS used in the simulation is described, along with a trajectory model utilizing the three-hourly output history files from the LAMPS model. Preliminary integrations of the LAMPS code as well as passive microwave digital data from SSM/I aboard the DMSP satellite are used for exploring the evolving baroclinic structure and moisture field of the cyclone event. A trajectory analysis of the model histories reveals a significant role for preconditioning of the low-level upstream air, which is then drawn into the ascending warm conveyor belt ahead of the storm.

Perkey, Donald J.↗

Programming Probabilistic Structural Analysis for Parallel Processing Computer

The ultimate goal of this research program is to make Probabilistic Structural Analysis (PSA) computationally efficient and hence practical for the design environment by achieving large scale parallelism. The paper identifies the multiple levels of parallelism in PSA, identifies methodologies for exploiting this parallelism, describes the development of a parallel stochastic finite element code, and presents results of two example applications. It is demonstrated that speeds within five percent of those theoretically possible can be achieved. A special-purpose numerical technique, the stochastic preconditioned conjugate gradient method, is also presented and demonstrated to be extremely efficient for certain classes of PSA problems.

Sues, Robert H.↗

A natural partitioning scheme for parallel simulation of multibody systems

A parallel partitioning scheme based on physical-coordinate variables is presented to systematically eliminate system constraint forces and yield the equations of motion of multibody dynamics systems in terms of their independent coordinates. Key features of the present scheme include an explicit determination of the independent coordinates, a parallel construction of the null space matrix of the constraint Jacobian matrix, an easy incorporation of the previously developed two-stage staggered solution procedure, and Schur complement based parallel preconditioned conjugate gradient numerical algorithm.

Chiou, J. C.↗

Experiments with elliptic problem solvers on the Cedar multicluster

The implementation and performance of algorithms for the solution of elliptic problems on the Cedar multiprocessor is examined. The algorithms considered are conjugate gradient schemes with or without preconditioning on a rectangular domain and domain decomposition techniques with overlapping (Schwarz Alternating Method) and nonoverlapping subdomains on a T-shaped domain. Some preliminary results from a current research effort are presented.

Frank, G.↗