线性定常系统特征模型的特征参量辨识

说明线性定常系统特征模型的特征参量是一组由高阶线性定常系统的相关信息压缩而成,于是不能简单的作为与状态无关的慢时变参数来处理. 基于特征建模思想,建立了线性定常系统特征模型的特征参量与子空间方法之间的联系,给出了一种该特征模型的特征参量 的合成辨识算法.同时证明了在用于子空间辨识的样本量充分大和用于状态估计的时间充分长的情况下, 特征参量的估计值与真值之间的误差达到充分小. 最后,对于一个六阶的单输入单输出线性定常系统的仿真例子,对投影的带遗忘因子最小二乘算法和合成辨识算法进行了比较,验证了合成辨识算法的有效性.     

适宜选择、规范形和多变量线性系统辨识

多变量线性系统的规范形是由一组不变量决定的。对给定的系统可以有不同的不变量组,因而也就有本质上不同的规范形。本文讨论了决定不变量组的适宜选择,并提出了在辨识中决定适宜选择的选择路线的概念。着重讨论了自然适宜选择以及相应的规范形,并和常见的Popov规范形作了比较。最后,对自然适宜选择下的规范形给出了整套辨识算法。     

线性系统的不变量、标准形和最小实现

本文进一步考虑了线性多变量系统的不变量和标准形问题。对每一条输入适宜选择路线δ_b,给出了称为能达的一组完备独立不变量以及相应的标准形。对任意固定输入适宜选择路线δ_b以及输出适宜选择路线δ_c,给出了称为输入输出的一组完备独立不变量以及相应的标准形。上述结果分别是[2,4]的推广。最后给出了相应于上面标准形的最小实现的算法。     

变量带误差系统的递推辨识:从线性到非线性系统

介绍变量带误差(EIV)系统的递推辨识方法.在引言中扼要介绍了EIV系统辨识的现状后,分别对多变量线性EIV系统及EIV Hammerstein系统给出了递推辨识算法,并给出条件使这些估计以概率1收敛到真值.最后提出了一些值得进一步研究的问题.     

最小实现的新算法

本文利用线性定常系统的结构相伴标准形的系数阵与多项式阵间的关系,以及广义Selvester合成阵的性质,给出了已给传递函数阵在状态空间中的最小实现。方法简单明了,而又直接给出最小实现,且易于在电子计算机上实现。     

非参数非线性系统的变量选择及研究进展

本文考虑非参数非线性系统的变量选择问题,所谓变量选择是指,判断哪些变量对系统的输出有实质性影响并构造算法将它们辨识出来.由于"维数灾难",非线性系统随着维数增加而使得辨识需要的数据量呈指数速度上升,因而有必要从数据量趋于无穷、数据量有限和系统结构等不同角度来研究非参数非线性系统的变量选择问题.针对上述不同情形,本文分别给出变量选择算法和收敛性结论,并给出数值例子以验证理论结果的有效性,结果显示数值模拟与理论分析一致.     

线性多变量系统的能观规范型与辨识

在现代控制理论中,系统的状态空间表示具有重要意义,因而多年来在多变量系统状态空间形式的辨识方面作了大量的工作,为了便于实现,人们研究了状态空间的规范形式。在能观规范形式的基础上提出了相应的不同的辨识方法。这领域内的先驱工作是由Gopinath和Budin完成的,后来Guidorzi发现了与状态空间的能观规范形CF_2等价的输入输出差分方程,因而可先通过对差分方程参数的估计,然后再实现状态空间形式;不久,Bingulac and Farias提出了与能观规范形CF_1相对应的辨识恒等式,直接表达了输入输出数椐与状态空间实现之间的关系。是两种典型的辨识方法,其它方法都是与其大同小异。迄今为止人们还没有明确地研究不同的规范形式之间的关系,对两种不同的辨识方法之间的关系也是不清楚的,从而妨碍了对多变量系统状态空间形式的辨识的本质理解及进一步研究。本文提出了广义选择矩阵这一新概念,并利用这一工具建立了与状态方程的规范形式等价的输入输出方程的一般形式,找到了不同的规范形式之间、不同的辨识方法之间的内在联系;在此基础上对规范型中矩阵B的计算提出了新的算法,避免了中的矩阵求逆及中的判断向量相关性,从而大大减少了运算量。此算法还适用于各种不同的辨识方法。 关于多变量系统的结构辨识,迄今为止都是     

以函数为参量的间歇发酵非线性动力系统及其辨识

建立以连续分段线性函数为参量的间歇发酵非线性动力系统,证明该动力系统的主要性质及解的存在性.以实验数据拟合得到的光滑曲线为依据,提出了连续分段线性函数为优化变量的辨识模型,论述可辨识性.依状态变量与辨识函数的相关性,构造求解辨识模型的优化算法,并给出优化算法的收敛性分析及数值结果.     

一类基于输出非线性量测的变量带误差系统的辨识

研究一类基于输出非线性量测的变量带误差系统的辨识.通过对输出量测的截断,在适当的系统假设下,应用扩张截断随机逼近算法给出了系统参数的递推估计,并证明了估计的强一致.辨识算法适用于多种常见的非线性量测.最后给出了一个仿真例子,仿真结果与理论一致.     

矩阵有理标准形的性质研究及其应用

研究了矩阵的有理标准形理论,给出了友矩阵的主要性质和判断其相似对角化的条件,证明了线性定常系统的能控性,研究了伪随机数的生成过程和周期性,并对其在自动控制和计算机科学领域的应用做了一定的解读,最后用实例验证系统的有效性.     

线性时不变系统两种描述的等价性

自从Kalman提出了用状态空间方法描述系统后,Rosenbrock与Wolovich等又提出了用微分算子描述系统的方法。这两种描述方法,利用各自表示方法的特点,在多变量系统理论的研究上,都取得了很大的进展。 本文利用Yokoyama标准形与多项式矩阵之间的关系,把上述两种描述联系起来,给出了它们之间等价的转换形式。这样就可以把在一种描述方法上得到的结果,等价地搬到另一种描述方法的系统上去。     

Canonical forms for boundary conditions of self-adjoint differential operators

Canonical forms of boundary conditions are important in the study of the eigenvalues of boundary conditions and their numerical computations. The known canonical forms for self-adjoint differential operators, with eigenvalue parameter dependent boundary conditions, are limited to 4-th order differential operators. We derive canonical forms for self-adjoint $2n$-th order differential operators with eigenvalue parameter dependent boundary conditions. We compare the 4-th order canonical forms to the canonical forms derived in this article.     

CANONICAL CORRELATION EQUATIONS AND THEIR EXTREMAL PROPERTIES

The canonical variables and canonical correlation coefficients satisfy a matrix equation which is called the canonical correlation equation. There are some different forms of the canonical correlation e-quations given in the literature. In this paper, we discuss four different forms of the canonical correlation equations. The purpose of this paper is to give extremal properties of the solutions of the canonical correlation equations. The results show that canonical variables maximize the determinant of the dispersion matrix of the transformed variables.     

四阶正则微分算子耦合自共轭边界条件的基本标准型

本文利用新的方法给出了4阶正则微分算子耦合自共轭边界条件的基本标准型,新标准型中的4个分块小矩阵为对称矩阵,且其行列式的模为1.这与2阶微分算子耦合边界条件的标准型极为类似,这为给出一般的高阶微分算子自共轭边界条件标准型提供了新的思路.     

Hamiltonian systems on complex Grassmann manifolds. Holonomy and Schrodinger equation

Differential geometric structures such as principal bundles for canonical vector bundles on complex Grassmann manifolds, canonical connection forms on these bundles, canonical symplectic forms on complex Grassmann manifolds, and the corresponding dynamical systems are investigated. Grassmann manifolds are considered as orbits of the co-adjoint action and symplectic forms are described as the restrictions of the canonical Poisson structure to Lie coalgebras. Holonomies of connections on principal bundles over Grassmannians and their relation with Berry phases is considered and investigated for integral curves of Hamiltonian dynamical systems. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 22, Algebra and Geometry, 2004.     

Canonical Forms for Symmetric and Regular Structures

Matrices associated with symmetric and regular structures can be arranged into certain block patterns known as Canonical forms. Using such forms, the decomposition of structural matrices into block diagonal forms, is considerably simplified. In this paper the main canonical forms are reviewed; and symmetric/regular structural configurations that can be explained with such forms are investigated. The invariant subspaces are formulated and the closed form solutions for the block-diagonalized stiffness matrices are provided in each case. Utility and robustness of the canonical forms in the analysis of structures exhibiting decomposable matrix patterns are demonstrated by numerous examples. Furthermore, a numerical method is proposed to extend the computational advantages of the matrix canonical forms to other nonconforming regular structures.     

New canonical forms of self-adjoint boundary conditions for regular differential operators of order four

In this paper, we find new canonical forms of self-adjoint boundary conditions for regular differential operators of order two and four. In the second order case the new canonical form unifies the coupled and separated canonical forms which were known before. Our fourth order forms are similar to the new second order ones and also unify the coupled and separated forms. Canonical forms of self-adjoint boundary conditions are instrumental in the study of the dependence of eigenvalues on the boundary conditions and for their numerical computation. In the second order case this dependence is now well understood due to some surprisingly recent results given the long history and voluminous literature of Sturm-Liouville problems. And there is a robust code for their computation: SLEIGN2.     

Differential forms on log canonical spaces

The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of singularities. In fact, a much more general theorem for log canonical pairs is established. The proof relies on vanishing theorems for log canonical varieties and on methods of the minimal model program. In addition, a theory of differential forms on dlt pairs is developed. It is shown that many of the fundamental theorems and techniques known for sheaves of logarithmic differentials on smooth varieties also hold in the dlt setting.     

Non‐compactness of the solution operator to $ \bar \partial $ on the Fock‐space in several dimensions

We consider the canonical solution operator to restricted to (0, 1)‐forms with coefficients in the generalized Fock‐spaces (1) We will show that the canonical solution operator restricted to (0, 1)‐forms with ‐coefficients can be interpreted as a Hankel‐operator. Furthermore we will show that the canonical solution operator is not compact for m ≥ 2. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

To the problem of multiplicativity of canonical diagonal forms of matrices over the domain of principal ideals

We study the structure of nonsingular matrices over the domain of principal ideals that possess the property of multiplicativity of canonical diagonal forms. In particular, we establish necessary and sufficient conditions of multiplicativity of canonical diagonal forms of nonsingular matrices over this domain.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 11, pp. 1581–1584, November, 1995.