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 685 records · Page 38

A Theoretical Model of Static and Dynamic Field-of-View (FOV) using NASA's Neutral Buoyancy Laboratory (NBL)

Developing an objective field-of-view methodology for studying vehicle window placement has been somewhat difficult. It is not surprising that considerable effort has been directed at specific problems of visibility from vehicles. Aeronautical design engineers know when designing an aircraft cockpit, the pilot must have an adequate view for approaching and landing on an airfield. However, compromise between the ergonomic preference for the largest possible viewing envelope and the practicalities of arranging a structure that is lightweight and strong will always plague the cockpit’s transparent area’s size and shape. The human’s visual sense, when operating any kind of vehicle, is the main source of the vast majority of information needed to drive or fly safely. However, vehicle design can affect a driver’s visual performance for satisfying their need for information. For any vehicle, be it an automobile or a spacecraft, the visibility quantity is the sum total of the visual access to the environment as defined by the window placement of that vehicle. The Alternate Multiple Mission Space Exploration Vehicle (AMMSEV) configuration is much like a large cargo truck where there is no direct visual access to the rear of the vehicle or the rear sides of the vehicle; thus, making the forward and side views of greater importance to the situational awareness of the crew if obstructions are creating visual issues. The National Aeronautics and Space Administration (NASA) tested a new theoretical model for Field-of-View (FOV) of spacecraft windows in NASA’s own Neutral Buoyancy Laboratory (NBL). The NBL is an essential tool for design, testing and development of future space exploration hardware for upcoming NASA operational missions. Using water, with its natural propensity for giving a human the perception of dynamic body motion under a weightless or partial gravity conditions, gives human factors investigators a vigorous space-like environment to study new methods of collecting dynamic field-of-view for future exploration vehicle designs.

Human Factors↗

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

Results are presented of several 30 cm diameter mercury ion thruster isolator life tests that 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 operated with a mercury discharge at 340 to 360 C and 1200 volts for 18,000 hours, was found to have a small increase of leakage current with time. A 10,000 hour thruster life test exhibited no increase of leakage current during the life test. Isolators have been developed which will satisfy 30 cm mercury ion thruster mission requirements.

Mantenieks, M. A.↗

The design and application of an antenna positioner mechanism for Intelsat-5 series communication satellite

In opertion, the East/West spot beam reflectors on the Intelsat-5 series communication satellite are required to satisfy initial precise-pointing to particular Earth locations; and repositioning and pointing to different Earth locations as traffic changes dictate during the seven year mission. Two 2 axis antenna positioner mechanisms (APM) are utilized in fulfilling these requirements. Each APM is comprised of three components which consist of one center pivot and two linear actuators rather than an integral two axis gimbal design. The step resolution of the APM can be adjusted as required with the present design, at a step resolution of 0.002865 degrees. The design philosophy and considerations, test program, and test results are discussed as well as some major problems encountered during the course of testing and their resolution.

Szeto, B.↗

Helmholtz decomposition revisited: Vorticity generation and trailing edge condition. I - Incompressible flows

Using the decomposition for the infinite-space, the issue of the nonuniqueness of the Helmholtz decomposition for the problem of the three-dimensional unsteady incompressible flow around a body is considered. A representation for the velocity that is valid for both the fluid region and the region inside the boundary surface is employed, and the motion of the boundary is described as the limiting case of a sequence of impulsive accelerations. At each instant of velocity discontinuity, vorticity is shown to be generated by the boundary condition on the normal component of the velocity, for both inviscid and viscous flows. In viscous flows, the vorticity is shown to diffuse into the surroundings, and the no-slip conditions are automatically satisfied. A trailing edge condition must be satisfied for the solution to the Euler equations to be the limit of the solution of the Navier-Stokes equations.

Morino, L.↗

Strategies for Revitalizing Organizations: Regaining the Competitive Edge

During the last decade, the United States has lost competitive stature in the world. Challenged daily by a technically sophisticated and vitalized global economy, industry and Government are examining quality and productivity initiatives with which to meet the foreign competitive challenge. At stake are our quality of life and our standard of living for the remainder of this century and beyond. Being competitive is an ongoing process, tuned to an awareness and understanding of the dynamics of the world marketplace and to the changing nature of the work environment. Solutions to America's quality and productivity problems do not exist independently within any organization or industry or at any given level of society. Success depends on commitment, partnership, meshing of goals and responsibilities, mutual respect and understanding, and a desire to be first. A change in organizational management culture is required. Traditional authoritarian management practices must give way to enlightened leadership initiatives that stress employee involvement and participation. There must be a lessening of adversarial relationships between management and labor and between industry and Government. Quality and productivity are understood to be the end result of an integrated process which begins with vigorous, committed leadership and ends with a satisfied customer. The essential elements in the revitalization process are organized in this report into seven strategies which represent the major findings of the Second NASA Symposium on Quality and Productivity. Each strategy is then broken down into its principal themes which are presented as recommendations. No one strategy can stand apart from any other; all are interrelated and work together.

Nysmith, C. Robert↗

Advanced Information Technology in Simulation Based Life Cycle Design

In this research a Collaborative Optimization (CO) approach for multidisciplinary systems design is used to develop a decision based design framework for non-deterministic optimization. To date CO strategies have been developed for use in application to deterministic systems design problems. In this research the decision based design (DBD) framework proposed by Hazelrigg is modified for use in a collaborative optimization framework. The Hazelrigg framework as originally proposed provides a single level optimization strategy that combines engineering decisions with business decisions in a single level optimization. By transforming this framework for use in collaborative optimization one can decompose the business and engineering decision making processes. In the new multilevel framework of Decision Based Collaborative Optimization (DBCO) the business decisions are made at the system level. These business decisions result in a set of engineering performance targets that disciplinary engineering design teams seek to satisfy as part of subspace optimizations. The Decision Based Collaborative Optimization framework more accurately models the existing relationship between business and engineering in multidisciplinary systems design.

Renaud, John E.↗

Trajectory Engineering with Modular Patched Conics for Entry Systems and TPS (TEMPEST)

Brief Presenter Biography (35 word limit): Bohdan Wesely is an Aerospace Engineer in the Entry Systems and Technology Division at Ames. He has worked on a variety of projects for NASA including integrated TPS (thermal protection system) flight hardware deliveries and testing services for commercial partners. Introduction: TEMPEST is a new trajectory analysis framework that is designed to fill the gap between dedicated flight mechanics tools and aerothermal and TPS sizing tools. The project started as an SJSU master’s thesis and has since evolved into a general conceptual design tool capable of studying a wide variety of entry problems. Development is ongoing in the Entry Systems and Technology Division at NASA ARC. Why TEMPEST: Space missions involving entry into a planetary atmosphere involve a series of unique requirements across multiple disciplines. Whether it is traditional entry descent and landing (EDL), or aerocapture, the vehicle must navigate to its target landing location or orbit state, and the TPS must protect the payload during entry. The design process typically involves iterative handoffs between various flight mechanics, flow solver, and material response level tools. During the early conceptual phase, a wide variety of feasible trajectories are simulated in a Monte Carlo scenario which broadly satisfy the mission or landing requirements. Next, computational fluid dynamics (CFD), direct simulation Monte Carlo (DSMC), and other flow solver analyses are performed at various key trajectory points to generate an aero-database, heating and TPS design requirements also emerge at this stage. At this point, with updated aerodynamics from the various flow solvers, trajectories can be re-run, this in turn can change the required freestream conditions for the CFD tools, and as a project progresses, these analyses converge, and uncertainty is reduced. However, there is always a “hand-off” occurring between two inherently coupled phenomena. Analysis Description: One of the goals with TEMPEST is to use a variety of first principles estimation methods coupled with an atmosphere model to predict vehicle aerothermodynamics across the entire flight regime while propagating a 3 or 6 degree of freedom (DoF) trajectory. Aerodynamics methods include modified Newtonian, Maxwell and Cercignani- Lampis-Lord (CLL) for continuum, transitional, and free molecular flow regimes. Aerothermodynamics include boundary layer and reference enthalpy methods, and Mutation++ for non-equilibrium chemistry modeling. TEMPEST is also capable of stitching multiple trajectory segments together to study mission scenarios like multi-pass aerocapture and aero-gravity assists. Most of the program is implemented in MATLAB using modern system objects, it relies on several C++ shared libraries for supporting tools like Gmsh, the Global Reference Atmospheric Model (GRAM), and Mutation++. The various first principles aerothermal estimation methods are discretized across either a structured axisymmetric panel mesh or an unstructured tri-mesh generated from an open-source tool such as Gmsh, this allows solutions on the same mesh to be compared across tools such as CB-Aero. CFD Coupling. A physics-aware, gaussian process CFD anchoring scheme is proposed to adjust the various first principles methods as a CFD database is populated. One goal for this anchoring module is to inform the project where CFD should be run. Full knowledge of the entire trajectory, atmosphere, and aerothermodynamics allows for easier identification of high sensitivity areas and uncertainty quantification. While the first principles effects are well known and proven accurate in existing tools such as CB- Aero and Cart3D, a physics aware CFD anchoring scheme increases tool credibility across a project lifecycle. Material Response Modeling. Correct TPS sizing is critical for optimizing mass for science payloads and ensuring mission success. The process typically involves a thermal analysis along the trajectory with surface heating environments as a boundary condition. Several design constraints are maximum bondline temperature and maximum recession with various margining techniques. The material response tool FIAT, developed out of NASA Ames, is currently being integrated into the TEMPEST environment. TPS recession, shape change, mass loss, and mass property alteration are all factors that can perturb an entry trajectory. For missions like Mars 2020, recession was minimal and was safely handled separately as a post process. For missions such as Jupiter Galileo with a high TPS mass fraction or asteroid entries, recession plays a major role. The proposed fully coupled scheme is to use an epoch-based approach where the trajectory integration is halted after a recession threshold, the energy balance and FIAT are solved at each panel, the mesh, aerodynamics, and mass properties are updated, and the trajectory continues. Several computational tradeoffs have been made during the development of TEMPEST to limit the cost of a single trajectory and preserve its utility as a conceptual, rapid iteration tool. Conclusion: Development of TEMPEST is ongoing and the project is still in its infancy. This talk aims to showcase its unique capabilities to support future NASA entry systems missions.

Bohdan O Wesely↗

Finite Control in Underdamped Distributed Parameter Systems

Specifically, a class of distributed parameter systems is defined using Hilbert space methods based on a partial differential equation model of a structure. In this space a simple, easy to check definition of underdamping is constructed based on the well known single degree of freedom concept of critical damping. It is then shown that if a given distributed parameter system satisfies this definition, each mode of the modal expansion of the solution is in fact an underdamped function of time. It is noted that a distributed parameter system which is underdamped is also uniformly exponentially stable. By appealing to the work of Gibson, a finite dimensional model of the system will yield satisfactory control laws. Furthermore, it is shown that the assumption of the underdamping also allows straightforward computation of rough bounds on the magnitude of the unmodeled or residual modes for a modal truncation scheme. Hence, underdamped systems are precisely that class of distributed parameter systems which are not likely to have spillover problems and which will yield convergence of finite dimensional control laws to control laws which are optimal for the full distributed parameter model of the system.

Inman, D. J.↗

Application of differential game theory to role-determination in aerial combat

The development of criteria which specify the roles of pursuer and evader as functions of the relative geometry and of the important parameters of the problem are discussed. A reduced-order model of the relative motion is derived and discussed. In this model, the two aircraft move in the same plane at unequal but constant speeds, and with different maximum turn rates. The equations of relative motion are of third order, the dependent variables being the relative range, bearing, and heading of the two aircraft. Termination of the pursuit-evasion game is defined by either the heading-limited or the range-limited end condition. These are geometric conditions for which the evading aircraft is in front of the other, with the relative heading and relative range satisfying certain inequalities. Retrograde solutions to the equations of relative motion were used with the derived optimal terminal maneuvers to find where an assumed set of end conditions could have begun.

Merz, A. W.↗

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.↗

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.↗

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.↗

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.↗

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.↗

[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↗

[Earth Science Technology Office's Computational Technologies Project]

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.

Fischer, James↗

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.↗

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.↗