摘要
利用C_0-半群理论证明了具有一种故障类型的二相关单元冗余系统非负解的存在惟一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到了系统动态解以指数形式收敛于稳态解.最后,给出几个数值模拟的例子用来说明本文的意义所在.
The existence of an unique nonnegative time-dependent solution of two correlated unites redundant system with one types of failure was obtained by using Co-Semigroup theory.We got the result that the dynamic solution of the system exponentially tends to the steady one by analyzing the spectral properties and the essential spectrum bound of the stand-by system by using perturbation method.In the end,we gave several numerical simulation examples to interpret the meaning of the this note.
出处
《数学的实践与认识》
CSCD
北大核心
2011年第10期178-185,共8页
Mathematics in Practice and Theory
关键词
C_0-半群
本质谱界
指数稳定性
C_0-semigroup
essential spectral bound
exponential stability
