摘要
利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.
We dicuss a repairable system with preventive maintenance policy by linear semigroup theory. We prove that the Co-semigroup generated by the system operator is quasicompact by analyzing its essential growth bound. Furthermore, it is also irreducible. So we can obtain the exponential stability of availability of the repariable system.
出处
《数学的实践与认识》
CSCD
北大核心
2009年第21期110-116,共7页
Mathematics in Practice and Theory
基金
教育部新世纪优秀人才项目
北京理工大学优秀青年教师支持计划(2007Y0716)
天元基金(10826045)
关键词
CO
半群
本质谱增长阶
拟紧性
不可约性
指数稳定性
Co-semigroup
essential growth bound
quasi-compact
irreducible
exponential stability