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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS1975

Nonlinear vibration of cylindrical shells

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

Chen, J. C.↗
NASA NTRS1984

Nuclear-electric power in space

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

Truscello, V. C.↗
NASA NTRS1984

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

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

Leissa, A. W.↗
NASA NTRS1988

Synchronization in neural nets

The paper presents an artificial neural network concept (the Synchronizable Oscillator Networks) where the instants of individual firings in the form of point processes constitute the only form of information transmitted between joining neurons. In the model, neurons fire spontaneously and regularly in the absence of perturbation. When interaction is present, the scheduled firings are advanced or delayed by the firing of neighboring neurons. Networks of such neurons become global oscillators which exhibit multiple synchronizing attractors. From arbitrary initial states, energy minimization learning procedures can make the network converge to oscillatory modes that satisfy multi-dimensional constraints. Such networks can directly represent routing and scheduling problems that consist of ordering sequences of events.

Vidal, Jacques J.↗
NASA NTRS1989

A disturbance based control/structure design algorithm

Some authors take a classical approach to the simultaneous structure/control optimization by attempting to simultaneously minimize the weighted sum of the total mass and a quadratic form, subject to all of the structural and control constraints. Here, the optimization will be based on the dynamic response of a structure to an external unknown stochastic disturbance environment. Such a response to excitation approach is common to both the structural and control design phases, and hence represents a more natural control/structure optimization strategy than relying on artificial and vague control penalties. The design objective is to find the structure and controller of minimum mass such that all the prescribed constraints are satisfied. Two alternative solution algorithms are presented which have been applied to this problem. Each algorithm handles the optimization strategy and the imposition of the nonlinear constraints in a different manner. Two controller methodologies, and their effect on the solution algorithm, will be considered. These are full state feedback and direct output feedback, although the problem formulation is not restricted solely to these forms of controller. In fact, although full state feedback is a popular choice among researchers in this field (for reasons that will become apparent), its practical application is severely limited. The controller/structure interaction is inserted by the imposition of appropriate closed-loop constraints, such as closed-loop output response and control effort constraints. Numerical results will be obtained for a representative flexible structure model to illustrate the effectiveness of the solution algorithms.

Mclaren, Mark D.↗
NASA NTRS1990

Design of a high speed business transport

The design of a High Speed Business Transport (HSBT) was considered by the Aeronautical Design Class during the academic year 1989 to 1990. The project was chosen to offer an opportunity to develop user friendliness for some computer codes such as WAVE DRAG, supplied by NASA/Langley, and to experiment with several design lessons developed by Dr. John McMasters and his colleages at Boeing. Central to these design lessons was an appeal to marketing and feasibility considerations. There was an emphasis upon simplified analytical techniques to study trades and to stimulate creative thinking before committing to extensive analytical activity. Two designs stood out among all the rest because of the depth of thought and consideration of alternatives. One design, the Aurora, used a fixed wing design to satisfy the design mission: the Viero used a swept wing configuration to overcome problems related to supersonic flight. A summary of each of these two designs is given.

Source record↗
NASA NTRS1991

Consistent detection of global predicates

A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate. If the system is distributed, then the resulting uncertainty in the state of the system makes such detection, in general, ill-defined. Three algorithms are presented for detecting global predicates in a well-defined way. These algorithms do so by interpreting predicates with respect to the communication that has occurred in the system.

Cooper, Robert↗
NASA NTRS1992

An evaluation of some strategies for vibration control of flexible rotors

There is evidence that the reliability of magnetic bearings has achieved an acceptable level in applications when high cost can be tolerated. This acceptability would be enhanced if the inherent capability of magnetic bearings as active control elements were fully used. The technological and commercial promise of magnetic bearings will be fulfilled only if attention is focussed on the control problems associated with their use. The open loop adaptive control algorithm provides an efficient method of controlling the vibration of rotors without the need of a prior knowledge of parameter values. It overcomes the disadvantages normally associated with open loop control while avoiding the problem of instability associated with closed loop control algorithms. The algorithm is conceptually satisfying because it uses the capability of magnetic bearings as fully active vibration control elements rather than limiting them to act as adjustable stiffness and damping elements, as is the case when they are used with local position and velocity feedback.

Burrows, C. R.↗
NASA NTRS1992

Intelligent diagnostics systems

Intelligent systems have been applied to today's problems and could also be applied to space operations integrity. One of these systems is the XMAN tool designed for 'troubleshooting' jet engines. XMAN is the eXpert MAiNtenance tool developed to be an expert information analysis tool which stores trending and diagnostic data on Air Force engines. XMAN operates with a 'network topology' which follows a flow chart containing engine management information reports required by the governments technical order procedures. With XMAN technology, the user is able to identify engine problems by presenting the assertions of the fault isolation logic and attempting to satisfy individual assertions by referring to the databases created by an engine monitoring system. The troubleshooting process requires interaction between the technician and the computer to acquire new evidence form auxiliary maintenance tests corroboration of analytical results to accurately diagnose equipment malfunctions. This same technology will be required for systems which are functioning in space either with an onboard crew, or with an unmanned system. The technology and lessons learned developing this technology while suggesting definite applications for its use with developing space systems are addressed.

Mcquiston, Barbara M.↗
NASA NTRS1994

Technology transfer initiatives

This report summarizes the University of Alabama in Huntsville (UAH) technology transfer activities with the Marshall Space Flight Center (MSFC) for the period of April 1993 through December 1993. Early in 1993, the MSFC/TUO and UAH conceived of the concept of developing stand-alone, integrated data packages on MSFC technology that would serve industrial needs previously determined to be critical. Furthermore, after reviewing over 500 problem statements received by MSFC, it became obvious that many of these requests could be satisfied by a standard type of response. As a result, UAH has developed two critical area response (CAR) packages: CFC (chlorofluorocarbon) replacements and modular manufacturing and simulation. Publicity included news releases, seminars, articles and conference papers. The Huntsville Chamber of Commerce established the Technology Transfer Subcommittee with the charge to identify approaches for the Chamber to assist its members, as well as non-members, access to the technologies at the federal laboratories in North Alabama. The Birmingham Chamber of Commerce has expressed interest in establishing a similar technology transfer program. This report concludes with a section containing a tabulation of the problem statements, including CAR packages, submitted to MSFC from January 1992 through December 1993.

Mccain, Wayne↗
NASA NTRS1989

Equilibrium polymerization on the equivalent-neighbor lattice

The equilibrium polymerization problem is solved exactly on the equivalent-neighbor lattice. The Flory-Huggins (Flory, 1986) entropy of mixing is exact for this lattice. The discrete version of the n-vector model is verified when n approaches 0 is equivalent to the equal reactivity polymerization process in the whole parameter space, including the polymerized phase. The polymerization processes for polymers satisfying the Schulz (1939) distribution exhibit nonuniversal critical behavior. A close analogy is found between the polymerization problem of index the Schulz r and the Bose-Einstein ideal gas in d = -2r dimensions, with the critical polymerization corresponding to the Bose-Einstein condensation.

Kaufman, Miron↗
NASA NTRS1976

A new method for solving problems of sound radiation from a duct for the case of low Mach number

A method for rapidly solving duct end-plane impedance problems is presented which is based on deriving a form of the Helmholtz integral formula expressing the normal derivative of the acoustic pressure at a boundary point. A set of integral expressions is obtained by satisfying the existing boundary conditions and then solved using a general collocation method. The results obtained for the Levine-Schwinger (1948) problem agree well with the exact values. In the case of a duct flow having a temperature mismatch with the surroundings, the results show an increase in the magnitude of the reflection coefficient for the case of a cold core, and a decrease in its value for the case of a hot core, as compared with the case of exhaust into a uniform medium. A phase change of between pi/2 and pi is nearly always achieved, which indicates the tendency towards maintaining a constant pressure at the exit plane. The method can easily be extended to arbitrary duct shapes as long as they are axisymmetric.

Wahbah, M. M.↗
NASA NTRS1988

Singular perturbation analysis of the atmospheric orbital plane change problem

A three-state model is presented for the aeroassisted orbital plane change problem. A further model order reduction to a single state model is examined using singular perturbation theory. The optimal solution for this single state model compares favorably with the exact numerical solution using a four-state model; however, a separate boundary layer solution is required to satisfy the terminal constraint on altitude. This, in general, involves the solution of a two-point boundary value problem, but for a two-state model. An approximation is introduced to obtain an analytical control solution for lift and bank angle. Included are numerical simulation results of a guidance law derived from this analysis, along with comparison to earlier work by other researchers.

Calise, A. J.↗
NASA NTRS2015

Development of High-Power Hall Thruster Power Processing Units at NASA GRC

NASA GRC successfully designed, built and tested four different power processor concepts for high power Hall thrusters. Each design satisfies unique goals including the evaluation of a novel silicon carbide semiconductor technology, validation of innovative circuits to overcome the problems with high input voltage converter design, development of a direct-drive unit to demonstrate potential benefits, or simply identification of lessonslearned from the development of a PPU using a conventional design approach. Any of these designs could be developed further to satisfy NASA's needs for high power electric propulsion in the near future.

Spacecraft Power Supplies↗
NASA NTRS1991

Controls of interaction dynamics of orbital assembly

Building structures and spacecraft in orbit will require technologies for positioning, docking/berthing, and joining orbital structures. A fundamental problem underlying the operation of docking and berthing is that of controlling the contact dynamics of mechanical structures actuated by active mechanisms such as robotic devices. Control systems must be designed to control these active mechanisms so that both the free space motions and contact motions are stable and satisfy specifications on position accuracy and bounds on contact forces. For the large orbital structures of the future, the problem of interactive dynamics and control is fundamentally different in several ways than it was for spacecraft docking in the past. First, future space structures must be treated as flexible structures - the operations of docking, berthing, and assembly will need to respect the vibrations of the structures. Second, the assembly of these structures will require multiple-point contact, rather than the essentially single-point positioning of conventional spacecraft docking. Third, some assembly operations require the subassemblies to be brought and held in contact so that successful joining can be accomplished. A preliminary study of contact stability and compliance control design has resulted in the development of an analytical method and a design method to analyze stability. The analytical method analyzes the problem of stability when an actively-controlled structure contacts a passive structure. This method makes it possible to accurately estimate the stiffness of the passive structures with which the contact motion will become unstable. The analytic results suggest that passivity is neither achievable in practice, nor necessary as a design concept. A contact control system need only be passive up to a certain frequency; beyond that frequency the system can be stabilized with sufficiently small gains. With this concept the Center developed a design methodology for achieving desired compliant contact motions. This design method is based on H-infinity norm optimization, which makes it possible to consider both driving point mechanical impedance and systems robustness to modeling uncertainty. A laboratory facility was set up to verify experimentally the analytical and design theory.

Su, Renjeng↗
NASA NTRS1996

Multi Objective Controller Design for Linear System via Optimal Interpolation

We propose a methodology for the design of a controller which satisfies a set of closed-loop objectives simultaneously. The set of objectives consists of: (1) pole placement, (2) decoupled command tracking of step inputs at steady-state, and (3) minimization of step response transients with respect to envelope specifications. We first obtain a characterization of all controllers placing the closed-loop poles in a prescribed region of the complex plane. In this characterization, the free parameter matrix Q(s) is to be determined to attain objectives (2) and (3). Objective (2) is expressed as determining a Pareto optimal solution to a vector valued optimization problem. The solution of this problem is obtained by transforming it to a scalar convex optimization problem. This solution determines Q(O) and the remaining freedom in choosing Q(s) is used to satisfy objective (3). We write Q(s) = (l/v(s))bar-Q(s) for a prescribed polynomial v(s). Bar-Q(s) is a polynomial matrix which is arbitrary except that Q(O) and the order of bar-Q(s) are fixed. Obeying these constraints bar-Q(s) is now to be 'shaped' to minimize the step response characteristics of specific input/output pairs according to the maximum envelope violations. This problem is expressed as a vector valued optimization problem using the concept of Pareto optimality. We then investigate a scalar optimization problem associated with this vector valued problem and show that it is convex. The organization of the report is as follows. The next section includes some definitions and preliminary lemmas. We then give the problem statement which is followed by a section including a detailed development of the design procedure. We then consider an aircraft control example. The last section gives some concluding remarks. The Appendix includes the proofs of technical lemmas, printouts of computer programs, and figures.

Ozbay, Hitay↗
NASA NTRS1974

Optimal control problems with mixed control-phase variable equality and inequality constraints

In this paper, necessary conditions are obtained for optimal control problems containing equality constraints defined in terms of functions of the control and phase variables. The control system is assumed to be characterized by an ordinary differential equation, and more conventional constraints, including phase inequality constraints, are also assumed to be present. Because the first-mentioned equality constraint must be satisfied for all t (the independent variable of the differential equation) belonging to an arbitrary (prescribed) measurable set, this problem gives rise to infinite-dimensional equality constraints. To obtain the necessary conditions, which are in the form of a maximum principle, an implicit-function-type theorem in Banach spaces is derived.

Makowski, K.↗
DOE OSTI2024

Eco-driving Profile Optimization by Dynamic Programming for Battery Electric Vehicles

Although full automation has not yet been achieved, automated vehicles are a valid research area. Not only would automated vehicles provide ultimate driver convenience, but they would maximize energy efficiency by eliminating undesired human driving behaviors and optimally controlling the powertrain. From the perspective of control related to energy saving, speed profile optimization is important for improving system efficiency and satisfying passenger demands. This study employs Dynamic Programming (DP) to solve the constrained optimal problem for travel time, distance, and speed limit by exploring all possible control options. The solutions obtained by DP demonstrate consistent control patterns combining four control modes-acceleration, cruising, coasting, and braking, with cruising or coasting being selective depending on the boundary conditions. Further, this study introduces DP-based simulation results and attempts to provide comprehensive interpretations of the optimal policy by analyzing the essential factors that affect the control problem, including boundary conditions, road load, and powertrain characteristics. Based on these interpretations, the control concepts can be explained as the optimal policy selecting the best control option based on system efficiency and boundary conditions. The results of DP are compared with a human-like driver model to show that the optimal speed profiles can effectively reduce energy consumption.

Autonomous vehicles↗