论文部分内容阅读
针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统算法的基础上发展了一套新的公式来处理关联系统的If-Then-Else(ITE)的连接运算,减化了BDD结构,通过每一步中的截断和蕴涵操作使得关联系统的大型故障树可以在少量内存和短时间内高效的完成。仿真实例证明了采用CBDD算法较传统BDD算法在应用范围和算法效率上有一定提高。