Evaluation on System Effectiveness of Antiaircraft Missile Based on Ordered Binary Decision Diagram
Zhao Bao-jun · Modern Defence Technology · 2007
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.