基于束搜索和改进成本函数的过程一致性检测技术
来源：计算机集成制造系统杂志2025年第5期北京时间：
作者：孙沛瑜, 金涛, 王建民
单位：清华大学软件学院
摘要：当前的过程一致性检测的主流方法是基于计算过程模型与日志数据的对齐方案的,该方法的基本思路是使用搜索的方法来找到最优的对齐方案。通过在搜索的过程中引入束搜索的思想,对搜索过程中遇到的状态进行删减,通过减少参与搜索的状态来对搜索过程进行加速,但是束搜索对状态的删减可能会导致最终不能够搜索到最优的对齐方案,最终的计算结果是对最终对齐方案的一个估计值。为了得到更优的对齐方案,提出一种新的基于频繁度的成本函数用于对齐。该成本函数通过倾向于优先选择更频繁出现的事件进行对齐,从而提高对齐效果,帮助更准确地找到最优对齐方案。实验证明,引入束搜索思想和计算新的成本函数的方法能够对搜索对齐方案进行加速,并获得较为准确的对齐结果。
关键词：一致性检测,算法加速,准确,束搜索,成本函数
基金资助：国家重点研发计划资助项目（2024YFE0204500）。
