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 469 records · Page 26
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

An exact algebraic solution of the infimum in H-infinity optimization with output feedback

This paper presents a simple and noniterative procedure for the computation of the exact value of the infimum in the standard H-infinity-optimal control with output feedback. The problem formulation is general and does not place any restrictions on the direct feedthrough terms between the control input and the controlled output variables, and between the disturbance input and the measurement output variables. The method is applicable to systems that satisfy (1) the transfer function from the control input to the controlled output is right-invertible and has no invariant zeros on the j(w) axis and, (2) the transfer function from the disturbance to the measurement output is left-invertible and has no invariant zeros on the j(w) axis. A set of necessary and sufficient conditions for the solvability of H-infinity-almost disturbance decoupling problem via measurement feedback with internal stability is also given.

Chen, Ben M.↗
DOE OSTI2020

Generalized Grad–Shafranov equation for non-axisymmetric MHD equilibria

The structure of static MHD equilibria that admit continuous families of Euclidean symmetries is well understood. Such field configurations are governed by the classical Grad–Shafranov equation, which is a single elliptic partial differential equation in two space dimensions. By revealing a hidden symmetry, here we show that in fact all smooth solutions of the equilibrium equations with non-vanishing pressure gradients away from the magnetic axis satisfy a generalization of the Grad–Shafranov equation. In contrast to solutions of the classical Grad–Shafranov equation, solutions of the generalized equation are not automatically equilibria, but instead only satisfy force balance averaged over the one-parameter hidden symmetry. We then explain how the generalized Grad–Shafranov equation can be used to reformulate the problem of finding exact three-dimensional smooth solutions of the equilibrium equations as finding an optimal volume-preserving symmetry.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2024

FARM supervisory capabilities for thermal energy storage

The FARM (Feasible Actuator Range Modifier) module is a component of the RAVEN-based FORCE framework for the analysis of Integrated Energy Systems (IES). FARM aids HERON in the solution of the power dispatch problem by evaluating feasible set-point signals to be issued to the control systems of the different IES unit components. Set-points need to satisfy limits on both production variables (i.e., the variables to be optimized such as the electrical power, etc.) and process variables tied to the service life of equipment (e.g., steam flowrate, vessel pressure, turbine firing temperature, etc.). To enforce all these limits, a two-stage approach is adopted. First, the power dispatcher algorithm in HERON module estimates set-points that meet the constraints on the production variables, e.g., power levels and power ramp rate limits. These constraints are called explicit constraints. Then, if necessary, FARM adjusts these set-points to ensure the respect of the limits on the process variables of interest, given the knowledge of the system dynamics acquired through machine learning algorithms. These constraints are called implicit constraints. From this standpoint, FARM constitutes a bridge between the HERON power dispatcher that adopts a simplified description of the IES unit (low-resolution physics) and the HYBRID high-fidelity models (high-resolution physics). In this report, an overview of the major capabilities of the latest release of FARM is provided, along with a summary of the tool demonstration campaign conducted at the Dynamic Energy Technology and Integration Laboratory (DETAIL) facility. These results assess the performance of the control system architecture embedding FARM both as a Validator of the HERON power dispatcher and as a real time Supervisory control scheme. Additionally, the report outlines the areas that FARM might benefit from, along with proposed solutions.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1972

Numerical method for the solution of large systems of differential equations of the boundary layer type

A numerical method for the solution of large systems of nonlinear differential equations of the boundary-layer type is described. The method is a modification of the technique for satisfying asymptotic boundary conditions. The present method employs inverse interpolation instead of the Newton method to adjust the initial conditions of the related initial-value problem. This eliminates the so-called perturbation equations. The elimination of the perturbation equations not only reduces the user's preliminary work in the application of the method, but also reduces the number of time-consuming initial-value problems to be numerically solved at each iteration. For further ease of application, the solution of the overdetermined system for the unknown initial conditions is obtained automatically by applying Golub's linear least-squares algorithm. The relative ease of application of the proposed numerical method increases directly as the order of the differential-equation system increases. Hence, the method is especially attractive for the solution of large-order systems. After the method is described, it is applied to a fifth-order problem from boundary-layer theory.

Green, M. J.↗
NASA NTRS1974

On differentiating the probability of error in multipopular feature selection

A method of linear feature selection for n dimensional observation vectors which belong to one of m populations is presented. Each population has a known apriori probability and is described by a known multivariate normal density function. Specifically we consider the problem of finding a k x n matrix B of rank k (k n) for which the transformed probability of misclassification is minimized. Providing that the transformed a posterior probabilities are distinct theoretical results are obtained which, for the case k = l, give rise to a numerically tractable formula for the derivative of the probability of misclassification. It is shown that for the two population problem this condition is also necessary. The dependence of the minimum probability of error on the a priori probabilities is investigated. The minimum probability of error satisfies a uniform Lipschitz condition with respect to the a priori probabilities.

Peters, B. C.↗
NASA NTRS1977

The use of Landsat for monitoring water parameters in the coastal zone

Landsats 1 and 2 have been successful in detecting and quantifying suspended sediment and several other important parameters in the coastal zone, including chlorophyll, particles, alpha (light transmission), tidal conditions, acid and sewage dumps, and in some instances oil spills. When chlorophyll a is present in detectable quantities, however, it is shown to interfere with the measurement of sediment. The Landsat banding problem impairs the instrument resolution and places a requirement on the sampling program to collect surface data from a sufficiently large area. A sampling method which satisfies this condition is demonstrated.

Bowker, D. E.↗
NASA NTRS1985

Problems with interpreting the radio emission from hot stars

Problems in hot star radio emission interpretation due to radio flux source and other modeling assumptions are examined. An upper limit constraint on the value of the mass loss rate divided by the constant wind velocity is imposed by assuming that the outflow is due to bremsstrahlung in a spherically symmetric wind with the stationary photosphere visible at 4500 A, and by the need for it to be less than the luminosity divided by c. The constraints are satisfied for the deduced values for OB supergiants, and to some extent for early 0 stars, but not for Wolf-Rayet stars, due to mass loss rates excessive by a factor of 10. It is suggested that the problem can be solved by postulating that part of the radio flux from Wolf-Rayet stars is due to processes in a low-density magnetized plasma.

Underhill, A. B.↗
NASA NTRS1987

Method for the determination of the three-dimensional aerodynamic field of a rotor-stator combination to compressible flow

Using the lifting surface theory and the acceleration potential method for the flow field of an axial turbocompressor stage, a recursive and a direct method are presented that make use of the eigenfunction solutions of the isolated rotor and stator to solve for the rotor-stator interaction problem. The net pressure distribution on the rotor and stator blades is represented by modified Birnbaum series, whose coefficients are determined using a matrix procedure and satisfying the boundary conditions on the surface of the blades. The relation between the matrix operators of the recursive and the direct methods is also shown. Expressions have been given for the blade circulation, the axial and tangential forces on the blade, the rotor power required, and the induced upwash velocity of the stage.

Ramachandra, Sridhar M.↗
NASA NTRS1987

Method for the determination of the three dimensional aerodynamic field of a rotor-stator combination in compressible flow

Using the lifting surface theory and the acceleration potential method for the flow field of an axial turbocompressor stage, a recursive and a direct method are presented that make use of the eigenfunction solutions of the isolated rotor and stator to solve for the rotor-stator interaction problem. The net pressure distribution on the rotor and stator blades is represented by modified Birnbaum series, whose coefficients are determined using a matrix procedure and satisfying the boundary conditions on the surface of the blades. The relation between the matrix operators of the recursive and the direct methods is also shown. Expressions have been given for the blade circulation, the axial and tangential forces on the blade, the rotor power required, and the induced upwash velocity of the stage.

Ramachandra, Sridhar M.↗
NASA NTRS1988

Boundary element method for 3-D cracks in a plate

Fundamental solutions which automatically satisfy boundary conditions at the interfaces of an elastic plate perfectly bonded to two elastic halfspaces are implemented in a three-dimensional BEM for crack problems. The BEM features a new integration scheme for highly singular kernels. The capability is achieved through a part analytic and part numerical integration procedure, such that the analytic part of the integration is similar for all slip/opening variations. Part-through elliptic cracks in an elastic plate with traction-free surfaces are analyzed and the SIF values along the crack front are found to compare favorably with the numerical SIF results of Raju and Newman (1979).

Fares, N.↗
NASA NTRS1987

RICIS research

The principle focus of one of the RICIS (Research Institute for Computing and Information Systems) components is computer systems and software engineering in-the-large of the lifecycle of large, complex, distributed systems which: (1) evolve incrementally over a long time; (2) contain non-stop components; and (3) must simultaneously satisfy a prioritized balance of mission and safety critical requirements at run time. This focus is extremely important because of the contribution of the scaling direction problem to the current software crisis. The Computer Systems and Software Engineering (CSSE) component addresses the lifestyle issues of three environments: host, integration, and target.

Mckay, Charles W.↗
NASA NTRS1991

Improved algorithms for mapping pipelined and parallel computations

Recent work on the problem of mapping pipelined or parallel computations onto linear array, shared memory, and host-satellite systems is extended. It is shown how these problems can be solved even more efficiently when computation module execution times are bounded from below, intermodule communication times are bounded from above, and the processors satisfy certain homogeneity constraints. The improved algorithms have significantly lower time and space complexities than the more general algorithms: in one case, an O(nm3) time algorithm for mapping m modules onto n processors is replaced with an O(nm log m) time algorithm, and the space requirements are reduced from O(nm2) to O(m). Run-time complexity is reduced further with parallel mapping algorithms based on these improvements, which run on the architectures for which they create mappings.

Nicol, David M.↗
NASA NTRS1991

Integrated INS/GPS/GLONASS navigation aid for manned space flight

While both the U.S. Navstar GPS and the Soviet GLONASS will furnish users consistent global coverage for position fixes, neither system is certifiable as a sole-source navigation system because not enough of its satellites will be in view of vehicular receivers at one time to satisfy the redundancy and system-monitoring standards of the FAA and ICAO. A hybrid receiver employing combined signals from both satellite fleets will overcome this problem. While recent test flight results confirm the feasibility of precision landing approaches conducted by these means, issues bearing on calibration, standardization, and organization remain to be resolved politically and diplomatically.

Anderman, Alfred↗
NASA NTRS1991

Neighboring extremal guidance for systems with a piecewise linear control

The neighboring extremal feedback control law is developed for systems with a piecewise linear control for the case where the optimal control is obtained by nonlinear programming techniques. To develop the control perturbation for a given deviation from the nominal path, the second variation is minimized subject to the constraint that the final conditions be satisfied. This process leads to a feedback relationship between the control perturbation and the measured deviation from the nominal state. A simple example, the lunar launch problem, is used to demonstrate the validity of the guidance law. For model errors on the order of 5 percent, the results indicate that 5 percent errors occur in the final conditions.

Hull, David G.↗
NASA NTRS1996

Parallelization of Finite Element Analysis Codes Using Heterogeneous Distributed Computing

Performance gains in computer design are quickly consumed as users seek to analyze larger problems to a higher degree of accuracy. Innovative computational methods, such as parallel and distributed computing, seek to multiply the power of existing hardware technology to satisfy the computational demands of large applications. In the early stages of this project, experiments were performed using two large, coarse-grained applications, CSTEM and METCAN. These applications were parallelized on an Intel iPSC/860 hypercube. It was found that the overall speedup was very low, due to large, inherently sequential code segments present in the applications. The overall execution time T(sub par), of the application is dependent on these sequential segments. If these segments make up a significant fraction of the overall code, the application will have a poor speedup measure.

Ozguner, Fusun↗
NASA NTRS1998

Vibrational Control of a Nonlinear Elastic Panel

The paper is concerned with the stabilization of the nonlinear panel oscillation by an active control. The control is actuated by a combination of additive and parametric vibrational forces. A general method of vibrational control is presented for stabilizing panel vibration satisfying a nonlinear beam equation. To obtain analytical results, a perturbation technique is used in the case of weak nonlinearity. Possible application to other types of problems is briefly discussed.

Chow, P. L.↗
NASA NTRS2002

Smart Aerospace eCommerce: Using Intelligent Agents in a NASA Mission Services Ordering Application

This paper describes how intelligent agent technology was successfully prototyped and then deployed in a smart eCommerce application for NASA. An intelligent software agent called the Intelligent Service Validation Agent (ISVA) was added to an existing web-based ordering application to validate complex orders for spacecraft mission services. This integration of intelligent agent technology with conventional web technology satisfies an immediate NASA need to reduce manual order processing costs. The ISVA agent checks orders for completeness, consistency, and correctness, and notifies users of detected problems. ISVA uses NASA business rules and a knowledge base of NASA services, and is implemented using the Java Expert System Shell (Jess), a fast rule-based inference engine. The paper discusses the design of the agent and knowledge base, and the prototyping and deployment approach. It also discusses future directions and other applications, and discusses lessons-learned that may help other projects make their aerospace eCommerce applications smarter.

Moleski, Walt↗