安徽理工大学数学与大数据学院
- 作品数：540 被引量：506H指数：8
- 相关作者：李声赵晓东张澜陈思宇王德宝更多>>
- 相关机构：上海工程技术大学数理与统计学院安徽科技学院信息与网络工程学院同济大学电子与信息工程学院嵌入式系统与服务计算教育部重点实验室更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术理学文化科学经济管理更多>>
- 建模思想在《Petri网理论与应用》教学中的渗透
- 2020年
- 文章阐述了《Petri网理论与应用》的教学目的和性质,指出了传统教学方法及手段的弊端,说明了在课堂教学中引入建模思想的必要性和重要性。将建模思想贯穿于课程教学过程中,是提高学生的知识综合运用能力、培养学生发现问题-分析问题-解决问题的能力的必然举措。通过实例详细讲解了建模思想在实际问题的求解中的应用,通过建模思想的渗透有效地改善了教学效果,提高了学生实践能力。
- 王丽丽方贤文
- 关键词：PETRI网教学研究实际应用
- 基于Petri网的拼团流程模型优化及验证分析被引量：1
- 2019年
- 目前,越来越多的人倾向于拼团购物,从而获得以优惠价格购买商品的资格。在拼团流程中,为了实现顾客与商家互利共赢,并尽可能的满足顾客需求,为顾客提供更多的选择性,本文针对拼团流程模型进行优化分析。首先给出了基本的拼团流程模型。其次,构建了使用新功能卡的流程模型,然后通过分析流程模型中活动间间接的交互关系,将两个流程模型合并,同时增加相关的控制结构对其进行优化。最后基于Petri网化简的方法利用可达标识图验证了流程模型优化的合理有效性。
- 杨慧慧
- 关键词：PETRI网模型化简可达标识图
- 关于a_(1)^(2)+p_(1)^(2)=p_(2)^(2)+p_(3)^(2)≤x的个数问题
- 2023年
- 记r_(1)(n)为可以表示成一个正整数与一个素数的平方和的正整数n的个数,记r_(2)(n)为可以表示成两个素数平方和的正整数n的个数.用S_(1,2)(x)表示均值∑n≤xr_(1)(n)r_(2)(n).Sedunova计算得出x/log^(2)xS_(1,2)(x)x/log^(2)x(loglogx)^(2).利用Brun筛法进一步完善此结果.证明当x→∞时,有S_(1,2)(x)■x/log^(2)x.
- 张悦戴浩波
- 基于行为轮廓矩阵增强的业务流程结果预测方法
- 2024年
- 预测性过程监控依赖于预测效果,针对如何增强预测性过程监控预测效果的问题,提出了一种基于行为轮廓矩阵增强的业务流程结果预测方法。首先,通过分析活动间的行为关系提取行为轮廓矩阵,并将其与事件序列一同输入到模型中。随后,结合卷积神经网络(CNN)和长短期记忆网络(LSTM)分别学习矩阵图像特征和序列特征。最后,引入注意力机制以整合图像特征和序列特征进行预测。通过真实事件日志进行验证,在预测事件日志结果方面,提出的增强方法对比基准的LSTM预测方法提高了预测效果,验证了方法的可行性。该方法结合行为轮廓矩阵增强了预测模型对事件日志中行为之间关系的理解,进而提升了预测效果。
- 刘恒方贤文卢可
- 基于Petri网的项目外包实施流程建模与优化被引量：1
- 2020年
- 项目实施是外包行业的重要组成部分,在整个项目的上线过程中起着重要的作用。目前已经存在大量的完整的项目实施流程,但这些业务流程存在着一些缺陷,无法适应不同客户对项目接受能力的差异,培训实际消耗时间与预期时间不一致,影响项目实施进度等问题。为了解决这一问题,利用Petri网对项目实施流程进行建模和分析,给出了优化的项目实施流程模型。优化后的模型缩短了项目实施周期,改善了项目外包的实施流程。
- 周衍志
- 关键词：PETRI网项目实施
- Hilfer-Katugampola序列分数阶微分方程多点混合边值问题Lyapunov型不等式
- 2023年
- 基于Hilfer-Katugampola分数阶微积分框架下,讨论了一类序列分数阶微分方程多点混合边值问题Lyapunov型不等式.通过将微分方程边值问题等价转化为积分方程问题,再结合先验估计方法得到了Lyapunov型不等式.
- 董蝴蝶王林陈港倪晋波
- 基于后继关系的行为块过程挖掘方法被引量：2
- 2019年
- 鉴于已有的过程挖掘方法在发现循环结构和隐藏行为上具有一定的局限性,提出一种基于后继关系的行为块挖掘算法。依据日志建立后继关系矩阵,分析了矩阵中变迁间对应的值,从而可以发现所有最小行为块和隐藏的行为关系,包括循环行为块;利用组合原理对带有重复变迁的最小行为块进行组合,得到结构行为块;组合所有行为块得到初始模型,利用已发现的隐藏行为关系修正初始模型得到更加精确的过程模型。通过实例分析和ProM的仿真实验验证了所提方法的可行性。
- 方欢段瑞詹悦
- 关键词：PETRI网
- 一种基于多视角数据属性的决策表Petri网挖掘方法
- 2023年
- 当处理高度可变的流程时,已有的自动过程挖掘技术产生的模型可能并不能真实反映流程运行中不同决策点之间规则的变化情况。从声明性过程挖掘的角度出发,提出了一种具备可视化规则的决策表Petri网挖掘方法,实现真实日志到声明性过程决策表Petri网模型的映射。首先,形式化了决策表Petri网模型及其携带的规则分析决策表,并对模型的静态语义和动态语义进行定义;其次,通过扩展属性的添加,分析流程内部属性和事件属性是否会对决策产生影响,并通过规则分析决策表的异常值属性,判断规则的异常程度;最后,在一组人工日志和真实事件日志的基础上进行实验仿真,并与数据Petri网的挖掘技术进行分析对比。实验结果表明所提方法在反映流程运行中规则的变化情况具有一定优势,并为数据流异常检测提供数值可解释性;同时,所设计的决策表Petri网挖掘方法可以将决策信息与模型结构整合在一起,为过程模型的可变性建模提供形式化基础。
- 张守政方欢
- 关键词：异常检测
- 基于深度学习的融合流程多视角行为分析:预测业务流程监控被引量：1
- 2024年
- 预测性业务流程监控(PBPM)是业务流程管理(BPM)中的一个重要研究领域,旨在准确预测未来的行为事件。目前,PBPM研究中广泛引用了深度学习方法,但大多数方法只考虑单一的事件-控制流视角,无法将属性-数据流视角与之结合进行流程预测。针对这一问题,提出了一种基于双层BERT神经网络和融合流程多视角行为分析方法(简称FMP框架)。首先,基于第一层BERT学习属性-数据流信息;接着,基于第二层BERT学习事件-行为控制流信息;最后,通过FMP框架融合数据流和控制流实现多维视角流程预测。在真实的事件日志中的实验结果表明,相比其他研究方法,基于FPM框架预测下一个事件的活动精度更高。这证明融合流程多视角的FMP框架能够更全面、更深层次地分析复杂的流程行为,并提高预测的性能。
- 袁永旺方贤文卢可
- 关键词：业务流程管理
- 基于熵的业务流程阻塞变迁挖掘方法被引量：1
- 2019年
- 流程配置信息挖掘是业务流程管理的核心内容之一。现有的配置变迁挖掘方法主要是针对业务流程的隐变迁进行挖掘,很少涉及挖掘业务流程的阻塞变迁,对还原模型的具体行为具有一定影响。为此,提出了基于熵的业务流程阻塞变迁挖掘方法。首先依据高频优先策略建立初始模型,对部分低频日志进行分类并建立增量模型;然后基于Petri网的Merging操作实现增量模型和初始模型的合并,分析阻塞变迁可能存在的活动位置;其次基于熵的分析方法确定阻塞变迁的精确活动位置。最后,通过相关实例分析验证了所提方法的有效性。
- 方贤文应丽王丽丽刘祥伟
- 关键词：事件日志
