k／N：G冗余表决系统的渐近稳定性

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