Search NASA⌕ Search

SEARCH · Search NASA

Results for “satisfiability problems”

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 181 records · Page 10

Designing structures for large space systems

A questionnaire was compiled to identify technology deficiencies and point to research and development activities required in support of the large space structures program. Problem areas identified in setting criteria for such structures include improved flightworthiness, satisfying cost constraints, assessing new loads and environments, improved mission performance and life, and preservation of the ecology.

Christensen, R. H.↗

Sound generated in a cascade by three-dimensional disturbances convected in a subsonic flow

Discrete tone sound generation in a subsonic fan subject to three-dimensional disturbances is investigated. The analytical model used treats the fan rotor and stator as linear cascades of thin airfoils in a rectangular duct subject to a three-dimensional gust for which a complete aerodynamic theory already exists. The sound pressure can then be cast as the sum of a finite number of discrete sound waves (modes) the magnitude of which depends on an unknown function satisfying a singular integral equation. Similarity rules are derived to reduce the problem to that of a two-dimensional gust. Three-dimensional effects on the cut-off condition, the sound pressure, and the acoustic power are first investigated for each mode. The theory is then applied to noise generated by typical rotor-wake-defect and rotor-tip-vortex disturbances interacting with a stator.

Atassi, H.↗

Radiation budget measurement/model interface

This final report includes research results from the period February, 1981 through November, 1982. Two new results combine to form the final portion of this work. They are the work by Hanna (1982) and Stevens to successfully test and demonstrate a low-order spectral climate model and the work by Ciesielski et al. (1983) to combine and test the new radiation budget results from NIMBUS-7 with earlier satellite measurements. Together, the two related activities set the stage for future research on radiation budget measurement/model interfacing. Such combination of results will lead to new applications of satellite data to climate problems. The objectives of this research under the present contract are therefore satisfied. Additional research reported herein includes the compilation and documentation of the radiation budget data set a Colorado State University and the definition of climate-related experiments suggested after lengthy analysis of the satellite radiation budget experiments.

Vonderhaar, T. H.↗

A study of internal and distributed damping for vibrating turbomachiner blades

Internal and distributed damping as possible methods for reducing the vibration response of turbomachine blades and theoretical methods for analyzing damped vibration were studied. It is demonstrated how the Ritz-Galerkin methods may be used to straightforwardly to analyze forced vibrations with damping. This is done directly without requiring the free vibration eigenfunctions. The Galerkin method is an effective technique for these types of problems. The Ritz method has the further advantage of not needing to satisfy the force type boundary conditions, which is particularly important for plates and shells. But proper functionals representing the forcing and damping terms must be developed, and this is done. Two types of damping--viscous and material (hysteretic) are considered. Both distributed and concentrated exciting forces are treated. Numerical results are obtained for cantilevered beams and rectangular plates. Studies showing the rates of convergence of the solutions are made. In the case of the cantilever beam, approximate solutions from the present methods are compared with the exact solutions.

Leissa, A. W.↗

A finite difference scheme for three-dimensional steady laminar incompressible flow

A finite difference scheme for three-dimensional steady laminar incompressible flows is presented. The Navier-Stokes equations are expressed conservatively in terms of velocity and pressure increments (delta form). First order upwind differences are used for first order partial derivatives of velocity increments resulting in a diagonally dominant matrix system. Central differences are applied to all other terms for second order accuracy. The SIMPLE pressure correction algorithm is used to satisfy the continuity equation. Numerical results are presented for cubic cavity flow problems for Reynolds numbers up to 2000 and are in good agreement with other numerical results.

Hwang, Danny P.↗

Three-dimensional vibrations of twisted cantilevered parallelepipeds

A large number of references dealing with the vibrations of twisted, cantilevered beams and plates exist in the literature. These works show considerable disagreement concerning the effect of twist angle upon frequencies. The present work is the first three-dimensional study of the problem. Displacement components are assumed in the form of algebraic polynomials which satisfy the fixed face conditions exactly, and which are mathematically complete. The Ritz method is then applied. Accurate frequencies are calculated for twisted thick plates and are compared with ones obtained recently by others using beam, shell, and finite element theory.

Leissa, A.↗

A finite difference scheme for three-dimensional steady laminar incompressible flow

A finite difference scheme for three-dimensional steady laminar incompressible flows is presented. The Navier-Stokes equations are expressed conservatively in terms of velocity and pressure increments (delta form). First order upwind differences are used for first order partial derivatives of velocity increments resulting in a diagonally dominant matrix system. Central differences are applied to all other terms for second order accuracy. The SIMPLE pressure correction algorithm is used to satisfy the continuity equation. Numerical results are presented for cubic cavity flow problems for Reynolds numbers up to 2000 and are in good agreement with other numerical results.

Hwang, Danny P.↗

Hypersonic Vehicle Trajectory Optimization and Control

Two classes of neural networks have been developed for the study of hypersonic vehicle trajectory optimization and control. The first one is called an 'adaptive critic'. The uniqueness and main features of this approach are that: (1) they need no external training; (2) they allow variability of initial conditions; and (3) they can serve as feedback control. This is used to solve a 'free final time' two-point boundary value problem that maximizes the mass at the rocket burn-out while satisfying the pre-specified burn-out conditions in velocity, flightpath angle, and altitude. The second neural network is a recurrent network. An interesting feature of this network formulation is that when its inputs are the coefficients of the dynamics and control matrices, the network outputs are the Kalman sequences (with a quadratic cost function); the same network is also used for identifying the coefficients of the dynamics and control matrices. Consequently, we can use it to control a system whose parameters are uncertain. Numerical results are presented which illustrate the potential of these methods.

Balakrishnan, S. N.↗

The General Equations of Equilibrium of Rotationally Symmetric Membranes and some Static Solutions for Uniform Centrifugal Loading

The general equations of equilibrium of a rotationally symmetrical body undergoing large arbitrary deflections but small strains are derived by means of the principle of virtual work. All deflections are referred to a reference surface which, in general, may be taken to coincide with any intermediate state of the membrane. Static solutions of the general equations for steadily rotating membranes are considered for the cases in which the final or the initial configuration of the membrane is specified. For problems in which the final configuration is specified, conditions are given under which such a configuration is obtainable from a stress-free initial state. Such conditions being satisfied, it is shown that the stresses and radial displacements are determinate while axial displacements may be obtained by quadrature. For problems in which the initial configuration is given, the determination of the stresses and deflections is reduced to the solution of a second-order nonlinear differential equation for a stress function. An approximate method of solution based on boundary-layer considerations is presented for the case of a spinning sphere of constant thickness. Specific examples are given for both classes of problems.

Simmonds, James G.↗

Optimization of an Aeroservoelastic Wing with Distributed Multiple Control Surfaces

This paper considers the aeroelastic optimization of a subsonic transport wingbox under a variety of static and dynamic aeroelastic constraints. Three types of design variables are utilized: structural variables (skin thickness, stiffener details), the quasi-steady deflection scheduling of a series of control surfaces distributed along the trailing edge for maneuver load alleviation and trim attainment, and the design details of an LQR controller, which commands oscillatory hinge moments into those same control surfaces. Optimization problems are solved where a closed loop flutter constraint is forced to satisfy the required flight margin, and mass reduction benefits are realized by relaxing the open loop flutter requirements.

Stanford, Bret K.↗

Minimum deltaV Burn Planning for the International Space Station Using a Hybrid Optimization Technique, Level 1

The International Space Station's (ISS) trajectory is coordinated and executed by the Trajectory Operations and Planning (TOPO) group at NASA's Johnson Space Center. TOPO group personnel routinely generate look-ahead trajectories for the ISS that incorporate translation burns needed to maintain its orbit over the next three to twelve months. The burns are modeled as in-plane, horizontal burns, and must meet operational trajectory constraints imposed by both NASA and the Russian Space Agency. In generating these trajectories, TOPO personnel must determine the number of burns to model, each burn's Time of Ignition (TIG), and magnitude (i.e. deltaV) that meet these constraints. The current process for targeting these burns is manually intensive, and does not take advantage of more modern techniques that can reduce the workload needed to find feasible burn solutions, i.e. solutions that simply meet the constraints, or provide optimal burn solutions that minimize the total DeltaV while simultaneously meeting the constraints. A two-level, hybrid optimization technique is proposed to find both feasible and globally optimal burn solutions for ISS trajectory planning. For optimal solutions, the technique breaks the optimization problem into two distinct sub-problems, one for choosing the optimal number of burns and each burn's optimal TIG, and the other for computing the minimum total deltaV burn solution that satisfies the trajectory constraints. Each of the two aforementioned levels uses a different optimization algorithm to solve one of the sub-problems, giving rise to a hybrid technique. Level 2, or the outer level, uses a genetic algorithm to select the number of burns and each burn's TIG. Level 1, or the inner level, uses the burn TIGs from Level 2 in a sequential quadratic programming (SQP) algorithm to compute a minimum total deltaV burn solution subject to the trajectory constraints. The total deltaV from Level 1 is then used as a fitness function by the genetic algorithm in Level 2 to select the number of burns and their TIGs for the next generation. In this manner, the two levels solve their respective sub-problems separately but collaboratively until a burn solution is found that globally minimizes the deltaV across the entire trajectory. Feasible solutions can also be found by simply using the SQP algorithm in Level 1 with a zero cost function. This paper discusses the formulation of the Level 1 sub-problem and the development of a prototype software tool to solve it. The Level 2 sub-problem will be discussed in a future work. Following the Level 1 formulation and solution, several look-ahead trajectory examples for the ISS are explored. In each case, the burn targeting results using the current process are compared against a feasible solution found using Level 1 in the proposed technique. Level 1 is then used to find a minimum deltaV solution given the fixed number of burns and burn TIGs. The optimal solution is compared with the previously found feasible solution to determine the deltaV (and therefore propellant) savings. The proposed technique seeks to both improve the current process for targeting ISS burns, and to add the capability to optimize ISS burns in a novel fashion. The optimal solutions found using this technique can potentially save hundreds of kilograms of propellant over the course of the ISS mission compared to feasible solutions alone. While the software tool being developed to implement this technique is specific to ISS, the concept is extensible to other long-duration, central-body orbiting missions that must perform orbit maintenance burns to meet operational trajectory constraints.

Brown, Aaron J.↗

Application of the Hughes-LIU algorithm to the 2-dimensional heat equation

An implicit explicit algorithm for the solution of transient problems in structural dynamics is described. The method involved dividing the finite elements into implicit and explicit groups while automatically satisfying the conditions. This algorithm is applied to the solution of the linear, transient, two dimensional heat equation subject to an initial condition derived from the soluton of a steady state problem over an L-shaped region made up of a good conductor and an insulating material. Using the IIT/PRIME computer with virtual memory, a FORTRAN computer program code was developed to make accuracy, stability, and cost comparisons among the fully explicit Euler, the Hughes-Liu, and the fully implicit Crank-Nicholson algorithms. The Hughes-Liu claim that the explicit group governs the stability of the entire region while maintaining the unconditional stability of the implicit group is illustrated.

Malkus, D. S.↗

Towards Low-Noise Design of a Proprotor with the Vortex Lattice Method and Gradient-Based Optimization

This work aims to combine an aerodynamic model based on the unsteady vortex lattice method with an acoustic model provided by Farassat's formulation 1A to perform gradient-based optimizations of a proprotor with aerodynamic and acoustic constraints. The resulting combination of tools is applied to the problem of designing a single proprotor operating at a cruise condition, with and without an acoustic constraint and wing placed downstream of the proprotor rotation plane. Results are compared to a baseline design studied previously, and to similar optimizations performed with a simpler blade element momentum theory aerodynamic model. Each optimization case achieved feasibility and made significant improvements in the objective function, but the optimality criterion was not satisfied. Overall the designs the optimizer found roughly comported with our previous experience with similar problems, with some discrepancies that are discussed.

Aerodynamics↗

Towards Low-Noise Design of a Proprotor with the Vortex Lattice Method and Gradient-Based Optimization

This work aims to combine an aerodynamic model based on the unsteady vortex lattice method with an acoustic model provided by Farassat's formulation 1A to perform gradient-based optimizations of a proprotor with aerodynamic and acoustic constraints. The resulting combination of tools is applied to the problem of designing a single proprotor operating at a cruise condition, with and without an acoustic constraint and wing placed downstream of the proprotor rotation plane. Results are compared to a baseline design studied previously, and to similar optimizations performed with a simpler blade element momentum theory aerodynamic model. Each optimization case achieved feasibility and made significant improvements in the objective function, but the optimality criterion was not satisfied. Overall the designs the optimizer found roughly comported with our previous experience with similar problems, with some discrepancies that are discussed.

Aerodynamics↗

Geometric distortions of opticommercial panoramic television systems

One of the problems solvable by the spaceborne television system, topographical surveying, makes high demands on image quality, particularly on the geometric distortions introduced by the television camera. It is the geometric distortions which determine measurement accuracy and, consequently, the possibility of creating reliable planetary surface maps. Comparative analysis of the different television systems capable of solving the problem showed that the requirements on quality of the transmitted images are best satisfied by television cameras with opticomechanical scanning. The design of panoramic television systems and the process of image construction by the opticomechanical camera are discussed. Results indicate that panoramic television cameras have the necessary instrumental accuracy and permit determination of the direction to objects with an error practically equal to the resolution.

Govorov, V. M.↗

Nonlinear vibration of cylindrical shells

The large amplitude vibration of a thin-walled cylindrical shell is analyzed. A perturbation method is used to solve the steady-state forced vibration problem. The simply-supported boundary conditions and the circumferential periodicity condition are satisfied. The resulting solution indicates that in addition to the fundamental mode, the response contains asymmetric modes as well as axisymmetric modes with the frequency twice that of the fundamental mode. Vibrations involving a single driven mode response are investigated. The results indicate that the nonlinearity is either softening or hardening depending on the mode. The vibrations involving both a driven mode and a companion mode are also investigated. An experimental investigation is conducted, and the results are in qualitative agreement with the theory. 'Nonstationary' response is detected at some frequencies for large amplitude response in which the amplitude drifts from one value to another. Various nonlinear phenomena are observed and comparisons with the theoretical results are made.

Chen, J. C.↗

Nuclear-electric power in space

Prospective missions requiring large power supplies that might be satisfied with space nuclear reactors (SNR) are discussed, along with design concepts and problems and other potential high-power space systems. Having a minimum economic output of 10 kWe, SNR seem well-suited as the power sources for DBS systems, space-based ATC systems manned planetary missions, an expanding Space Station, materials processing, and outer planets missions. SNR avoid the large area problems of solar cell arrays, short lifetimes of thermionic converters, and vibration and heat control in Stirling engines. Design problems exist for SNR in the heat transfer and rejection systems, radioactive emissions and degradation of reactor materials, and size. The latter is a function of Shuttle payload constaints and raises the possibility of having to load the fuel while in orbit. The earliest operational date of SNRs is projected for the early 1990s, if progress is good in the current SP-100 program.

Truscello, V. C.↗

Extensions of the Ritz-Galerkin method for the forced, damped vibrations of structural elements

The Ritz-Galerkin methods were used to obtain approximate solutions for free undamped, vibration problems. It is demonstrated that these same methods may be used straightforwardly to analyze forced vibrations with damping without requiring the free vibration eigenfunctions. It was shown that the Galerkin method is an effective technique for these types of problems. The Ritz method has the advantage that it does not need to satisfy the force-type boundary conditions, which is particularly important for plates and shells. Proper functionals representing the forcing and damping terms were developed. Two types of damping--viscous and material (hysteretic) are discussed. Distributed and concentrated exciting forces are treated. Numerical results are obtained for cantilevered beams and rectangular plates. The rates of convergence of the solutions are shown. Approximate solutions from the present methods are compared with the exact solutions for the cantilever beam.

Leissa, A. W.↗