为使不同人员建立的故障树图能够互相交流使用,并简化故障树分析软件的开发,降低开发成本,提高软件质量,对故障树图结构进行了分析,提出转换后用于表示故障树的格式.同时对VDX文件结构进行研究,提出了将VDX文件转换为上述格式的中间格式及转换算法,进而对其并行化以提高执行效率,给出了并行前后的耗时对比及提升倍率.另外再通过两个转换方法说明这种格式与目前较常用的故障树分析方法之间衔接的方式,并给出了算法流程.
Visio 故障树 标准模块 并行 布尔显示割集 二元决策图