多阶段任务系统可靠性分析BDD模型（.docVIP

多阶段任务系统可靠性分析的BDD模型( 孟礼 （国防科学技术大学 ，湖南 长沙 410073） 摘要：phased mission system, PMS）的二元决策图（Binary Decision Diagram, BDD）可靠性模型，提出了BDD可靠性建模的通用方法。定义了嵌套的BDD数据结构BDD_Element，给出了BDD模型的描述和存储方法，提出了与门、或门和k/n表决门向BDD模型的自动转化算法。给出了建立多阶段任务系统BDD可靠性模型的2个步骤：1) 基于逻辑门转化算法，将部件逻辑关系结构函数转化为阶段BDD模型；2) 基于BDD布尔操作规则整合阶段BDD模型。最后，通过分析卫星姿态调整任务的可靠性，表明方法可以有效应用于多阶段任务系统的可靠性分析。 关键词： 中图分类号： 文献标志码：　　　文章编号： Binary Decision Diagram Model for Reliability Analysis of Phased Mission System MENG Li (College of Information Systems and Management, National University of Defense Technology, Changsha 410073, China) Abstract: In order to implement the automatic generation of Binary Decision Diagram (BDD) for Phased Mission System (PMS) reliability analysis, this paper proposed a universal approach for establishing BDD reliability model. A nested BDD data structure named BDD_Element was defined, and 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 PMS was constructed in 2 steps: 1) based on the logic gate transforming algorithms, structure functions of component logic relationship were transformed into phase BDD models; 2) based on the BDD manipulation rules, phase BDD models were integrated together. Finally, by analyzing the reliability of satellite attitude adjustment mission, it shows that this approach can be effectually applied in the reliability analysis of PMS. Keywords: PMS; reliability modeling; BDD; data structure 多阶段任务系统由若干连续、非重叠的任务阶段构成，在每个阶段系统以满足不同的任务需求为目标[1]。例如，民航班机的飞行就是典型的多阶段任务系统，一般可划分为滑行和起飞、爬升、巡航、下降、接近和着陆5个阶段。多阶段任务系统的可靠性定义为系统在所有任务阶段满足既定功能的能力。与单阶段系统相比，多阶段任务系统可靠性分析必须正确处理部件的跨阶段依赖关系。本文假设多阶段任务系统在任意阶段失效都会导致整个任务失败，且不考虑部件可靠性参数随时间退化因素。 针对多阶段任务系统可靠性建模与分析的方法有很多，例如故障树分析（fault tree analysis, FTA）[2]、马尔可夫链（Markov chain, MC）[3]等。BDD能够高效执行布尔操作，基于BDD的多阶段任务系统逻辑表达与可靠性分析高效、直接[4-5]。BDD是由Lee[6]和Akers[7]基于香农扩展式（Shannon’s decomposition）[5]提出的布尔函数数据结构。Bryant[4]在BDD模型中加入变量顺序限制规则，提出了顺序二元决策图（