-
公开(公告)号：CN116541369A
公开(公告)日：2023-08-04
申请号：CN202310429998.6
申请日：2023-04-18
Applicant: 安徽理工大学
Abstract: 本发明公开了一种决策表Petri网挖掘方法，属于过程挖掘领域；本发明基于Petri网的理论定义了一种决策表Petri网模型，同时实现决策表Petri网状态、变迁发生规则和状态转换的定义，进而实现决策表Petri网的动态语义，提供决策表Petri网的操作语义，并通过日志处理步骤、决策一致性数据绑定步骤以及规则分析决策表绑定步骤生成基于标准事件日志的系统实际决策表Petri网参考模型；生成的决策表Petri网可以用于原始流程结构的动态规则复现，并根据规则分析决策表解释下一个活动发生的原因，提供规则异常程度的数值解释；还可以解决过程挖掘中缺乏BPMN和DMN融合模型的挖掘技术，同时解决流程预测中活动发生的可解释性以及决策挖掘中规则的异常分析问题。
-
公开(公告)号：CN116467888A
公开(公告)日：2023-07-21
申请号：CN202310464276.4
申请日：2023-04-27
Applicant: 安徽理工大学
IPC: G06F30/20 , G06Q50/02 , G06F16/904
Abstract: 本发明涉及一种基于Unity3D的井下机车数字孪生系统，包括有场景漫游模块、机车状态模块、实时监控模块和智能预警模块，用于对井下环境的传感器设备所返回的数据进行分析处理、异常检测、全域感知，并且通过三维空间将数据进行可视化展示；该系统通过建立井下巷道虚拟环境模型，便于用户对井下全景结构概览，从而实现井下虚拟环境漫游；建立高精度立体式的井下机车三维模型，利用三维可视化技术还原井下机车运行流程，实现用户通过虚拟环境的可视化检测到机车本体的交互效果，从而保障机车安全稳定的运行。
-
公开(公告)号：CN109190877A
公开(公告)日：2019-01-11
申请号：CN201810782120.X
申请日：2018-07-17
Applicant: 安徽理工大学
IPC: G06Q10/06
Abstract: 基于Petri网行为紧密度的有效低频模式的分析方法，涉及基于事件日志发现低频模式和基于行为紧密度检测有效低频。首先根据给定的事件日志建立流程模型，利用合理性阈值和行为轮廓关系找出合理的流程模型，通过迭代扩展初始模式发现流程模型中的所有低频模式。然后整理从发现的低频模式中所提取的低频日志，计算模型与日志对应变迁的最小k阶关系，并求出日志和模型的行为距离向量，根据行为紧密度公式找出有效低频模式。本发明提出了从事件日志中分析有效低频模式的方法，有效地解决了在业务流程挖掘中区分低频日志与噪音日志的问题，并能将有效低频应用于实际生活领域。
-
公开(公告)号：CN105159244A
公开(公告)日：2015-12-16
申请号：CN201510460164.7
申请日：2015-07-29
Applicant: 安徽理工大学
IPC: G05B19/418
CPC classification number: Y02P90/02 , G05B19/41865
Abstract: 本发明公开了一种基于Petri网的事件协调控制方法。本发明通过Petri网结构的等价变换方法，考虑如何将库所变迁混合不等式约束条件转换为单一的库所不等式约束条件。转换为单一库所不等式约束条件后，就可以利用已有的活性控制器设计的相关结论对Petri网结构进行控制器设计。本发明将工业应用Petri网的受控元素从单一的库所推广到一般情况，即受控元素可能是库所，也有可能是变迁，考虑≤不等式约束条件下变迁约束向库所约束的转换算法，通过转换就可以将库所和变迁的混合约束问题，转换成单一的库所约束转换问题，可以降低问题分析的难度，拓展已有活性控制器相关结论的应用范围。
-
公开(公告)号：CN105069554A
公开(公告)日：2015-11-18
申请号：CN201510438289.X
申请日：2015-07-22
Applicant: 安徽理工大学
Abstract: 数据约束下的业务流程模型的非一致行为分析的新方法，涉及流程模型的控制流系统和数据流系统的综合分析。首先根据电子商务流程建立相应的业务流程模型，再依据流程模型中数据信息的传播和改变路径以及动作执行顺序和行为约束关系，分别拆分出流程模型的两个子模型，并分别对这两个子模型进行非一致性行为分析，确定其非一致行为。随后根据非一致行为在子模型和源业务流程模型之间的映射特点，综合分析并确定源业务流程模型的非一致行为。本发明提出方法，有效地解决了在数据约束下的模型的非一致行为分析问题，避免了现有的单方面考虑控制流或数据流来确定模型非一致行为的缺陷，也便于分析模型结构的优劣，并及早对其改进以便提高模型的效率。
-
Patent Agency Ranking
公开(公告)号：CN108984774A
公开(公告)日：2018-12-11
申请号：CN201810815625.1
申请日：2018-07-24
Applicant: 安徽理工大学
Abstract: 本发明公开一种基于后继关系的行为块过程挖掘方法。本发明依据日志中活动对的后继关系，建立后继关系矩阵，找出顺序、选择、并行、循环模式和隐含行为，达到找出所有行为结构的目的。不同于以往的块挖掘，本发明挖掘每两个活动的结构关系，并依据相同和不同类型行为块的组合原理，组合所有行为块，得到初始模型。本发明还能发现隐式直接后继关系，这是日志中隐含的行为关系，为了得到更精确的模型，本发明利用隐式直接后继关系产生的库所修正初始模型，得到合理且满足人们需要的Petri网模型。构造了基于后继关系的行为块过程挖掘算法，该算法分为6个步骤，可以发现日志中的隐式直接后继关系，提高模型的精确度。
-
公开(公告)号：CN105159244B
公开(公告)日：2017-10-27
申请号：CN201510460164.7
申请日：2015-07-29
Applicant: 安徽理工大学
IPC: G05B19/418
CPC classification number: Y02P90/02
Abstract: 本发明公开了一种基于Petri网的事件协调控制方法。本发明通过Petri网结构的等价变换方法，考虑如何将库所变迁混合不等式约束条件转换为单一的库所不等式约束条件。转换为单一库所不等式约束条件后，就可以利用已有的活性控制器设计的相关结论对Petri网结构进行控制器设计。本发明将工业应用Petri网的受控元素从单一的库所推广到一般情况，即受控元素可能是库所，也有可能是变迁，考虑≤不等式约束条件下变迁约束向库所约束的转换算法，通过转换就可以将库所和变迁的混合约束问题，转换成单一的库所约束转换问题，可以降低问题分析的难度，拓展已有活性控制器相关结论的应用范围。
-
公开(公告)号：CN106682844A
公开(公告)日：2017-05-17
申请号：CN201710009506.2
申请日：2017-01-06
Applicant: 安徽理工大学
IPC: G06Q10/06
CPC classification number: G06Q10/0633
Abstract: 本发明公开了一种带cost标签的Petri网业务流程模型抽象化简新方法。本发明通过建立业务流程模型Petri网系统，在流程模型控制流约束的条件下，通过设置业务流程模型Petri网系统变迁带cost标签，达到将业务流程模型中控制流和数据信息的抽象化简的目标。本发明将业务流程的一类抽象问题，从一般的寻找模型中结构方面所含控制流信息的方法，转换到通过变迁带cost标签来进行模型的抽象化简，再结合业务流程模型Petri网系统的结构特征，考虑变迁所含cost标签抽象化简的设置算法，通过算法就可以得到这类系统的控制流和数据信息两个方面同时进行抽象化简的目标。本发明提出的业务流程模型抽象化简方法可以实现流程模型中控制流和数据信息的抽象化简，拓展已有业务流程模型抽象问题相关结论的应用范围。
-
公开(公告)号：CN106209470A
公开(公告)日：2016-12-07
申请号：CN201610590125.3
申请日：2016-07-25
Applicant: 安徽理工大学
IPC: H04L12/24
CPC classification number: H04L41/145 , H04L41/0677
Abstract: 本发明公开了一种基于Petri网行为轮廓业务流程模型最小故障域定位的新方法，涉及流程模型中有关定位变化区域内新增最小结构的确立和确保流程模型中新增结构合理化及最优化。本发明通过行为轮廓分析源模型P1、目标模型P2的弱序关系，通过结构定位和控制的方法将P1转化为相似目标模型P3，结合P2和P3的结构相似特征，来定位最小结构故障域。本发明提出了业务流程模型中变化与区域内最小结构故障域的定位方法。有效地解决了复杂流程模型中故障区域定位不精确的问题，避免了现有故障域的分析方法中因不明确故障域产生的根本原因而引起的定位故障域误差范围过大或对故障域控制方法方面的缺陷。
-
公开(公告)号：CN105844389A
公开(公告)日：2016-08-10
申请号：CN201610157483.5
申请日：2016-03-17
Applicant: 安徽理工大学
IPC: G06Q10/06
CPC classification number: G06Q10/06315
Abstract: 本发明公开了一种含有相关资源约束的FMS无死锁调度控制方法。本发明通过建立产品流水线Petri系统，在两种相关资源约束的条件下，通过设置产品流水线Petri系统的初始资源配置，达到系统无死锁调度的目标。本发明将工业应用的一类柔性生产系统的无死锁调度问题，从一般的添加控制库所和进行结构控制的方法，转换到通过配置系统资源来进行无死锁控制，通过产品流水线Petri系统的结构特征，考虑无死锁调度的最大标识边界设置算法，通过算法就可以得到这类系统无死锁调度的最大标识Mmaxset，保证该类系统无死锁调度的目标。本发明提出的无死锁调度控制方法可以降低该类FMS无死锁调度问题的分析和控制难度，拓展已有柔性生产系统无死锁调度相关结论的应用范围。
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.02 seconds)
