| 基于Petri网的容错计算机可靠性 |
| |
| 引用本文： | 秦旭东,陈宗基. 基于Petri网的容错计算机可靠性[J]. 计算机工程, 2005, 31(24): 33-35 |
| |
| 作者姓名： | 秦旭东 陈宗基 |
| |
| 作者单位： | 北京航空航天大学自动化科学与电气工程学院,北京,100083 |
| |
| 基金项目： | 国家自然科学基金重大研究计划资助项目（90205011） |
| |
| 摘 要： | 应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时，把复杂的混合Petri网模型简化为GSPN模型，并利用GSPN与马尔可夫链同构的性质，来计算系统的可靠性。
|
| 关 键 词： | 容错计算机 广义随机Petri网 混合Petri网 可靠性 |
| 文章编号： | 1000-3428（2005）24-0033-03 |
| 收稿时间： | 2005-01-04 |
| 修稿时间： | 2005-01-04 |
Reliability of Fault-tolerant Computer Systems Based on Petri Nets |
| |
| QIN Xudong,CHEN Zongji. Reliability of Fault-tolerant Computer Systems Based on Petri Nets[J]. Computer Engineering, 2005, 31(24): 33-35 |
| |
| Authors: | QIN Xudong CHEN Zongji |
| |
| Affiliation: | School of Automation Science and Electrical Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083 |
| |
| Abstract: | Hybrid Petri nets is used to describe and analyse the fault-tolerant computer systems. By using HPN, static architectures of the fault-tolerant computer systems and dynamic behaviors of fault generation and promulgation are properly described, and the effect of transient error on reliability analysis of fault-tolerant computer systems can also be eliminated. The HPN model is simplified to GSPN model, and then GSPN model is converted to Markov chain to calculate the reliability of the systems. |
| |
| Keywords: | Fault-tolerant computer GSPN HPN Reliability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
