期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
一种利用基本信标的柔性制造系统死锁控制器设计方法 被引量: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
利用基本信标的时延Petri网的死锁预防策略 被引量:1
3
作者 郭金维 李志武 《新型工业化》 2011年第2期44-55,共12页
针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为... 针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为活的网系统.首先将时延Petri网拉伸,使得不改变原来系统性能的情况下,拉伸后的网SPN所有变迁均为单位时延,然后针对SPN,采用基本信标控制方法,根据所得标识约束添加控制库所,使基本信标和从属信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器. 展开更多
关键词 柔性制造系统 时延PETRI网 基本信标 死锁预防
在线阅读 下载PDF
最优基本信标在柔性制造系统死锁控制中的应用
4
作者 胡核算 李志武 王安荣 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第4期607-611,共5页
基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优.在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计... 基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优.在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法.实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为. 展开更多
关键词 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
S^3PR网的一种死锁预防策略 被引量:3
8
作者 闫明明 李志武 钟春富 《西安电子科技大学学报》 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
FMS的一种简单结构活性控制器设计方法
9
作者 王兴平 《数字技术与应用》 2010年第7期184-184,共1页
研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略。根据我们以前的工作,将Petri网中可被清空的信标分为基本信标和冗余信标。给每个基本信标添加一个控制库所,通过调节信标的控制深度变量,就可控制所有的冗余信标。重... 研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略。根据我们以前的工作,将Petri网中可被清空的信标分为基本信标和冗余信标。给每个基本信标添加一个控制库所,通过调节信标的控制深度变量,就可控制所有的冗余信标。重要的是,通过对控制器的优化设计,剔除一些冗余控制库所,从而得到了结构更简单,许可行为更多的活性Petri网控制器。 展开更多
关键词 基本信标Petri网 死锁预防 柔性制造系统
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部