基于改进BDD算法的导弹安控系统故障树仿真分析

摘要：

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

关键词：二元决策图、故障树、Shannon分解、关联系统

所属期刊栏目：19

分类号：TN91

资助基金：国防科技预研项目41327030104

在线出版日期：2007-03-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：9-12