基于束搜索和改进成本函数的过程一致性检测技术

作     者：孙沛瑜 金涛 王建民 

作者机构：清华大学软件学院 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2024年

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 

基　　金：国家重点研发计划资助项目(2020YFB1707604) 

主　　题：过程一致性检测 加速 准确 束搜索 成本函数 

摘      要：本文工作的目的是对过程一致性检测的计算过程进行加速。当前的过程一致性检测的主流方法是基于计算过程模型与日志数据的对齐方案的。这种方法的基本思路是使用搜索的方法来找到最优的对齐方案。本文通过在搜索的过程中引入束搜索的思想，对搜索过程中遇到的状态进行删减，通过减少参与搜索的状态来对搜索过程进行加速，但是束搜索对状态的删减可能会导致最终不能够搜索到最优的对齐方案，最终的计算结果是对最终对齐方案的一个估计值。为了得到更优的对齐方案，本文通过计算新的基于频繁度的成本函数用于对齐来解决这个问题，这样计算出来的成本函数能够在对齐的时候倾向于使用那些出现频率较高的事件进行对齐，从而能够更好地找到对齐方案。实验证明，本文引入束搜索思想和计算新的成本函数的方法能够对搜索对齐方案进行加速，并获得较为准确的对齐结果。