基于感知成本的流程模型与事件日志有效对齐

现存的成本函数没有考虑到业务流程中各活动在现实情境中的不同的重要程度,于是在模型与日志的对齐过程中可能会导致对齐成本严重偏离感知成本。针对这一问题,基于业务流程中行为的典型流特征提出了重要同步成本函数的概念,并在该函数下给出一种能够提升效率的对齐方法。首先,基于感知成本的概念定义重要同步成本函数;接着,依据日志迹以及流程模型中行为的典型流特征来确定用以分割流程模型与日志迹的重要匹配子序列;最后,基于重要同步成本函数来对齐分割后的子流程和对应的日志迹子序列,并将分段对齐的结果进行合并得到最终的对齐结果。实验部分从准确率和效率两方面进行验证所提方法：在准确率方面,与现存的标准成本函数和最大同步成本函数相比,所提成本函数下的对齐准确率最高提升了17.44个百分点,且当事件日志包含混合噪声时,所提成本函数下的平均对齐准确率最高,为88.67%;在对齐效率方面则通过比较对齐所耗时间来验证,现存两种函数的平均耗时分别为1.58 s和2.21 s,而所提方法为0.63 s,效率分别提升了150.79%和250.79%。实验结果表明所提方法能在满足准确率需求的同时提升对齐的效率。     

基于Petri网的事件协调控制方法研究

事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系统的结构约束,使得库所变迁混合约束问题转化为单一的库所约束问题。首先,提出基于Petri网的事件协调控制方法的设计算法,通过研究变迁约束转换为库所约束的规则与方法,将DES变迁库所混杂约束问题转换为单一的库所约束问题,从库所约束的角度来分析事件协调控制。其次,在3种不同系数约束的变迁≤约束表达式下,利用Petri网结构的特性,将变迁间的协调控制约束转换为系统的库所≤约束,并给出具体的算法步骤。最后,给出基于Petri网的事件协调控制方法的技术难点,剖析进一步分析和研究的主要问题。     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网（SPN）对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。     

电子商务业务流程网的可达分析方法

电子商务业务流程网（E-commerce Business Process Net,EBPN）是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.     

“编译原理”实践驱动式教学探讨

该文针对编译原理的重要性以及当前教学中存在的问题,提出了实践驱动式教学方法,克服了传统课堂理论讲授式教学方法缺点,以实践指导运用作为课堂主要教学手段,提高了学生的学习兴趣和课程的实用性。经实践证明此方法取得良好的教学效果,对＂编译原理＂教学有一定的指导意义。     

信息与计算科学特色专业实践课程教学实施的经验与思考

针对国家级级特色专业信息与计算科学专业的实践课程教学体系,结合我校的办学实践,从课程实验、课程设计、毕业实习和毕业设计四个方面,阐述了我校在建设信息与计算科学特色专业过程中所取得一些经验,并针对一些教学问题进行深层次的思考。     

基于行为片段模式的流程模型Petri网交互变化区域的责任分析

对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题。已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究。给出了责任的定义,结合行为片段模式的概念,从动态的角度,提出一种基于行为片段模式来分析判断变化区域的责任方的方法,并通过实例分析验证了该方法的有效性。     

Petri网在可靠性分析中的研究综述

可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述。首先对基于Petri网的可靠性分析与研究的基本方法进行分类。其次,着重分析了利用随机Petri网求解系统可靠性的基本方法和步骤,针对等价于Markov过程和非Markov过程的两类系统,重点讨论了基于随机Petri网的系统可靠性分析方法,并指出各类分析研究方法的优缺点。进一步,分析和比较了其他各种类型Petri网在可靠性分析中的应用方法及其优缺点。最后,总结了一些常见的Petri网计算机仿真软件,并针对基于Petri网的可靠性研究展望了几个有价值的研究方向。     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试，是贯穿于整个开发生命周期的，尤其在开发早期，其作用更为重要。Petri网是一种好的分析工具，它能够动态运行程序模型，分析模型中存在的死锁、并发、冲突等问题，对程序正确性进行验证和分析。     

基于因果行为轮廓的流程变体聚类挖掘方法

由于应用的更改和流程模型的自适应性,导致现实应用中存在大量来自同一模型的流程变体。这些流程变体在结构功能上存在诸多共同之处,但至少存在一些细节结构相互区分,配置和维护这些流程变体非常困难。为实现使用较少的系统模型来描述流程变体,提出一种流程变体聚类挖掘算法。首先结合因果行为轮廓的概念将变体模型矩阵化,然后应用加权余弦相似度来聚类活动并确定它们之间的行为关系,最后通过反复迭代直到聚类所有活动,得到一个目标参考流程模型,该模型比原参考模型更容易配置不同的流程变体。仿真实验中,将该算法和传统的流程挖掘算法,以及经典的启发式算法进行对比,结果表明了该算法在挖掘参考模型方面的可行性和有效性。