Petri网的S－补和T－补的几个性质

本文基于Ｐｅｔｒｉ网的矩阵表示，通过矩阵的运算给出了网的Ｓ－补和Ｔ－补的矩阵形式公式。同时给出对逆网、对偶网的Ｓ－补和Ｔ－补的求解方法。     

自共轭四元数矩阵Schur补的单调性

给出正定或半正定自共轭四元数矩阵Ｓｃｈｕｒ补或广义Ｓｃｈｕｒ补的Ｌ　ｗｕｅｒ偏序。     

可控串补多目标控制研究

可控串补暂态稳定控制，既要抑制功角第一摆，又要快速阻尼系统故障后的功率振荡，这是一个多目标控制问题。文中提出了基于Ｔ－Ｓ（Ｔａｋａｇｉ－Ｓｕｇｅｎｏ）模型的可控串补模糊控制策略，充分考虑了可控串补装置的非线性，并结合了线性最优控制理论和专家知识。该模糊控制器相当于自适应变增益的线性最优控制器，能满足系统多目标控制的要求。数字仿真表明，该模糊控制策略在暂稳控制中优于其它常规控制方式（ＰＩ控制，ｂａｎｇ－ｂａｎｇ控制，线性最优控制）。     

广义Schur补的Loewner偏序和特征值不等式

对半正定矩阵的幂给出广义Ｓｃｈｕｒ补的一些Ｌｏｅｗｎｅｒ偏序和特征值不等式。     

特征标次数与正视p—补

证明了定理设Ｇ是一有限群，ｐ是一个素数，Ｐ是Ｇ的一个Ｓｙｌｏｗｐ－群。那么Ｇ的每个非线性不可约特征标的次数被ｐ整除当且仅当Ｇ有正规ｐ－补。     

用EMME／2软件来估计O—D矩阵的实用方法

本研究的目的是用精确的数据来获得更准确的Ｏ－Ｄ矩阵。这些数据诸职ＴＣＳ Ｏ－Ｄ矩阵,观测的路段交通量和通过ＥＭＭＥ／２获得的快速公共汽车Ｏ－Ｄ矩阵,首先,建立每个收费站的一个有效区域,每个收费站的出入量被分配到有效区域中的小区,这一分配好的Ｏ－Ｄ矩阵再被分配给出由所有收费站和它们的有效区域组成的网络,其次,我们校正区域Ｏ－Ｄ矩阵,排除ＴＣＳ Ｏ－Ｄ矩阵,目的是反映观测到的交通量,而将快速公共汽车和     

混合有限元离散矩阵Schur补的条件数估计

本文给出了混合有限元离散偏微分方程刚度矩阵Ｓｃｈｕｒ补Ｍｈ的条件数估计，对板问题，利用著名的Ｃｉａｒｌｅｔ－Ｒａｖｉａｔ混合有限元离散格式，证明了Ｃｏｎｄ（Ｍｈ）＝Ｏ（ｈ＾－４），对二阶问题也证明了Ｃｏｎｄ（Ｍｈ）＝Ｏ（ｈ＾－２）。     

复正定矩阵的Schur补及行列式理论

给出了局部Ｈｅｒｍｉｔｅ阵的概念，利用它研究了复正定矩阵的Ｓｃｈｕｒ补的正定性，并建立了一系列行列式不等式，改进并推广了Ｍｉｎｋｏｗｓｋｉ，Ｏｓｔｒｏｗｓｋｉ－Ｔａｕｓｓｋｙ，屠伯埙，李炯生等的一些者名结果。     

从增强的LOTOS（E—LOTOS）说明到Petri网的转换

Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强,Ｐｅｔｒｉ网是分析系统的有效工具,本提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转网方法,并提出南非进一步考虑的问题。     

t—设计的补设计

证明了一个t－设计的补设计仍然是一个t－设计。     

矩阵广义Schur补的几点注记

目的 研究矩阵广义Schur补的商性质和特征值交错不等式。方法 主要利用半正定Hermitian矩阵及矩阵Moore—Penrose广义逆的性质进行研究。结果 对半正定Hermitian矩阵，给出了其广义Schur补的一个极小表示，将矩阵Schur补的商性质推广到广义Schur补，并得到几个重要不等式。结论 对半正定Hermitian矩阵，其广义Schur补具有商性质及特征值交错性质，但对一般Hermitian矩阵，这两个结果均不一定成立。     

Schur补矩阵秩的不等式性质

矩阵的秩是矩阵的主要特征之一,而矩阵的Schur补又是处理大规模矩阵的主要途径。本文在研究了实数与矩阵乘积的Schur补、共轭转置矩阵的Schur补与矩阵秩的等式关系之后,又给出了幂矩阵与Schur补矩阵之间的秩的不等式性质,从而为处理大规模的矩阵计算提供了理论支撑。     

偏负矩阵的Schur补及分块降阶判定

研究偏负矩阵的Ｓｃｈｕｒ补及其性质，得到了几个偏负矩阵的降阶判定。     

K—TSP问题的近似算法

利用△ＴＳＰ问题的Ｃｈｒｉｓｔｏｆｉｄｅｓ算法及其在Ｋ－ＴＳＰ问题上的扩展，通过权函数变换ｃｉｊ＝ｃｉｊ－ｕｉ－ｖｊ使ｃｉｊ〉０，ｃｉｋ＋ｃｋｊ≥ｃｉｊ，给出了求解Ｋ－ＴＰＳ问题的有效途径，得到了目标函数的更好的界值估计，Ｃ（Ｈａ）≤γ（ｎ）Ｃ（Ｈ＾＊）－（γ（ｎ）－１｛（ｋ－１）ｃ１１＋∑ｃｉｉ｝。     

缺项算子矩阵的逆补

目的给出算子逆配置及缺项算子矩阵的逆补刻画。方法利用空间分解、极分解及构造算子矩阵的技巧。结果对给定的算子A∈B(?),B∈B(?),得到存在算子F∈B(?), 使得算子A BF可逆的条件;特别对定义在(?)上的缺项算子矩阵{A? B?},刻画了存在算子对(X,Y),其中(X,Y)∈ B(?)×B(?),使得补矩阵MX,Y=(AX BY)可逆的条件。结论利用获得结果,可对算子逆配置问题作进一步的研究。     

某类缺项算子矩阵的2阶代数补

对于给定的2次多项式p(t),我们给出了形式为和的缺项算子矩阵存在补T使p(T)=0的充分必要条件,并且用参数表示刻画了所有可能的二阶代数补, 也给出了有2阶—p(t)—代数补满足范数不超过u（≥max{|α|:p(a)=0}）的充分必要条件和的相似结论。     

广义Schur补的L■wner偏序和特征值不等式

对半正定矩阵的幂给出广义Schur补的一些Lowner偏序和特征值不等式.     

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言Ｊａｖａ完善从体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件,使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开,而且为了方便用户,满足工业界和其它领域的要求,给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。     

圆弧插补对数算法及误差分析

提出了一种采用对数算法的圆弧插补方法，并对插补误差进行了分析，插补软件利用ＭＣＳ－５１汇编语言编制。     

正定复矩阵的性质

给出正定复矩阵的若干个等价条件，讨论了正定复矩阵的主子阵的特征值、行列式模的不等式及正定复矩阵的Ｓｃｈｕｒ补．