矩阵的弱相似性及其应用

推广了矩阵环Mn(F)中相似性概念，提出了矩阵的弱相似概念，研究了它的基本性质，获得一些有趣结果，此外，指出了文[3]的一个错误，给出了Laffey-Choi一个关键引理的矩阵式的证明。     

CRP复合材料板复合型裂纹扩展方向预测理论研究

本文对碳纤维增强的复合材料板裂纹扩展方向预测理论进行了研究。介绍了最新发展起来的复合材料Z断裂理论 ,并通过试验证明了新理论的正确性     

基于两个矩阵方程的一种求逆速算法

基于两个矩阵方程，讨论了矩阵的一种快速求逆算法。在考虑矩阵的对称性，稀疏怀及减缩部分逆阵元素后，推导出逆阵块元素B11^-,B12^- 和B12^-的计算公式并给出算法程序实现方案与算例，是一种大幅减少计算机存贮量与计算次数的快速有效算法。     

亚双曲型广义Cartan矩阵的分类

本文解决了一类非双曲型的不定型（亚双曲型）广义Ｃａｒｔａｎ矩阵的分类问题．证明了亚双曲型矩阵的阶数范围，并做出了阶数为３，５，６的亚双曲型广义Ｃａｒｔａｎ矩阵的Ｄｙｎｋｉｎ图．     

一类特殊逆M-矩阵的判定

主要讨论了逆M-矩阵的判定，给出了一类逆为三对角矩阵的特殊逆坼矩阵，研究了该矩阵的一些特征和性质，存其特殊情况下便推出了D-型矩阵，从而间接的证明了D-型矩阵的一些优良的性质。     

关于可对称化矩阵的Weyl-Лидский型定理

建立了可对称化矩阵情形下的型定理和与近似不变子空间相关的特征值扰动分析.拓广了W Kahan的相应结果.     

利用积分算子方程的小波－矩量法分析频率选择反射面

小波－矩量法以小波基作为矩量法中的基函数，通过Ｇａｌｅｒｋｉｎ法可以获得很稀疏的阻抗矩阵，用迭代法求解时可减少计算机内存和计算时间。该文以有限尺寸的频率选择反射面为例，用小波－矩量法分析散射特性和电流分布，着重讨论了阻抗矩阵的稀疏化程度对计算精度的影响。结果表明，当非零元素仅为１０％时，仍能达到满意的精度，因此小波－矩量法不失为分析电大尺寸问题的一种有效方法     

基础解系的一种算法

文章用矩阵理论得出几个新结论,从而应用新结论得出基础解系的一种算法.     

线性无关向量组正交化的矩阵解法

利用矩阵的初等变换,给出了线性无关向量组正交化的矩阵解法,使用该方法使得线性无关向量组正交化过程更加简捷易行。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写