[发明专利]一种面向抽象故障树的结构合成方法

摘要

本发明公开了一种面向抽象故障树的结构合成方法，通过对抽象故障树与案例故障树节点的相似度计算和逻辑门语义包含度计算，将案例故障树包含的事件节点和事件间的逻辑门语义关系，增量扩展到抽象故障树中，使扩展的抽象故障树即保留了原有的结构完整性和语义，又增量包含了案例故障树的结构特征及其事件间逻辑语义，通过不断的合成，使扩展后的抽象故障树成为汇聚同类事故的抽象综合体，并建立了案例故障树与抽象故障树的结构映射。本发明为事故分析与预警提供有力的支持，有利于提高企业对重大事故的预警预防能力，减少财产损失，避免类似事故重复发生。

主权项

一种面向抽象故障树的结构合成方法，其特征是：通过对抽象故障树与案例故障树节点的相似度计算和逻辑门语义包含度计算，将案例故障树包含的事件节点和事件间的逻辑门语义关系，增量扩展到抽象故障树中，使扩展的抽象故障树既保留了原有的结构完整性和语义，又增量包含了案例故障树的结构特征及其事件间逻辑语义，通过不断的合成，使扩展后的抽象故障树成为汇聚同类事故的抽象综合体，并建立了案例故障树与抽象故障树的结构映射；给定一抽象故障树AFT＝{V_A,G_A,E_A,v₀,δ_hδ_w},和该抽象故障树关联的n个案例故障树IFT_i＝{V_I,G_I,E_I,v₀,δ_h,δ_w},1≤i≤n,通过对抽象故障树与案例故障树节点的相似度计算，按照广度遍历算法计算AFT与IFT的节点与门的匹配，增量扩展抽象故障树结构并建立该抽象故障树的抽象解释集合，抽象故障树的局部结构为：即节点v_ai父链接门为g_au,父节点v_au,子链接门为g_ai,v_ai子节点v_ai+1,v_ai+2…v_ai+k与案例故障树IFT_c的局部结构,案例故障树节点v_cj对应抽象故障树节点v_ai，案例故障树节点v_cj子节点v_cj+1…v_cj+q，从抽象故障树当前节点v_ai,匹配案例故障树的当前节点v_cj开始的子节点匹配过程执行如下步骤：Step1:从抽象故障树当前节点v_ai,匹配案例故障树的当前节点v_cj；Step2:判断抽象故障树当前节点可以抽象解释案例故障树当前节点，如果是执行step3，不是执行step10；Step3：判断抽象故障树当前节点的下连接门为或门，如果是执行step4，不是执行step5；Step4:继续匹配当前节点下的所有子节点；Step5:判断案例故障树当前节点的子节点所有的都被抽象故障树当前节点子节点抽象解释，如果是执行step6；Step6:查找每个案例故障树的子节点的抽象解释的抽象故障树节点，如果发现执行step7，否则执行step8；Step7:将当前案例故障树与抽象故障树对应的抽象解释节点加入到解释库中；Step8:抽象故障树节点回溯到父门为Or门的节点，以当前案例故障树节点为基础上回溯到与抽象故障树v_ap匹配的案例故障树节点v_cp；Step9:判断存在v_ap的兄弟节点没有匹配，是则执行step1；Step10:如果当前案例故障树的节点不能被抽象故障树的当前节点抽象解释,判断抽象故障树当前节点的父门是或门，如果是执行step11，否则执行step14或step15；Step11:匹配抽象故障树当前节点的兄弟节点是否能与案例故障树当前节点抽象解释，如果是执行step12，否执行step13；Step12:使用抽象故障树树中的原有节点；Step13:构造一个与v_ai为兄弟节点的新的分支节点；Step14:回溯该节点的父节点，新构造父节点的兄弟节点为案例故障树当前节点的解释节点；Step15:案例故障树与抽象故障树都从当前节点起，同步逐层回溯节点的父节点，直到抽象故障树回溯的父节点的父门为或门，匹配该父节点的兄弟节点与案例故障树回溯的父节点，如果回溯的父节点所有的兄弟节点都已匹配，则新构造回溯父节点的兄弟节点为案例故障树回溯父节点的解释节点。