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.

SourceResearch connectionFrom yearThrough year

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

At least 919 records · Page 51

All sources NASA NTRS DOE OSTI

NASA NTRS1985

Parameterization of Surface Fluxes in the VVR Fourth Order GCM

The Variable Vertical Resolution (VVR) option of the GLAS Fourth Order General Circulation Model (GCM) allows one to enhance the vertical resolution of the region of the atmosphere adjacent to the Earth's surface. This, in turn, makes it possible to compute turbulent surface fluxes of heat, momentum and moisture directly from the prognosticated properties of the lowest model layer by use of the Monin-Obukhov surface layer similarity theory. The similarity theory applies formally only to the constant flux surface layer which is but a few tens of meters deep. It is not practically feasible to work with a lowest GCM layer thin enough to satisfy these formal constraints. It is shown that at least under conditions of neutral stratification, the similarity theory can be extended beyond its formal limits. The theory still gives reasonable looking results, when the distance from the ground becomes as large as 150 m. It is not infeasible to run the VVR model with a lowest layer thickness on the order of 300 m (the center of the layer would then be 150 m above the Earth's surface), and so if one can prescribe similarity functions phi sub m (zeta) and phi sub h (zeta) to adequately describe the entire extended surface layer, the problem of surface flux parameterization is solved.

Helfand, H. M.↗

NASA NTRS1993

A consistent model reduction of measured modal parameters for reduced-order active control

The problem of synthesizing reduced-order linear models of vibrating structures for the design of fixed-order dynamic feedback control is investigated. The present technique builds on a recently developed procedure for constructing an objective set of mass and stiffness matrices from measured modal parameters that are akin to the Craig-Bampton synthesized ones obtained from finite element models. The constructed mass and stiffness matrices are determined directly from the identification of experimental data, however, rather than through correlation or reconciliation of a finite element model. A model truncation criterion is then applied to the identified minimum-order mass and stiffness model to satisfy certain observability/controllability requirements for the reduced model. Numerical examples illustrate the effectiveness of the proposed technique for synthesizing reduced-order controllers from system realizations of experimental data. The dynamic performance of the resulting closed-loop models is assessed using the known full-order structural dynamics and compared with existing model reduction techniques.

Alvin, K. F.↗

NASA NTRS2007

Composite Pulse Tube

A modification of the design of the pulse tube in a pulse-tube cryocooler reduces axial thermal conductance while preserving radial thermal conductance. It is desirable to minimize axial thermal conductance in the pulse-tube wall to minimize leakage of heat between the warm and cold ends of the pulse tube. At the same time, it is desirable to maximize radial thermal conductance at the cold end of the pulse tube to ensure adequate thermal contact between (1) a heat exchanger in the form of a stack of copper screens inside the pulse tube at the cold end and (2) the remainder of the cold tip, which is the object to which the heat load is applied and from which heat must be removed. The modified design yields a low-heat-leak pulse tube that can be easily integrated with a cold tip. A typical pulse tube of prior design is either a thin-walled metal tube or a metal tube with a nonmetallic lining. It is desirable that the outer surface of a pulse tube be cylindrical (in contradistinction to tapered) to simplify the design of a regenerator that is also part of the cryocooler. Under some conditions, it is desirable to taper the inner surface of the pulse tube to reduce acoustic streaming. The combination of a cylindrical outer surface and a tapered inner surface can lead to unacceptably large axial conduction if the pulse tube is made entirely of metal. Making the pulse-tube wall of a nonmetallic, lowthermal- conductivity material would not solve the problem because the wall would not afford the needed thermal contact for the stack of screens in the cold end. The modified design calls for fabricating the pulse tube in two parts: a longer, nonmetallic part that is tapered on the inside and cylindrical on the outside and a shorter, metallic part that is cylindrical on both the inside and the outside. The nonmetallic part can be made from G-10 fiberglass-reinforced epoxy or other low-thermal-conductivity, cryogenically compatible material. The metallic part must have high thermal conductivity in the cryogenic temperature range and would typically be made of pure copper to satisfy this requirement. The metallic part is bonded to the nonmetallic part with epoxy. Copper screens are inserted in the metallic part to form the cold-end heat exchanger, then the assembled pulse tube is inserted in the cold tip.

Martin, Jerry L.↗

NASA NTRS2012

Real-Time Projection to Verify Plan Success During Execution

The Mission Data System provides a framework for modeling complex systems in terms of system behaviors and goals that express intent. Complex activity plans can be represented as goal networks that express the coordination of goals on different state variables of the system. Real-time projection extends the ability of this system to verify plan achievability (all goals can be satisfied over the entire plan) into the execution domain so that the system is able to continuously re-verify a plan as it is executed, and as the states of the system change in response to goals and the environment. Previous versions were able to detect and respond to goal violations when they actually occur during execution. This new capability enables the prediction of future goal failures; specifically, goals that were previously found to be achievable but are no longer achievable due to unanticipated faults or environmental conditions. Early detection of such situations enables operators or an autonomous fault response capability to deal with the problem at a point that maximizes the available options. For example, this system has been applied to the problem of managing battery energy on a lunar rover as it is used to explore the Moon. Astronauts drive the rover to waypoints and conduct science observations according to a plan that is scheduled and verified to be achievable with the energy resources available. As the astronauts execute this plan, the system uses this new capability to continuously re-verify the plan as energy is consumed to ensure that the battery will never be depleted below safe levels across the entire plan.

Wagner, David A.↗

NASA NTRS1989

Shear buckling of specially orthotropic plates with centrally located cutouts

The shear loading of a composite rectangular plate with a centrally located circular cutout was analyzed in order to predict the buckling load of the plate. The first step in this analysis is to calculare the in-plane stress distribution of the plate prior to buckling. This problem can be solved using finite element methods, but a quicker and more cost efficient method is desired. The method chosen to determine the pre-buckling stresses is that of boundary collocation using complex variables. The real valued force functions are written in terms of two complex valued functions, each of which is a function of a different complex variable. The solution of the generalized biharmonic function is a superposition of functions of these two complex variables. For this analysis, the force functions are represented with a Laurent series. The constants in these series are found using boundary collocation. Two force equations for complex variables are satisfied over the plate boundaries to obtain these constants. The stresses in the plate are then known for any particular locations on the plate given the applied shear on the edges of the plate.

Klang, Eric C.↗

NASA NTRS2002

[Earth and Space Sciences Project Services for NASA HPCC]

This grant supported the effort to characterize the problem domain of the Earth Science Technology Office's Computational Technologies Project, to engage the Beowulf Cluster Computing Community as well as the High Performance Computing Research Community so that we can predict the applicability of said technologies to the scientific community represented by the CT project and formulate long term strategies to provide the computational resources necessary to attain the anticipated scientific objectives of the CT project. Specifically, the goal of the evaluation effort is to use the information gathered over the course of the Round-3 investigations to quantify the trends in scientific expectations, the algorithmic requirements and capabilities of high-performance computers to satisfy this anticipated need.

Merkey, Phillip↗

NASA NTRS2005

[Earth Science Technology Office's Computational Technologies Project]

Fischer, James↗

NASA NTRS1974

The solution of three-variable duct-flow equations

This paper establishes a numerical method for the solution of three-variable problems and is applied here to rotational flows through ducts of various cross sections. An iterative scheme is developed, the main feature of which is the addition of a duplicate variable to the forward component of velocity. Two forward components of velocity result from integrating two sets of first order ordinary differential equations for the streamline curvatures, in intersecting directions across the duct. Two pseudo-continuity equations are introduced with source/sink terms, whose strengths are dependent on the difference between the forward components of velocity. When convergence is obtained, the two forward components of velocity are identical, the source/sink terms are zero, and the original equations are satisfied. A computer program solves the exact equations and boundary conditions numerically. The method is economical and compares successfully with experiments on bent ducts of circular and rectangular cross section where secondary flows are caused by gradients of total pressure upstream.

Stuart, A. R.↗

NASA NTRS1995

A case study of view-factor rectification procedures for diffuse-gray radiation enclosure computations

The view factors which are used in diffuse-gray radiation enclosure calculations are often computed by approximate numerical integrations. These approximately calculated view factors will usually not satisfy the important physical constraints of reciprocity and closure. In this paper several view-factor rectification algorithms are reviewed and a rectification algorithm based on a least-squares numerical filtering scheme is proposed with both weighted and unweighted classes. A Monte-Carlo investigation is undertaken to study the propagation of view-factor and surface-area uncertainties into the heat transfer results of the diffuse-gray enclosure calculations. It is found that the weighted least-squares algorithm is vastly superior to the other rectification schemes for the reduction of the heat-flux sensitivities to view-factor uncertainties. In a sample problem, which has proven to be very sensitive to uncertainties in view factor, the heat transfer calculations with weighted least-squares rectified view factors are very good with an original view-factor matrix computed to only one-digit accuracy. All of the algorithms had roughly equivalent effects on the reduction in sensitivity to area uncertainty in this case study.

Taylor, Robert P.↗

NASA NTRS2000

Towards Flange-to-Flange Turbopump Simulations for Liquid Rocket Engines

The primary objective of this research is to support the design of liquid rocket systems for the Advanced Space Transportation System. Since the space launch systems in the near future are likely to rely on liquid rocket engines, increasing the efficiency and reliability of the engine components is an important task. One of the major problems in the liquid rocket engine is to understand fluid dynamics of fuel and oxidizer flows from the fuel tank to plume. Understanding the flow through the entire turbopump geometry through numerical simulation will be of significant value toward design. This will help to improve safety of future space missions. One of the milestones of this effort is to develop, apply and demonstrate the capability and accuracy of 3D CFD methods as efficient design analysis tools on high performance computer platforms. The development of the MPI and MLP versions of the INS3D code is currently underway. The serial version of INS3D code is a multidimensional incompressible Navier-Stokes solver based on overset grid technology. INS3D-MPI is based on the explicit massage-passing interface across processors and is primarily suited for distributed memory systems. INS3D-MLP is based on multi-level parallel method and is suitable for distributed-shared memory systems. For the entire turbopump simulations, moving boundary capability and an efficient time-accurate integration methods are build in the flow solver. To handle the geometric complexity and moving boundary problems, overset grid scheme is incorporated with the solver that new connectivity data will be obtained at each time step. The Chimera overlapped grid scheme allows subdomains move relative to each other, and provides a great flexibility when the boundary movement creates large displacements. The performance of the two time integration schemes for time-accurate computations is investigated. For an unsteady flow which requires small physical time step, the pressure projection method was found to be computationally efficient since it does not require any subiterations procedure. It was observed that the artificial compressibility method requires a fast convergence scheme at each physical time step in order to satisfy incompressibility condition. This was obtained by using a GMRES-ILU(0) solver in our computations. When a line-relaxation scheme was used, the time accuracy was degraded and time-accurate computations became very expensive. The current geometry for the LOX boost turbopump has various rotating and stationary components, such as inducer, stators, kicker, hydrolic turbine, where the flow is extremely unsteady. Figure 1 shows the geometry and computed surface pressure of the inducer. The inducer and the hydrolic turbine rotate in different rotational speed.

Kiris, Cetin↗

NASA NTRS2002

Science Outreach at NASA's Marshall Space Flight Center

At the end of World War II Duane Deming, an internationally known economist enunciated what later came to be called "Total Quality Management" (TQM). The basic thrust of this economic theory called for companies and governments to identify their customers and to do whatever was necessary to meet their demands and to keep them satisfied. It also called for companies to compete internally. That is, they were to build products that competed with their own so that they were always improving. Unfortunately most U.S. corporations failed to heed this advice. Consequently, the Japanese who actively sought Deming's advice and instituted it in their corporate planning, built an economy that outstripped that of the U.S. for the next three to four decades. Only after U.S. corporations reorganized and fashioned joint ventures which incorporated the tenets of TQM with their Japanese competitors did they start to catch up. Other institutions such as the U.S. government and its agencies and schools face the same problem. While the power of the U.S. government is in no danger of being usurped, its agencies and schools face real problems which can be traced back to not heeding Deming's advice. For example, the public schools are facing real pressure from private schools and home school families because they are not meeting the needs of the general public, Likewise, NASA and other government agencies find themselves shortchanged in funding because they have failed to convince the general public that their missions are important. In an attempt to convince the general public that its science mission is both interesting and important, in 1998 the Science Directorate at NASA's Marshall Space Flight Center (MSFC) instituted a new outreach effort using the interact to reach the general public as well as the students. They have called it 'Science@NASA'.

George Lebo↗

NASA NTRS1983

The aerodynamics of propellers and rotors using an acoustic formulation in the time domain

The aerodynamics of propellers and rotors is especially complicated because of the highly three-dimensional and compressible nature of the flow field. However, in linearized theory the problem is governed by the wave equation, and a numerically-efficient integral formulation can be derived. This reduces the problem from one in space to one over a surface. Many such formulations exist in the aeroacoustics literature, but these become singular integral equations if one naively tries to use them to predict surface pressures, i.e., for aerodynamics. The present paper illustrates how one must interpret these equations in order to obtain nonambiguous results. After the regularized form of the integral equation is derived, a method for solving it numerically is described. This preliminary computer code uses Legendre-Gaussian quadrature to solve the equation. Numerical results are compared to experimental results for ellipsoids, wings, and rotors, including effects due to lift. Compressibility and the farfield boundary conditions are satisfied automatically using this method.

Long, L. N.↗

DOE OSTI2022

Analytical benchmark solution for 1-D neutron transport coupled with thermal conduction and material expansion

In this work we present fully analytical solutions for a class of finite, homogeneous, 1-D slab benchmark problems with nonlinear temperature feedback effects. The proposed class of benchmarks include multiplicative 1-D neutron transport (limited to quasistatic S{sub 2} with μ = ±1) coupled with thermal conduction, convection, Doppler broadening, and expansion effects along the length of the slab. This class of benchmark models, along with the corresponding analytical solutions, are valuable for validating multiphysics analysis frameworks that support coupled neutronics/thermal/structural calculations. Analytical solutions for the benchmarks are obtained by introducing an ansatz that the equilibrium flux and temperature distributions in the slab have the same shape. Specific values for the total microscopic cross section, σ{sub t,0}, and conductive heat transfer coefficient, h, that satisfy the assumed ansatz are then determined. A discussion of the procedure for generating benchmark models and analytical solutions is provided, along with numerical results for an example set of model parameters and thoughts on practical applications of the benchmarks for multiphysics code validation. (authors)

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2024

Continuously bounds-preserving discontinuous Galerkin methods for hyperbolic conservation laws

For finite element approximations of transport phenomena, it is often necessary to apply a form of limiting to ensure that the discrete solution remains well-behaved and satisfies physical constraints. However, these limiting procedures are typically performed at discrete nodal locations, which is not sufficient to ensure the robustness of the scheme when the solution must be evaluated at arbitrary locations (e.g., for adaptive mesh refinement, remapping in arbitrary Lagrangian–Eulerian solvers, overset meshes, etc.). In this work, a novel limiting approach for discontinuous Galerkin methods is presented which ensures that the solution is continuously bounds-preserving (i.e., across the entire solution polynomial) for any arbitrary choice of basis, approximation order, and mesh element type. Through a modified formulation for the constraint functionals, the proposed approach requires only the solution of a single spatial scalar minimization problem per element for which a highly efficient numerical optimization procedure is presented. Here, the efficacy of this approach is shown in numerical experiments by enforcing continuous constraints in high-order unstructured discontinuous Galerkin discretizations of hyperbolic conservation laws, ranging from scalar transport with maximum principle preserving constraints to compressible gas dynamics with positivity-preserving constraints.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1974

Digital adaptive model following flight control

Simple mechanical linkages are often unable to cope with the many control problems associated with high performance aircraft maneuvering over a wide flight envelope. One procedure for retaining uniform handling qualities over such an envelope is to implement a digital adaptive controller. Towards such an implementation an explicit adaptive controller, which makes direct use of online parameter identification, has been developed and applied to the linearized equations of motion for a typical fighter aircraft. The system is composed of an online weighted least squares identifier, a Kalman state filter, and a single stage real model following control law. The corresponding control gains are readily adjustable in accordance with parameter changes to ensure asymptotic stability if the conditions for perfect model following are satisfied and stability in the sense of boundedness otherwise.

Alag, G. S.↗

NASA NTRS1990

On modelling the pressure-strain correlations in wall bounded flows

Turbulence models for the pressure-strain term of the Reynolds-stress equations in the vicinity of a moving wall are evaluated for a high Reynolds number flow using decaying grid turbulence as a model problem. The data of Thomas and Hancock are used as a base for evaluating the different turbulence models. In particular, the Rotta model for return-to-isotropy is evaluated both in its inclusion into the Reynolds-stress equation model and in comparison to a nonlinear model advanced by Sarkar and Speziale. Further, models for the wall correction to the transfer term advanced by Launder et al., Shir, and Shih and Lumley are compared. Initial data using the decaying grid turbulence experiment as a base suggests that the coefficients proposed for these models are high perhaps by as much as an order of magnitude. The Shih and Lumley model which satisfies realizability constraints, in particular, seems to hold promise in adequately modeling the Reynolds stress components of this flow. Extensions of this work are to include testing the homogeneous transfer model by Shih and Lumley and the testing of the wall transfer models using their proposed coefficients and the coefficients chosen from this work in a flow with mean shear component.

Peltier, L. J.↗

NASA NTRS1976

Status of 30-centimeter-diameter mercury ion thruster isolator development

Results are presented for several 30-cm-diameter mercury-ion-thruster isolator life tests which show that the onset and exponential increase of leakage-current problems observed in earlier thruster operations and isolator tests have been solved. A 10,006-hour life test of a main isolator-vaporizer operated with no mercury flow at 320 C and 1500 volts was found to have no onset of leakage current during the test. A cathode-isolator-vaporizer (CIV) operated with a mercury discharge at 340 to 360 C and 1200 volts for 18,000 hours was found to have a small increase (0.004 micro A/hr) in leakage current with time. A 10,000-hour thruster life test exhibited no increase in leakage current during the life test. It is concluded that isolators have been developed which will satisfy 30-cm mercury-ion-thruster mission requirements.

Mantenieks, M. A.↗

NASA NTRS1986

Dark matter and cosmological nucleosynthesis

Existing dark matter problems, i.e., dynamics, galaxy formation and inflation, are considered, along with a model which proposes dark baryons as the bulk of missing matter in a fractal universe. It is shown that no combination of dark, nonbaryonic matter can either provide a cosmological density parameter value near unity or, as in the case of high energy neutrinos, allow formation of condensed matter at epochs when quasars already existed. The possibility that correlations among galactic clusters are scale-free is discussed. Such a distribution of matter would yield a fractal of 1.2, close to a one-dimensional universe. Biasing, cosmic superstrings, and percolated explosions and hot dark matter are theoretical approaches that would satisfy the D = 1.2 fractal model of the large-scale structure of the universe and which would also allow sufficient dark matter in halos to close the universe.

Schramm, D. N.↗