可修复人机系统的指数稳定性

研究了两相同部件温储备可修的人机系统,运用C_0半群的相关理论,对系统主算子的谱界进行估值.估算系统的算子产生的半群的增长界,然后运用了共尾的概念及相关的理论,得到了系统算子A+B的谱界与系统算子产生的半群的增长界相同.进而运用相关代数知识证得,0为系统算子的简单本征值,并分析了系统算子的谱分布,得到系统的指数稳定性.并研究了系统算子预解式的特性.对任意给定的δ0,γ=a+bi,-μ+δa_1≤a≤a_2,得到lim|b|→∞‖R(γ;A+B)‖=0.进而得到在~sRγ≥a_1的右半平面内相应于系统算子A+B的谱点由有限个本征值组成.     

浅析几类双输入排队系统模型

从矩阵几何解的角度出发,分析了七种类型的Geom/Geom/(Geom/Geom)/H 双输入排队系统.对这几个模型进行了描述,使用拟生灭过程探讨了各类模型的矩阵结构,并给出了其状态转移概率矩阵.     

微分方程解的存在区间的确定

从六个方面说明了确定一阶微分方程解的存在区间的方法.     

集值型两个函数的极小极大定理

极小极大定理是非线性分析研究的重要内容.它已广泛应用于博弈论,数量经济学,最优化理论,变分不等式,微分方程,不动点理论等许多领域.利用非线性标量化函数得到新的集值型的两个函数的极小极大定理.     

C-连通序列下模糊显示偏好公理满足程度的研究

在C-连通序列下给出模糊选择函数C满足显示偏好公理WAFRP°、SAFRP°及公理HAFRP的程度,并讨论了它们之间的关系以及它们与一致性公理程度WFCA (C)和SFCA(C)之间的关系.     

三类特殊的实系数一元六次方程的矩阵解法

通过将一元六次方程化成矩阵相乘的形式，利用对称矩阵可以对角化的性质，将三类特殊的一元六次方程降次为三次方程。从而用矩阵方法解决三类特殊六次方程的求解问题．     

Oseen方程的一种新的局部投影稳定化方法

对Oseen方程提出一种新的局部投影稳定化有限元方法,并且速度和压力采用inf-sup稳定的非协调有限元空间逼近．局部投影稳定化项仅加在子网格上(H≥h);与RFB方法相比,该方法稳定性项简单,并且可以克服对流占优．最后,通过实验证明,数值结果和理论结果完全一致．     

一类凹与凸算子的推广

运用锥的性质以及单调迭代技巧给出了一类广义凹算子与凸算子正不动点的存在唯一性,并讨论了算子特征值方程的性质.作为应用,利用所获结果研究了一类积分方程正解的存在唯一性.     

Banach空间中二阶积分-微分方程的初值问题

使用锥理论及单调迭代技术，首先讨论了Banach空间中一阶积分-微分方程初值问题的最小最大解的存在性，并在此基础上讨论了带有一阶微分项的二阶积分-微分方程初值问题的最小最大解的存在性。     

M-矩阵平方根的一类迭代法

矩阵平方根在数学的许多应用中起着重要的作用.本文研究M-矩阵平方根的计算问题,提出一种计算正则M-矩阵平方根的迭代方法.首先将这个问题转化为M-矩阵代数Riccati方程,进而提出一种有效的方法来求解这个特殊的MARE.理论分析表明,该方法在一定条件下是收敛的.数值实验表明该方法是可行的,且优于二项式迭代法.