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 667 records · Page 37

Stability and control of a supersonic transport airplane during landing approach

Modal control theory was applied to determine feedback gains that provide desirable stability characteristics and satisfactory transient response to aileron deflection input. However, the peak value of lateral acceleration at the pilot's station does not satisfy a proposed criterion during a rolling maneuver. Optimal regulator theory does not provide a significant reduction of the peak lateral acceleration. The weighting matrices in the performance index were given an extreme variation, but the effect on lateral acceleration remained insignificant. Open loop control provided the desired bank angle (30 deg) with the desired roll rate (10 deg/sec), and provided a satisfactory level of lateral acceleration. However, a large adverse sideslip angle was required. In addition, the yawing velocity was negative for about two seconds and lateral acceleration changed sign during the maneuver. The problem persists and perhaps relaxed criteria must be proposed. The criteria could allow any combination of a lower average rolling velocity, a larger adverse sideslip angle excursion, and a higher peak lateral acceleration at the pilot's station.

Oehman, W. I.↗

Two time scale stabilization of systems with output feedback

The problem of constant gain output feedback regulator design for linear systems with ill-conditioned dynamics is considered in the context of singular perturbation theory. A design approach is developed in which gains can be separately calculated to stabilize reduced-order slow and fast subsystem models. By employing the notion of combined control and observation spillover suppression, conditions are derived assuring that these gains will stabilize the full-order system, assuming sufficient frequency separation between the slow and fast subsystems. An LQ design procedure is described in which the spillover suppression conditions are satisfied by adjoining penalty functions to the subsystem performance indices. The theory is demonstrated in a controller design for a flexible space structure.

Moerder, D. D.↗

MMIC devices for active phased array antennas

The study of printed circuit discontinuities is necessary in order to design, for example, transitions between rectangular waveguides and printed circuits. New developments with respect to the analytical approaches to this problem are discussed. A summary of the progress in the experimental approach is presented. The accurate solution for the modes in various millimeter-wave waveguides is essential in the analysis of many integrated circuit components, such as filters and impedance transformers. Problems associated with the numerical computation of these modes in two frequently used waveguide forms, namely, the finline and microstrip, are presented. The spectral domain method of formulation, with a moment method solution, is considered. This approach can be readily extended to analyze an arbitrary configuration of dielectric and metallized regions in a shielded enclosure. Galerkin's method is used, where the testing and basic functions are the same. It is shown that the mode functions, or eigenfunctions, are more sensitive to errors than the phase constants, or eigenvalues. The approximate mode functions do not satisfy the orthogonality relationship well, resulting in difficulties when these modal solutions are used to form an approximate Green's function or are used in a mode matching analysis.

Mittra, R.↗

Optimum design using VICONOPT, a buckling and strength constraint program for prismatic assemblies of anisotropic plates

A computer program for obtaining the optimum (least mass) dimensions of the kind of prismatic assemblies of laminated, composite plates which occur in advanced aerospace construction is described. Rigorous buckling analysis (derived from exact member theory) and a tailored design procedure are used to produce designs which satisfy buckling and material strength constraints and configurational requirements. Analysis is two to three orders of magnitude quicker than FEM, keeps track of all the governing modes of failure and is efficiently adapted to give sensitivities and to maintain feasibility. Tailoring encourages convergence in fewer sizing cycles than competing programs and permits start designs which are a long way from feasible and/or optimum. Comparisons with its predecessor, PASCO, show that the program is more likely to produce an optimum, will do so more quickly in some cases, and remains accurate for a wider range of problems.

Butler, R.↗

Mean Flow Augmented Acoustics in Rocket Systems

Oscillatory motion in solid rocket motors and liquid engines has long been a subject of concern. Many rockets display violent fluctuations in pressure, velocity, and temperature originating from the complex interactions between the combustion process and gas dynamics. The customary approach to modeling acoustic waves inside a rocket chamber is to apply the classical inhomogeneous wave equation to the combustion gas. The assumption of a linear, non-dissipative wave in a quiescent fluid remains valid while the acoustic amplitudes are small and local gas velocities stay below Mach 0.2. The converging section of a rocket nozzle, where gradients in pressure, density, and velocity become large, is a notable region where this approach is not applicable. The expulsion of unsteady energy through the nozzle of a rocket is identified as the predominate source of acoustic damping for most rocket systems. An accurate model of the acoustic behavior within this region where acoustic modes are influenced by the presence of a steady mean flow is required for reliable stability predictions. Recently, an approach to address nozzle damping with mean flow effects was implemented by French [1]. This new approach extends the work originated by Sigman and Zinn [2] by solving the acoustic velocity potential equation (AVPE) formulated by perturbing the Euler equations [3]. The acoustic velocity potential (psi) describing the acoustic wave motion in the presence of an inhomogeneous steady high-speed flow is defined by, (del squared)(psi) − (lambda/c)(exp 2)(psi) − M(dot)[M(dot)(del)(del(psi))] − 2(lambda(M/c) + (M(dot)del(M))(dot)del(psi)−2(lambda)(psi)[M(dot)del(1/c)]=0 (1) with M as the Mach vector, c as the speed of sound, and lambda as the complex eigenvalue. French apply the finite volume method to solve the steady flow field within the combustion chamber and nozzle with inviscid walls. The complex eigenvalues and eigenvector are determined with the use of the ARPACK eigensolver. The present study employs the COMSOL Multphysics framework to solve the coupled eigenvalue problem using the finite element approach. The study requires one way coupling of the CFD High Mach Number Flow (HMNF) and mathematics module. The HMNF module evaluated the gas flow inside of a solid rocket motor using St. Robert's law modeling solid propellant burn rate, slip boundary conditions, and the supersonic outflow condition. Results from the HMNF model are used by the coefficient form of the mathematics module to determine the eigenvalues of the AVPE. The mathematics model is truncated at the nozzle sonic line, where a zero flux boundary condition is self-satisfying. The remaining boundaries are modeled with a zero flux boundary condition, assuming zero acoustic absorption on all surfaces. Pertinent results from these analyses are the complex valued eigenvalue and eigenvectors. Comparisons are made to the French results to evaluate the modeling approach. A comparison of the French results with that of the present analysis is displayed in figures 1 and 2, respectively. The graphic shows the first tangential eigenvector's real (a) and imaginary (b) values.

Fischbach, Sean R.↗

An experiment to verify that the weak interactions satisfy the strong equivalence principle

The construction of a clock based on the beta decay process is proposed to test for any violations by the weak interaction of the strong equivalence principle bu determining whether the weak interaction coupling constant beta is spatially constant or whether it is a function of gravitational potential (U). The clock can be constructed by simply counting the beta disintegrations of some suitable source. The total number of counts are to be taken a measure of elapsed time. The accuracy of the clock is limited by the statistical fluctuations in the number of counts, N, which is equal to the square root of N. Increasing N gives a corresponding increase in accuracy. A source based on the electron capture process can be used so as to avoid low energy electron discrimination problems. Solid state and gaseous detectors are being considered. While the accuracy of this type of beta decay clock is much less than clocks based on the electromagnetic interaction, there is a corresponding lack of knowledge of the behavior of beta as a function of gravitational potential. No predictions from nonmetric theories as to variations in beta are available as yet, but they may occur at the U/sg C level.

Eby, P. B.↗

Determination of volume fraction in multiphase systems using incomplete pole figures

The determination of the volume fraction of a second phase in a multiphase sample by X-ray diffraction becomes more difficult if the diffracting planes have a preferred orientation. Lopata and Kula have described a method of treating this problem using complete pole figures for each of the phases. With some samples, it is not always possible or convenient to obtain data over the full hemisphere. Equations and an example are given which require X-ray data over a limited range of approximately 0 to 75 deg. This can be obtained by reflection without a specially cut sample or transmission data. A series of Legendre polynomials are fitted to data collected while spinning the sample about its normal. An extrapolation is made possible by introducing two conditions on the end points which must be satisfied if the extrapolation functions are to be valid.

Houska, C. R.↗

BLSS: A Contribution to Future Life Support

The problem of the supply of basic life supporting ingredients was analyzed. Storage volume and launch weight of water, oxygen and food in a conventional nonregenerable life support system are directly proportional to the crew size and the length of the mission. Because of spacecraft payload limitations this requires that the carbon, or food, recycling loop, the third and final part in the life support system, be closed to further reduce logistics cost. Advanced life support systems need to be developed in which metabolic waste products are regenerated and food is produced. Biological life support systems (BLSS) satisfy the space station environmental control functions and close the food cycle. Numerous scientific space experiments were delineated, the results of which are applicable to the support of BLSS concepts. Requirements and concepts are defined and the feasibility of BLSS for space application are analyzed. The BLSS energy mass relation, and the possibilities to influence it to achieve advantages for the BLSS are determined. A program for the development of BLSS is proposed.

Skoog, A. I.↗

Guaranteeing synchronous message deadlines with the timed token medium access control protocol

We study the problem of guaranteeing synchronous message deadlines in token ring networks where the timed token medium access control protocol is employed. Synchronous capacity, defined as the maximum time for which a node can transmit its synchronous messages every time it receives the token, is a key parameter in the control of synchronous message transmission. To ensure the transmission of synchronous messages before their deadlines, synchronous capacities must be properly allocated to individual nodes. We address the issue of appropriate allocation of the synchronous capacities. Several synchronous capacity allocation schemes are analyzed in terms of their ability to satisfy deadline constraints of synchronous messages. We show that an inappropriate allocation of the synchronous capacities could cause message deadlines to be missed even if the synchronous traffic is extremely low. We propose a scheme called the normalized proportional allocation scheme which can guarantee the synchronous message deadlines for synchronous traffic of up to 33 percent of available utilization. To date, no other synchronous capacity allocation scheme has been reported to achieve such substantial performance. Another major contribution of this paper is an extension to the previous work on the bounded token rotation time. We prove that the time elapsed between any consecutive visits to a particular node is bounded by upsilon TTRT, where TTRT is the target token rotation time set up at system initialization time. The previous result by Johnson and Sevcik is a special case where upsilon = 2. We use this result in the analysis of various synchronous allocation schemes. It can also be applied in other similar studies.

Agrawal, Gopal↗

A multilevel adaptive projection method for unsteady incompressible flow

There are two main requirements for practical simulation of unsteady flow at high Reynolds number: the algorithm must accurately propagate discontinuous flow fields without excessive artificial viscosity, and it must have some adaptive capability to concentrate computational effort where it is most needed. We satisfy the first of these requirements with a second-order Godunov method similar to those used for high-speed flows with shocks, and the second with a grid-based refinement scheme which avoids some of the drawbacks associated with unstructured meshes. These two features of our algorithm place certain constraints on the projection method used to enforce incompressibility. Velocities are cell-based, leading to a Laplacian stencil for the projection which decouples adjacent grid points. We discuss features of the multigrid and multilevel iteration schemes required for solution of the resulting decoupled problem. Variable-density flows require use of a modified projection operator--we have found a multigrid method for this modified projection that successfully handles density jumps of thousands to one. Numerical results are shown for the 2D adaptive and 3D variable-density algorithms.

Howell, Louis H.↗

Advanced timeline systems

The Mission Planning Division of the Mission Operations Laboratory at NASA's Marshall Space Flight Center is responsible for scheduling experiment activities for space missions controlled at MSFC. In order to draw statistically relevant conclusions, all experiments must be scheduled at least once and may have repeated performances during the mission. An experiment consists of a series of steps which, when performed, provide results pertinent to the experiment's functional objective. Since these experiments require a set of resources such as crew and power, the task of creating a timeline of experiment activities for the mission is one of resource constrained scheduling. For each experiment, a computer model with detailed information of the steps involved in running the experiment, including crew requirements, processing times, and resource requirements is created. These models are then loaded into the Experiment Scheduling Program (ESP) which attempts to create a schedule which satisfies all resource constraints. ESP uses a depth-first search technique to place each experiment into a time interval, and a scoring function to evaluate the schedule. The mission planners generate several schedules and choose one with a high value of the scoring function to send through the approval process. The process of approving a mission timeline can take several months. Each timeline must meet the requirements of the scientists, the crew, and various engineering departments as well as enforce all resource restrictions. No single objective is considered in creating a timeline. The experiment scheduling problem is: given a set of experiments, place each experiment along the mission timeline so that all resource requirements and temporal constraints are met and the timeline is acceptable to all who must approve it. Much work has been done on multicriteria decision making (MCDM). When there are two criteria, schedules which perform well with respect to one criterion will often perform poorly with respect to the other. One schedule dominates another if it performs strictly better on one criterion, and no worse on the other. Clearly, dominated schedules are undesireable. A nondominated schedule can be generated by some sort of optimization problem. Generally there are two approaches: the first is a hierarchical approach while the second requires optimizing a weighting or scoring function.

Bulfin, R. L.↗

MEMS-Based Communications Systems for Space-Based Applications

As user demand for higher capacity and flexibility in communications satellites increases, new ways to cope with the inherent limitations posed by the prohibitive mass and power consumption, needed to satisfy those requirements, are under investigation. Recent studies suggest that while new satellite architectures are necessary to enable multi-user, multi-data rate, multi-location satellite links, these new architectures will inevitably increase power consumption, and in turn, spacecraft mass, to such an extent that their successful implementation will demand novel lightweight/low power hardware approaches. In this paper, following a brief introduction to the fundamentals of communications satellites, we address the impact of micro-electro-mechanical systems (MEMS) technology, in particular micro-electro-mechanical (MEM) switches to mitigate the above mentioned problems and show that low-loss/wide bandwidth MEM switches will go a long way towards enabling higher capacity and flexibility space-based communications systems.

DeLosSantos, Hector J.↗

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

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

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