具有未知输入的广义系统观察器设计

到目前为止,已有大量文献研究广义系统,但关于状态观察器设计的文章比较少,而且大都讨论输入是已知的系统.对有未知输入的正常系统,有不少文章讨论观察器的设计.本文修改文献[8]的方法,应用于广义系统观察器设计,特点是清楚的揭示出观察器的内部结构.考虑线性时不变广义系统     

标准型方案与链型方案的等效性转换

本文通过对标准型与链型统计抽样方案的分析和研究，在等效性和可操作性原则下，使标准型方案和链型方案可以相互转换使用，并在计算机上实现程序化。     

不能控非线性控制系统的标准型

本文考虑不能控非线性控制系统问题,给出不能控非线性控制系统的标准型定义,并推导标准型存在的充要条件.     

关于(sI-A)~(-1)的一点探讨

<正> 本文根据信号流图法导出一个求(sI-A)~(-1)的方法,此方法适用于能控标准型状态方程.其特点是根据特征多项式的系数就能把(sI-A)~(-1)写出来。设有齐次状态方程(?)=Ax,(1)其中x=(x_1,x_2,…x_n)~τ,(2)A 为能控标准型系数矩阵,     

链型抽样方案综述(Ⅱ)

徐凤琴．链型抽样方案综述（Ⅱ）．本文讨论了更一般形式的链型抽样方案,称为两阶段链型抽样方案。这种方案在不同阶段使用不同的抽样比率,因而须借于平均样本量ＡＳＮ与标准型方案进行比较     

邻域整点搜索法求解整数规划

从剖析线性规划的优化机理入手,将纯整数规划分为标准型和非标型两类.首先以标准型纯整数规划为突破口,提出一种新的解法,并在理论上加以证明,然后将其拓广延伸,用于求解非标准型纯整数规划和混合整数规划.这种新解法命名为松驰最优解邻域整点搜索法,属于常规解法,但在简捷高效方面,远胜过现有的两种常规解法—分枝定界法和割平面法.     

一类Riemann张量指标表达式的标准型完全分类及其在微分几何中的应用

本文研究了n维微分几何中Riemann张量指标表达式的标准型完全分类问题, 通过引入指标结构图的概念, 证明了规范类型单项式都是标准型, 并且构成次数不大于5 的Sakai类型单项式的正交基底, 由此得到Sakai类型单项式的标准型完全分类, 这是次数大于3时标准型完全分类问题的第一个结果. 同时给出了相应标准化算法, 通过比较说明了该算法比现有算法更加简便, 最后应用于自动推导和证明微分几何中关于Riemann张量的一些公式.     

～A0型箭图的一个表示的自同态代数的Cartan矩阵

为了探讨代数的Cartan矩阵的某些性质与代数分类的关系,通过研究完全域k上的A0型仿射箭图的一个有限维表示的自同态代数的结构与Jordan标准型的关系,并利用Jorelan标准型的组合信息得到了该自同态代数的Cartan矩阵,验证了Cartan矩阵猜想在此情形下不成立.最后提出了一个有关仿射箭图性质的猜想.     

_0型箭图的一个表示的自同态代数的Cartan矩阵

为了探讨代数的Cartan矩阵的某些性质与代数分类的关系,通过研究完全域k上的0型仿射箭图的一个有限维表示的自同态代数的结构与Jordan标准型的关系,并利用Jordan标准型的组合信息得到了该自同态代数的Cartan矩阵,验证了Cartan矩阵猜想在此情形下不成立.最后提出了一个有关仿射箭图性质的猜想.     

实方阵的另外一种实相似标准型

具有相同初等因子的方阵是相似的,运用这个结果,通过分块初等变换,给出了实方阵在实相似下的一种新标准型,这种标准型类似于复方阵的Jordan标准型,从而更有利于相关计算.这对于同学们对Jordan标准型的拓展理解是十分有益的.     

非线性中立型控制系统函数能控性

本文讨论形如的非线性中立型控制系统函数能控性．给出该类系统的函数能控性和零函数能控性的判定定理．所得结果在实际系统的设计、分析等方面是非常实用的．     

带极大单调图的半线性抛物型方程的零能控性(英文)

本文讨论非线性项带一个极大单调图的半线性抛物型方程系统的零能控性.文中利用Kakutani不动点定理和线性抛物型方程的能控性得到该系统是零能控的,如果控制作用在内部区域上.由此,还得到该系统是零能控的,如果控制施加在一部分边界上.     

一类带有捕食者阶段结构的滞后型捕食食饵模型的Hopf分支

本文研究了一类带有阶段结构和Ho1lingⅢ型滞后函数响应的捕食食饵模型的稳定性和Hopf分支的问题.利用微分动力系统的标准型和中心流形定理,获得了内平衡点局部稳定和周期解的方向性,推广了文献[4]所得出的结论.     

拟线性双曲型方程组具较少控制函数的双侧精确边界能控性

研究具有一般非线性边界条件的一阶拟线性双曲型方程组的具有较少控制函数的双侧精确边界能控性.在正负特征数不相等的情况下,以一阶拟线性双曲型方程组混合初边值问题的半整体C1解理论为基础,采用一个直接的构造方法,使用较少的边界控制函数实现了局部双侧精确边界能控性,并且对精确控制时间给出了最佳估计.     

求线性规划问题可行基的一种方法

文章给出了一般情形下从线性规划问题的标准型求可行基的一种方法，并通过与大Ｍ法、两阶段法及文［１］方法进行对比分析，说明这是一种有效可行且有可能较简便的方法     

基于平均理论的高阶线性多智能体系统在切换拓扑下的趋同控制问题综述

近年来,高阶线性多智能体系统的趋同控制引起了国内外学者极大的关注.目前这方面的研究主要集中在固定拓扑下的趋同控制,切换拓扑下的结论相对较少.平均理论作为天体力学和系统科学中研究时变系统稳定性的常用工具,最近被应用到切换拓扑下的多智能体系统趋同控制理论中.文章对基于平均理论的高阶线性多智能体系统在切换拓扑下的趋同控制问题进行综述.系统地介绍了切换拓扑下的线性多智能体系统的趋同能控性和趋同能观性,讨论趋同能控性和趋同能观性之间的对偶原则.在趋同能控性和趋同能观性的基础上,对各种趋同控制算法进行了总结,阐述了状态耦合型和输出耦合型趋同算法.     

一类带有捕食者阶段结构的滞后型捕食食饵模型的Hopf分支（英文）

本文研究了一类带有阶段结构和Ho1lingⅢ型滞后函数响应的捕食食饵模型的稳定性和Hopf分支的问题.利用微分动力系统的标准型和中心流形定理,获得了内平衡点局部稳定和周期解的方向性,推广了文献[4]所得出的结论.     

一类混杂动态系统的能控性(Ⅲ)——含多时滞的情形

首次将时滞现象引入到线性切换系统的模型中,研究含有时滞线性切换系统的能控性及其判定条件。全部工作由三部分组成。第Ⅲ部分,主要研究含多时滞的线性切换系统的能控性及其判定规则。首先给出周期型系统的单周能控性和多周期能控性的定义和充要条件,其次给出非周期系统的能控性的定义和充要条件。最后,研究时滞大小不一致的情形,指出能控性与时滞大小无关。     

一类混杂动态系统的能控性(Ⅱ)——含单时滞的情形

首次将时滞现象引入到线性切换系统的模型中,研究含时滞的线性切换系统的能控性及其判定条件。全部工作由三部分组成。第Ⅱ部分,主要研究含单时滞的线性切换系统的能控性及其判定准则。首先给出周期型系统的单周期能控性和多周期能控性的定义和充要条件,其次给出非周期系统的能控性的定义和充要条件。     

具有转移条件的四阶微分算子自共轭边界条件的统一规范型

研究了具有转移条件的四阶正则微分算子自共轭边界条件的统一规范型.在标准型的基础上通过对自共轭边界条件矩阵左乘非奇异矩阵和右乘辛矩阵给出了四阶微分算子自共轭边界条件的统一规范型.结果表明具有转移条件的四阶自共轭微分算子的边界条件的统一规范型不仅与边界条件矩阵的秩有关,而且与转移条件矩阵的行列式有关.