论文部分内容阅读
在本文中给出一种硬件冗余容错计算机系统基于GSPN建模并进行可靠性评估的方法,该方法不必将GSPN同构成连续时间的马尔可夫链,我们暂且称之为前后集法。
In this paper, a method of hardware redundancy fault-tolerant computer system based on GSPN modeling and reliability evaluation is presented in this paper. This method does not need to form GSPN into continuous Markov chains, which we will call the set of before and after.