-
公开(公告)号：CN110046810A
公开(公告)日：2019-07-23
申请号：CN201910261488.6
申请日：2019-04-02
Applicant: 南京理工大学
IPC: G06Q10/06
Abstract: 本发明公开了一种基于赋时Petri网的车间制造系统多目标调度方法，包括以下步骤：利用Petri网对多目标车间制造系统进行建模；读取Petri网模型中各个库所对应的属性值，并求取Petri网模型中库所与变迁之间的关联矩阵；基于关联矩阵和A*搜索算法，从起始节点开始扩展子节点直至找到所有的目标节点，即完成系统多目标调度。本发明以车间制造系统赋时Petri网模型为对象，采用多目标启发式调度方法，通过对目标的多个属性的综合判断，找出最符合要求的非支配调度方案，此方法能针对不同属性求得所有非支配解，且采用启发式多目标A*算法，无需扩展系统所有的节点，即可获得满足要求的系统调度方案。
-
Patent Agency Ranking
公开(公告)号：CN110046810B
公开(公告)日：2022-08-16
申请号：CN201910261488.6
申请日：2019-04-02
Applicant: 南京理工大学
IPC: G06Q10/06
Abstract: 本发明公开了一种基于赋时Petri网的车间制造系统多目标调度方法，包括以下步骤：利用Petri网对多目标车间制造系统进行建模；读取Petri网模型中各个库所对应的属性值，并求取Petri网模型中库所与变迁之间的关联矩阵；基于关联矩阵和A*搜索算法，从起始节点开始扩展子节点直至找到所有的目标节点，即完成系统多目标调度。本发明以车间制造系统赋时Petri网模型为对象，采用多目标启发式调度方法，通过对目标的多个属性的综合判断，找出最符合要求的非支配调度方案，此方法能针对不同属性求得所有非支配解，且采用启发式多目标A*算法，无需扩展系统所有的节点，即可获得满足要求的系统调度方案。
-
公开(公告)号：CN110110402A
公开(公告)日：2019-08-09
申请号：CN201910318045.6
申请日：2019-04-19
Applicant: 南京理工大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于二叉决策图的资源分配系统可达状态的快速求解方法，包括以下步骤：利用Petri网对资源分配系统进行建模；利用布尔变量对Petri网中的库所进行表示，获得标识向量；基于标识变量，获取标识向量集合M的特征函数，之后根据该特征函数对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
6
records
(took 0.016 seconds)
