基于OBDD的防空导弹系统效能评估研究

Evaluation on System Effectiveness of Antiaircraft Missile Based on Ordered Binary Decision Diagram

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法。该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值。

Firstly, the concept and manipulation operation are briefly addressed. Then, the system effectiveness model of ADC is analyzed, and the calculation methods for availability and dependability of effectiveness model using Shannon decomposition and if-then-else operator are first presented. Lastly, the representative antiaircraft system is analyzed by using the operation of OBDD, and the approach using OBDD is illuminated by an example for calculating availability vector. This method can deal with effectiveness evaluation of antiaircraft missile system under all kinds of failure distribution and has certain values for military applications.