冷贮备可修复系统解的指数渐近稳定性

讨论了具有两同型部件的冷贮备可修复系统,首先证明系统算子可以生成正压缩C0半群T（t）;接着证明了T（t）是拟紧算子,且0是对应系统的主算子及其共轭算子的几何重数与代数重数为1的特征值．由此推出：该系统的时间依赖解,当时间趋向于无穷时,以指数形式收敛于系统的稳态解．     

一类可修复人机系统的最优控制

利用范数指标泛函作为衡量控制变量的标准, 采用极小化序列, 解决了一类可修复人机系统解的最优控制问题, 得到了系统的最优控制元, 使系统的稳定性和利用效率得到较大提升.     

一类可修复计算机系统的稳定性和可靠性

研究一类可修复计算机系统模型,利用常微分方程的稳定性理论,证明了系统的稳定性.同时,在假定故障率和修复率均为常数的前提下,讨论了系统的可靠性.     

具有等待时间的复杂可修复系统解存在的唯一性

研究具有等待时间的复杂可修复系统，运用泛函分析的方法，首先将原问题转化为抽象的柯西问题，然后运用C0-半群理论给出了系统动态非负解的存在唯一性的证明．     

两不同故障状态可修复系统的稳定性分析

用算子半群理论讨论两不同故障状态可修复系统的稳定性问题. 通过将模型方程转化为抽象Cauchy问题, 分析系统算子的谱点分布情况, 从而证明系统算子的谱点均位于复平面的左半平面, 且虚轴上除0点外无谱点, 并进一步给出系统解的渐近稳定性. 最后从特征向量的角度分析系统的稳态指标.     

一类非线性系统零解的渐进稳定性

基于Liapunov函数,讨论了一般非线性系统及其大系统的零解关于部分变元的渐进稳定性,在局部渐进稳定性的基础上得到了系统的零解关于部分变元的全局渐进稳定性的结果.     

基于软硬件特性的可修复计算机系统半稳定性

本文利用增补变量的方法建立了一个由硬件和软件串联组成的计算机系统数学模型;在该系统非负弱解存在的基础上,利用常微分方程理论,进一步讨论该系统解的半稳定性。     

竞争生态模型平衡解的渐进稳定性

主要考察了具有年龄结构和分布时滞的竞争生态模型平衡解的渐进稳定性。给出了平衡解渐进稳定的条件。     

单部件可修系统解的渐近稳定性

运用泛函分析的方法,通过分析系统主算子的谱特征,给出了单部件可修系统解的渐近稳定性证明。     

可修复系统中具有耗散算子的抽象Cauchy问题解的适定性

研究了耗散算子及其共轭算子的性质,给出了具有耗散算子的抽象Cauchy问题解的适定性条件,指出此类问题解的适定性与耗散算子的共轭算子的预解式存在与否密切相关.     

具有时滞的周期Lotka-Volterra系统的持久性与渐进稳定性

研究了具有反馈的Lotka-Volterra方程，给出了其正解具有持久性的充分条件。并利用Horn不动点定理，得到其正周期解的存在性。     

具有两种修复方法的可修复系统解研究

将半离散算法应用到具有两种修复方法的可修复系统模型中,在[0,x_0]上对其修复率进行离散,得到了该系统的半离散化模型.进一步利用泛函分析中算子半群理论将半离散后的偏微分方程转化为抽象Cauchy问题,即转化为矩阵常微分方程组;再根据Trotter逼近定理证明了矩阵常微分方程组的解收敛于原方程的解.最后在故障率和修复率均为常数的前提下,利用Matlab对该系统的稳定性和可靠性等进行了数值试验并得到了该模型的数值解,同时给出了相应的图形趋势.结果表明,对具有两种修复方法的可修复系统模型进行半离散化研究,既可以为利用计算机进一步进行数值计算打下理论基础,又有助于研究和分析系统的可靠性.     

具有软硬件可修复计算机系统解的半离散化

为了解决利用数值计算研究具有软硬件可修复计算机串联系统模型的问题,利用半离散化逼近方法将一个抛物型偏微分方程化为矩阵常微分方程,且后者在许多问题上可以作为原问题的近似.将半离散算法应用到具有软硬件可修复计算机系统模型中,对系统中的修复率进行离散,得到了该系统的半离散化模型,运用泛函分析理论证明了半离散算法的收敛性,结果表明:离散后方程的解收敛于原方程的解,从而为该模型进一步的数值计算提供了理论基础.     

Banach空间中的含Co的可补渐进等距copy

给出了Sobczyk定理的渐近等距版本，同时也在向量值函数空间中讨论含Co的可补渐进等距copy．     

一类复杂可修退化系统解的渐近稳定性

研究了一类复杂可修退化系统,通过分析主算子的谱特征,给出了系统解的存在性,进而得到了该系统的渐近稳定性.     

具有软硬件可修复计算机系统的解的单调稳定性分析

在假定可修复计算机系统的故障修复率为常数和系统的失效率相等的前提下,运用数学分析的方法以及微分方程中常系数线性微分方程组的特征线法给出可修复计算机系统模型非负解的解析表达式,利用修复系统模型解的解析表达式给出了该修复系统模型稳态解的具体表达式,最后运用数学分析的方法给出了由硬件和软件组成的计算机可修复串联系统非负解的单调稳定性的证明。     

Banach空间中的含c0的可补渐进等距copy

给出了Sobczyk定理的渐近等距版本,同时也在向量值函数空间中讨论含C0的可补渐进等距copy.     

一类Kantorovich型算子列的渐进展开

研究了Bleimann-Butzer-Hahn算子的Kantorovich型算子列K_n的逼近性质,作者运用分析和逼近论的方法以及不等式技巧得到了算子列K_n对可微函数类的渐进展开式与点态估计公式.特别地,作为结果的推论,建立了算子列K_n关于可微函数的一个Vonorovskya型渐进公式.     

用马尔柯夫过程分析可修复系统的稳态可用度

主要论述如何利用马尔柯夫过程求解可修复系统的稳态可用度，并结合实例给出求解步骤。     

关于一类非线性中立型系统的渐进稳定性

讨论了具有无限时滞的中立型泛函微分方程的渐进稳定性，去掉了方程右端F(t，x1)有界的条件，使判据更加简单。