期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
一种基于逻辑Petri网的过程挖掘方法 被引量:7
1
作者 杜玉越 朱鸿儒 +1 位作者 王路 刘伟 《电子学报》 EI CAS CSCD 北大核心 2016年第11期2742-2751,共10页
逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与... 逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为. 展开更多
关键词 过程挖掘 PETRI网 逻辑Petri网 逻辑变迁 挖掘算法
在线阅读 下载PDF
基于服务簇的服务组合替换与分析 被引量:5
2
作者 杜玉越 薛洁 李彦成 《电子学报》 EI CAS CSCD 北大核心 2014年第11期2231-2238,共8页
提出了一种基于服务簇的服务替换方法.将服务库中服务聚类形成服务簇,并建立相应的服务簇网元及其矩阵模型.假设基于服务簇的服务组合已建立,通过分析服务组合流程,构建了组合服务网模型.根据失效服务网元标准矩阵和组合服务网模型,提... 提出了一种基于服务簇的服务替换方法.将服务库中服务聚类形成服务簇,并建立相应的服务簇网元及其矩阵模型.假设基于服务簇的服务组合已建立,通过分析服务组合流程,构建了组合服务网模型.根据失效服务网元标准矩阵和组合服务网模型,提出了一种替换服务的快速查找与替换算法.实验结果例证了本文方法的正确性和有效性,并表明基于失效服务网元标准矩阵实施服务替换,可提高服务的替换效率,保持服务组合模型的健壮性. 展开更多
关键词 服务簇 服务组合 服务簇网元 服务替换 PETRI网
在线阅读 下载PDF
同步合成网的结构性质分析 被引量:6
3
作者 杜玉越 李孝忠 曹德范 《东南大学学报(自然科学版)》 EI CAS CSCD 1999年第5期26-30,共5页
研究了同步合成网的结构性质, 给出了同步合成网保持子网结构性质不变的条件.结果表明: 同步合成网对某些结构性质可直接保持,而对另一些结构性质,需在某种条件下保持.这些结果可为网系统同步合成提供有力手段.
关键词 PETRI网 同步合成网 结构性质
在线阅读 下载PDF
一种基于校准的模型问题域识别方法 被引量:6
4
作者 王路 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2015年第1期42-46,53,共6页
以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列... 以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。 展开更多
关键词 PETRI网 流程模型 质量维度 校准 动作映射 大数据
在线阅读 下载PDF
业务过程管理研究现状与关键技术 被引量:4
5
作者 李洪霞 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2015年第1期22-28,共7页
综述了业务过程管理(BPM,business process management)不同侧面的研究现状,阐述BPM的内容、视图及生命周期,分析BPM在过程模型建模、实施、分析和管理方面的关键技术,概括了模型实例获得、模型的可配置性、模型实例诊断及新实例产生方... 综述了业务过程管理(BPM,business process management)不同侧面的研究现状,阐述BPM的内容、视图及生命周期,分析BPM在过程模型建模、实施、分析和管理方面的关键技术,概括了模型实例获得、模型的可配置性、模型实例诊断及新实例产生方法等方面的研究进展。同时,对BPM与web服务和数据库管理之间的联系进行分析。最后,从过程管理的数据来源、过程模型的确定、模型与日志的一致性检查问题、模型库的管理以及仿真系统等方面展望了BPM下一步的发展方向。 展开更多
关键词 大数据 过程模型 过程挖掘 事件日志 工作流管理 业务过程管理
在线阅读 下载PDF
一种最优校准的分组算法 被引量:2
6
作者 田银花 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2015年第1期29-34,共6页
为了选取最优校准的代表项简化迹与模型的一致性检查,提出一种基于质数权值的分组算法,实现对所有最优校准的分组。给不同的偏差分配互异的质数权值,将权值之积作为最优校准的代价。包含相同移动多重集但移动出现位置不同的相似最优校... 为了选取最优校准的代表项简化迹与模型的一致性检查,提出一种基于质数权值的分组算法,实现对所有最优校准的分组。给不同的偏差分配互异的质数权值,将权值之积作为最优校准的代价。包含相同移动多重集但移动出现位置不同的相似最优校准具有相同的代价。证明了分组算法的正确性,应用实例描述了分组的具体执行过程。算法首次明确简洁地实现了相似最优校准的分组,时间复杂度为O(m2 n2)。 展开更多
关键词 PETRI网模型 最优校准 质数权值 分组算法
在线阅读 下载PDF
一种基于可达标识的过程模型修复方法 被引量:7
7
作者 祁宏达 杜玉越 刘伟 《山东科技大学学报(自然科学版)》 CAS 2017年第1期118-124,共7页
模型修复是一种基于模型增强的过程挖掘的应用技术,现有的模型修复方法大多是以拟合度为主要指标,对于其他维度,诸如精确度,考虑较少。基于此,本文试图综合考虑多个维度,来对过程模型进行修复。校准能够对事件日志进行重演,发现各类偏差... 模型修复是一种基于模型增强的过程挖掘的应用技术,现有的模型修复方法大多是以拟合度为主要指标,对于其他维度,诸如精确度,考虑较少。基于此,本文试图综合考虑多个维度,来对过程模型进行修复。校准能够对事件日志进行重演,发现各类偏差,即日志动作和模型动作,却无法确定偏差在Petri网中出现的位置。因此,基于Petri网的可达标识,提出了扩展校准的概念,这样便能确定偏差的位置。进一步地,针对扩展校准中出现的日志动作提出了RMR(Reachable Marking Repaining)算法进行修复。最后,通过实验证明修复算法在拟合度和精确度上均有较好的表现。 展开更多
关键词 校准 模型修复 扩展校准 修复算法
在线阅读 下载PDF
基于OFBiz与J2EE的水利水电应用系统的设计 被引量:3
8
作者 张杰 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2009年第1期83-88,共6页
在J2EE架构下,封装OFBiz工作流引擎的基础之上,采用表示层、业务逻辑层与持久层分离的设计模式,大大降低了模块之间以及模块内部的耦合度,同时使系统具备良好的扩展性与可维护性。从总体上给出了水利水电应用系统的设计与实现方法。
关键词 工作流 工作流系统 OFBIZ J2EE架构
在线阅读 下载PDF
一种基于领域本体的最优Web服务组合方法 被引量:2
9
作者 焦燕廷 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2010年第5期83-90,共8页
基于领域本体技术,提出了一种最优Web服务组合(OWSC)方法。将众多的服务及它们间的匹配度用树的形式表示出来,结点代表Web服务,边值表示服务匹配度。服务组合的分支汇合结构用服务组表示,将服务组简化为由两个服务组成的服务链,以便于... 基于领域本体技术,提出了一种最优Web服务组合(OWSC)方法。将众多的服务及它们间的匹配度用树的形式表示出来,结点代表Web服务,边值表示服务匹配度。服务组合的分支汇合结构用服务组表示,将服务组简化为由两个服务组成的服务链,以便于在树中表示。树中从根结点到不同叶结点的路径表达了服务组合的选择结构,树中的关键路径(即适配度最大的路径)对应的服务组合为最优Web服务组合。该方法考虑了服务组合的顺序、选择和并发结构,而不涉及循环结构,能较好地实现Web服务的自动组合,同时选择出最优的服务组合。 展开更多
关键词 领域本体 WEB服务组合 匹配度 分支汇合 Web服务组 关键路径 适配度
在线阅读 下载PDF
一种基于多目标优化的混合在线集卡调度方法 被引量:2
10
作者 李凡 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2017年第2期107-114,共8页
为了提高集装箱港口工作效率,在"大作业面"前提下,结合任务触发型和集卡触发型两种集卡在线调度方法,综合考虑系统总作业时间、岸吊等待时间以及集卡空载率问题,建立多目标优化模型,并运用启发式方法提出一种混合在线集卡调... 为了提高集装箱港口工作效率,在"大作业面"前提下,结合任务触发型和集卡触发型两种集卡在线调度方法,综合考虑系统总作业时间、岸吊等待时间以及集卡空载率问题,建立多目标优化模型,并运用启发式方法提出一种混合在线集卡调度算法。最后,以港口实际数据为例,通过实验仿真例证了模型优化效果和算法工作效率。 展开更多
关键词 在线集卡调度 集装箱港口 多目标优化 混合 仿真
在线阅读 下载PDF
一种集装箱港口集卡的动态调度方法 被引量:2
11
作者 马慧娟 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2016年第4期99-105,共7页
在集装箱港口中,设备的配置和调度对港口的运作效率有着较大影响。为了研究集装箱港口岸桥与集卡的调度,在混合交叉作业模式下,基于集卡运输时间和集卡排队等待时间的权重系数考虑,建立了以总作业时间最小为目标的集卡动态调度模型,实... 在集装箱港口中,设备的配置和调度对港口的运作效率有着较大影响。为了研究集装箱港口岸桥与集卡的调度,在混合交叉作业模式下,基于集卡运输时间和集卡排队等待时间的权重系数考虑,建立了以总作业时间最小为目标的集卡动态调度模型,实现了不同船舶装船作业和卸船作业同时进行的集卡动态分配。最后,通过对集装箱港口实际作业流程的建模仿真,例证了本文模型的有效性和实用性。 展开更多
关键词 集装箱港口 混合交叉作业 集卡动态调度 仿真模型
在线阅读 下载PDF
基于服务簇的Web服务绑定方法
12
作者 宁玉辉 杨栋 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2014年第4期94-98,共5页
针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务... 针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务绑定的动态替换方法,匹配服务过程无需查找本体树,能够提高运算效率;解决了网络环境的变化造成的服务响应失效问题,提高服务响应的自适应性。 展开更多
关键词 服务簇 服务绑定 服务替换 逻辑Petri网 仿真实验
在线阅读 下载PDF
流程交换重复偏差的识别方法
13
作者 王瑞莹 杜玉越 《山东科技大学学报(自然科学版)》 CAS 2015年第1期35-41,共7页
针对现有流程偏差模式无法正确识别流程组合偏差的情况,提出一种流程组合偏差模式。该模式以构建偏差模式约束为前提,将活动替换、交换和重复偏差模式相互组合。以标准代价函数为基础,给出改进代价函数。根据组合偏差模式及改进代价函数... 针对现有流程偏差模式无法正确识别流程组合偏差的情况,提出一种流程组合偏差模式。该模式以构建偏差模式约束为前提,将活动替换、交换和重复偏差模式相互组合。以标准代价函数为基础,给出改进代价函数。根据组合偏差模式及改进代价函数,设计交换重复偏差模式。将交换重复偏差模式应用于签证申请流程,获得的校准结果可以识别流程中存在的偏差,验证了组合偏差模式能够有效识别流程组合偏差。 展开更多
关键词 校准 重复偏差 组合偏差 过程挖掘 一致性检测 大数据
在线阅读 下载PDF
关于Davidson—Lanczos方法的收敛率 被引量:2
14
作者 杜玉越 《南京航空学院学报》 CSCD 1991年第4期117-122,共6页
本文对文[1]提出的求解大型对称矩阵A的极端(几个最大或最小)特征值及相应特征向量的Davidson—Lanczos方法,用Rayleigh—Ritz逼近理论,研究了该方法的收敛率。证明了由该方法产生的规范正交向量{v_i}_i^m=1是Krylov子空间K_m≡Span(v_1... 本文对文[1]提出的求解大型对称矩阵A的极端(几个最大或最小)特征值及相应特征向量的Davidson—Lanczos方法,用Rayleigh—Ritz逼近理论,研究了该方法的收敛率。证明了由该方法产生的规范正交向量{v_i}_i^m=1是Krylov子空间K_m≡Span(v_1,Av_1,…,A^(m-1)v_1)的一组基。设A的k个最大特征值为又,λ_1>λ_2>…>λ_k,相应的近似特征值为λ_i^(m)(i=1,…,k),得到 这里γ_i(γ_i>1),W_i和W_i^(m)是常数。 展开更多
关键词 计算数学 对称矩阵 特征值 收敛率
在线阅读 下载PDF
扩展颜色逻辑Petri网及其可达性分析 被引量:7
15
作者 王振 杜玉越 亓亮 《山东科技大学学报(自然科学版)》 CAS 北大核心 2020年第3期84-98,共15页
逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型... 逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。 展开更多
关键词 并发系统 逻辑Petri网 颜色逻辑Petri网 可达性分析 电子商务系统
在线阅读 下载PDF
基于扩展足迹矩阵的一致性检测 被引量:4
16
作者 王媛媛 杜玉越 《山东科技大学学报(自然科学版)》 CAS 北大核心 2018年第2期9-15,共7页
一致性检测是过程挖掘研究的重要内容,现有的一致性检测方法不足以找到准确的偏差位置。本文以Petri网作为描述过程模型的形式化方法,根据基于日志的次序关系重新定义了一种基于日志的扩展次序关系,并以此定义了基于日志的扩展足迹矩阵... 一致性检测是过程挖掘研究的重要内容,现有的一致性检测方法不足以找到准确的偏差位置。本文以Petri网作为描述过程模型的形式化方法,根据基于日志的次序关系重新定义了一种基于日志的扩展次序关系,并以此定义了基于日志的扩展足迹矩阵和基于模型的扩展足迹矩阵。通过对比两个扩展足迹矩阵得到日志和模型之间精准的偏差位置。最后,通过索赔申请处理的实例验证了方法的有效性。 展开更多
关键词 一致性检测 过程挖掘 扩展次序关系 扩展足迹矩阵 偏差位置
在线阅读 下载PDF
基于逻辑Petri网的循环选择驱动循环结构过程模型修复方法 被引量:1
17
作者 刘伟 薄玉娟 +1 位作者 杜玉越 孙红伟 《山东科技大学学报(自然科学版)》 CAS 北大核心 2023年第6期75-84,共10页
模型修复是一种过程增强技术。现有模型修复方法较少考虑含间接依赖关系的过程模型,在表示结构间的间接依赖关系时存在不足,修复含循环选择驱动循环结构的模型时难以描述结构间的间接依赖关系。本研究基于逻辑Petri网,针对循环选择驱动... 模型修复是一种过程增强技术。现有模型修复方法较少考虑含间接依赖关系的过程模型,在表示结构间的间接依赖关系时存在不足,修复含循环选择驱动循环结构的模型时难以描述结构间的间接依赖关系。本研究基于逻辑Petri网,针对循环选择驱动循环结构,提出在修复循环选择驱动循环结构的同时可以表达结构间的间接依赖关系的方法。在从日志中获取循环序列和选择序列算法的基础上,通过定理确定模型与日志是否存在偏差并找到偏差位置;根据不同结构提出修复算法修复模型,并使用关联规则描述结构间的间接依赖关系;最后通过实验证明方法的可行性。 展开更多
关键词 间接依赖关系 逻辑Petri网 循环结构 过程模型 修复方法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部