三类图的拉普拉斯谱半径的极限点

将图的结构与对应的拉普拉斯矩阵相结合,研究其拉普拉斯特征多项式。根据拉普拉斯特征多项式的特征求出了图的拉普拉斯谱半径的极限点。利用图经粘连运算后的拉普拉斯特征多项式以及图的拉普拉斯谱半径的上界和下界,证明了三类图的拉普拉斯谱半径的极限点的存在性,证明了n→∞时图类的拉普拉斯谱半径是某方程的最大根。     

多传感器最优信息融合稳态Kalman滤波器

Lagrange乘数法给出了按矩阵加权线性最小方差最优融合估计公式新的推导。在此基础上提出了多传感器最优信息融合稳态Kalman滤波器。其中用迭代法求解局部滤波误差协方差阵所满足的Lyapunov方程,证明了迭代解的指数收敛性,且收敛速度与Kalman滤波器的转移阵的谱半径有关。两传感器目标跟踪系统的仿真例子说明了其有效性。     

一类离散型结核病模型的全局稳定性

本文研究了一类离散型结核病模型.利用求再生矩阵谱半径的方法,计算得到模型的基本再生数R_0.运用差分方程相关理论,证明了模型解的正性和有界性.通过构造适当的Lyapunov函数,证明了R_0=1是决定疾病消失或者持续的阈值.当基本再生数R_01时,无病平衡点是全局渐近稳定的;当基本再生数R_01时,地方病平衡点是全局渐近稳定的.     

非负矩阵谱半径的一个新界值估计

对非负矩阵谱半径的界值给出了一个新的估计,把非负矩阵谱半径的上下界表示成矩阵元素的一个易于计算的函数,证明了由该函数表示的谱半径的上下界可以通过递推计算的方法无限地逼近谱半径.最后,通过实例与以往的结论作比较,验证了该界值估计的有效性.     

关于矩阵的最小示性数

本文对一个矩阵的最小示性数进行了研究,并证明了一个矩阵的最小示性数等于其对应的非负矩阵的谱半径。     

Lyapunov引理的一个构造性证明及其应用

给出Lyapunov引理的一个构造性证明,利用它证明了矩阵方程AX+XA=B的解的存在性和唯一性,并且找到它的唯一解。给出Lyapunov引理在锥优化问题中的应用。     

Sylvester矩阵方程的改进IO迭代算法

通过对Sylvester矩阵方程的理论分析,可知IO迭代算法中迭代矩阵的谱半径随内迭代次数的增大而减小,更新了IO迭代算法中内迭代次数的选择方法,并证明了该算法收敛性与初始矩阵无关。Sylvester矩阵在满足一些特定条件下,为了进一步提高收敛速度,可通过选择适当的相关参数,使得IO迭代算法有较好的收敛速度且比Smith算法的迭代次数明显减少。     

圈不交的双圈图的距离谱半径(英文)

图G的距离谱半径ρ(G)是图G的距离矩阵的最大特征值.本文利用线性代数和图论的方法,先给出了一些使距离谱半径递减的图变换,然后利用这些变换确定了圈不交的双圈图中距离谱半径最小的极值双圈图,同时,给出了对应距离谱半径满足的三次方程.     

预处理Gauss-Seidel迭代方法渐近收敛率的单调性

研究带参数预处理的改进Gauss-Seidel迭代法对非奇异M-矩阵的收敛性,证明了当所有预处理参数αi满足0≤αi≤1时, 其迭代矩阵的谱半径是单调下降的,从而其渐近收敛率是单调上升的.并给出了一个矩阵系列,其迭代矩阵的谱半径当所有预处理参数αi=1时达到最小值,亦即此时其渐近收敛率达到最大值.这些反例说明,Gauss-Seidel迭代法的迭代矩阵的谱半径的单调性当αi〉1时将不能得到保证.     

图的无符号拉普拉斯谱半径与最大度

图的无符号拉普拉斯矩阵定义为其度矩阵与邻接矩阵之和,其最大特征值称为图的无符号拉普拉斯谱半径.本文证明了若连通图G的无符号拉普拉斯谱半径大于2(△(G)+1/△(G))-3/2,那么G中必定含2个最大度点.     

半空间上Burgers方程改进的Legendre有理谱逼近

用改进的Legendre有理谱方法对半无限空间上Burgers方程构造了一种具有守恒性质的逼近格式,并用误差估计方法证明了格式的收敛性。     

近似求解Cahn-Hilliard方程的拟谱方法

利用拟谱方法研究了非线性Cahn-Hilliard方程解的近似, 分析了半离散与全离散近似解的收敛性和稳定性, 并给出收敛速度的估计. 同时还讨论了半离散问题解的爆破现象.     

求解二维Shroedinger方程的全离散Galerkin谱元素方法

对于二维的Shroedinger方程，空间上采用谱元素方法离散，时间利用Crank-Nicolson隐格式离散，得到了数值求解该方程的全离散格式．从理论上严格证明了全离散格式的数值解在不同能量范数意义下的稳定性和收敛性．     

无界域上一类半线性波动方程的全离散谱格式

考察一类带有强阻尼项的半线性波动方程在无界区域上的数值解问题.建立了全离散的谱格式,空间方向上采用Hermite谱方法,时间方向采用二阶差分格式,给出了格式的收敛性和稳定性分析.通过数值算例验证了方法的高精度性和有效性.     

广义混合型Lyapunov矩阵方程多参数迭代校正方法

讨论广义混合型Lyapunov矩阵方程AX+XB+CXD=F的多参数迭代校正方法.给出了迭代收敛的充要条件和参数的选取方法,同时运用一个整体校正模型改善了迭代的收敛性.当方程相容时,该算法对方程的系数矩阵无特殊限制.     

SQCF一类混沌系统的高增益观测器同步方法

针对SQCF(simplest quadratic chaotic flow)模型类的不确定混沌性系统,基于高增益观测器的方法,讨论了混沌同步设计方法.通过在观测器中加入滑模项来抑制未知干扰的影响,以此设计了一个鲁棒高增益观测器.高增益的选取基于一代数Riccati方程的解,为此讨论了Riccati方程解的存在性.设计滑模增益,使系统达到并保持在滑模面上.基于坐标变换和Lyapunov稳定性理论,证明了同步的收敛性.针对一个SQCF混沌系统进行了仿真设计,仿真结果表明了该方法的有效性.     

一类二阶时滞方程脉冲解的存在性与指数稳定性

研究了一类二阶时滞微分方程,利用~Schaefer 不动点定理做工具论证了方程在脉冲条件下解的存在性, 通过构造合适的李雅普诺夫函数证明方程的非平凡解在区间$[t_0,+\infty)$上是可脉冲指数稳定的,最后给出解可指数稳定的两个实例.     

非齐次热传导方程初边值问题的形式级数解的收敛性

对线性非齐次热传导方程初边值问题的形式级数解的收敛性问题进行了研究,通过证明形式级数的一致收敛性和可逐项求导性质,得到了线性非齐次热传导方程初边值问题的古典解的存在唯一性和广义解的存在唯一性.