-
公开(公告)号：CN107808214B
公开(公告)日：2022-05-27
申请号：CN201710989077.X
申请日：2017-10-22
Applicant: 南京理工大学
Abstract: 本发明公开了一种车间制造系统的启发式二叉决策图(OBDD)变量序优化表示方法，包括以下步骤：采用Petri网对企业车间生产系统建模；计算Petri网各个库所之间相互关联度；以资源库所为中心，依据库所之间关联度大小对库所进行分组；采用深度优先策略寻找资源库所对应分组及所有库所的OBDD编码顺序。本发明以制造车间Petri网模型为对象，采用启发式OBDD变量序优化技术，缓解了在系统模型分析中存在的状态爆炸问题，具有有效减小模型表示结构、加快模型分析速度的优点。
-
公开(公告)号：CN107092736B
公开(公告)日：2021-05-04
申请号：CN201710227882.9
申请日：2017-04-10
Applicant: 南京理工大学
IPC: G06F30/22
Abstract: 本发明公开了一种车间制造系统中Petri网模型转换到PLC梯形图的方法。首先，使用Petri网对车间制造系统进行建模，再把Petri网模型转化为工业控制系统中常用控制器PLC对应的梯形图。将系统Petri网模型的PLC梯形图分为三个模块，包括初始化模块，侦测模块和演变模块。初始化模块用于将Petri网的初始状态M0传递给梯形图，即把Petri网模型的初始托肯信息传递给对应的线圈或加法器。侦测模块用于检测每个变迁的使能信息，用于判断冲突变迁的优先级，用于解决冲突问题，用于从结构上避免雪崩效应。演变模块用于接收侦测模块传递的信息，将使能的变迁发射，并更新各个库所的托肯数量。本发明以车间制造系统为对象，解决了系统Petri网转换到PLC梯形图中存在的冲突问题和雪崩效应。
-
公开(公告)号：CN110110402A
公开(公告)日：2019-08-09
申请号：CN201910318045.6
申请日：2019-04-19
Applicant: 南京理工大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于二叉决策图的资源分配系统可达状态的快速求解方法，包括以下步骤：利用Petri网对资源分配系统进行建模；利用布尔变量对Petri网中的库所进行表示，获得标识向量；基于标识变量，获取标识向量集合M的特征函数，之后根据该特征函数对Petri网中库所、弧权值以及Petri网的状态标识进行压缩表示；求解变迁的使能条件的特征函数；通过镜像计算求取Petri网的可达状态集。本发明的方法能缓解在系统模型分析中存在的状态爆炸问题，以较小的时间和空间，快速求解系统可达集，对于较大规模该类系统的应用具有重要意义。
-
公开(公告)号：CN106569472B
公开(公告)日：2019-05-07
申请号：CN201611000252.X
申请日：2016-11-14
Applicant: 南京理工大学
IPC: G05B19/418 , G06F9/52 , G06F17/50
Abstract: 本发明公开了一种基于二叉决策图（BDD）的企业车间死锁的快速预防方法。本发明通过Petri网对企业车间系统进行模拟和分析，利用可以压缩表示布尔函数的数据结构BDD进行求解和统计。包括以下步骤：采用Petri网对企业车间生产系统建模；基于BDD快速求解Petri网模型的极小信标集；基于陷阱定义或者与信标的逆反关系，快速求解Petri网的陷阱集；分析、规划极小信标和陷阱，求解Petri网模型的严格极小信标集；通过对严格极小信标集的分析，获得新的控制库所集和对应的关系弧，以此控制严格极小信标集全都为不被清空的，从而实现对企业车间死锁的预防。本发明具有死锁控制器求解过程需要较少的求解时间和存储空间的优点。
-
公开(公告)号：CN107808214A
公开(公告)日：2018-03-16
申请号：CN201710989077.X
申请日：2017-10-22
Applicant: 南京理工大学
Abstract: 本发明公开了一种车间制造系统的启发式二叉决策图(OBDD)变量序优化表示方法，包括以下步骤：采用Petri网对企业车间生产系统建模；计算Petri网各个库所之间相互关联度；以资源库所为中心，依据库所之间关联度大小对库所进行分组；采用深度优先策略寻找资源库所对应分组及所有库所的OBDD编码顺序。本发明以制造车间Petri网模型为对象，采用启发式OBDD变量序优化技术，缓解了在系统模型分析中存在的状态爆炸问题，具有有效减小模型表示结构、加快模型分析速度的优点。
-
Patent Agency Ranking
公开(公告)号：CN107092736A
公开(公告)日：2017-08-25
申请号：CN201710227882.9
申请日：2017-04-10
Applicant: 南京理工大学
IPC: G06F17/50
CPC classification number: G06F17/5013
Abstract: 本发明公开了一种车间制造系统中Petri网模型转换到PLC梯形图的方法。首先，使用Petri网对车间制造系统进行建模，再把Petri网模型转化为工业控制系统中常用控制器PLC对应的梯形图。将系统Petri网模型的PLC梯形图分为三个模块，包括初始化模块，侦测模块和演变模块。初始化模块用于将Petri网的初始状态M0传递给梯形图，即把Petri网模型的初始托肯信息传递给对应的线圈或加法器。侦测模块用于检测每个变迁的使能信息，用于判断冲突变迁的优先级，用于解决冲突问题，用于从结构上避免雪崩效应。演变模块用于接收侦测模块传递的信息，将使能的变迁发射，并更新各个库所的托肯数量。本发明以车间制造系统为对象，解决了系统Petri网转换到PLC梯形图中存在的冲突问题和雪崩效应。
-
公开(公告)号：CN106569472A
公开(公告)日：2017-04-19
申请号：CN201611000252.X
申请日：2016-11-14
Applicant: 南京理工大学
IPC: G05B19/418 , G06F9/52 , G06F17/50
CPC classification number: Y02P90/02 , G05B19/41865 , G06F9/524 , G06F17/5013
Abstract: 本发明公开了一种基于二叉决策图（BDD）的企业车间死锁的快速预防方法。本发明通过Petri网对企业车间系统进行模拟和分析，利用可以压缩表示布尔函数的数据结构BDD进行求解和统计。包括以下步骤：采用Petri网对企业车间生产系统建模；基于BDD快速求解Petri网模型的极小信标集；基于陷阱定义或者与信标的逆反关系，快速求解Petri网的陷阱集；分析、规划极小信标和陷阱，求解Petri网模型的严格极小信标集；通过对严格极小信标集的分析，获得新的控制库所集和对应的关系弧，以此控制严格极小信标集全都为不被清空的，从而实现对企业车间死锁的预防。本发明具有死锁控制器求解过程需要较少的求解时间和存储空间的优点。
-
公开(公告)号：CN110110402B
公开(公告)日：2023-04-18
申请号：CN201910318045.6
申请日：2019-04-19
Applicant: 南京理工大学
IPC: G06F30/22 , G06F119/18
Abstract: 本发明公开了一种基于二叉决策图的资源分配系统可达状态的快速求解方法，包括以下步骤：利用Petri网对资源分配系统进行建模；利用布尔变量对Petri网中的库所进行表示，获得标识向量；基于标识变量，获取标识向量集合M的特征函数，之后根据该特征函数对Petri网中库所、弧权值以及Petri网的状态标识进行压缩表示；求解变迁的使能条件的特征函数；通过镜像计算求取Petri网的可达状态集。本发明的方法能缓解在系统模型分析中存在的状态爆炸问题，以较小的时间和空间，快速求解系统可达集，对于较大规模该类系统的应用具有重要意义。
-
公开(公告)号：CN110059378B
公开(公告)日：2022-09-06
申请号：CN201910261540.8
申请日：2019-04-02
Applicant: 南京理工大学
IPC: G06F30/22
Abstract: 本发明公开了一种基于GPU并行计算的自动制造系统Petri网状态生成方法，包括以下步骤：将待求解的Petri网模型、Petri网系统初始状态M0转化为输入文件；初始化一个普通数组或链表结构的表，用于表示新产生的状态集合OPEN；初始化一个红黑树结构的表，用于表示已生成的状态集合CLOSED；从Petri网系统初始状态M0开始，搜索Petri网所有的可达状态构成可达状态集；输出可达状态集中每个可达状态的状态标号、状态向量、该状态具体由哪些状态通过发射哪些变迁获得。本发明的方法通过利用GPU并行计算与优化数据结构，能够极大地提高计算Petri网可达集的速度，且在可达状态数不断增大时具有越来越好的效果，在对大型Petri网模型的分析时，可以有效缓解状态空间爆炸问题。
-
公开(公告)号：CN110059378A
公开(公告)日：2019-07-26
申请号：CN201910261540.8
申请日：2019-04-02
Applicant: 南京理工大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于GPU并行计算的自动制造系统Petri网状态生成方法，包括以下步骤：将待求解的Petri网模型、Petri网系统初始状态M0转化为输入文件；初始化一个普通数组或链表结构的表，用于表示新产生的状态集合OPEN；初始化一个红黑树结构的表，用于表示已生成的状态集合CLOSED；从Petri网系统初始状态M0开始，搜索Petri网所有的可达状态构成可达状态集；输出可达状态集中每个可达状态的状态标号、状态向量、该状态具体由哪些状态通过发射哪些变迁获得。本发明的方法通过利用GPU并行计算与优化数据结构，能够极大地提高计算Petri网可达集的速度，且在可达状态数不断增大时具有越来越好的效果，在对大型Petri网模型的分析时，可以有效缓解状态空间爆炸问题。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.017 seconds)
