算子方程AXB~*-BX~*A~*=C的解

设A∈B(H3,H2),B∈B(H1,H2),其中Hi,i=1,2,3都表示Hilbert空间。本文利用算子分块的技巧,在算子A,B值域闭以及R(B)R(A)的条件下讨论了算子方程AXB*-BX*A*=C解存在的充要条件并用算子矩阵的形式给出了一般解的表示形式。特别地,讨论了当B是一个正交投影算子P时,算子方程AXP-PX*A*=C的解存在的充要条件以及一般解的表示。     

两个拟互素因子链上倒数幂GCD与倒数幂LCM矩阵的非奇异性

设S={x1,x2,…,xn}是一个正整数的集合,a是一个正实数.如果一个n阶矩阵的第i行第j列的元素定义为1/(xi,xj)a,其中(xi,xj)a表示S中的元素xi与xj的最大公因数的a次幂,则称这个矩阵是定义在S上的倒数幂GCD矩阵,用(1/Sa)表示.类似可定义倒数幂LCM矩阵[1/Sa].作者得到了定义在两个拟互素因子链上的倒数幂GCD矩阵与倒数幂LCM矩阵的行列式公式,并由此证明了定义在两个拟互素因子链上的倒数幂GCD矩阵与倒数幂LCM矩阵均是非奇异的.     

DLU三元组矩阵的三类逆二次特征值问题

给出了DLU三元组矩阵的二次特征多项式的表达式,就n=5研究了三类逆二次特征值问题,利用广义逆矩阵理论和线性代数基本理论得到了问题有解的条件和解的表达式．数值实验说明了算法的有效性．     

半参数模型在GPS水准中的应用

半参数回归模型将影响观测值的因素分为线性部分和系统性部分,以此来描述客观实际,更具有灵活性和贴切性。用来逼近高程异常曲面也具有较强的解释能力。本文给出了具体模型和计算方法．并用此模型对一个大测区的GPS水准数据进行解算,获得了满意的结果。     

对称矩阵与Bezout矩阵之间关系的探讨

Bezout矩阵是关于多项式对的一种特殊二次型.首先给出几种特殊情形,随后归纳证明在标准基下,满足条件rank△↓A≤2或rankΔA≤2的任意对称矩阵也是Bezout矩阵.在一般基下,任一对称矩阵均可找到由两个多项式生成的Bezou矩阵与之对应.     

Quantale矩阵的加权M-P广义逆的反序律

通过举例说明实数域上矩阵和Quantale上矩阵存在较大差异,进而给出Quantale矩阵加权M-P广义逆的定义,并得到Quantale矩阵加权M-P广义逆的反序律成立的充要条件。     

时变时滞不确定控制系统二次镇定研究

研究了一类时变时滞不确定控制系统的鲁棒镇定性.该系统的不确定参数是时变未知但范数有界的.利用线性矩阵不等式和二次李雅普诺夫-克拉索夫斯基泛函,获得了具有任意有界时变时滞控制系统稳定的一些充分条件,并设计了状态反馈控制器,使相应闭环系统是鲁棒稳定的.最后,通过一个数值算例说明了所获得结果的有效性.     

无约束条件的矩阵多项式的秩和

应用多项式最大公因式与最小公倍式的对偶性,得到了用相应最大公因式与最小公倍式表示的无约束条件的任意有限个矩阵多项式的秩和恒等式.     

任意域上矩阵的Jordan标准型

文章根据线性变换的相似性与矩阵相似性之间的等价关系,利用一般算子和位移算子Sq是相似的这个特别的方法,推导出了线性代数中复矩阵的Jordan标准型的存在性,并推广到了任意域F上的矩阵的广义的Jordan标准型.     

一种基于混合覆盖矩阵的pairwise测试用例生成方法

测试用例集的生成是组合测试的一个关键问题,但是使用完全组合覆盖生成测试用例集是NP完全问题.对偶覆盖要求测试用例集至少覆盖输入参数的每一个取值对.该类方法在测试代价和效率方面进行了很好的折中,一直受到广泛关注.基于混合覆盖矩阵,提出了一种pairwise覆盖的测试用例生成方法.实例分析表明,该方法具有生成的测试用例较少、时间消耗小等特点.