[1]杨新民,刘海天,莫毓昌.阶段一致型阶段任务系统最优变量排序研究[J].南京理工大学学报(自然科学版),2015,39(03):312.
 Yang Xinmin,Liu Haitian,Mo Yuchang.Best variable ordering for homogeneous phased mission system[J].Journal of Nanjing University of Science and Technology,2015,39(03):312.
点击复制

阶段一致型阶段任务系统最优变量排序研究
分享到:

《南京理工大学学报》(自然科学版)[ISSN:1005-9830/CN:32-1397/N]

卷:
39卷
期数:
2015年03期
页码:
312
栏目:
出版日期:
2015-06-30

文章信息/Info

Title:
Best variable ordering for homogeneous phased mission system
作者:
杨新民1刘海天1莫毓昌2
1.中国电子科技集团公司第二十八研究所,江苏 南京 210007; 2.浙江师范大学 数理信息工程学院,浙江 金华 321004
Author(s):
Yang Xinmin1Liu Haitian1Mo Yuchang2
1.28th Research Institute of China Electronics Technology Group Corporation,Nanjing 210007,China; 2.College of Mathematics,Physics and Information Engineering,Zhejiang Normal University,Jinhua 321004,China
关键词:
阶段任务系统 变量排序 二进制决策图 故障树 与组合 或组合
Keywords:
phased mission system variable ordering binary decision diagram fault tree phase-and phase-or
分类号:
TB114
摘要:
为缩小二进制决策图(BDD)模型的尺度,提高阶段一致型阶段任务系统(PMS)可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了研究。利用已有的阶段依赖排序(PDO)方法,基于不同的阶段组合关系,研究PMS故障树最优变量排序和PDO之间的关系。结果表明:阶段一致型PMS具有前向PDO适用于阶段与组合PMS,后向PDO适用于阶段或组合PMS的特性; 将PMS故障树排序问题规约为一般故障树变量排序问题。
Abstract:
To reduce the size of binary decision diagrams(BDD)and improve the accuracy of reliability analysis of large-scale homogeneous phased mission system(PMS),best variable ordering for homogeneous PMS is researched.The relation between the best variable ordering of PMS fault trees and phase dependent ordering(PDO)is studied by using PDO and based on different combination logic among phases.The results show that forward PDO is fit for phase-and PMS and backward PDO is fit for phase-or PMS,and the PMS variable ordering problem is transformed into the traditional variable ordering problem.

参考文献/References:

[1] Bryant R E.Graph-based algorithms for Boolean function manipulation[J].IEEE Transactions on Computers,1986,C-35(8):677-691.
[2]莫毓昌.高可靠实时多阶段系统可靠性分析[D].哈尔滨:哈尔滨工业大学计算机学院,2008.
[3]曾令国,莫毓昌.PMS故障树分析中的变量排序策略库研究[J].计算机工程,2011,37(20):39-41,45.
Zeng Lingguo,Mo Yuchang.Research on variable ordering heuristics library in PMS fault tree analysis[J].Computer Engineering,2011,37(20):39-41,45.
[4]Levitin G,Xing Liudong,Amari S V.Recursive algorithm for reliability evaluation of non-repairable phased mission systems with binary elements[J].IEEE Transactions on Reliability,2012,61(2):533-542.
[5]Zang X,Sun Hairong,Trivedi K S.A BDD-based algorithm for reliability analysis of phased-mission systems[J].IEEE Transactions on Reliability,1999,48(1):50-60.
[6]Xing Liudong,Bechta Dugan J.Analysis of generalized phased-mission system reliability,performance,and sensitivity[J].IEEE Transactions on Reliability,2002,51(2):199-211.
[7]Yong Ou,Bechta Dugan J.Modular solution of dynamic multi-phase systems[J].IEEE Transactions on Reliability,2004,53(4):499-508.
[8]Xing Liudong.Reliability evaluation of phased-mission systems with imperfect fault coverage and common-cause failures[J].IEEE Transactions on Reliability,2007,56(1):58-68.
[9]Shrestha A,Xing Liudong.A logarithmic binary decision diagram-based method for multistate system analysis[J].IEEE Transactions on Reliability,2008,57(4):595-606.
[10]Mo Yuchang,Xing Liudong,Amari S V.A multiple-valued decision diagram based method for efficient reliability analysis of non-repairable phased-mission systems[J].IEEE Transactions on Reliability,2014,63(1):320-330.
[11]Mo Yuchang,Xing Liudong,Dugan J B.MDD-Based method for efficient analysis on phased-mission systems with multimode failures[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2014,44(6):757-769.
[12]Bartlett L M,Andrews J D.Selecting an ordering heuristic for the fault tree to binary decision diagram conversion process using neural networks[J].IEEE Transactions on Reliability,2002,51(3):344-349.

备注/Memo

备注/Memo:
收稿日期:2014-10-12 修回日期:2015-04-21
基金项目:国家自然科学基金(61272130); 浙江省自然科学基金(Y1100689)
作者简介:杨新民(1979-),男,硕士,主要研究方向:指挥自动化系统,E-mail:xinminyangnj@163.com; 通讯作者:莫毓昌(1980-),男,教授,主要研究方向:高可靠计算,E-mail:myc@zjnu.cn。
引文格式:杨新民,刘海天,莫毓昌.阶段一致型阶段任务系统最优变量排序研究[J].南京理工大学学报,2015,39(3):312-316.
投稿网址:http://zrxuebao.njust.edu.cn
更新日期/Last Update: 2015-06-30