搜索到48篇“ 基本信标“的相关文章
资源有向图法确定S3PR网基本信标数目的实现与验证
伴随着计算技术、通信技术和传感器技术的快速发展,现实生活中诸如空中交通控制系统、自动制造系统、计算机通信网络、嵌入式网络系统、软件系统等等这样的动态系统的复杂度也在与日俱增。大多数的动态系统,为了保证其正常运行,通常涉及...
罗勇
关键词:离散事件系统
基于基本信标的自动制造系统活性控制器设计
柔性制造系统是由计算机数控机床和物料传输系统构成的可以高效地生产中小批量不同产品的自动制造系统。死锁是设计柔性制造系统控制器时必须考虑和解决的问题。在有些情况下,死锁造成的局部或整体的系统停顿并不单纯地降低生产率,更可能...
侯一凡
关键词:PETRI网自动制造系统死锁预防控制器基本信标
利用基本信标的时延Petri网的死锁预防策略被引量:1
2011年
针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为活的网系统.首先将时延Petri网拉伸,使得不改变原来系统性能的情况下,拉伸后的网SPN所有变迁均为单位时延,然后针对SPN,采用基本信标控制方法,根据所得标识约束添加控制库所,使基本信标和从属信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.
郭金维李志武
关键词:柔性制造系统时延PETRI网基本信标死锁预防
Petri网基本信标的求取算法及死锁避免策略研究
在诸如柔性制造系统、半导体生产线等这样的典型离散事件系统中,由于资源的分配不合理会导致死锁的产生.死锁不仅会导致生产率的下降,而且可能会造成灾难性的后果. Petri网是对离散事件系统进行建模和分析的主要数学工具之一.死...
王安荣
关键词:柔性制造系统PETRI网基本信标
文献传递
基本信标计算的一种快速算法被引量:6
2008年
提出一种基于二分法搜索原理计算基本信标的高效算法.如果网的特征T-向量矩阵非行满秩,则将其按行一分为二.以同样的方法处理新得到的子矩阵,直至得到的子矩阵行满秩,则该矩阵对应的信标全为基本信标.以这些基本信标为基础,递归搜索其余子矩阵,最终得到全部基本信标.该算法与顺序搜索法相比较,矩阵求秩的次数大为减少.对Petri的一个子类——一个拥有资源的简单加工进程的线性系统(LS3PR)网系统来说,该算法是一个多项式算法,并通过一系列算例验证了该算法的效率.
王安荣李志武
关键词:PETRI网基本信标
一类Petri网中基本信标的快速求解算法
柔性制造系统作为一种典型的离散事件系统是Petri网的一个重要应用领域。在柔性制造系统中,由于资源的竞争出现死锁现象。死锁预防是基于信标的一种死锁控制方法。系统中被清空的信标导致死锁发生。理论证明,只要控制住一个系统的基...
刘香玲
关键词:PETRI网柔性制造系统基本信标
文献传递网络资源链接
基于混合整数规划和基本信标的死锁控制策略
本文主要研究柔性制造系统中的死锁问题.利用Petri网对其建模,针对一种网的子类一S3PR网,提出了死锁预防策略.网模型中的信标可分为基本信标和从属信标,对每个基本信标添加控制库所使其不变式可控,并用混合整数规划方法保证...
韦娜
关键词:柔性制造系统PETRI网基本信标整数规划
文献传递
一种利用基本信标的柔性制造系统死锁控制器设计方法被引量:6
2006年
对于一类网系统ES3PR提出了一种有效的死锁控制策略.严格极小信标分为基本信标和从属信标,对每个基本信标通过添加控制库所,保证其能够被标识,同时不产生新的可被清空的信标.从属信标的控制通过调整基本信标的控制深度变量来实现.通过对添加的控制库所冗余性的分析,去除了冗余的控制库所,得到了许可状态更多、结构更为简单的Petri网控制器.
李志武马雄
关键词:柔性制造系统PETRI网死锁预防基本信标
最优基本信标在柔性制造系统死锁控制中的应用
2006年
基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优.在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法.实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为.
胡核算李志武王安荣
关键词:PETRI网死锁预防柔性制造系统
基于柔性制造系统的基本信标死锁预防分析
在柔性制造系统中对有限资源的竞争会使系统产生死锁现象.Petri网作为一种工具,它很方便的为柔性制造系统建模,分析并解决了这一死锁问题.基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控...
曹卫贤
关键词:死锁预防基本信标柔性制造系统PETRI网
文献传递

相关作者

李志武
作品数:88被引量:165H指数:8
供职机构:西安电子科技大学
研究主题:PETRI网 柔性制造系统 死锁预防 基本信标 自动制造系统
赵咪
作品数:33被引量:83H指数:5
供职机构:石河子大学机械电气工程学院
研究主题:死锁预防 PETRI网 柔性制造系统 基本信标 非阻塞
王安荣
作品数:20被引量:63H指数:5
供职机构:西安电子科技大学
研究主题:PETRI网 基本信标 死锁预防 柔性制造系统 系统死锁
韦娜
作品数:7被引量:5H指数:2
供职机构:西安电子科技大学机电工程学院
研究主题:PETRI网 柔性制造系统 死锁预防 基本信标 混合整数规划
胡核算
作品数:88被引量:16H指数:3
供职机构:西安电子科技大学
研究主题:自动制造系统 死锁 控制方法 PETRI网 稳健性