公开(公告)号：CN118734619A

公开(公告)日：2024-10-01

申请号：CN202410901352.8

申请日：2024-07-05

Applicant: 西安电子科技大学

Inventor： 刘鼎 ,  翟千龙 ,  刘瑞琼 ,  陈玉峰 ,  吴亚丽

IPC: G06F30/22 ,  G06F9/50 ,  G06F9/52 ,  G06N5/01

Abstract: 本发明公开了一种勘测时间Petri网中影响死锁的变迁的方法及装置，通过资源分配系统的时间Petri网模型构造全局可达图；确定全局可达图中的多个危险标记和每个危险标记下的使能变迁集；针对每个危险标记，在全局可达图中进行两类路径搜索，得到该危险标记对应的多条第一类路径和多条第二类路径，进而构建出该危险标记对应的局部可达图；基于每个局部可达图中的每一类路径，确定该类路径中各路径之间的一组包含关系。最后基于所确定的各组包含关系确定出影响资源分配系统死锁的变迁集合。本发明通过勘测资源分配系统的时间Petri网中影响死锁的变迁，从而为死锁预防提供了一种高效且实用的方法。

公开(公告)号：CN119067336A

公开(公告)日：2024-12-03

申请号：CN202410640958.0

申请日：2024-05-22

Applicant: 西安电子科技大学

Inventor： 陈玉峰 ,  吴亚丽 ,  刘鼎 ,  刘瑞琼 ,  翟千龙 ,  王拓

IPC: G06Q10/0631

Abstract: 本发明公开了一种基于Petri网和多步寻优的制造系统调度方法，包括：根据搜索深度和当前标识构建深度子树，基于贪心算法在深度子树中进行多步寻优确定第一优先使能变迁，从而得到下一个当前标识；根据所有的第一优先使能变迁确定制造系统的最优调度方案。根据本发明提供的方法，构建深度子树并基于贪心算法在深度子树中进行多步寻优；能够扩大寻优时搜索的局部范围，从而使得搜索得到的结果能够更逼近全局最优解，避免单步寻优的贪心搜索容易陷入局部最优解的弊端。

公开(公告)号：CN118521098A

公开(公告)日：2024-08-20

申请号：CN202410665357.5

申请日：2024-05-27

Applicant: 西安电子科技大学

Inventor： 刘鼎 ,  刘瑞琼 ,  陈玉峰 ,  吴亚丽 ,  翟千龙 ,  张倍

IPC: G06Q10/0631 ,  G06Q10/04 ,  G06Q50/04 ,  G06F30/22 ,  G06F30/27 ,  G06N3/126 ,  G06N5/01 ,  G06F119/18

Abstract: 本发明公开了一种基于Petri网和贪心算法的制造系统调度方法，包括：构建时间Petri网模型；设计贪心策略；其中，贪心策略为通过设计一启发式评价函数对时间Petri网模型对应搜索树的每一层节点进行保留和裁剪操作；搜索树由系统中所有标识构成；启发式评价函数用于表征从当前标识到目标标识的预估加工时间；基于设计的贪心策略运行时间Petri网模型，确定工件加工顺序、完工时间、运行时间以及扩展标识数。本发明为将时间Petri网与贪心算法相结合的搜索框架，相较于现有大多数智能调度算法能够快速得出调度结果。