三取二表决模型的可靠性与安全性分析.pdfVIP

第38 卷 第14 期 计 算 机 工 程 2012 年7 月 Computer Engineering July 2012 Vol.38 No.14 文献标识码文献标识码：：A 文献标识码文献标识码：： 中图分类号中图分类号：：N945.12 文章编号文章编号：：1000——3428(2012)14——0280——03 中图分类号中图分类号：： ·开发研究与设计技术·开发研究与设计技术·· 文章编号文章编号：： —— —— —— ··开发研究与设计技术开发研究与设计技术·· 三取二表决模型的可靠性与安全性分析三取二表决模型的可靠性与安全性分析 三取二表决模型的可靠性与安全性分析三取二表决模型的可靠性与安全性分析 杨杨 毅，毅，黄黄 海，海，陈祥献陈祥献 杨杨 毅毅，，黄黄 海海，，陈祥献陈祥献 (浙江大学仪器科学与工程学系，杭州 310027) 摘摘 要：要：为提高安全计算机系统的可靠性和安全性，对三取二表决模型进行分析。以逻辑门作为最小系统单元，通过不同的逻辑组合方式 摘摘 要要：： 实现对原始表决模型的简化，根据马尔科夫理论分析表决模型，比较Special-1 模型、Special-2 模型与Classic 模型的可靠性与安全性。对 比结果表明，设计的Special-1 模型平均无故障时间比Classic 模型高出 11%，安全度为0.333 。 关键词关键词：冗余系统： ；安全计算机；可靠性；安全性；平均无故障时间 关键词关键词：： Reliability and Safety Analysis of 2-out-of-3 Voting Models YANG Yi, HUANG Hai, CHEN Xiang-xian (Department of Instrumental Science and Engineering, Zhejiang University, Hangzhou 310027, China) 【【Abstract 】】In order to improve the reliability and safety of 2-out-of-3 safety computer system, this paper analyzes the different 2-out-of-3 voting 【【 】】 models. They use the logic gates as minimal sy