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

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

作　　者：徐厚宝[1] 郭卫华[2] 于景元[1] 朱广田[3] 

机构地区：[1]北京信息控制研究所,北京100037 [2]郑州轻工业学院信息与计算科学系,河南郑州450002 [3]中国科学院数学与系统科学研究院,北京100080

出　　处：《应用泛函分析学报》2004年第3期209-219,共11页Acta Analysis Functionalis Applicata

摘　　要：　分析了带有修理设备和多重致命及非致命操作故障的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.

关 键 词：渐近稳定性 证明 C-半群 解的存在唯一性 算子谱 表决系统 正定 冗余 操作 故障 

分 类 号：O175[理学—数学] O177[理学—基础数学]