k/N:G冗余表决系统的渐近稳定性(英文)

Asymptotic Stability of k-out-of-N:G Redundant System

分析了带有修理设备和多重致命及非致命操作故障的k/N(G)冗余表决系统的渐近稳定性.用该系统算子生成的正定C0-半群证明了系统非负时间依赖解的存在唯一性.同时通过对系统算子谱点分布的分析,证明了本征值0对应的本征向量恰好是系统的静态解,并且,0是虚轴上系统算子唯一的谱点,从而证明了系统的渐近稳定性.

This paper presents the asymptotic stability of a k-out-of-N:G redundant system associated with repair facilities and multiple critical and non-critical errors. We show that the system operator generates a positive C_0-semigroups in the state Banach space. Further, we derive that the system has a steady-state solution which is just the eigenvector of the system operator corresponding to eigenvalue 0. By analyzing the spectrum of system, we find that 0 is the unique spectral point of the system on the imaginary axis. As a result, the asymptotic stability of the system is obtained.