SEARCH · Engineering Papers
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.
Large scale systems are defined as systems requiring more than one decision maker to control the system. Decentralized control and decomposition are discussed for large scale dynamic systems. Information and many-person decision problems are analyzed.
Architecture for fully autonomous digital electronic control system developed for use in identification and adaptive control of dynamic system. Architecture modular and hierarchical. Combines relatively simple, standardized processing units into complex parallel-processing subsystems. Although architecture based on neural-network concept, processing units themselves not neural networks; processing units implemented by programming of currently available microprocessors.
Shor's factoring algorithm, believed to provide an exponential speedup over classical computation, relies on finding the period of an exactly periodic quantum modular multiplication operator. This exact periodicity is the hallmark of an integrable system, which is paradoxical from the viewpoint of quantum chaos, given that the classical limit of the modular multiplication operator is a highly chaotic system that occupies the “maximally random” Bernoulli level of the classical ergodic hierarchy. In this work, we approach this apparent paradox from a quantum dynamical systems viewpoint, and consider whether signatures of ergodicity and chaos may indeed be encoded in such an “integrable” quantization of a chaotic system. We show that Shor's modular multiplication operator, in specific cases, can be written as a superposition of quantized 𝐴-baker's maps exhibiting more typical signatures of quantum chaos and ergodicity. This work suggests that the integrability of Shor's modular multiplication operator may stem from the interference of other “chaotic” quantizations of the same family of maps, and paves the way for deeper studies on the interplay of integrability, ergodicity, and chaos in and via quantum algorithms.
We present a goal-oriented framework for constructing digital twins with the following properties: (1) they employ discretizations of high-fidelity partial differential equation (PDE) models governed by autonomous dynamical systems, leading to large-scale forward problems; (2) they solve a linear inverse problem to assimilate observational data to infer uncertain model components followed by a forward prediction of the evolving dynamics; and (3) the entire end-to-end, data-to-inference-to-prediction computation is carried out without approximation and in real time through a Bayesian framework that rigorously accounts for uncertainties. Several challenges must be overcome to realize this framework, including the large scale of the forward problem, the high dimensionality of the parameter space, and for a class of problems including those we target, the slow decay of the singular values of the parameter-to-observable map. Here we introduce a methodology to overcome these challenges by exploiting the autonomous structure of the forward model to decompose the solution of the inverse problem into a one-time-only offline phase in which the PDE model is solved a limited number of times (equal to the number of sensors), and an online phase that maps well onto GPUs and computes the parameter inference and prediction of quantities of interest in real time, given observational data. Our ultimate goal is to apply this framework to construct digital twins for subduction zones, including Cascadia, to provide early warning for tsunamis generated by megathrust earthquakes. To this end, we demonstrate how our methodology can be used to employ seafloor pressure observations, along with the coupled acoustic–gravity wave equations, to infer the earthquake-induced spatiotemporal seafloor motion (discretized with $\mathscr{O}$ (10 9 ) parameters) and forward predict the tsunami propagation. We present results of an end-to-end inference, prediction, and uncertainty quantification for a representative test problem with $\mathscr{O}$ (10 8 ) inversion parameters for which goal-oriented Bayesian inference is accomplished exactly and in real time, that is, in a matter of seconds.
Application of control theory to development of dynamic system models for human operators in control loop
Differential equations and their relationships to dynamic systems and control theory, with bibliographies
A new approach for adaptive identification and control of structural dynamic systems by using least squares lattice filters thar are widely used in the signal processing area is presented. Testing procedures for interfacing the lattice filter identification methods and modal control method for stable closed loop adaptive control are presented. The methods are illustrated for a free-free beam and for a complex flexible grid, with the basic control objective being vibration suppression. The approach is validated by using both simulations and experimental facilities available at the Langley Research Center.
Comparative numerical studies of four constraint treatment techniques for the simulation of general multibody dynamic systems are presented, and results are presented for the example of a classical crank mechanism and for a simplified version of the seven-link manipulator deployment problem. The staggered stabilization technique (Park, 1986) is found to yield improved accuracy and robustness over Baumgarte's (1972) technique, the singular decomposition technique (Walton and Steeves, 1969), and the penalty technique (Lotstedt, 1979). Furthermore, the staggered stabilization technique offers software modularity, and the only data each solution module needs to exchange with the other is a set of vectors plus a common module to generate the gradient matrix of the constraints, B.
Computer implementation of gradient method in continuous and discrete optimization of dynamic system
A number of methods for the detection of abrupt changes (such as failures) in stochastic dynamical systems were surveyed. The class of linear systems were emphasized, but the basic concepts, if not the detailed analyses, carry over to other classes of systems. The methods surveyed range from the design of specific failure-sensitive filters, to the use of statistical tests on filter innovations, to the development of jump process formulations. Tradeoffs in complexity versus performance are discussed.
Some properties are derived for the solutions of the variational equations of a class of dynamical systems. It is shown that under rather general conditions, the matrix of the linearized Lagrangian equations of motion have an important property for which the word 'skew-symplectic' has been introduced. It is also shown that the fundamental matrix of solutions is 'symplectic', the word symplectic being used here in a more general sense than in the classical literature. Two consequences of the symplectic property are that the fundamental matrix is easily invertible and that the eigenvalues appear in reciprocal pairs. The effect of coordinate transformations is also analyzed; in particular, the change from Lagrangian to canonical systems.
A progress report is presented that deals with three major topics related to Tethered Satellite System Dynamics. The SAO rotational dynamics computer code was updated. The program is now suitable to deal with inclined orbits. The output has been also modified in order to show the satellite Euler angles referred to the rotating orbital frame. The three-dimensional high resolution computer program SLACK3 was developed. The code simulates the three-dimensional dynamics of a tether going slack taking into account the effect produced by boom rotations. Preliminary simulations on the three-dimensional dynamics of a recoiling slack tether are shown in this report. A program to evaluate the electric potential around a severed tether is immersed in a plasma. The potential is computed on a three-dimensional grid axially symmetric with respect to the tether longitudinal axis. The electric potential variations due to the plasma are presently under investigation.
Singular value decomposition is used to construct a coordinate transformation for a linear dynamic system subject to linear, homogeneous constraint equations. The method is compared with two commonly used methods, namely classical Gaussian elimination and Walton-Steeves approach. Although the classical method requires fewer numerical operations, the singular value decomposition method is more accurate and convenient in eliminating the dependent coordinates. Numerical examples are presented to demonstrate the application of the method.
The correspondence between iterated integrals and a noncommutative algebra is used to recast the given dynamical system from the time domain to the Laplace-Borel transform domain. It is then shown that the following algebraic criterion has to be satisfied for the outset of chaos: the limit (as tau approaches infinity and x sub 0 approaches infinity) of ((sigma(k=0) (tau sup k) / (k* x sub 0 sup k)) G II G = 0, where G is the generating power series of the trajectories, the symbol II is the shuffle product (le melange) of the noncommutative algebra, x sub 0 is a noncommutative variable, and tau is the correlation parameter. In the given equation, symbolic forms for both G and II can be obtained by use of one of the currently available symbolic languages such as PLI, REDUCE, and MACSYMA. Hence, the criterion is a computer-algebraic one.
From December 1994 to September 1998, testing with a 2 kW(sub e) Solar Dynamic power system resulted in 33 individual tests, 886 hours of solar heating, and 783 hours of power generation. Power generation ranged from 400 watts to over 2 kW(sub e), and SD system efficiencies have been measured up to 17 per cent, during simulated low-Earth orbit operation. Further, the turbo-alternator-compressors successfully completed 100 start/stops on foil bearings. Operation was conducted in a large thermal/vacuum facility with a simulated Sun at the NASA Lewis Research Center. The Solar Dynamic system featured a closed Brayton conversion unit integrated with a solar heat receiver, which included thermal energy storage for continuous power output through a typical low-Earth orbit. Two power conversion units and three alternator configurations were used during testing. This paper will review the test program, provide operational and performance data, and review a number of technology issues.
Sufficient conditions derived for absolute stability of dynamic systems containing nonlinear functions of several state variables
This paper is concerned with the stability of a hybrid dynamical system in the neighborhood of a nontrivial equilibrium, where the system consists of one rigid part and n elastic members. The body moves in a central-force field with its mass center describing a circular orbit. The nontrivial equilibrium is defined by steady rotation of the system at an angular velocity equal to the orbital velocity, with the elastic members being in deformed state. A Liapunov stability analysis is performed by assuming small perturbations about the nontrivial equilibrium, where the latter is generally defined by nonlinear differential equations. The theory is applied to a gravity-gradient stabilized satellite with flexible appendages.
Two approaches are investigated for obtaining estimates on the error between approximate and exact solutions of dynamic systems. The first method is primarily useful if the system is nonlinear and of low dimension. The second requires construction of a system of v-functions but is useful for higher dimensional systems, either linear or nonlinear.