作者：袁静; 胡昌华; 徐瑞; 龙勇二元决策图故障树shannon分解关联系统
摘要：针对传统的应用于导弹安控系统故障树二元决策图（BDD）算法的不足，介绍了一种基于改进BDD的快速故障障树（CBDD）算法。CBDD算法在传境算法的基础上发展了一套新的公式来处理关联系统的If—Then—Else（ITE）的连接运算，减化了BDD结构，通过每一步中的截断和蕴涵操作使得关联系统的大型故障树可以在少量内存和短时间内高效的完成。仿真实例证明了采用CBDD算法较传统BDD算法在应用范围和算法效率上有一定提高。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
