体上一类分块矩阵的群逆

给出体上一类分块矩阵群逆存在的一个充要条件,并给出分块矩阵在群逆存在时群逆的表达式,又对两种特殊情况分别给出其群逆表达式的两个简化形式。

体上带有和与差形式子块的分块矩阵的群逆

对于体上n阶方阵A,称满足方程AXA=A,XAX=X,AX=XA的n阶方阵X为矩阵A的群逆。分块矩阵的群逆的存在性和表达式的研究不仅有重要的理论意义,而且有广泛的应用价值。分块矩阵(CAB0)的群逆存在性和表达式是一个未解决的问题。主要给出体上分块矩阵(CAB0)(其中A,B群逆存在且C=±(A+B),或者A,B群逆存在且C=±(A-B))的群逆存在的充分必要条件和表达式。

一类Petri网系统建模与可达性分析的STP方法

基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给出了这类PNSs状态可达性判别的几个充要条件,同时设计了计算这类PNSs任意两可达状态的所有路径的有效算法;最后,用实例说明了所得结果的可行性与有效性.

逻辑动态系统的能观性及非奇异性

研究逻辑动态系统的能观性和非奇异性问题——分别为通过观测输出来得到初始状态和输入.针对这两类问题,分别定义两种不同的加权点对图,从而提供一个判别能观性和非奇异性的通用方法.为解决如何判别能观性,用相应的加权点对图来构造有限自动机,然后通过判别该自动机的完备性来判别能观性.另外,直接从对应于非奇异性的加权点对图出发构造出判别非奇异性的算法.