MINIMAL POLYNOMIAL MATRIX AND LINEAR MULTIVARIABLE SYSTEM(Ⅱ)

part(Ⅰ) of this work is on the theory of minimal polynomial matrix and Part(Ⅱ)is onthe applications of this theory to linear multivarible systeme.In I of this part,using the theory to Part(Ⅰ),some results about input part of a linearmultivarble system are discussed in detail and in Ⅱ,using duality properties,the conceptsabout row n.p.m.and row generating system,etc.are given. and some results about outputpart of linear multivariable system are discussed, too.In Ⅲ,we discuss the approach whichcan give the polynomial model with less dimension from the state-space model and in Ⅳ wediscuss tha inverse of the problem to give the state-space model from the polynomial model.Some interesting examples are given to explain the theory and the approach.     

Connection between Volterra series and perturbation method in nonlinear systems analyses

This paper is concerned with the connection between the Volterra series and the regular perturbation method in nonlinear systems analyses. It is revealed for the first time that, for a forced polynomial nonlinear system, if its derived linear system is a damped dissipative system, the steady response obtained through the regular perturbation method is exactly identical to the response given by the Volterra series. On the other hand, if the derived linear system is an undamped conservative system, then the Volterra series is incapable of modeling the forced polynomial nonlinear system. Numerical examples are further presented to illustrate these points. The results provide a new criterion for quickly judging whether the Volterra series is applicable for modeling a given polynomial nonlinear system.     

THE RELATIONSHIP BETWEEN THE STABILITY AND THE OPTIMALITY OF LINEAR SYSTEMS(Ⅱ)

Different from the inverse problem put forward by R.E.Kalman, another kind ofinverse problem of linear optimal control is proposed and discussed in[1] as follows:Givenan asymptotically stable linear constant system and a nonnegative quadratic performanceindex, when can a state-feedback be separated from the stable system so that this state-feedback control law is optimal for the given index? In this paper this problem is extended.Similar conclusions are obtained for linear discrete systems and linear time-variablesystems. According to these conclusions we can say that the correspondence between theasymptotically stable system and the optimal feedback system is the inherent character ofall kinds of linear systems.     

Absolute stabilization related to circle criterion: An LMI-based approach

A method is proposed for synthesizing output feedback controllers for nonlinear Lur' e systems . The problem of designing an output dynamic controller for uncertain-free systems and systems subject to multiplicative norm-bounded perturbations in the linear part were proposed respectively. The procedure is based on the use of the absolute stability, through the circle criterion, and a linear matrix inequalities (LAI) formulation. The controller existence conditions are given in terms of existence of suitable solutions to a set of parameter-dependent LMIs.     

SOME PROBLEMS OF SECOND METHOD OF LYAPUNOV. IN DISCRETE SYSTEMS

The geometrk, properties of the solution set of Lyapunov equation of linear time invariant discrete system are discussed. Furthermore, the stabitility of piecewise linear discrete systems is studied and some sufficient conditions are obtained for the asymptotical stability of piecewise linear discrete systems in which each sub-system is stable. The results are applied to second order piecewise linear systems.     

Analytic solutions of a class of nonlinear partial differential equations

An approach is presented for computing the adjoint operator vector of a class of nonlinear （that is, partial-nonlinear） operator matrices by using the properties of conjugate operators to generalize a previous method proposed by the author. A unified theory is then given to solve a class of nonlinear （partial-nonlinear and including all linear） and non-homogeneous differential equations with a mathematical mechanization method. In other words, a transformation is constructed by homogenization and triangulation, which reduces the original system to a simpler diagonal system. Applications are given to solve some elasticity equations.     

A CRITERION FOR THE STABILITY OF MOTION OF NONLINEAR SYSTEM

As to an autonomous nonlinear system, the stability of the equilibrium state in a sufficiently small neighborhood of the equilibrium state can be determined by eigenvalues of the linear part of the nonlinear system provided that the eigenvalues are not in a critical case. Many methods may be used to detect the stability for a linear system. A lot of researches for determining the stability of a nonlinear system are completed by mathematicians and mechanicians but most of them are methods for the special forms of nonlinear systems. Till now, none of these methods can be conveniently applied to all nonlinear systems. The method introduced by this paper gives the necessary and sufficient conditions of the stability of a nonlinear system. The familiar Krasovski's method is a special case of this method     

ON GENERAL FORM OF NAVIER-STOKES EQUATIONS AND IMPLICIT FACTORED SCHEME

A general weak conservative form of Navier-Stokes equations expressed with respect to non-orthogonal curvilinear coordinates and with primitive variables was obtained by using tensor analysis technique, where the contravariant and covariant velocity components were employed. Compared with the current coordinate transformation method, the established equations are concise and forthright, and they are more convenient to be used for solving problems in body-fitted curvitinear coordinate system. An implicit factored scheme for solving the equations is presented with detailed discussions in this paper. For n-dimensional flow the algorithm requires n-steps and for each step only a block tridiagonal matrix equation needs to be solved. It avoids inverting the matrix for large systems of equations and enhances the speed of arithmetic. In this study, the Beam-Warming's implicit factored schceme is extended and developed in non-orthogonal curvilinear coordinate system.     

On general form of Navier-Stokes equations and implicit factored scheme

A general weak conservative form of Navier-Stokes equations expressed with respect to non-orthogonal Curvilinear coordinates and with primitive variables was obtained by using tensor analysis technique, where the contravariant and covariant velocity components were employed. Compared with the current coordinate transformation method, the established equations are concise and forthright, and they are more convenient to be used for solving problems in body-fitted curvilinear coordinate system. An implicit factored scheme for solving the equations is presented with detailed discussions in this paper. For n-dimensional flow the algorithm requires n-steps and for each step only a block tridiagonal matrix equation needs to be solved. It avoids inverting the matrix for large systems of equations and enhances the speed of arithmetic. In this study, the Beam- Warming’s implicit factored schceme is extended and developed in non-orthogonal curvilinear coordinate system.     

Generalized passivity-based chaos synchronization

In this paper, a new passivity-based synchronization method for a general class of chaotic systems is proposed. Based on the Lyapunov theory and the linear matrix inequality （LMI） approach, the passivity-based controller is presented to make the synchronization error system not only passive but also asymptotically stable. The proposed controller can be obtained by solving a convex optimization problem represented by the LMI. Simulation studies for the Genesio-Tesi chaotic system and the Qi chaotic system are presented to demonstrate the effectiveness of the proposed scheme.     

基于Nataf变换的层递响应面法分析结构可靠度

针对现有的随机响应面法(SRSM)和层递响应面法(CRSM)存在的局限性,本文结合预处理随机Krylov子空间法,建立了基于Nataf变换的向量型层递响应面法,并应用于含非高斯型互相关随机变量的结构可靠度分析。首先,利用预处理随机Krylov子空间的层递基向量近似展开结构的总体节点位移向量,建立向量型层递响应面;然后,根据Nataf变换建立非高斯型互相关随机变量与独立标准正态随机变量之间的关系式,将独立标准正态空间内由Hermite多项式的根组合形成的概率配点变换成非高斯空间内的概率配点,并通过回归分析确定层递响应面的待定系数。计算结果表明,本文建立的CRSM属于向量型响应面法,能较好地处理含非高斯型互相关随机变量的结构可靠度分析问题,计算精度和效率均较高,且具有良好的全域性。     

CONTROLLABILITY OF A CLASS OF HYBRID DYNAMIC SYSTEMS (Ⅰ)—BASIC PROPERTIES AND PRELIMINARY RESULTS

IntroductionHybriddynamicsystemscombinebothcontinuoustimedynamicsanddiscreteeventdynamics.Thetwodynamicsinteractoneachothersuchthatthesystemsperformmorecomplexdynamicbehaviors .Switchedlinearsystemsareanimportantclassofhybriddynamicsystemswhichconsistofafamilyoflineartime_invariantsystemsandaswitchinglawspecifyingtheswitchingbetweenthem .Inrecentyears ,therehasbeenincreasinginterestinthecontrolproblemsofswitchedsystemsduetotheirsignificancebothintheoryandapplications[1～ 2 1] .Thusfar,therese…     

Nonexistence of invariant manifolds in fractional-order dynamical systems

Invariant manifolds are important sets arising in the stability theory of dynamical systems. In this article, we take a brief review of invariant sets. We provide some results regarding the existence of invariant lines and parabolas in planar polynomial systems. We provide the conditions for the invariance of linear subspaces in fractional-order systems. Further, we provide an important result showing the nonexistence of invariant manifolds (other than linear subspaces) in fractional-order systems.

     

CONTROLLABILITY OF A CLASS OF HYBRID DYNAMIC SYSTEMS (Ⅰ)—BASIC PROPERTIES AND PRELIMINARY RESULTS

The controllability for switched linear system with time-delay in controls was first investigated. The whole work contains three parts. This is the first part, including problem formulation and some preliminaries. Firstly, the mathematical model of switched linear systems with time-delay in control functions was presented. Secondly, the concept of column space, cyclic invariant subspace and generalized cyclic invariant subspace were introduced. And some basic properties, such as separation lemma, were presented. Finally, a basic lemma was given to reveal the relation between the solution set of a centain integral equations and the generalized cyclic invariant subspace. This lemma will play an important role in the determination of controllability. All these definitions and lemmas are necessary research tools for controllability analysis. Contributed by YE Qing-kai Foundation items: the National Natural Science Foundation of China (69925307, 60274001); the National Key Basic Reasearch and Development Program (2002CB312200); the Postdoctoral Program Foundation of China Biography: XIE Guang-ming (1972∼), Doctor (E-mail: xiegming@mech.pku.edu.cn)     

EXISTENCE OF BOUNDED SOLUTIONS ON THE REAL LINE FOR LIENARD SYSTEM

The existence of monotone and non-monotone solutions of boundary value problem on the real line for Lienard equation is studied. Applying the theory of planar dynamical systems and the comparison method of vector fields defined by Lienard system and the system given by symmetric transformation or quasi-symmetric transformation, the invariant regions of the system are constructed. The existence of connecting orbits can be proved. A lot of sufficient conditions to guarantee the existence of solutions of the boundary value problem are obtained. Especially, when the source function is bi-stable, the existence of infinitely many monotone solusion is obtained.     

Existence of bounded solutions on the real line for Liénard system

The existence of monotone and non-monotone solutions of boundary value problem on the real line for Liénard equation is studied. Applying the theory of planar dynamical systems and the comparison method of vector fields defined by Liénard system and the system given by symmetric transformation or quasi-symmetric transformation, the invariant regions of the system are constructed. The existence of connecting orbits can be proved. A lot of sufficient conditions to guarantee the existence of solutions of the boundary value problem are obtained. Especially, when the source function is bi-stable, the existence of infinitely many monotone solusion is obtained.     

Efficient stochastic FEM for flow in heterogeneous porous media. Part 1: random Gaussian conductivity coefficients

This paper is concerned with the development of efficient iterative methods for solving the linear system of equations arising from stochastic FEMs for single‐phase fluid flow in porous media. It is assumed that the conductivity coefficient varies randomly in space according to some given correlation function and is approximated using a truncated Karhunen–Loève expansion. Distinct discretizations of the deterministic and stochastic spaces are required for implementations of the stochastic FEM. In this paper, the deterministic space is discretized using classical finite elements and the stochastic space using a polynomial chaos expansion. The highly structured linear systems which result from this discretization mean that Krylov subspace iterative solvers are extremely effective. The performance of a range of preconditioned iterative methods is investigated and evaluated in terms of robustness with respect to mesh size and variability of the conductivity coefficient. An efficient symmetric block Gauss–Seidel preconditioner is proposed for problems in which the conductivity coefficient has a large standard deviation.The companion paper, herein, referred to as Part 2, considers the situation in which Gaussian random fields are transformed into lognormal ones by projecting the truncated Karhunen–Loève expansion onto a polynomial chaos basis. This results in a stochastic nonlinear problem because the random fields are represented using polynomial chaos containing terms that are generally nonlinear in the random variables. Copyright © 2013 John Wiley & Sons, Ltd.     

Group consensus of discrete-time multi-agent systems with fixed and stochastic switching topologies

This paper investigates the group consensus problem for discrete-time multi-agent systems with a fixed topology and stochastic switching topologies. The stochastic switching topologies are assumed to be governed by a finite-time Markov chain. The group consensus problem of the multi-agent systems is converted into the stability problem of the error systems by a model transformation. Based on matrix theory and linear system theory, we obtain two necessary and sufficient conditions of couple-group consensus for the case of fixed topology, and one necessary and sufficient condition of mean-square couple-group consensus for the case of stochastic switching topologies. Algorithms are provided to design the feasible control gains. Then, the results are extended to the case of multi-group consensus. Finally, simulation examples are given to show the effectiveness of the proposed results.     

哈密顿系统正则变换在时变最优控制中的应用

利用哈密顿系统正则变换和生成函数理论求解线性时变最优控制问题,构造了新的最优控制律形式并提出了控制增益计算的保结构算法. 利用生成函数求解最优控制导出的哈密顿系统两端边值问题,并构造线性时变系统的最优控制律,由第2类生成函数所构造的最优控制律避免了末端时刻出现无穷大反馈增益. 控制系统设计中需求解生成函数满足的时变矩阵微分方程组. 根据生成函数与哈密顿系统状态转移矩阵之间的关系,从正则变换的辛矩阵描述出发,导出了求解这组微分方程组的保结构递推算法.为了保持递推计算中的辛矩阵结构,哈密顿系统状态转移矩阵的计算中利用了Magnus级数.