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 901 records · Page 50

Computer graphics and the graphic artist

A centralized computer graphics system is being developed at the NASA Langley Research Center. This system was required to satisfy multiuser needs, ranging from presentation quality graphics prepared by a graphic artist to 16-mm movie simulations generated by engineers and scientists. While the major thrust of the central graphics system was directed toward engineering and scientific applications, hardware and software capabilities to support the graphic artists were integrated into the design. This paper briefly discusses the importance of computer graphics in research; the central graphics system in terms of systems, software, and hardware requirements; the application of computer graphics to graphic arts, discussed in terms of the requirements for a graphic arts workstation; and the problems encountered in applying computer graphics to the graphic arts. The paper concludes by presenting the status of the central graphics system.

Taylor, N. L.↗

Exploring quantum statistics for massive Dirac and Majorana neutrinos using spinor-helicity techniques

Recently, there has been interest in the applicability of quantum statistics to distinguish Dirac from Majorana neutrinos in multineutrino final states. In particular, debate has arisen over the validity of the Dirac-Majorana confusion theorem in these processes, i.e., that any distinction between the Dirac and Majorana processes goes to zero as the neutrino mass goes to zero. Here we approach this problem equipped with spinor-helicity methods generalized for massive Dirac and Majorana fermions. We explicitly calculate all helicity amplitudes, and their squares, for the decay of a light scalar particle to two neutrinos and two oppositely charged leptons. This allows us to pinpoint the crucial steps which could lead to claims of a violation of the confusion theorem. We show that, if the correct antisymmetrization of Dirac to Majorana amplitudes is used, identification of which is clear in this framework, and all relevant contributions are appropriately summed, a scalar decay into two charged leptons and two neutrinos satisfies the Dirac-Majorana confusion theorem.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Nonlinear development and secondary instability of large-amplitude Goertler vortices in hypersonic boundary layers

The weakly nonlinear development of large-amplitude Goertler vortices in a small neighborhood of the neutral stability position given by the linear theory is considered. It is shown that if the basic state and the wall curvature satisfy a certain condition, the Goertler vortices will grow until they become so large as to drive a mean flow correction as large as the basic state. Attention is then given to the further downstream evolution of these large-amplitude vortices, and it is shown that the vortices have a triple layer structure which consists of a region of vortex activity bounded by two transition layers over which the amplitude of the harmonic part of the vortex decays to zero exponentially. The positions of the two transition layers are found to be governed by a free boundary problem, which is solved for a number of curvature distribution cases. The secondary instability of the two transition layers is investigated with respect to traveling waves which are pi/2 out of phase in the spanwise direction with the steady Goertler vortices.

Fu, Y.↗

Nucleon Mass and Charges with Lattice Quantum Chromodynamics

Neutrino oscillation experiments are designed to measure neutrino masses and mixing parameters by scattering them off nuclei such as carbon, oxygen, and argon in detectors. Predictions of neutrino-nuclei cross sections from the Standard Model are needed to extract these parameters, but their theoretical uncertainties remain large due to the complexity of nuclear and hadronic physics. This situation needs to be improved in order to satisfy the precision needs of future experiments.In this dissertation, we focus on working towards a first-principles calculation of the nucleon axial form factor with lattice quantum chromodynamics (QCD). Nucleon axial form factor, which parametrizes the weak responses of a proton or neutron, is difficult to measure experimentally, and it is a dominant uncertainty in neutrino-nuclei cross-section calculations for incoming neutrino energies at around 1 GeV. So a theoretical calculation with lattice QCD provides a non-ambiguous determination of the form factor that could help reducing the uncertainty.The notorious signal-to-noise problem renders calculations of nucleon observables computationally intensive in lattice QCD. In this work, we investigate the use of staggered fermions in nucleon calculations. Staggered fermions are the most computationally efficient fermion discretization in lattice field theory, but certain theoretical issues have so far prevented their applications to nucleon physics. As a stepping stone towards a full calculation of the nucleon axial form factor, this dissertation provides a comprehensive theoretical framework on how to calculate the nucleon mass, vector charge, and axial charge with staggered fermions, together with numerical results demonstrating the methodology. This framework can be generalized to the form factor calculation that will appear in the near future.

Lin, Yin↗

(U) A Theoretical Study of Asay Foil Trajectories (V.02)

We consider the trajectory of a generic Asay foil ejecta momentum diagnostic sensor, for scenarios where ejecta are produced at a planar surface and fly ballistically through a perfect vacuum to the sensor. To do so, we build upon a previously established mathematical formalism derived for the analytic study of stationary sensors (i.e., piezopins). First, we derive the momentum conservation equation for the problem, in a form amenable to accelerating sensors, in terms of a generic ejecta source areal mass function (“source model”). This defines an integro-differential equation (IDE) for the foil trajectory. When ejecta production is instantaneous - as is generally assumed in momentum diagnostic data analyses - the IDE leads to an implicit and easily calculable closed-form solution for the foil trajectory in a perfect system, as long as the ejecta particle velocity distribution is twice-integrable. General properties of the instant-production trajectory solution indicate the existence of a boundary condition the particle velocity distribution must satisfy in order for the analytically predicted foil trajectories to be compatible with certain features commonly observed in foil data. This boundary condition is identical to one derived previously from a consideration of piezopin data. Armed with the analytic solution for instant production, we also consider various techniques used to extract time-dependent cumulative ejecta masses from foil trajectories, and derive an expression for the error imposed by using an approximated equation of motion. This analytic trajectory solution furthermore makes it possible to examine the common practice of presenting inferred cumulative ejecta masses as a function of a normalized implied velocity; we derive conditions under which this methodology is and is not meaningful. We also propose a strategy for extending the instant-production trajectory solution to time-dependent source functions.

42 ENGINEERING↗

Monitoring Agents for Assisting NASA Engineers with Shuttle Ground Processing

The Spaceport Processing Systems Branch at NASA Kennedy Space Center has designed, developed, and deployed a rule-based agent to monitor the Space Shuttle's ground processing telemetry stream. The NASA Engineering Shuttle Telemetry Agent increases situational awareness for system and hardware engineers during ground processing of the Shuttle's subsystems. The agent provides autonomous monitoring of the telemetry stream and automatically alerts system engineers when user defined conditions are satisfied. Efficiency and safety are improved through increased automation. Sandia National Labs' Java Expert System Shell is employed as the agent's rule engine. The shell's predicate logic lends itself well to capturing the heuristics and specifying the engineering rules within this domain. The declarative paradigm of the rule-based agent yields a highly modular and scalable design spanning multiple subsystems of the Shuttle. Several hundred monitoring rules have been written thus far with corresponding notifications sent to Shuttle engineers. This chapter discusses the rule-based telemetry agent used for Space Shuttle ground processing. We present the problem domain along with design and development considerations such as information modeling, knowledge capture, and the deployment of the product. We also present ongoing work with other condition monitoring agents.

Semmel, Glenn S.↗

Miniature J-T refrigators using adsorption compressors

More sophisticated cooling systems for the employed detectors will be needed to satisfy the demand for higher resolution and sensitivity of various detectors used in space missions. The design of the cooling system must take into consideration the unique environment of space vehicles. It is pointed out that a deep space vehicle usually has an ample supply of waste heat from a radioisotope thermoelectric generator (RTG) and has a heat sink near zero Kelvin. Passive radiative coolers have been used for cooling temperatures above 90 K. Cooling below 90 K is currently handled by phase changes of solid or liquid cryogens or mechanical refrigeration. However, the weight of the cryogen may be a problem in a long duration space mission. Refrigerators of small cooling capacity are required in many spacecraft applications. For some future NASA missions, a multistage Joule-Thomson refrigerator using adsorption compressors appears particularly attractive. A study is discussed of four different refrigeration stages which use charcoal as the adsorbent. The adsorbed gases are nitrogen, helium, hydrogen, and neon.

Chan, C. K.↗

Power source considerations for Grand Tour missions.

At the present time, there exists no known power source that will satisfy the power, weight, lifetime, and other stringent requirements of an extended outer-planet mission. Exploratory studies indicate the need for a solar-independent power source capable of supplying approximately 500 W of power over mission lifetimes of up to 12 years. The only known power source which can possibly meet these requirements, in the 1975 to 1979 time period, is a radioisotope thermoelectric generator (RTG). In 1969 a program began to develop a long-life, plutonium-fueled radioisotope thermoelectric power system. Aspects of spacecraft configuration are discussed together with power source requirements, RTG/spacecraft integration, operational details, and problems of safety.

Merrill, O. S.↗

Fundamental rocket injector/spray programs at the Phillips Laboratory

The performance and stability of liquid rocket engines is determined to a large degree by atomization, mixing, and combustion processes. Control over these processes is exerted through the design of the injector. Injectors in liquid rocket engines are called upon to perform many functions. They must first of all mix the propellants to provide suitable performance in the shortest possible length. For main injectors, this is driven by the tradeoff between the combustion chamber performance, stability, efficiency, and its weight and cost. In gas generators and preburners, however, it is also driven by the possibility of damage to downstream components, for example piping and turbine blades. This can occur if unburned fuel and oxidant later react to create hot spots. Weight and cost considerations require that the injector design be simple and lightweight. For reusable engines, the injectors must also be durable and easily maintained. Suitable atomization and mixing must be produced with as small a pressure drop as possible, so that the size and weight of pressure vessels and turbomachinery can be minimized. However, the pressure drop must not be so small as to promote feed system coupled instabilities. Another important function of the injectors is to ensure that the injector face plate and the chamber and nozzle walls are not damaged. Typically this requires reducing the heat transfer to an acceptable level and also keeping unburned oxygen from chemically attacking the walls, particularly in reusable engines. Therefore the mixing distribution is often tailored to be fuel-rich near the walls. Wall heat transfer can become catastrophically damaging in the presence of acoustic instabilities, so the injector must prevent these from occurring at all costs. In addition to acoustic stability (but coupled with it), injectors must also be kinetically stable. That is, the flame itself must maintain ignition in the combustion chamber. This is not typically a problem with main injectors, but can be a consideration in preburners, where the desire to keep turbine inlet temperatures as cool as possible can make it advantageous for the preburners to operate as far from stoichiometry as can be tolerated. For some missions such as single stage to orbit, all of the above requirements must be maintained over a throttleable range, for example 5:1 to 10:1. Finally, the injectors must be ignitable during startup where pressures and temperatures are far from design conditions, and ignition transients must be minimized in order to avoid damage to engine components. In order to satisfy these various constraints, the injector designer must be able to perform design tradeoff studies, and it is important that this be done with minimal time and costs. In fact, it can easily be argued that reducing engine development time and costs is essential to maintaining U.S. competitiveness in space. The Propulsion Directorate of the Phillips Laboratory has invested in a number of programs to advance liquid rocket engine technology, and several of these are directed at improving design tools for liquid rocket injectors. The purpose of the presentation will be to describe some of these latter programs.

Talley, D. G.↗

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