公共文化服务平台

刘伟: 作品数：41 被引量：248H指数：7; 供职机构：山东科技大学信息科学与工程学院更多>>; 发文基金：国家自然科学基金山东省自然科学基金山东省优秀中青年科学家科研奖励基金更多>>; 相关领域：自动化与计算机技术矿业工程经济管理文化科学更多>>

合作作者

基于Petri网的批量迹与过程模型校准被引量：4: 2018年; 校准是事件日志中迹与过程模型之间一致性检查的重要手段,可以精确定位偏差出现位置.但已有校准方法一次只能计算一条迹与过程模型之间的校准,若计算m条迹与过程模型之间的校准,需调用m次该方法,做大量重复工作.针对该问题,基于Petri网提出了一种过程模型与m条迹之间的批量校准方法——AoPm(Alignments of Process Model and m Traces)方法,调用A+或A++算法同时得到多条迹与模型之间的最优校准.以一个给定完备事件日志集和过程模型为例,基于区域的过程发现算法,挖掘事件日志中所有迹的日志模型;发现日志模型与过程模型的日志移动、模型移动和同步移动,并得到其乘积系统;计算乘积Petri网的可达图,得到变迁系统.提出了计算最优校准的A+算法及A++算法,可分别得到日志中所有迹与过程模型之间的一个最优校准和所有最优校准.对AoPm方法的时间复杂度和空间复杂度进行了理论分析,并与已有校准方法进行比较.当计算m条迹与过程模型之间的最优校准时,AoPm方法计算乘积、变迁系统次数和所占用空间都是传统方法的1/m.给出并验证了变迁系统中必定能找到日志中任意一条迹与过程模型的一个校准、一个最优校准和所有最优校准的定理,并提出了日志同步网的概念,证明了A+算法和A++算法的正确性.基于ProM平台、人工网上购物模型及生成日志集,对AoPm方法进行了仿真实验,并与传统校准方法进行比较分析.实验结果表明,在处理批量迹与过程模型的校准时,AoPm方法比传统校准方法在计算变迁系统的运行时间和占用空间上,分别有指数级和多项式级的降低.AoPm方法应用于实际复杂问题的模型与日志,说明了其适应性与健壮性.AoPm方法突破了以往每次只对一条迹和过程模型进行校准的限制,首次实现了批量迹与模型之间的校准,提高了事件日志中迹与过程模型之间的一�; 田银花杜玉越韩咚刘伟; 关键词：PETRI网校准

BP神经网络在海洋赤潮预测中的应用: 2010年; 近年来,赤潮发生的频率越来越高。据统计,我国自1990～1998年沿海发生的有害赤潮达234次(吴玉霖等,2001),对海洋渔业、海水养殖业及滨海旅游业等均造成一定的危害,经济损失严重。越来越多的学者开展了赤潮研究(吴玉霖等,2001;齐玉藻,1997),以求尽早弄清赤潮发生机理并准确进行预报。鉴于赤潮发生的复杂性及对其机理的认识,; 刘伟; 关键词：海水养殖业夜光藻滨海旅游业陆源污染输出层

IPV6下的路由技术被引量：3: 2006年; IPV6报头的简化和地址空间的增大带给我们很多便利的同时也产生了一些亟待解决的问题,比如对IPv6的路由查找仍需解决最长前缀匹配问题,这给拥有128位地址的IPv6应用带来了很大的困难。文章主要讨论IPV6相对于IPV4下的路由协议和算法都有些什么样的改进,有哪些优势或不足的地方。; 刘伟刘伟科闫春; 关键词：TCAM BINARY TRIES

嵌入式系统USB主机端协议栈的实现: 2006年; USB已经成为一种计算机通用的外围串行接口,但是目前嵌入式系统还不支持这种接口,本文就此提出了在嵌入式系统中集成USB主机功能模块的方案,介绍了使用SL811HS作为接口芯片的USB主机的设计方法。本文详细介绍了可复用的USB主机端协议栈的设计与实现方法,开发该协议栈使用的是标准C语言,使得该协议栈具有非常好的移植性。最后用实例验证了方案的可行性。; 孔英刘伟; 关键词：USB主机系统 USB协议栈 SL811HS

基于Petri网基本结构的相似最优校准计算方法被引量：4: 2016年; 为了提高事件日志与过程模型之间一致性检查的效率,提出一种基于Petri网基本结构的相似最优校准计算方法。根据网上购物流程建立Petri网模型,计算给定迹与模型之间的所有最优校准。分析发现有些最优校准包含的移动集合完全相同,只是移动出现顺序不同,定义为相似最优校准。通过对相似最优校准的性质进行分析得出定理与推论。定义最优校准相似关系和等价关系,给出了最优校准集合的划分方法,该方法可选取代表项,体现迹与过程模型之间的所有偏差。通过分析四种工作流模式提出多阶段校准算法,用于求解Petri网模型与约束迹之间相似最优校准代表项。仿真实验例证了该相似最优校准方法的正确性和有效性。; 田银花杜玉越韩咚刘伟; 关键词：PETRI网模型工作流校准算法

一种基于可达标识的过程模型修复方法被引量：7: 2017年; 模型修复是一种基于模型增强的过程挖掘的应用技术,现有的模型修复方法大多是以拟合度为主要指标,对于其他维度,诸如精确度,考虑较少。基于此,本文试图综合考虑多个维度,来对过程模型进行修复。校准能够对事件日志进行重演,发现各类偏差,即日志动作和模型动作,却无法确定偏差在Petri网中出现的位置。因此,基于Petri网的可达标识,提出了扩展校准的概念,这样便能确定偏差的位置。进一步地,针对扩展校准中出现的日志动作提出了RMR(Reachable Marking Repaining)算法进行修复。最后,通过实验证明修复算法在拟合度和精确度上均有较好的表现。; 祁宏达杜玉越刘伟; 关键词：校准

未决赔款准备金评估的双广义线性模型的改进: 2016年; 文章运用双广义线性模型,将通货膨胀、气候环境这两个外部因素与公司理赔政策这一内部因素引入到广义线性模型中,对一般的广义线性模型进一步改进。然后利用实际数据,应用改进后的模型,进行实证分析,并与未改进的评估模型得到的相关数据进行了比较,最后分析了未决赔款准备金评估结果变化的原因。; 闫春李延星孙晓红刘伟; 关键词：未决赔款准备金

基于逻辑数据Petri网的业务过程建模与分析被引量：6: 2017年; 为了解决逻辑Petri网中处理托肯优先级的问题,结合逻辑Petri网和时间Petri网的思想,提出逻辑数据Petri网、引发规则及其可达图。在该网中,为每个托肯添加了属性和到达时间,为逻辑输入、输出变迁添加了批处理等待时间和变迁引发持续时间,为普通变迁添加了引发持续时间。针对托肯定义了属性、时间删除函数和写函数,对库所中托肯的属性和到达时间进行了操作。建立了基于逻辑数据Petri网的电子商务系统模型,构建了可达图并重新定义了可达图中的状态信息,分析了优先级不同的托肯的时间优越性以及系统处理用户请求时的公平性。; 王聘刘伟杜玉越; 关键词：电子商务系统

一种高精确度的过程模型修复方法被引量：4: 2017年; 为了解决现有方法修复的过程模型精确度不高的问题,提出一种高精确度过程模型修复方法。为了便于确定偏差的位置,基于Petri网可达标识提出扩展校准的概念。针对扩展校准中的日志动作收集形成子日志,并将子日志挖掘出的子过程插入原模型中,避免了现有方法由于添加自环导致这一子过程多次重复发生的问题。结合Petri网的过程树,通过查找过程树的非叶子节点,能够定位到Petri网的选择结构。针对选择结构提出一种新的偏差类型,并给出判定方法,将挖掘出的子过程作为选择结构的一条分支,对模型进行修复。通过青岛某医院就诊数据的实例分析,验证了该修复算法有较高的拟合度和精确度。; 祁宏达杜玉越刘伟; 关键词：校准

基于Petri网的容错系统分层建模被引量：9: 2010年; 扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。; 周月明杜玉越刘伟; 关键词：PETRI网容错检错

刘伟

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

刘伟

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈