conformance checking | BriefGPT

关键词conformance checking

搜索结果 - 10

模糊日志的一致性检查与声明性时间规范
传统的一致性检查任务假设事件数据提供了实际流程执行的准确和完整的表示。然而，由于日益普遍的事件识别管道所导致的不确定性，事件不再以明确的方式被跟踪，而是间接地得到。本文提出了一个新的模糊语义的模型，用于检查模糊事件数据是否符合声明模式或线性
PDF19 days ago
一种可扩展和接近最优的适用于长跟踪的符合性检查方法
本研究提出了一种新颖的滑动窗口方法，以解决大规模过程挖掘应用中的符合性检查问题，并在保持基于对齐方法的可解释性的同时，显著降低搜索空间。该方法利用捕获跟踪信息和过程模型的结构特性的全局信息，做出明智的对齐决策，从而提高了结果的整体准确性。实
PDFa month ago
基于对象的同步一致性对齐（扩展版本）
该研究论文提出了一种新的形式主义，结合了现有方法的关键建模特性，特别是以对象为中心的 Petri 网捕捉一对多的关系，以及具有标识符的 Petri 网根据对象的身份比较和同步。我们称之为 ' 具有标识符的以对象为中心的 Petri 网 '，
PDF7 months ago
临床治疗的声明性指南符合性检查：案例研究
本研究使用基于规则的声明性检查方法，利用 Arden Syntax 标准检查医疗指南中的治疗案例，并使用手动对齐方法重构大部分医疗指南，以解决现有命令式检查方法难以解决的高变化、高动态和复杂的医疗过程问题。
PDF2 years ago
基于对齐的概率事件一致性检查
本文介绍了一种基于概率事件日志的对齐式符合性检查算法，使用传感器、物联网技术、统计学和人工智能等现代监测和活动识别技术来产生事件数据，并通过自定义阈值参数控制事件数据与过程模型的信任水平，展示该算法在理论例子中的功能，从而减少假阳性偏差。
PDF2 years ago
使用符合度量检测流程模型中的渐进漂移
该论文提出了一种基于符合度检查度量的算法，用于自动检测渐进漂移的变化，并对这些变化进行自动分类，通过合成数据集验证了该算法的准确性和延迟，并得到了更好的结果。
PDF2 years ago
基于 SMT 的带有不确定性的一致性检查 (扩展版)
论文介绍了如何通过应用 SMT 编码来检验具有不确定性的记录信息与数据感知型参考过程的一致性，且作者设计的方法具有模块化和可扩展性为不同类型的不确定性提供适当的成本函数以应对不同的一致性检验任务，并通过实际实现验证了其正确性和可行性。
PDF2 years ago
基于 ASP 的声明式流程挖掘（扩展摘要）
本文提出了 ASP 作为建模和解决声明性流程挖掘领域中的问题的方法，着重讨论了日志生成、一致性检查和查询检查三个经典问题。该方法基于将过程规范表示为（有限状态）自动机，由此可以处理更一般的规范，例如在有限跟踪上的线性时态逻辑公式。
PDF2 years ago
基于随机已知日志的符合性检查
本文提出了一种基于随机过程观察的过程挖掘和确认方法，使用概率数据分类模型和算法来比较一个过程模型和事件日志，以发现最优匹配。
PDF2 years ago
在线软一致性检查：任何视角都可以指示偏差
本文提出了一种基于描述性模型的符合性检查方法，不仅能够离线地分析数据，还能够在线提供实时反馈，并且不依赖于过程控制流，可以基于工作交接的社交网络等其他角度进行分析。该方法在 ProM 中实现，经过将真实数据与合成数据进行的三次实验，得到了实
PDF2 years ago