一种利用基本信标的柔性制造系统死锁控制器设计方法 被引量：5

1

作者 李志武 马雄 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第2期262-267,332,共7页

对于一类网系统ES3PR提出了一种有效的死锁控制策略.严格极小信标分为基本信标和从属信标,对每个基本信标通过添加控制库所,保证其能够被标识,同时不产生新的可被清空的信标.从属信标的控制通过调整基本信标的控制深度变量来实现.通过... 对于一类网系统ES3PR提出了一种有效的死锁控制策略.严格极小信标分为基本信标和从属信标,对每个基本信标通过添加控制库所,保证其能够被标识,同时不产生新的可被清空的信标.从属信标的控制通过调整基本信标的控制深度变量来实现.通过对添加的控制库所冗余性的分析,去除了冗余的控制库所,得到了许可状态更多、结构更为简单的Petri网控制器. 展开更多

关键词 柔性制造系统 PETRI网 死锁预防 基本信标 ES^3PR

在线阅读 下载PDF 职称材料

基本信标计算的一种快速算法 被引量：6

2

作者 王安荣 李志武 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2008年第4期632-638,共7页

提出一种基于二分法搜索原理计算基本信标的高效算法.如果网的特征T-向量矩阵非行满秩,则将其按行一分为二.以同样的方法处理新得到的子矩阵,直至得到的子矩阵行满秩,则该矩阵对应的信标全为基本信标.以这些基本信标为基础,递归搜索其... 提出一种基于二分法搜索原理计算基本信标的高效算法.如果网的特征T-向量矩阵非行满秩,则将其按行一分为二.以同样的方法处理新得到的子矩阵,直至得到的子矩阵行满秩,则该矩阵对应的信标全为基本信标.以这些基本信标为基础,递归搜索其余子矩阵,最终得到全部基本信标.该算法与顺序搜索法相比较,矩阵求秩的次数大为减少.对Petri的一个子类——一个拥有资源的简单加工进程的线性系统(LS3PR)网系统来说,该算法是一个多项式算法,并通过一系列算例验证了该算法的效率. 展开更多

关键词 PETRI网 一个拥有资源的简单加工进程的线性系统 二分法搜索 基本信标

在线阅读 下载PDF 职称材料

最优基本信标在柔性制造系统死锁控制中的应用

3

作者 胡核算 李志武 王安荣 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第4期607-611,共5页

基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优.在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计... 基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优.在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法.实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为. 展开更多

关键词 PETRI网 死锁预防 最优基本信标 柔性制造系统

在线阅读 下载PDF 职称材料

普通Petri网最大可达数的两段式死锁控制策略 被引量：3

4

作者 李绍勇 肖兴达 +3 位作者 蔡颖 厚彩琴 韩喜莲 马兵善 《控制理论与应用》 EI CAS CSCD 北大核心 2017年第2期243-250,共8页

针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlock control policy,DCP).第1步,该策略求解原网(N0,M0)的基本信标(elementary siphons,ES)和从属信标(dependent siphons,DS),对每个基本信标添加控... 针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlock control policy,DCP).第1步,该策略求解原网(N0,M0)的基本信标(elementary siphons,ES)和从属信标(dependent siphons,DS),对每个基本信标添加控制库所(control place,CP)和控制变迁(control transition,CT),获得拓展网系统(N′,M′).第2步,构建拓展网系统的P–不变式整数规划问题,测试原网中从属信标的可控性.若所有从属信标满足可控条件,则直接得到活性受控网系统(N*,M*);反之,对不满足可控条件的从属信标也添加控制库所和变迁,从而也得到了(N*,M*).通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.相比目前文献中的可实现最大许可行为数目(number of maximally permissive behavior,NMPB)的普通Petri网死锁预防策略,该DCP获取的活性受控网系统(N*,M*)可达数目与原网(N0,M0)是相同的,且最大可达数(maximally reachable number,MRN)高于最大许可行为数目NMPB. 展开更多

关键词 PETRI网 死锁控制 基本信标 最大可达数 最大许可行为数目

在线阅读 下载PDF 职称材料

柔性制造系统活性监督控制器的简化设计 被引量：3

5

作者 李志武 徐平江 +1 位作者 朱荣明 王兴平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第3期442-447,465,共7页

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略.将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所.通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标... 基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略.将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所.通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件.通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法.通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器. 展开更多

关键词 基本信标 PETRI网 死锁预防 柔性制造系统

在线阅读 下载PDF 职称材料

一类离散事件系统的非阻塞监督控制器设计 被引量：4

6

作者 赵咪 李志武 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第5期735-738,837,共5页

提出一种新的死锁控制策略,对系统Petri网模型中的基本信标实施控制保证了基本信标的最大可控,通过线性规划求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量.这种控制策略能保证含有并发执行装配过程的一类柔性制造系统... 提出一种新的死锁控制策略,对系统Petri网模型中的基本信标实施控制保证了基本信标的最大可控,通过线性规划求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量.这种控制策略能保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性,即在控制下,受控系统从任意可达状态都可到达理想状态.和现有方法相比,该策略只需加入更少的控制库所,且可避免不必要的迭代过程. 展开更多

关键词 柔性制造系统 PETRI网 死锁预防 基本信标 非阻塞

在线阅读 下载PDF 职称材料

考虑FMS资源故障的一种死锁预防策略 被引量：2

7

作者 李志武 丁伟 朱荣明 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2005年第6期833-838,共6页

提出了利用Petri网对设备发生故障的柔性制造系统建模和死锁控制的一种方法.用故障库所、故障变迁和恢复变迁描述设备故障、修复以及重新投入工作的整个过程.在此基础上,研究了一种死锁控制策略:仅对基本信标添加控制库所,通过调整基本... 提出了利用Petri网对设备发生故障的柔性制造系统建模和死锁控制的一种方法.用故障库所、故障变迁和恢复变迁描述设备故障、修复以及重新投入工作的整个过程.在此基础上,研究了一种死锁控制策略:仅对基本信标添加控制库所,通过调整基本信标的控制深度来保证从属信标的可控性.由于基本信标个数远少于可清空信标个数,这种控制方法可大大简化Petri网控制器的结构. 展开更多

关键词 死锁预防 柔性制造系统 基本信标

在线阅读 下载PDF 职称材料

自动制造系统中的迭代式死锁预防策略 被引量：1

8

作者 胡核算 李志武 王安荣 《计算机集成制造系统》 EI CSCD 北大核心 2008年第3期602-607,614,共7页

为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可... 为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可被清空的信标中可以容易地计算出一个严格极小信标,就可以在不遍历所有的严格极小信标的情况下,直接求得一组基本信标,从而大大地降低了策略的时间算法复杂度。同时,控制该组基本信标可以确保目标系统具有简单的控制器结构和尽可能多的许可行为。实验结果表明了该控制策略的有效性和高效性。 展开更多

关键词 自动制造系统 死锁预防 基本信标 混合整数规划法

在线阅读 下载PDF 职称材料

一类柔性制造系统的死锁预防策略

9

作者 李志武 徐平江 夏海斌 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期219-222,共4页

针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信标.引入多步迭代的思想,给每个基本信标添加两类控制库所:普通控制库所和加权控制库所,在满足一定条件时... 针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信标.引入多步迭代的思想,给每个基本信标添加两类控制库所:普通控制库所和加权控制库所,在满足一定条件时控制所有的从属信标.从而得到结构更简单、活性更强的Petri网系统. 展开更多

关键词 PETRI网 死锁预防 基本信标 柔性制造系统

在线阅读 下载PDF 职称材料

柔性制造系统非阻塞监督控制器优化设计

10

作者 赵咪 侯一凡 《计算机科学》 CSCD 北大核心 2009年第6期251-253,257,共4页

针对一类含有并发执行装配过程的柔性制造系统G-systems,提出一种新的死锁预防策略保证该系统的非阻塞性,即在控制下,受控系统从任意可达状态都可以到达理想状态。首先对Petri网模型中基本信标实施控制,保证了基本信标的最大可控,然后... 针对一类含有并发执行装配过程的柔性制造系统G-systems,提出一种新的死锁预防策略保证该系统的非阻塞性,即在控制下,受控系统从任意可达状态都可以到达理想状态。首先对Petri网模型中基本信标实施控制,保证了基本信标的最大可控,然后通过线性规划算法求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量。与现有方法相比,该策略优点在于只需加入少量的控制库所,就可避免不必要的迭代过程;其次是提出控制器输出弧位置优化策略,得到了结构更为简单、许可行为更多的非阻塞Petri网控制器。 展开更多

关键词 柔性制造系统 PETRI网 死锁预防 基本信标 非阻塞

在线阅读 下载PDF 职称材料

S^3PR网的一种死锁预防策略 被引量：3

11

作者 闫明明 李志武 钟春富 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2008年第2期330-333,共4页

针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和... 针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C/D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束.根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器. 展开更多

关键词 柔性制造系统 死锁预防 PETRI网 基本信标 S3PR

在线阅读 下载PDF 职称材料

S^3PMR网的一种死锁预防优化策略 被引量：2

12

作者 闫明明 李志武 +1 位作者 韦娜 赵咪 《计算机集成制造系统》 EI CSCD 北大核心 2008年第1期107-112,117,共7页

针对Petri网的S3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构分析,提出了一个输出弧位置最优化的死锁预防控制算法。将S3PMR中的严格极小信标分为基本信标和从属信标,... 针对Petri网的S3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构分析,提出了一个输出弧位置最优化的死锁预防控制算法。将S3PMR中的严格极小信标分为基本信标和从属信标,对每一个基本信标添加一个控制库所,使其P-不变式可控,且不会产生新的可被清空信标,对从属信标的控制则通过调整基本信标的控制深度变量来实现。从而用少量的控制库所得到结构更简单、许可行为更多的活性Petri网控制器。 展开更多

关键词 柔性制造系统 死锁预防 PETRI网 基本信标

在线阅读 下载PDF 职称材料