修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解的渐进行为

研究修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解.运用C₀-半群理论与算子理论研究该模型相应算子的谱的特征,获得了该系统的时间依赖解强收敛于该系统的稳态解.     

一类可修复计算机系统的定性分析

本文讨论由软件和硬件构成的一类可修复计算机系统的动态解.运用C0-半群理论及算子理论,证明该系统的适定性和非负动态解的存在唯—性.通过研究系统相应算子的谱特征,得到系统的渐近稳定性.     

一类两个相同部件并联的可修系统解的渐近稳定性

通过讨论一类两个相同部件并联的可修系统的主算子的谱特征得到：当系统冷备时，在虚轴上，除了0外，其它所有点都是此算子的正则点，0是此算子的连续谱，由此推出，当系统冷备时该系统的时间依赖解是强渐近稳定的。     

修理工多重延误休假的三部件并-串联退化可修复系统的适定性

研究了修理工多重延误休假的三部件并-串联退化可修复系统,该系统用带有边界条件和初始条件的无穷多个偏微分方程来表示.运用泛函分析中的C₀-半群理论来证明系统的解是存在并且唯一的.通过数值算例对系统进行了模拟,得到的结论与理论上证明的结论一致.     

由软件和硬件构成的串联可修计算机系统的适定性及渐近稳定性

讨论由软件和硬件构成的串联可修计算机系统的时间依赖解,运用C_0-半群理论及算子理论,证明系统的适定性和时间依赖非负解的存在唯一性.通过研究系统相应算子的谱特征,得到系统时间依赖解的渐近稳定性.