共被期刊论文引用了2次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming显示文摘Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity.Due to this reason,various MIP methods are proposed for various subclasses of PNs.This work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)PR.In particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution space.Experimental results show that the proposed MIP method has higher computational efficiency.Furthermore,the proposed method allows one to determine the liveness of an ordinary S^(4)PR. | Shouguang Wang Wenli Duo Xin Guo Xiaoning Jiang Dan You Kamel Barkaoui MengChu Zhou | 2021 | IEEE/CAA Journal of Automatica Sinica2021，8，1： | 2 |
| 2 | 带驻留时间约束及清洗工艺的晶圆制造设备调度研究显示文摘组合设备被广泛应用于半导体制造产业.在制造过程中,时常需要对组合设备的加工腔进行清洗,以清除其中残留的微尘颗粒和化学气体,进而提高晶圆质量.对于同时带驻留时间约束及清洗工艺的晶圆制造单臂组合设备,已有学者对其调度问题作过研究.然而,作者是假定清洗工艺可在很短时间内完成.在实际生产中,该假设有时得不到满足.针对此问题,本文首先开发出两种有效的机械手调度策略,并进一步提出算法来分配机械手在每一个加工步骤上的等待时间,从而得到满足驻留时间约束的可行调度.最后给出实例来阐述调度策略的有效性. | 镇璐 张晓琴 阳罚军 | 2023 | 系统工程理论与实践2023，43，8： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员