北京化工大学学报（自然科学版）
北京化工大學學報（自然科學版）
북경화공대학학보（자연과학판）
JOURNAL OF BEIJING UNIVERSITY OF CHEMICAL TECHNOLOGY(NATURAL SCIENCE EDITION)
2007年
z1期
106-109,114
,共5页
多版本软件%表决系统%容错%决策树
多版本軟件%錶決繫統%容錯%決策樹
다판본연건%표결계통%용착%결책수
本文提出了一种改进的扩展表决系统,该系统是利用自动分析表决系统可靠性等参数的工具来构建的.在软件容错中采用N-模块冗余(N-Modular Redunclancy-NMR)及N-版本编程(N-version Programmming),应用表决技术,可以屏蔽整个软件系统中出错的部分.在实践中直接应用理论的表决模型会发现很难得到理论分析的结果.针对这样的问题,本文提出一种基于多数(plurality)的扩展表决系统:使用构造决策树的方法和进行DFT遍历作为自动化的计算工具;通过对基本的多数表决系统进行模型扩展,加入指导性规则对决策树进行重构,以自动计算工具的结果作为参考,从而选择更加可靠的表决结果作为输出.最终的模拟测试表明,所提出的扩展表决系统能够提高系统输出的正确率.
本文提齣瞭一種改進的擴展錶決繫統,該繫統是利用自動分析錶決繫統可靠性等參數的工具來構建的.在軟件容錯中採用N-模塊冗餘(N-Modular Redunclancy-NMR)及N-版本編程(N-version Programmming),應用錶決技術,可以屏蔽整箇軟件繫統中齣錯的部分.在實踐中直接應用理論的錶決模型會髮現很難得到理論分析的結果.針對這樣的問題,本文提齣一種基于多數(plurality)的擴展錶決繫統:使用構造決策樹的方法和進行DFT遍歷作為自動化的計算工具;通過對基本的多數錶決繫統進行模型擴展,加入指導性規則對決策樹進行重構,以自動計算工具的結果作為參攷,從而選擇更加可靠的錶決結果作為輸齣.最終的模擬測試錶明,所提齣的擴展錶決繫統能夠提高繫統輸齣的正確率.
본문제출료일충개진적확전표결계통,해계통시이용자동분석표결계통가고성등삼수적공구래구건적.재연건용착중채용N-모괴용여(N-Modular Redunclancy-NMR)급N-판본편정(N-version Programmming),응용표결기술,가이병폐정개연건계통중출착적부분.재실천중직접응용이론적표결모형회발현흔난득도이론분석적결과.침대저양적문제,본문제출일충기우다수(plurality)적확전표결계통:사용구조결책수적방법화진행DFT편력작위자동화적계산공구;통과대기본적다수표결계통진행모형확전,가입지도성규칙대결책수진행중구,이자동계산공구적결과작위삼고,종이선택경가가고적표결결과작위수출.최종적모의측시표명,소제출적확전표결계통능구제고계통수출적정학솔.
