分块矩阵群逆的表示

S.L.Campbell在文献[1]中提出形为M=(ACBO)(其中A为方阵)的矩阵的Drazin逆表示问题.该问题至今未解决.本文利用群逆存在的充分必要条件和群逆的求解公式,给出形为M的分块矩阵的群逆的存在性证明及一般表示方法.     

发动机磨合质量及工艺水平分析与研究

讨论和分析了零件在寿命期内动配合副表面特性的变化和磨损量对运行储备的影响,并通过研究表明,在其他条件相同的情况下,磨损率取决于间隙增长率,而间隙增长率取决于动配合的间隙值,并提出了磨合最佳规范及工艺条件.     

基于根移动方法的LQR控制器设计

阐述一种LQR控制器设计的新方法。根据哈密尔顿系统理论,深入研究了系统特征方程的闭环极点和加权矩阵的关系,给出了希望加权矩阵的确定方法。通过Matlab仿真实验,证明了根据极点的移动范围来确定LQR控制器的方法是可行的。     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

可换环上矩阵代数的三重导子

本文研究了可换环上矩阵代数的三重导子,通过构造特殊矩阵并利用这些矩阵进行运算,得到任意一个三重导子都可以分解为内导子和倍乘映射之和,从而决定了含幺可换环上矩阵代数的所有三重导子,进而推广了导子的概念.     

关于酉不变范数的几个不等式

首先,得到并证明了酉不变范数的几个不等式;然后,将其与以前的不等式进行了比较.结果表明,新不等式比旧不等式更精细.     

污染数据线性回归模型的参数估计和区间估计

研究线性回归模型:yi=α βxi iε,i=1,2,…,n,其中Eiε=0,E2iε=21σ;但y1,y2,…,yn受到另一个独立同分布随机变量序列W1,W2,…,Wn的污染,仅能观察到yi*=(1-v)yi vwi,i=1,2,…,n,Wi与yi相互独立.文章给出了α,β,v的估计及区间估计.     

非对称损失下正态均值的区间估计

考虑非对称损失下正态均值的区间估计, 在位置变换群下给出容许的最优同变置信区间, 其为通常置信区间的推广. 同时, 利用估计问题中对序限制下参数估计量的改进方法, 结合分布参数之间的序限制改进了所得的最优同变置信区间, 构造了一族改进置信区间.     

三类分块矩阵的群逆

设Cm×n为复数域上m×n阵的集合.如果A∈Cn×n,则称满足如下条件AXA=AXAX=XAX=XA的矩阵X为A的群逆,记为A#.它若存在则是唯一的.给出了一些特殊形式的分块矩阵群逆存在的充分必要条件及其具体表达式.     

谢邦杰教授对体上矩阵理论研究的贡献及其在中国的进展

注意到体上矩阵研究的价值与困难,综述了谢邦杰教授1978-1982年关于体上矩阵相似标准形、弱标准形刻画定理,可中心矩阵的特征值基础、行列式方案,以及自共轭四元数矩阵的行列式理论等研究成果;进而阐述了1980年以来中国学者在这些成果基础上对体上矩阵的秩、相似标准形理论、四元数矩阵行列式、自共轭四元数矩阵,以及体上矩阵方程与广义逆矩阵等研究的进一步推进。