OMERR：面向应急领域的本体管理与资源推荐工具

在应急处置过程中,应急资源的高效推荐是辅助指挥中心领导制定决策的关键. 因此设计并实现了一个面向应急领域的本体管理与资源推荐工具,OMERR,该工具为领域专家提供了类似 Protégé的本体管理和规则推理功能,为应急值守人员和指挥中心领导分别提供了突发事件上报和事件处置的功能,根据突发事件的信息可以提供基于规则的应急资源推荐. 详 细介绍了工具中的应急领域本体模型、推理规则表示方法以及基于规则的应急资源推荐等关键问题. 定义了覆盖率和命中率两个定量评价指标,通过汶川地震案例对工具性能进行了评价,评价结果表明了应急资源推荐的有效性和准确性.     

过程挖掘的研究现状与问题综述

过程挖掘又称工作流挖掘,是工作流再设计与分析方法的一项关键技术,能够根据日志中记录的过程实例的执行信息,来重构出一个工作流过程模型,并使得日志中记录的所有轨迹符合这个过程模型的一个实例。总结了过程挖掘的研究内容、系统架构、算法以及现有挖掘工具。对过程挖掘研究目前存在的问题从日志数据、挖掘技术和挖掘结果等三个方面进行了分析和讨论。并介绍了过程挖掘的一个分支—分布式过程挖掘的相关研究内容。     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

基于过程挖掘的分层学习行为模型发现方法

教育过程挖掘将过程挖掘技术应用于教育数据分析,是教育数据挖掘的重要分支之一。当前教育数据挖掘主要是用经典的机器学习算法对在线学习数据进行建模分析,难以描述全局的学习过程。凭借解析事件日志发现控制流模型的过程挖掘技术可以解决这一难题,但由于真实数据受各种客观因素的影响,存在大量噪声和无关行为,已有的挖掘方法往往会生成“意大利面模型”,不利于分析理解。针对这一问题,本研究提出分层过程挖掘方法发现学生学习过程。具体方法是：通过解析带生命周期事件日志的时间属性,发现活动嵌套关系;然后构造分层事件日志,进而挖掘描述学习行为的分层过程模型;最后用契合度、精确度、F-值三个指标,系统地比较分层过程挖掘方法与已有过程挖掘方法所挖掘模型的区别。     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

Petri网语言的同步混排运算及在语言分析中的应用

Petri网语言是用于系统行为分析的有力工具，利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为．为此，引入Petri网语言同步混排运算，并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系，分析了Petri网语言的同步混排运算的作用和意义，在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法．     

基于同步核的BPMN模型融合

流程融合有利于优化企业内部流程、促进企业间的有效合作.然而,现有流程融合技术在流程行为不变性保持以及融合过程自动化方面存在不足,而且未见BPMN模型的融合方法.为解决上述问题,本文提出了一种基于同步核的任务依赖关系建模机制,给出了流程的BPMN模型与同步核模型之间的相互转换方法,实现了相应的原型系统,最终基于同步核的融合实现了BPMN模型的融合.     

基于角色关系网络的应急处置业务流程相似度计算

突发事件应急处置业务流程相似度计算对于应急响应流程的智能构建具有重要作用.现有的相似度计算方法多是考虑活动和流关系的相似性,忽略了角色和组织等重要的流程要素.本研究尝试从角色视角出发度量流程之间差异和相似性,给出一种基于角色关系网络的应急处置业务流程相似度计算方法,综合考虑了角色层次关系以及角色之间的任务交付关系.首先...     

Petri网进程的描述方法研究综述

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.