运用 Hille-Yosida 定理,Phillips 定理与Fattorini定理证明了几个排队模型概率瞬态解的存在唯一性。运用 Greiner 的边界扰动思想证明了几个排队模型的时间依赖解强收敛于其稳态解。当服务率为常数时,证明了几个排队模型的主算子在左半复平面中有不可数无穷多个特征值。由此说明了排队模型的主算子生成的算子半群不是紧算子,甚至不是最终紧算子,排队模型的时间依赖解不可能指数收敛于其稳态解。 证明了由有限多个偏微分积分方程描述的可靠性模型的主算子生成的算子半群是拟紧算子,它们的时间依赖解指数收敛于它们的稳态解。运用 Greiner 的边界扰动思想证明了由无穷多个偏微分积分方程描述的可靠性模型的时间依赖解强收敛于其稳态解。当修复率为常数时,证明了由无穷多个偏微分积分方程描述的可靠性模型的主算子在左半复平面中有不可数无穷多个特征值。由此说明了此类可靠性模型的主算子生成的算子半群不是紧算子,甚至不是最终紧算子,时间依赖解不可能指数收敛于其稳态解。从而,指出了由有限多个偏微分积分方程描述的可靠性模型与由无穷多个偏微分积分方程描述的可靠性模型和排队模型的本质区别。
英文主题词Queueing Models;reliability models, time-dependent solution;semigroup of linear operators, spectrum