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

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

双线性系统输入输出不变量,标准形及最小实现

在本文中,我们获得了双线性系统的输入输出完备独立不变量与对应的标准形,最后我们利用这套不变量标准形理论给出了一种新的输入输出标准形最小实现算法。     

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

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

线性系统若当不变量与标准形

1.引言1980年 Bosgra 和 Weiden 在满秩线性变换意义下,首先给出了能控能观线性系统的所谓输入输出不变量及其相应的标准形。这一结果在满秩线性变换群意义下将能控能观系统参数化,也即从输入输出方面来看,将系统参数化,给定一组参数,即可唯一确定一个输入输出关系;不同的参数组所确定的输入输出关系不同。它一方面揭示了线性系统的内在本质,同时在实现理论、部分实现理论、编码理论和有限自动机方面有着重要应用。本文依据矩阵的若当形,除了给出能控系统的一组完备独立不变量及其相应的标准形外,还给出了能控能观系统一组完备独立不变量及其相应的标准形,在某些方面这一结果比     

离散事件动态系统的能达能观性与对干扰解耦的周期合并配置

能达与不能达子空间,能观与不能观子空间是 Wonham 教授创建的多变量控制几何方法的几个基本概念.对 DEDS 文献[2,3]提出了分别能达概念及其充要条件;文[2]还给出了与能达有关的标准结构;文[3]提出了上界能观及其充要条件;文[4]给出了用反馈合并周期的充分条件;文[5]得到了用输出反馈合并配置周期的充要条件.在以上文献     

求解奇异问题一类新的加速迭代法

格式(1.1)每步只需求一次导算子的逆,计算量比现有的加速迭代格式均少,同时具有高阶收敛性。格式(1.2)与文[1]中提出的迭代格式相比,计算量基本相同,但其收敛速度却较快。我们在§2中给出算法(1.1)和(1.2)的收敛性定理及误差估计。对于高阶奇异问题,§3中也给出了相应的加速迭代格式和收敛性定理。§4中给出数值例子。     

关于通用不变外形式

<正> §1.引言积分不变量或不变外形式的概念对于力学系统的理论与应用都曾起过富有成果的作用.在1947年时,我国李华宗先生([6])对 Hamilton 系统又引进了通用积分不变量或通用不变外形式的概念,并证明除早巳为 Poincaré与 E.Cartan 所研讨过者外,不再有其他这样的不变式,在李意义下通用的那种不变式,可以推广作如下更一般的理解:设 M 是一n 个变数的空间,G 是 E.Cartan 意义下 M 上 的一个无限变换群,在 M 上的一个向量场 X     

非结合非分配的环(Ⅲ)

本文继上二文(Ⅰ)、(Ⅱ)的理论,并把(Ⅱ)中能分解成单纯子环直和的半单纯环概念及其定理推广到能同构于单纯子环的一个子直和的半单纯两非环概念及其有关定理.然后又把后者概念扩展到§3中所定义的可分和两非环概念,并对可分和两非环给出了使Wedderbum主要定理成立的一个充分条件.     

基于相对位置测量的分布式卫星自主导航能观性

本文考虑由两卫星组成的分布式卫星系统,研究仅利用星间相对位置测量的自主导航系统的能观性问题;提出局部k阶能观性的概念并将其用来分析非线性系统的能观性,分别得到自主导航系统局部4–6阶能观的充要条件并给出数学证明;通过分析这3个条件与非线性系统能观性秩条件成立的关系,给出并证明自主导航系统能观性秩条件成立的充要条件.     

准域上动态系统的能达能观性与实现理论

本文沿用文献[1]的有关定义与记号。环上线性系统的能达能观性和实现理论与域上线性系统的有关理论有本质的不同,且较困难。本文研究了准域上线性系统的能达能观性和实现理论,指出它与域上相应理论的统一性以及它们之间某些本质区别。     

一类非线性二阶耦合问题的混合有限元方法

本文讨论出现于热弹性理论中的一类二阶非线性双曲-抛物耦合方程混合元方法,给出了混合元离散格式及解的存在唯一性(§1),并在适当的条件下,利用混合型的椭圆投影(§2),得到了混合元解,伴随向量函数,解对时间导数在L~2,L~∞意义下的最优误差估计(§3)。     

關于高中平面幾何中的相似法作圖問题

在目前所用的高中平面幾何課本(劉編)中講到用相似法作圖問題,它是以相似變換爲基礎的,在該書§34中首先講到用已知線段爲一邊,作一個多邊形和一個已知的多邊形相似,由這個作圖說明相似多邊形存在,接着在§36,§37中介紹了相似比及相似變換的定義,然後在§39中講到依定此作一個已知多邊形的相似多邊形,並在§40中指出相似中心的位置,§41,§43中又分別講到位似形定義以及相似圓的定義和定理,這一切都為§46相似法作圖打下理論基礎,在§46中正式講到用相似法作圖並舉出三個例題,     

具多重符号拟微分算子的L~2有界性

本文构造了一种新的单位分解,即空间R~(m×n)上的所谓“框形”分解,并综合了文献[1,2]的方法,从而推广了[2]中关于拟微分算子的精密L~2有界性定理,即得到了文献[4]中具 S_(0,0)~(0;0)类和S_(ρ,ρ)~(0;0)类(0相似文献   

非线性系统的能控性分布与解耦问题(Ⅰ)

在应用近代微分几何方法研究非线性系统的过程中,已经引入的(A,B)不变分布概念,是与线性系统几何理论中的(A,B)不变子空间概念相对应的。对(A,B)不变分布的性质及其应用于非线性系统的干扰解耦已有许多讨论。本文的目的是对非线性系统引入另一类分布——能控性分布,并用来研究非线性系统的解耦问题。全文分两部份。第Ⅰ部份主要是引入能控性分布的概念并讨论其性质。第Ⅱ部份则应用Ⅰ的结果讨论解耦问题。     

具多重符号拟微分算子的 L~2有界性

本文构造了一种新的单位分解,即空间 R~(m×n)上的所谓“框形”分解,并综合了文献[1,2]的方法,从而推广了[2]中关于拟微分算子的精密 L~2有界性定理,即得到了文献[4]中具 S_(0,0)~(0;0)类和 S_(ρ,ρ)~(0,0)类(0<ρ<1)多重符号拟微分算子的 L~2 有界性的精密结果.(见§3定理1,2和§4定理4,5).作为 L~2有界性定理的应用,本文给出了具简单符号的两个拟微分算子复合的余项的一个估计(见§3定理3).     

广义Laguerre级数的奇点和过度收敛

本文在§1中推广了古典正规发散的概念,给出了广义Laguerre级数在收敛抛物线上的奇点的判断定理.在§2中给出了广义Laguerre级数的“Ostrowski”型的过度收敛定理.     

线性系统的完全不变量,标准形实现与编码

线性定常系统的完全不变量的研究,不仅在代数上有理论意义,而且对系统的最小实现与辨识有重要应用价值.Popov 等给出了线性定常系统的完全不变量;一组完全不变量对应了系统的一种标准形.Bucy 等曾研究了由系统的 Markov 参数直接求得系统标准形的实现算法(称为标准形实现).Guidorzi给出了由系统输入输出数据得到系统标准形的实现算法与结构辨识算法.     

可数马尔科夫过程的强马氏性

§1 引 理 对非齐次马尔科夫过程转移概率的分析性质及非齐次可数马科夫过程样本函数的性质,人们已做了较为系统的研究。本文讨论的是非齐次可数马尔科夫过程(以下简称为马氏链)的强马氏性问题,这是马氏链基本理论的一个重要组成部分。若一个右标准马氏链可分、Borel可测且右下半连续,则称其为右正则马氏链(详见定义2.1)。本文首先指出:任何一个右标准马氏链都有右正则修正;继而,通过考察推移过程的性质,证明了:任何右正则马氏链均具有强马氏性。从而在右标准马氏链情形,本文将〔6〕第二章§4§6中过程右     

分布值函数和分布的乘法（Ⅱ）

在超分布的代数运算的基础上定义了分布的U-乘积,具体计算了(δ~((m))(x)·δ~((n))(x))U、δ~((x))_U~n和(x~m·(δ(x))~(m+p))_U。利用U-乘积定义了分布的广义乘积,还引进了δ(x)在点a的值的概念。最后,研究了广义乘积在近代物理学中的两个应用:(1)给出了非线性波动方程的因果解;(2)给出了跃迁几率计算过程中使用的公式(δ(x))~2=δ(0)δ(x)的确切含义及证明。     

最优分批问题在N≥3n情形下的解

<正> §1.在单因素优选问题中提出的最优分批问题可以归纳为对确定的正整数 N、n(N>n>1)和实数δ(0≤δ≤1/2),求使由递推公式