线性内动机理论(Ⅰ)

引言本文试图利用近世代数之工具,较为全面地研究线性内动机的一些基本理论问题.这些问题包括:机器的结构分析以及子机器的综合问题,特别是,具体地刻划线性内动机的图型和全面地研究图形的线性实现问题——究竟有哪些图形是可能由线性内动机实现的?一图形之线性实现又有多少种可能,并如何切实可行地实现之?     

线性自动机理论(Ⅰ)——状态迁移图型——非奇异情形

本文在线性内动机的图型理论的基础上,进一步研究了线性自动机的图型,证明了在每个输入之下,自动机的图型只是顺向圈偶尔“略有”变化,即内动机的若干圈“归拢”而成自动机的一些倍数长的圈。     

线性内动机理论(Ⅲ)线性内动机的图型和图形的线性实现

引言本文(Ⅲ)是前两部分(Ⅰ)和(Ⅱ)的直接继续。在这里,我们将在前两部分的研究的基础上,具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题。本部分(Ⅲ)由§§7—8组成。在§7中,为了具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题,我们研究了圈环中标准元素之连乘积的一般表达式和圈环中之一元素分解为标准元素因子之连乘积问题,讨论了这种分解的唯一性和可能性,并且在可能的情况下给出了这种     

线性内动机理论(Ⅱ)

引言本文的(Ⅱ)和(Ⅲ)部分是前部分(Ⅰ)的直接继续。在(Ⅰ)的一般的理论准备的基础上,以下的(Ⅱ)和(Ⅲ)部分将具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题。本部分(Ⅱ)又是后部分(Ⅲ)的准备部分,集中讨论标准元素。标准元素相当于巡回     

不确定离散系统的鲁棒H∞控制

系统的不确定性具有线性分式顶点凸多面体形式.引入一个一般变量Q(没有任何结构约束,例如对称),使Lyapunov函数矩阵P和系统矩阵A,C分离,得到一个关于此类离散系统H∞性能的线性矩阵不等式(LMI)性质.这个特性有助于通过依赖于参数的Lyapunov函数得到一个关于此类系统保守性更小的充分条件.在此基础上给出了H∞状态反馈控制器的设计.最后给出仿真例子检验结果.     

微分矩阵中含不确定的离散奇异系统鲁棒稳定化(Ⅰ)

讨论了离散奇异系统微分矩阵E中含时不变参数不确定的鲁棒状态反馈稳定化问题的一种特殊情形,在不要求系统正则的条件下,阐述了其和一个不确定正常线性离散系统的鲁棒状态反馈稳定化问题的等价关系;利用线性矩阵不等式(LMI)方法,给出了控制器存在的一个充分必要条件及控制器的一族解.     

圈并图F(m,n)的边-平衡指数集

在较小圈并图的基础上,利用组合设计技巧和分析归纳法,完全解决了圈并图F(m,n)的边-平衡指数集问题,得到了圈并图F(m,n)的具体计算公式,同时给出了每一个边平衡指数相应的图形构造.     

微分矩阵中含不确定的离散奇异系统鲁棒稳定化（I）

讨论了离散奇异系统微分矩阵E中含时不变参数不确定的鲁棒状态反馈稳定化问题的一种特殊情形 ,在不要求系统正则的条件下 ,阐述了其和一个不确定正常线性离散系统的鲁棒状态反馈稳定化问题的等价关系 ;利用线性矩阵不等式 (LMI)方法 ,给出了控制器存在的一个充分必要条件及控制器的一族解     

完整的最小二乘递推算法及其对跟踪与预报的应用

借助广义逆矩阵的理论，本文分别就一般加权情形、最优加权情形和指数加权情形，给出了无需事先提供待估计量的任何初始统计知识而能获得严格意义下的所谓完整的最小二乘递推(PRLS)算法。应用这种算法，分别得到了某些线性系统的无差和无偏状态估计以及机动目标多模型跟踪与预报(MMTP)算法。     

一类工作点可变线性系统的镇定控制器设计

对于一类工作点可变的线性系统 ,即被控系统表达为两个典型工作点上的传递函数矩阵的正则稳定的既约分解的线性内插 ,考虑其镇定控制器设计问题 .假设被控对象在典型工作点上的传递函数矩阵的既约分解组成一个集合 ,提出了镇定该集合的控制器的设计方法 .对于线性内插系数不可知的情形 ,提出了两种固定型镇定控制器的设计方法 ;对于线性内插系数可知的情形 ,提出了一种内插型镇定控制器设计方法 .文中将控制器的设计问题转化为 H∞ 控制问题 ,再转化为状态空间下的基于线性矩阵不等式 ( LMI)的凸有效性问题进行求解     

微分矩阵中含不确定的离散奇异系统鲁棒稳定化（Ⅰ）

讨论了离散奇异系统微分矩阵E中含时不变参数不确定的鲁棒状态反馈稳定化问题的一种特殊情形，在不要求系统正则的条件下，阐述了其和一个不确定正常线性离散系统的鲁棒状态反馈稳定化问题的等价关系；利用线性矩阵不等式(咖)方法，给出了控制器存在的一个充分必要条件及控制器的一族解．     

Harary定理的一个简短证明

关于所有(p,q)图的极大连通度,Harary找出了一个定理.本文给出这个定理的简短证明;方法是首先借助于数论中的一个引理,然后构作出两个图形以取代Harary图族中的两个;证明是用反证法给出的.     

关于平面图点荫度的一点改进

一个非平凡图G的点荫度a(G)是一个最小图顶点划分数使得每一个划分集的导出子图是一个森林.近年来对点荫度的研究成为图论的一个焦点并且关于这个问题有更深一步的发展,例如,随机图的点荫度以分式点荫度等.得到一个关于平面图的点荫度的一个上界;如果平面图G是没有3-圈,或是没有4-圈,或是没有5-圈,那么G的点荫度不超过2.研究的起因是一个著名的猜想:任何3-可着色的平面图的点荫度不超过2.四色定理是图论中最著名的一个定理,伴随产生了一个问题,那就是什么样的平面图是3-可着色的.不幸,这是一个难问题,Garev等人证明了判定一个平面图是否3-可着的即使在一个点不超过4的条件下仍然是NP-难问题.因此这个猜想是一个不易解决的,人们开始在一些特殊图上进行验证这个猜想是否正确.我们知道一个著名的定理:不含3-圈的平面图是3-可着色的.结合结果,给出猜想的一个正面的肯定.Havel给出两个反例,如果平面图含有4-圈或有5-圈是不可3-可着色的,因此4-圈和5-圈在证明平面图是3-可着色时必须排除.不过在结论中,如果平面图不含有4-圈或不含有5-圈,那么它的点荫度不超过2.从而可以看出猜想的条件还是很强的.同时我们的结果也拓宽了张忠辅等人的结果:外平图的点荫度不超过2.     

广义大系统的非脆弱分散控制

讨论了状态反馈控制器存在摄动的线性广义大系统的非脆弱分散控制问题,应用线性矩阵不等式(LMI)方法,针对控制器增益具有加法式摄动和乘法式摄动两种情形,分别给出了线性广义大系统非脆弱分散控制器存在的充分条件.该控制器是一组线性矩阵不等式(LMIs),利用该不等式的可行解设计了非脆弱分散状态反馈控制器,使得闭环系统成为正则、稳定且无脉冲模的系统.仿真实例的结果说明了该设计方法的可行性和有效性.     

一类基于T-S模糊模型的非线性广义系统的鲁棒H_∞控制

目的解决一类时滞T-S模糊广义系统的鲁棒H∞控制问题.方法利用Lyapunov函数方法、矩阵缩放理论以及线性矩阵不等式(LM I)技术研究了一类基于T-S模糊模型的非线性广义系统的鲁棒H∞控制.结果首先给出了基于观测器的H∞控制器存在的充分条件,保证了闭环系统是容许且具有H∞性能.通过矩阵缩放理论把这个充分条件表示成了线性矩阵不等式形式,得到了H∞控制器设计方法.结论在系统状态未知并且具有时滞和干扰情况下,所提出的方法很好地解决一类基于模糊模型的非线性广义系统的鲁棒H∞控制问题,通过一个数值算例说明了所提方法的有效性和可行性.     

饱和非线性约束离散时间系统的H_∞控制

研究了一类带有饱和非线性状态约束的离散时间系统的H_∞控制问题.根据Lyapunov稳定性理论和线性矩阵不等式(LMI)处理方法,提出γ-次优H_∞状态反馈控制律存在的一个充分条件,通过求解相应的线性矩阵不等式给出了H_∞状态反馈控制器的设计方法.数值算例验证了文中所提方法的有效性.     

手镯图的L(2,1)—标号

为了更好地研究频道分配问题,引入了从顶点集到非负整数集的一个函数,即图的一个L(2,1)—标号。假设最小标号为零,图的L(2,1)—标号数就是此图的所有L(2,1)—标号下的跨度的最小数。对于路和圈[WT]的Cartesian积图的推广图——手镯图的标号数问题,给出了手镯图的定义,即是将拟梯子的两端重合而得到的图形,同时给出了其L(2,1)—标号数的定义,运用顶点分组标号法,根据圈的个数和每个圈的顶点数的不同进行分类讨论,研究结果完全确定了手镯图的L(2,1)—标号数的确切值,丰富了图的种类并完善了标号数理论。     

圈中t-区间的k-染色问题

考虑客户请求在圈中实现的问题. 每个请求联系着一个t 区间, 由圈上至多t(t1)个区间构成. 要实现一个请求, 需选择它所对应的t 区间中的一个区间并为其安排k种颜色中的一种. 任意两个选定的区间如果在圈上有公共边, 则不能得到同一种颜色. 对目标寻求实现最大数目的请求问题, 给出了一个3.042 近似算法.     

蛇形图的消圈公式

本文讨论了任意形状蛇形图的消圈数,给出每节都是4-圈情形的蛇形图别名函数C(H),并证明每节为4-圈的蛇形图的消圈数等于它的别名函数的势.另外,在保持消圈数不变的情况下,通过简单的收缩、剖分运算把求解任意情形的蛇形图的消圈数问题归为求解每节都是4-圈特殊情形下的蛇形图消圈数问题.     

线性自动机理论(Ⅳ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。