安徽理工大学数学与大数据学院
- 作品数：490 被引量：428H指数：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.
- 张悦戴浩波
- 基于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
- 2019年
- 流程配置信息挖掘是业务流程管理的核心内容之一。现有的配置变迁挖掘方法主要是针对业务流程的隐变迁进行挖掘,很少涉及挖掘业务流程的阻塞变迁,对还原模型的具体行为具有一定影响。为此,提出了基于熵的业务流程阻塞变迁挖掘方法。首先依据高频优先策略建立初始模型,对部分低频日志进行分类并建立增量模型;然后基于Petri网的Merging操作实现增量模型和初始模型的合并,分析阻塞变迁可能存在的活动位置;其次基于熵的分析方法确定阻塞变迁的精确活动位置。最后,通过相关实例分析验证了所提方法的有效性。
- 方贤文应丽王丽丽刘祥伟
- 关键词：事件日志
- 优势比下带有测量误差的非线性因果中介模型的效应估计
- 2022年
- 因果中介分析用于研究自变量是否通过中介变量对因变量产生影响,阐明潜在因果机制。本文研究当中介变量具有测量误差时,利用优势比方法定义中介效应,对无交互作用和有交互作用分别建立逻辑回归和线性回归模型的结构方程,获得自然直接效应和间接效应的解析表达式。
- 刘近周跃进
- 常微分方程求解中的变量代换法
- 2019年
- 常微分方程是数学的一个重要分支,也是大学阶段理工科类专业的一门非常重要的基础课程。同时,它在许多科学领域以及工程技术领域有着十分广泛的应用。但大部分的常微分方程的求解是十分困难的,变量代换的方法是求解常微分方程非常有效的一种办法。
- 倪晋波马祥祥宋瑞胡雅芬胡熙晟
- 关键词：常微分方程变量代换法
