【摘 要】
：
符合性检测方法作为比较和关联事件日志与流程模型的技术,是三大核心流程挖掘技术之一,可用于量化符合性和诊断偏差.BPMN 2.0模型具有丰富的表达能力,能够表达多实例、子流程
【机 构】
：
清华大学软件学院,首都经济贸易大学信息学院
【基金项目】
：
国家重点研发计划项目（2016YFB1001101）,国家自然科学基金项目（61472207,61325008,61402301）
论文部分内容阅读
符合性检测方法作为比较和关联事件日志与流程模型的技术,是三大核心流程挖掘技术之一,可用于量化符合性和诊断偏差.BPMN 2.0模型具有丰富的表达能力,能够表达多实例、子流程、边界事件、OR网关等多种复杂模式,但是目前还没有针对这些复杂模式的BPMN 2.0模型符合性检测算法.针对该问题,提出了基于对齐的BPMN 2.0模型符合性检测算法Acorn,该算法支持上述多种复杂模式.在深入分析BPMN 2.0模型中多种复杂模式的具体语义并分析其具体使能情况的基础上,Acorn算法引入对齐操作,利用A＊搜索算法寻找
其他文献
K-栅栏覆盖是有向传感器网络的研究热点之一.概率感知模型要比0-1模型更贴近实际.而基于概率感知模型的栅栏覆盖还鲜有研究.根据感知概率阈值和感知距离要求,确定节点的虚拟
黑格尔基于特定的"现实"概念,批判了智术师原则以及空洞的形式主义。他没有拘泥于普鲁士的政法现状,而是勇毅地面对法国大革命所表征出来的现代状况,认真考察了其中最明显的
演化算法通过模拟自然界生物迭代演化的智能现象来求解优化问题,因其不依赖于待解问题具体数学模型特性的优势,已成为求解复杂优化问题的重要方法.分布估计算法是一类新兴的
[目的]了解剖宫产术后再次妊娠妇女产前分娩恐惧和社会支持状况,并分析产妇选择剖宫产术后再妊娠阴道试产(TOLAC)的相关因素。[方法]采用分娩恐惧量表、社会支持评定量表对18
目的：观察中西医结合治疗激素依赖性哮喘的临床疗效。方法：72例随机分成两组各36例,两组均用常规西药治疗,观察组加用补肾益气汤治疗,比较两组临床疗效。结果：总有效率观察组高