论文部分内容阅读
为减小时间开销，动态故障树经常被模块化分解为独立的静态子树和独立的动态子树，然后分别使用二叉决策图和马尔卡夫模型求解；其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块．文中提出了一个基于亲戚依赖关系的独立模块识别方法IIMKDR，该方法将故障树按照其事件之间的依赖关系转换为依赖树；基于面向对象思想，为依赖树及其节点构建对象；通过对各节点对象属性的分析，得出独立模块集并进而求出最小独立模块集．最后对IIMKDR方法进行了理论分析和实验验证，分析表明该方法适用