Outline bibliography, and KWIC index on mechanical theorem proving and its applications
Bibliography and KWIC index on mechanical theorem proving and its applications
Vanderbrug, G. J.↗
SEARCH · Search NASA
Results for “Index theorem”
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.
An algorithm for control system design via parameter optimization
An algorithm for design via parameter optimization has been developed for linear-time-invariant control systems based on the model reference adaptive control concept. A cost functional is defined to evaluate the system response relative to nominal, which involves in general the error between the system and nominal response, its derivatives and the control signals. A program for the practical implementation of this algorithm has been developed, with the computational scheme for the evaluation of the performance index based on Lyapunov's theorem for stability of linear invariant systems.
Sinha, P. K.↗
A linear-quadratic-Gaussian control problem with innovations-feedthrough solution
The structure of the separation-theorem solution to the standard linear-quadratic-Gaussian (LQG) control problem does not involve direct output feedback as a consequence of the form of the performance index. It is shown that the performance index may be generalized in a natural fashion so that the optimal control law involves output feedback or, equivalently, innovations feedthrough (IF). Applications where this formulation may be advantageous are indicated through an examination of properties of the IF control law.
Platzman, L. K.↗
Hamiltonian indices and rational spectral densities
Several (global) topological properties of various spaces of linear systems, particularly symmetric, lossless, and Hamiltonian systems, and multivariable spectral densities of fixed McMillan degree are announced. The study is motivated by a result asserting that on a connected but not simply connected manifold, it is not possible to find a vector field having a sink as its only critical point. In the scalar case, this is illustrated by showing that only on the space of McMillan degree = /Cauchy index/ = n, scalar transfer functions can one define a globally convergent vector field. This result holds both in discrete-time and for the nonautonomous case. With these motivations in mind, theorems of Bochner and Fogarty are used in showing that spaces of transfer functions defined by symmetry conditions are, in fact, smooth algebraic manifolds.
Byrnes, C. I.↗
Explanation of the computer listings of Faraday factors for INTASAT users
Using a simplified form of the Appleton-Hartree formula for the phase refractive index, a relationship was obtained between the Faraday rotation angle along the angular path and the total electron content along the vertical path, intersecting the angular at the height of maximum electron density. Using the second mean value theorem of integration, the function B cosine theta second chi was removed from under the integral sign and replaced by a 'mean' value. The mean value factors were printed on the computer listing for 39 stations receiving signals from the INTASAT satellite during the specified time period. The data is presented by station and date. Graphs are included to demonstrate the variation of the Faraday factor with local time and season, with magnetic latitude, elevation and azimuth angles. Other topics discussed include a description of the bent ionospheric model, the earth's magnetic field model, and the sample computer listing.
Nesterczuk, G.↗
Maneuvering strategies using CMGs
This paper considers control strategies for maneuvering spacecraft using Single-Gimbal Control Momentum Gyros (CMGs). A pyramid configuration using four gyros is utilized. Preferred initial gimbal angles for maximum utilization of CMG momentum are obtained for some known torque commands. Feedback control laws are derived from the stability point of view by using the Liapunov's Second Theorem. The gyro rates are obtained by the pseudo-inverse technique. The effect of gimbal rate bounds on controllability are studied for an example maneuver. Singularity avoidance is based on limiting the gyro rates depending on a singularity index.
Oh, H. S.↗
Reconstruction of a Broadband Spectrum of Alfvenic Fluctuations
Alfvenic fluctuations in the solar wind exhibit a high degree of velocities and magnetic field correlations consistent with Alfven waves propagating away and toward the Sun. Two remarkable properties of these fluctuations are the tendencies to have either positive or negative magnetic helicity (-1 less than or equal to sigma(sub m) less than or equal to +1) associated with either left- or right- topological handedness of the fluctuations and to have a constant magnetic field magnitude. This paper provides, for the first time, a theoretical framework for reconstructing both the magnetic and velocity field fluctuations with a divergence-free magnetic field, with any specified power spectral index and normalized magnetic- and cross-helicity spectrum field fluctuations for any plasma species. The spectrum is constructed in the Fourier domain by imposing two conditions-a divergence-free magnetic field and the preservation of the sense of magnetic helicity in both spaces-as well as using Parseval's theorem for the conservation of energy between configuration and Fourier spaces. Applications to the one-dimensional spatial Alfvenic propagation are presented. The theoretical construction is in agreement with typical time series and power spectra properties observed in the solar wind. The theoretical ideas presented in this spectral reconstruction provide a foundation for more realistic simulations of plasma waves, solar wind turbulence, and the propagation of energetic particles in such fluctuating fields.
waves↗
Do stars that lose mass expand or contract? A semianalytical approach
Semianalytic methods are used to determine whether a star of polytropic index n expands or contracts following an insentropic loss of mass. It is found that most stars shrink, including radiative stars which can be approximated by polytropes of index roughly three. However, stars that have a ratio of specific heats gamma only slightly larger than 1 + 1/n do expand if the perturbation of the core density is sufficiently large. For stars that shrink, the fractional change in the radius is not a linear function of the fractional change in mass. Using Lane's theorem, it is shown that a star with gamma = 4/3 cannot lose mass isentropically, although the radius increases if the core density is reduced.
Heisler, J.↗
Interface extinction and subsurface peaking of the radiation pattern of a line source
The radiation pattern of a line source lying along the plane interface of two dielectric half-spaces is calculated. It is found that the pattern at the interface has a null (interface extinction); that the pattern in the upper half-space, whose index of refraction is taken to be less than that of the lower half-space, has a single lobe with a maximum normal to the interface; and that the pattern in the lower half-space (subsurface region) has two maxima (peaks) straddling symmetrically a minimum. Interpretation of these results in terms of ray optics, Oseen's extinction theorem, and the Cerenkov effect are given.
Engheta, N.↗
X-ray emission from clusters of galaxies
Some X-ray spectral observations of approximately 30 clusters of galaxies from HEAO-1 are summarized. There exists strong correlations between X-ray luminosity, L(x), and temperature kT in the form L(x)alphaT to the 2.3 power. This result combined with the L(x) central galaxy density relation and the virial theorem indicates that the core dadius of the gas should be roughly independent of L(x) or KT and that more luminous clusters have a greater fraction of their virial mass in gas. The poor correlation of KT and optical velocity dispersion seems to indicate that clusters have a variety of equations of state. There is poor agreement between X-ray imaging observations and optical and X-ray spectral measures of the polytropic index. Most clusters show Fe emission lines with a strong indication that they all have roughly 1/2 solar abundance. The evidence for cooling in the cores of several clusters is discussed based on spectral observations with the Einstein solid state spectrometer.
Mushotzky, R. F.↗
X-ray emission from clusters of galaxies
Some X-ray spectral observations of approximately 30 clusters of galaxies from HEAO-1 are summarized. There exists strong correlation betwen X-ray luminosity, L(x), and temperature kT in the form L(x)alphaT to the 2.3 power. This result combined with the L(x) central galaxy density relation and the virial theorem indicates that the core dadius of the gas should be roughly independent of L(x) or Kt and that more luminous clusters have a greater fraction of their virial mass in gas. The poor correlation of KT and optical velocity dispersion seems to indicate that clusters have a variety of equations of state. There is poor agreement between X-ray imaging observations and optical and X-ray spectral measures of the polytropic index. Most clusters show Fe emission lines with a strong indication that they all have roughly 1/2 solar abundance. The evidence for cooling in the cores several clusters is discussed based on spectral observations with the Einstein solid state spectrometer.
Mushotzky, R. F.↗
Adaptive stochastic control for a class of linear systems.
The problem considered in this paper deals with the control of linear discrete-time stochastic systems with unknown (possibly time-varying and random) gain parameters. The philosophy of control is based on the use of an open-loop feedback optimal (OLFO) control using a quadratic index of performance. It is shown that the OLFO system consists of (1) an identifier that estimates the system state variables and gain parameters and (2) a controller described by an 'adaptive' gain and correction term. Several qualitative properties and asymptotic properties of the OLFO adaptive system are discussed. Simulation results dealing with the control of stable and unstable third-order plants are presented. The key quantitative result is the precise variation of the control system adaptive gains as a function of the future expected uncertainty of the parameters; thus, in this problem the ordinary 'separation theorem' does not hold.
Tse, E.↗