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

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

残数定理在一个可靠性模型研究中的应用

本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为.首先在我们已有的工作基础上指出该模型的主算子生成的C_0-半群的本质增长界小于一个负数,由此推出0是该主算子的一级极点。然后用残数定理求该系统研究中出现的投影算子的表达式.最后证明该模型的时间依赖解指数收敛于其稳态解.本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统.

具有可选服务和无等待空间的M/G/1排队模型的进一步研究

首先通过讨论具有可选服务和无等待空间的M/G/1排队模型的主算子生成的C_(0^-)半群的本质增长界指出0是该主算子的一级极点,然后运用残数定理证明该模型的时间依赖解指数收敛于其稳态解.

在一个供应链系统可靠性模型研究中出现的投影算子表达式及其应用

该文考虑一个供应链系统可靠性模型.首先指出此供应链系统的主算子所生成的正压缩C0-半群T(t)是拟紧算子,其次通过正压缩C0-半群T(t)的本质谱增长界性质和留数定理推出该模型研究中出现的投影算子的具体表达式,最后得到该供应链系统模型的时间依赖解指数收敛到其稳态解.

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

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