简介：分析了带有修理设备和多重致命及非致命操作故障的k/N(G)冗余表决系统的渐近稳定性.用该系统算子生成的正定C0-半群证明了系统非负时间依赖解的存在唯一性.同时通过对系统算子谱点分布的分析,证明了本征值0对应的本征向量恰好是系统的静态解,并且,0是虚轴上系统算子唯一的谱点,从而证明了系统的渐近稳定性.
简介：当修复率为常数时通过研究具有带临界和非临界故障的可修k/N：G冗余表决系统研究中出现的投影算子的表达式得到该系统的时间依赖解指数收敛于该系统的稳态解.
k／N：G冗余表决系统的渐近稳定性
具有带临界和非临界故障的可修k/N：G冗余表决系统研究中出现的投影算子的表达式及其应用
