矩阵方程（AX，XB）=（C，D）和AXB=C的对称正定解

讨论了矩阵方程（ＡＸ，ＸＢ）＝（Ｃ，Ｄ）和ＡＸＢ＝Ｃ的对称正定解。利用奇异值分解和广义奇异值分解导出了这些矩阵方程有对称正定解的充分必要条件，并且给出了一般对称正定解的表达式     

一类特殊实对称矩阵的逆特征值问题

讨论如下形式实矩阵的逆特征值问题（1）给定两个互异实数λ,μ和两个n维非零实向量x，y，求矩阵A，使（λ，x）和（μ，y）是A的特征对；（2）给定两个互异实数λ，μ和两个n维非零实向量x，y，求矩阵A和A*，使得（λ，x）和（μ，y）分别是A和A*的特征对．本文给出了问题有解的充要条件，并给出了一些数值例子。     

关于矩阵的正定性(Ⅰ)

本文讨论了实正定矩阵,得到了一些新的结果。此外,本文还给出了一个判定矩阵正定性的算法。     

多项式矩阵消元法

目前在大型火箭的稳定性判别计算中,首先给出描述系统的运动微分方程和控制微分方程,对这些微分方程进行拉氏变换。若这些微分方程是线性的,则得到一组线性代数方程。求解这组代数方程,就可以得到分布在复平面内的一组根,根据这组根是落在复平面的左半部分,还是右半部分,就可以判断系统是否稳定。一般情况下,描述整个系统的微分方程组为二次线性微分方程组,可用下式表示: AX BX CX=0 这里X、X、X为n维列向量,A、B、C为n×n维的常系数矩阵,经过拉氏变换,其特征行列式为; |AP~2 BP C|=0 这里P为微分算子,每个元素最高为二次多项式。这样,系统的稳定性判别计算就归结为求     

第二类对称三对角矩阵逆特征值问题及其应用

本文研究如下问题: 问题Ⅰ 给定n×2实矩阵X和实对角矩阵A=diag(λ_1,λ_2),求第二类n×n实对称三对角矩阵T使得TX=XA。 问题Ⅱ 给定第二类n×n实对称三对角矩阵(?),求第二类对称三对角矩阵(?)使得,其中S_T是问题Ⅰ的解集合。 本文给出了问题Ⅱ有解的充分必要条件,研究了问题Ⅱ解的存在性和唯一性,给出了问题Ⅰ和问题Ⅱ解的表达式,描述了求解问题Ⅰ和问题Ⅱ的数值方法,讨论了数值方法的应用,并给出了一些数值例子。     

实对称三对角矩阵的广义特征值反问题

本文提出如下广义特征值反问题：问题ＩＧＥＳＴ。给定ｎ阶正定实对称三对角矩阵Ｂ；给定实数μ，υ（μ＞υ）和ｎ维非零实向量ｘ，ｙ。求ｎ阶实对称三对角矩阵Ａ，使得且．其中λｉ（Ａ，Ｂ）（ｉ＝１，．．．，ｎ）表示广义特征问题Ａｚ＝λＢｚ的特征值。文中给出了问题有唯一解的一个充分必要条件和解的表达式；提供了一个数值例子。     

实对称矩阵正定性的一个新的判别准则

只利用第三类初等行变换,获得了实对称矩阵正定性的一个新的判别准则．它的计算量不超过计算一个n阶行列式的计算量．与以前我们所使用的方法比较,具有计算量小、使用方便的特点．     

支持向量机的正定核(英文)

探讨并论证了支持向量机中Mercer核,再生核与正定核这几种核函数的关系及它们在支持向量机中各自的角色.通过核矩阵的正定性检验了核函数的构造方法.基于Bochner定理,在Fourier域验证了许多平移不变核函数.基于Schoenberg定理验证了一些旋转不变径向核.最后讨论了离散尺度与小波核函数的构造,核函数选择与核参数学习.     

Lyapunov矩阵方程的一种数值解法及部分并行处理

本文设计了求解Lyapunov矩阵方程的一种新方法。所考虑的矩阵方程是 AX—XB=C(1)其中A,B,C分别是m×m,n×n和m×n的已知矩阵。 该方法首先是将系数矩阵A,B初等相似约化为三对角矩阵,即存在可逆矩阵U,V,使U~(-1)AU=A,V~(-1)BV=B,其中A,B为三对角矩阵。然后设计了矩阵方程AY—YB=C的公式解法,分三步: 1)求f(λ)=det(λI—A)的λ各次幂的系数a_0,…,a_m; 2)计算sum from i=1 to m (A_(m-i)-CB~(m-i)),f(B); 3)求解Y。解方程AY—YB=C的方法称为THR算法。 最后经逆变换获得原矩阵方程(1)的解X。 求解矩阵方程(1)的方法称为R—THR算法。该方法的计算量约为m~3+4/3n~3+7m~2n+5nm~2+m~2。 本文给出了R—THR的串行计算的数值例子,并给出了THR算法的并行计算格式。最后通过几种数值方法的比较,表明该方法是可行的,也是有效的。     

多维随机振动试验条件制定方法研究

提出了一种以产品遥测振动时域信号为基础的多维随机振动试验条件制定方法。应用此方法确定的多维随机振动参考谱矩阵满足正定性要求。实例自闭环多维随机振动试验控制结果表明,本文方法合理可行。     

由三个向量对构造三对角对称矩阵

文章讨论利用给定的三个向量对构造不可约三对角矩阵、Jacobi矩阵和负Jacobi矩阵的反问题.在求解方法中,将已知的-些关系式等价地转化为线性方程组,利用线性方程组有解的条件,得到了所研究问题有惟一解的充要条件,并给出了数值算法和例子.     

箭状矩阵的广义特征值反问题

讨论实对称箭状矩阵（除对角元及最后一行、最后一列元素外，其余位置元素全为零）的广义特征值反问题，它可以用来描述星形弹簧质量系统的振动问题，即给出系统的振动频率如何来确定质点的质量或弹簧的刚度。通过对箭状矩阵特征多项式性质的研究，运用部分分式理论，证明了给定正定箭状矩阵B，实数{λi}i=1^n,{μi}i=1^n-1，满足λ1＜μ1＜…＜μn-1＜λn，存在箭状矩阵A，使广义特征值问题Ax-λBx有解{λi}i=1^n，而广义特征值问题A(n-1)x=λB(n-1)x有解{μi}i=1^n-1，其中A（n-1),B(n-1)分别表示A，B的n-1级主子矩阵。     

周期对称三对角矩阵的特征值反问题

本文提出由两个特征值和相应的特征向量构造周期对称三对角矩阵的一类特征值反问题,讨论了这类问题的可解性,给出了这类问题有解的充分必要条件,描述了求解这类问题的数值算法,并且给出了数值例子。     

对称带状矩阵的并行Cholesky分解及相应线性方程组的并行计算

大型结构问题所导出的方程组系数矩阵阶数往往非常浩大,传统的串行计算机受存储容量与计算速度限制往往难以处理。本文给出适合寄存器—寄存器加工方式流水线向量机上对称带状矩阵三角分解的并行算法MPLDLT和对称带状线性方程组求解的并行算法MCSA。在YH—1机上通过对实例的计算表明,算法是高效的。当矩阵的阶数仅力1666阶时,算法MPLDLT比相应串行算法计算速度快25倍,算法MCSA比相应串行算法计算速度快47倍。若结合YH—1机的特点,使用向量“链接”技巧,则算法MPLDLT比相应串行算法的计算速度快74倍。     

阻尼结构振动问题特征值定位的一个定理

本文的主要结果是得出了矩阵B—ωA(其中B为对称正定矩阵,A为Hermite矩阵)的首主子式具有类似于Sturm序列的性质,从而建立了求解阻尼结构振动方程M(?) C(?) Kq=0特征值问题的行列式查找法的理论基础,改正了K.K.Gupta在文献[1]—[5]中的错误提法。     

一类矩阵反问题的扰动分析

考虑一类矩阵反问题minA∈1A‖A-(A)‖F,其中lA={A∈(X)n×m|‖AX-B‖F＝min},(A)∈(X)n×m,x∈m×p,B∈(X) n×p是给定的矩阵,讨论了当A,X,B有扰动时问题解的稳定性,作出了问题解的扰动分析,对相容和不相容两种情况给出了解的扰动上界.所获得的扰动上界是相对于扰动解到无扰动流形的距离.     

几类特殊对称矩阵的缩维表示

本文给出几类特殊对称矩阵的定义,讨论它们的结构特点,并进一步进行缩维表示。     

全对称Jacobi矩阵的一类特征值反问题

讨论全对称Ｊａｃｏｂｉ矩阵的如下反问题ｂＪ：给定两个互异实数λ，μ和两个ｎ维非零实向量ｘ，ｙ。构造一个ｎ阶全对称Ｊａｃｏｂｉ矩阵Ｊ（Ｓ）ｎ，使得（λ，ｘ）和（μ，ｙ）是Ｊ（Ｓ）ｎ的特征对。即Ｊ（Ｓ）ｎｘ＝λｘ，Ｊ（Ｓ）ｎｙ＝μｙ文中导出了问题ｂＪ有唯一解的一个充分必要条件。给出了求唯一解的一个算法。     

次对称三对角矩阵特征值反问题

文章讨论了由两个特征对构造次对称三对角矩阵的特征值反问题。结合次对称矩阵中属于不同特征值的特征向量的次正交性,研究了解的存在性以及存在解的充要条件,并给出了相应的算法及数值例子。     

基于测量试验数据修正有限元模型质量矩阵

对无阻尼结构系统有限元模型质量矩阵修正问题,以该矩阵修正量的F-范数为目标函数,并以待修正质量矩阵应具有的性质,如满足正交关系,对称性,半正定性和稀疏性作为约束条件,数学上形成带约束的矩阵最佳逼近问题。给出了问题有解的条件,基于循环投影方法,提出了求解矩阵最佳逼近问题的数值方法。数值结果说明了所给方法的有效性。