一类可靠性模型时间依赖解的渐近性质

研究了带无穷多个部件的，由一个可靠机器，一个不可靠机器与一个缓冲库构成的系统解的渐近性质．先讨论了对应于该系统的主算子的谱特征并且得到了在虚轴上除了0点外其它所有点都属于该主算子的豫解集，0是该主算子及其共轭算子几何重数为1的特征值．然后将该结果与作者以前的结果结合起来推出该系统的时间依赖解当时刻趋向于无穷时趋向于该系统的稳态解．     

一类可靠性模型的另一个特征值

研究带无穷多个部件的，由一个可靠机器，一个不可靠机器与一个缓冲库构成的系统主算子在左半复平面中的特征值，证明2√λη1μη2-λη1-μη2是该主算子的几何重数为1的一个特征值．     

一类可靠性模型的主算子的谱

研究一个可靠机器,一个具有无穷容量的缓冲库和一个不可靠机器构成的系统的主算子的谱.当机器1的加工率λ,机器2的加工率μ,部件从机器1成功地传送到机器2的概率η_1,机器2成功处理完部件的概率η_2满足一定的条件时,证明-μ不是该系统的主算子的特征值.     

一类可靠性模型解的渐近稳定性

研究一个可靠机器，一个不可靠机器和一个缓冲库构成的系统。通过研究相应算子的谱特征得到该系统解的渐近稳定性。     

附有不可靠服务台和无等待能力的M/G/1/1排队模型时间依赖解的渐近性分析[英文]

本文研究附有不可靠服务台和无等待能力的M/G/1/1排队模型时间依赖解的渐近行为.首先利用强连续算子半群理论证明此排队系统模型正时间依赖解的存在唯一性.然后通过研究该模型相应主算子的谱,分别得到0是其主算子及其共轭算子的几何重数为1的特征值与虚轴上除了0外其他所有点都属于该模型主算子的豫解集.最后将上述结果结合在一起推出该模型的时间依赖解强收敛于其稳态解.     

一类可靠性模型的其它特征值

研究由一个可靠机器,一个不可靠机器与一个无穷容量的缓冲库构成的系统主算子在左半复平面中的特征值,证明对一切θ∈（0,1）,（2（λη_1μη_2）~（1/2）-λη_1-μη_2）θ都是该主算子的几何重数为1的一个特征值.     

一类可靠性模型的适定性

研究由一个可靠机器，一个不可靠机器和一个缓冲库构成的生产线．首先对应于此系统的数学模型化为抽象Cauchy问题，然后运用C0-半群理论证明此模型存在唯一的非负解。     

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

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

一个可靠机器,一个不可靠机器和一个缓冲库构成的系统的定性分析

本文用纯分析的方法给出了一个可靠机器 ,一个不可靠机器和一个缓冲库构成的系统解的存在唯一性证明     

寿命为爱尔兰分布的可修闭路排队模型时间依赖解的渐近性质

利用C_0-半群理论研究寿命为爱尔兰分布的可修闭路排队系统.首先利用泛函分析中的Hille-Yosida定理,Phillips定理和Fattorini定理证明此排队系统模型正时间依赖解的存在唯一性.然后通过研究该模型相应主算子的谱的特征,分别得到虚轴上除了0外其他所有点都属于该模型主算子的豫解集与0是其主算子及其共轭算子的几何重数为1的特征值.最后将上述结果结合在一起推出该模型的时间依赖解强收敛于其稳态解.     

工作休假和休假中止的M/M/1排队系统时间依赖解的渐进性质

研究工作休假和休假中止的M/M/1排队系统时间依赖解的渐近性质.通过研究该模型主算子的共轭算子的豫解集得到在虚轴上除了0点外其它所有点都属于该主算子的豫解集,并得到0是主算子及其共轭算子几何重数为1的特征值,由此推出当时刻t趋向于无穷时模型的时间依赖解收敛于其稳态解.     

一个供应链系统可靠性模型时间依赖解的渐近行为

本文研究一个供应链系统可靠性模型的时间依赖解.利用C0-半群理论研究该模型相应算子的谱的特征,获得了该系统模型时间依赖解的渐近行为,推广了文献[8]中的结果.     

具有工作休假及休假中止的$M/M/1$排队模型的主算子的点谱

本文考虑具有工作休假及休假中止的$M/M/1$排队模型的主算子的点谱. 证明该模型主算子在左半轴有不可数无穷多个特征值. 此结果描述了主算子的点谱. 然后证明该主算子生成的$C_0$-半群的本质增长界为0,由此推出该$C_0$-半群不是紧算子、它的本质谱半径等于1. 此外,这些结果蕴含该模型的时间依赖解不可能指数收敛于其稳态解.     

具有N个故障模型和一个储备部件的可修复系统的稳定性分析

讨论了一个储备部件和N个故障模型的可修复系统的稳定性.证明系统算子的谱点在复平面的左半平面,虚轴上的点除0点外都无谱,且0是系统算子的一个简单本征值.并由此得出系统模型非负时间依赖解趋于稳定解.     

一个C0-半群的特征值到本质增长界

本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含一个区间（-α,0）,α>0.此结果表明该主算子生成的C₀-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到:（i）该C₀-半群的本质增长界为0.从而,该C₀-半群不是拟紧算子.（ii）该模型的时间依赖解不可能指数收敛于其稳态解.（iii）该C₀-半群的本质谱半径等于1.     

两同型部件温贮备可修系统解的指数渐近稳定性

运用强连续半群理论研究两同型部件温贮备可修系统解的指数渐近性质,首先证明系统所生成的C0半群T(t)是拟紧的.其次证明0是对应于系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,推出在右半平面和虚轴上除0以外其他所有点都属于该算子的豫解集,由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解.     

单重休假的M/M/1排队模型的主算子的点谱

描述单重休假的M/M/1排队模型的主算子的点谱.由此推出:1)该主算子生成的C_0-半群的本质增长界等于0.从而,它不是拟紧算子.2)该C_0-半群的本质谱界等于1.3)该模型的时间依赖解不可能指数收敛于其稳态解.     

两相同部件冷贮备可修系统算子性质

研究了两相同部件冷贮备可修系统算子性质,此系统由2个同型部件及一个修理设备构成.其中一个部件工作,另一个部件冷储备.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

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

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

两同型部件温贮备可修系统算子性质

研究了两同型部件温贮备可修系统,此系统由2个同型部件及一个修理设备构成.其中一个部件工作,另一个部件温储备.运用C_o半群的理论,证明系统算子是稠定的预解正算子,得出系统算子的共轭算子及其定义域,并证明了系统算子的增长界为O.最后运用了预解正算子中共尾的概念及相关理论,证明系统算子的谱上界也是0.