奇异系统中的几个基本观控性子空间

重新定义了奇异系统的脉冲能控(观)性子空间和脉冲能控(观)性,讨论了系统脉冲能控(观)模的个数问题;在不分解原系统的情况下,用原系统参数直接给出了脉冲能控(观)性子空间,强能控(观)性子空间和能达能控(观)性子空间的表达式;应用所得到的结果,建立了一些有关奇异系统能控(观)性的新判据。     

带前馈的广义不确定系统的脉冲鲁棒控制及其设计

利用矩阵代数方法，研究了带前馈的广义不确定时变系统在输出反馈下的消除系统脉冲行为的鲁棒控制问题。系统不确定量是时变的、范数有界的。根据前馈控制矩耻是非奇异阵（特殊情形）和奇异阵（一般情形）的两种情况，给出了在理想系统满足不同条件下的输出反馈阵的设计方法。当理想系统满足输出反馈能正常化条件时，得到一个重要结论：对任意给定的不确定量范围，都可以设计相应的脉冲鲁棒控制器。在理想系统满足脉冲能控、脉冲能观的情况下，给出了脉冲鲁棒控制的具体设计步骤。     

量化网络控制系统的能控性与能观性

将网络引入控制系统不可避免地引起很多新的问题,传统意义下的系统能控性与能观性在应用到网络化系统时必须重新考虑.针对网络控制系统中普遍存在的信息量化问题,研究网络控制系统的基本问题.定义量化网络控制系统的能控性与能观性,给出系统能控和能观的充分条件,指出量化网络控制系统的能控性与能观性取决于量化阶距的选取.     

对称组合系统的单通道能控性

研究了对称组合系统的单通道能控性问题，利用系统的特殊结构，得到了对称组合系统是单通道能控且能观的一个易于检测的充要条件。     

带前馈的广义分散控制系统固定模

讨论了带前馈广义分散控制系统的分散有穷固定模的存在条件及分散脉冲固定模的判别条件和分散脉冲能控，能观性，给出若干判定定理，最后，提出了判别和消除分散脉冲固定模的算法，给出一个简单算例。     

时延广义网络控制系统的建模与分析

对广义网络控制系统进行建模与分析,针对传感器、控制器、执行器的驱动方式,以及系统是否存在脉冲分别建立数学模型.在建模的基础上,对一类具有短时延、传感器采用时钟驱动、控制器和执行器采用事件驱动的广义网络控制系统的因果性、能控性及能观性进行分析,给出了其具有因果性、能控、能观的充要条件.     

双线性系统的Hamilton扩张系统

研究了双线性系统和它的Hamilton扩张系统的弱能控性之间的关系以及它们的能观性之间的关系，证明了双线性系统的Hamilton扩张系统是弱能控的当且仅当原双线性系统既是弱能控的又是能观的．同时给出了双线性系统的Hamilton扩张系统不能观的条件．     

线性随机系统的能控性指数和能观性指数

提出线性随机系统能控性指数和能观性指数的定义，并给出了能控性指数和能观性指数的两个估计式。     

一类时变系统脉冲能控性的代数判据

本文研究了一类线性时变系统的脉冲能控性.首先,基于状态转移矩阵,给出了线性时变系统脉冲能控性的充要条件;然后,对一类线性时变系统,运用冻结系数法思想,并结合压缩映像原理,建立了系统脉冲能控性的代数判据;最后,给出一个例子说明本文结果的有效性.     

交联动态系统的固定模式判定

本文将文献[1]的结论推广到两类更广泛的交联动态系统,证明了一类交联动态系统的固定模式是其子系统的不能控模式或不能观模式,另一类交联动态系统的固定模式是其组合子系统的不能控模式或不能观模式。     

动态输出反馈下广义互联分散控制系统固定模

讨论广义互联系统的动态分散输出反馈控制问题，相应给出判别有穷固定模和脉冲固定模的充要条件，分析了动态分散控制器用于广义系统分散控制的优缺点，并澄清了文献中有关脉冲固定模判别条件的模糊之处．     

广义对称系统有穷固定模的判别

给出了广义对称系统和广义状态空间对称系统的定义,并对它们的固定多项式分别进行了分析;利用矩阵秩的不等式关系,研究了广义对称系统的有穷固定模的判别问题,给出了不可控模态与不可观模态的关系,并提出了一种新的求解有穷固定模的方法;结果表明,广义对称系统的有穷固定模集合由系统的所有不可控且不可观的有限模态构成·与已有结果相比,本文给出的方法更加有效且简洁·     

脉冲固定模的数学理论

从数学角度论述了一般动态系统存在脉冲固定模的代数充要条件。所得结果概括和完善了目前有关广义分散控制系统脉冲固定模的主要研究成果。     

一般动态系统的无穷固定模式

研究一般动态系统的反馈不变量问题。重点讨论了一般动态系统在输出反馈作用下于无穷远点的不变量问题。给出了“无穷固定模式”的概念及存在条件。结果表明它是广义线性时不变系统脉冲不可控或不可观模式概念的推广。     

分散固定模的新判据

本文首先提出一种适用于任意反馈结构的固定模的新判据,借助于此判据不仅可以确定固定模。而且能确定固定模的重数。在新判据的基础上,作者给出一种计算固定多项式的算法,求解该固定多项式,即可得到系统的全部固定模。最后作者定义了可变模和可变多项式的概念,并对可变多项式和固定多项式分别进行了逐阶分解和逐阶扩充,阐述了分散控制系统固定模生成的机理。     

Researching in Execution Modes for Concurrent Active Rules

It is known as Coupling Modes that how the rule in active database system is triggered to execute by rule monitor when some special events occurs.In general,the Coupling Modes may be divided into immediate,deferred and detached modes in active database systems.This paper classifies the coupling modes into syn-coupling and asyn-coupling modes,according to the key issue,synchrony/asynchrony,in parallel programming language.Rule execution semantics for various coupling modes is distinctly defined.It is beneficial to implementation and usage of the active rule system.After graph-based rule system(E-RG)and its execution model,which have been researched in their previous works,are chiefly described,the authors show the various strategies to construct the syn-coupling and asyn-coupling modes in E-RG rule system,based on semantics of coupling modes.     

广义拟对称组合系统的结构分析

研究了由若干个相同的广义线性子系统以对称的内联方式构成的广义拟对称组合大系统的性质。首先,通过系统变换,将原广义拟对称组合大系统转换为n个低阶的修正子系统,然后通过分析得到广义拟对称组合大系统的稳定性、能控性、能观性、固定模的存在性、分散正常化、Lyapunov方程和Riccati方程的解等性质,均可由这n个低阶的修正子系统的相应性质来描述。     

印度古代宗教哲学中展示的思维方式

不同国家或地区的哲学史有着自身的特点,而思维方式的差别往往是这种特点的典型表现或集中体现。古代印度哲学的发展在很大程度上是宗教思想体系的发展。现通过对佛教、婆罗门教等的宗教哲学思想体系的考察,就这些体系中展示的思维方式的主要类别、表现形态和基本特色等进行总体分析和评述。