| 基于随机Petri网的冗余备份系统可信赖性研究 |
| |
| 引用本文： | 刘士喜,许志才,方贤文.基于随机Petri网的冗余备份系统可信赖性研究[J].安徽理工大学学报(自然科学版),2009,29(3):48-53. |
| |
| 作者姓名： | 刘士喜 许志才 方贤文 |
| |
| 作者单位： | 1. 滁州学院计算机系,安徽,滁州,239012
2. 同济大学电子与信息工程学院,上海,200092 |
| |
| 基金项目： | 国家自然科学基金资助项目，安徽省教育厅自然科学基金资助项目，滁州学院自然科学基金资助项目 |
| |
| 摘 要： | 可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则.随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析.讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标.实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性.
|
| 关 键 词： | 可信赖性 随机Petri网 冗余备份系统 |
Study on Dependability of Redundant Standby System Based on Stochastic Petri Nets |
| |
| LIU Shi-xi,XU Zhi-cai,FANG Xian-wen.Study on Dependability of Redundant Standby System Based on Stochastic Petri Nets[J].Journal of Anhui University of Science and Technology:Natural Science,2009,29(3):48-53. |
| |
| Authors: | LIU Shi-xi XU Zhi-cai FANG Xian-wen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
