陆志毅 周云 王璟玢

（1.中国人民解放军海军装备部驻上海地区军事代表局 上海市 200241 2.中国航空无线电电子研究所 上海市 200241）

网络可靠性概念最先针对通信网络提出，其评估模型基于图论和设备物理失效，研究主要集中于改进算法和降低计算复杂度。20世纪90年代开始网络可靠性研究成为热点，提出了包括连通可靠性在内的很多网络可靠性概念，以及基于二元决策图(Binary Decision Diagram，BDD)等算法的方法论。21世纪后，对无线移动网络可靠性的研究成为热点，同时针对复杂网络的一些研究方法和成果也给复杂系统可靠性研究带来新的启发。

BDD作为一种描述布尔函数的数据结构，最早由AKERS提出，用来操作大数据函数[1]。之后，BRYANT给出了BDD的基本操作及算法[2]，BDD得以广泛应用于硬件电路验证、组合优化、规划调度等研究领域中。

可靠性分析方面，COUDERT最早研究将BDD方法用于可靠性分析[3]，并且BDD在网络连通可靠性分析领域的应用研究获得了大量的成果，实验证明利用BDD能够有效提升网络可靠性分析的性能。在一般的可靠性分析中，RAUZY等在内的大部分设计研究人员，主要将BDD用作故障树定量分析的工具[4]，这虽然体现了BDD技术高效、精确的优势，但是就整个可靠性分析过程而言，仍较为繁琐。

任务可靠性是航电系统的重要指标，主要的分析方法有GO法，Petri网，以及包括可靠性框图、故障树和Markov分析等在内的典型可靠性建模分析方法。GO法依靠操作符和信号流建立GO图，然后按照信号流向和操作符运算规则进行计算。……