论文部分内容阅读
可修复系统是可靠性理论中讨论的一类重要系统，也是可靠性数学的主要研究对象之一。本文主要研究了用补充变量法建立的广义马尔可夫型可修复系统的适定性和渐近性质，并证明了系统是指数稳定的，这对系统的可靠性有非常重要的意义。国内外许多学者已对该问题作了大量研究，取得了丰富的成果，证明了修复系统模型解的存在唯一性和渐进稳定性。但是这类系统是否指数稳定并未很好地得到解决。 本文主要研究了四部件冗余可修复系统，运用泛函分析的办法，特别是Banach空间上的线性算子半群理论，证明了系统非负解的存在唯一性及渐进稳定性，并通过分析系统本质谱界经过扰动后的变化，进一步证明在一定条件下，系统的动态解以指数形式收敛于系统的稳态解。