国防科技大学学报2017，Vol.39Issue(2)：184-192,9.DOI:10.11887/j.cn.201702028
多阶段任务系统可靠性分析的二元决策图模型
Binary decision diagram model for reliability analysis of phased mission system
摘要
Abstract
In order to implement the automatic generation of binary decision diagram (BDD) for phased mission system reliability analysis, a universal approach for establishing BDD reliability model was proposed.A nested BDD data structure named BDD_Element was defined, and the approaches of BDD description and storage were given.Algorithms for transforming AND Gate, OR Gate and k/n Gate into BDD models were proposed.The BDD model for reliability analysis of phased mission system was constructed in 2 steps: based on the logic gate transforming algorithms, structure functions of the component logic relationship were transformed into phase BDD models;based on the BDD manipulation rules, phase BDD models were integrated together.By analyzing the reliability of satellite attitude adjustment mission, it shows that this approach can be effectually applied in the reliability analysis of phased mission system.关键词
多阶段任务系统/可靠性建模/二元决策图/数据结构Key words
phased mission system/reliability modeling/binary decision diagram/data structure分类
自科综合引用本文复制引用
孟礼..多阶段任务系统可靠性分析的二元决策图模型[J].国防科技大学学报,2017,39(2):184-192,9.基金项目
国家自然科学基金资助项目(71071159,71401172) （71071159,71401172）
