-
题名基于启发式搜索的带循环模型一致性检测方法
被引量：1
- 1
-
-
作者
谢燕
燕辉
陈晓杰
段会龙
-
机构
海南大学生物医学工程学院
海南大学信息与通信工程学院
海南省生物医学工程重点实验室
浙江大学生物医学工程与仪器科学学院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2022年第10期3081-3089,共9页
-
基金
海南省科技计划三亚崖州湾科技城联合资助项目(620LH025)。
-
文摘
为了尽可能高效、准确地计算带循环模型的最优对齐,鉴于已有可保证准确性的无循环模型的一致性检测方法,提出带循环模型的一致性检测方法,其将带循环模型的一致性检测问题转化为寻找与给定事件序列一致性程度最高的循环展开过程。该方法利用过程模型中的循环对应事件序列中重复事件的特点,提出将事件序列按重复事件出现节点分解为若干子序列;将展开循环后(无循环)的过程模型与子序列逐渐递增的事件序列进行最优对齐计算,得到各循环展开情况与事件序列的匹配程度;以匹配程度作为启发信息,优先针对匹配程度高的展开情况继续展开,直到找到与事件序列最匹配的循环展开过程。实验结果表明,启发式搜索策略能有效减少搜索空间,在事件日志中的新增变异为非模型活动的情况下,准确率达到99.8%,验证了方法的有效性。
-
关键词
事件序列
循环展开
搜索空间
最优对齐
启发式搜索
-
Keywords
process traces
unfolding loops
search spaces
optimal alignments
heuristic search
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
