检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

自动制造系统中的迭代式死锁预防策略

计算机集成制造系统 2008年第3期14卷 602-607,614页

作者：胡核算李志武王安荣西安电子科技大学机电工程学院陕西西安710071

为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

一种时延Petri网的死锁预防方法

西安电子科技大学学报 2009年第5期36卷 902-908页

作者：郭金维李志武西安电子科技大学机电工程学院陕西西安710071

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),... 详细信息

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.

关键词：柔性制造系统时延Petri网死锁预防

在线全文

学校读者我要写书评

暂无评论

有效变迁覆盖在死锁预防策略中的应用

东南大学学报（自然科学版） 2012年第A1期42卷 107-111页

作者：刘慧霞邢科义韩立斌王峰西安交通大学系统工程研究所西安710049

为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源... 详细信息

为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.

关键词：自动制造系统死锁预防 Petri网

在线全文

学校读者我要写书评

暂无评论

基于信标的柔性制造系统的优化死锁预防策略

控制与决策 2006年第12期21卷 1343-1348页

作者：胡核算李志武王安荣西安电子科技大学机电工程学院西安710071

针对柔性制造系统(FM S)中的死锁问题,根据矩阵理论给出了Petri网中基本信标的概念,进而提出一种基于基本信标和混合整数规划法(M IP)的死锁预防策略.该策略将最优基本信标作为控制对象,以混合整数规划法给出的系统无死锁条件为目标函数... 详细信息

针对柔性制造系统(FM S)中的死锁问题,根据矩阵理论给出了Petri网中基本信标的概念,进而提出一种基于基本信标和混合整数规划法(M IP)的死锁预防策略.该策略将最优基本信标作为控制对象,以混合整数规划法给出的系统无死锁条件为目标函数,不考虑从属信标受控条件便可在多项式时间内使系统受控.该控制策略的显著特点是以较低的计算复杂度实现整个系统受控,并使需要添加的控制库所和连接弧大大减少.控制实例证明了其有效性.

关键词： Petri网基本信标死锁预防混合整数规划法

在线全文

学校读者我要写书评

暂无评论

考虑FMS资源故障的一种死锁预防策略

西安电子科技大学学报 2005年第6期32卷 833-838页

作者：李志武丁伟朱荣明西安电子科技大学机电工程学院陕西西安710071

提出了利用Petri网对设备发生故障的柔性制造系统建模和死锁控制的一种方法.用故障库所、故障变迁和恢复变迁描述设备故障、修复以及重新投入工作的整个过程.在此基础上,研究了一种死锁控制策略:仅对基本信标添加控制库所,通过调整基本... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

应用必需信标的Petri网死锁预防策略

控制理论与应用 2011年第6期28卷 771-780页

作者：李绍勇王安荣西安电子科技大学机电工程学院陕西西安710071 兰州理工大学土木工程学院甘肃兰州730050

本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现... 详细信息

本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现被控的Petri网中是否存在最大的死标识信标,若存在,则通过库所分类和迭代式的信标提取,得到必需信标,添加相应的控制库所,满足必需信标的最大可控性,从而实现被控的Petri网活性的目的.理论分析和算例验证表明了该策略的正确性和有效性.

关键词： Petri网死锁预防混合整数规划必需信标

在线全文

学校读者我要写书评

暂无评论

S^3PR网的一种死锁预防策略

西安电子科技大学学报 2008年第2期35卷 330-333页

作者：闫明明李志武钟春富西安电子科技大学机电工程学院陕西西安710071

针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

基于Petri网的并发编程死锁预防策略

浙江大学学报（理学版） 2012年第1期39卷 43-49,55页

作者：丁力董利达朴云浙江大学电子电路与信息系统研究所浙江杭州310027

针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,... 详细信息

针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性.

关键词：并发编程 Petri网虹吸死锁预防

一类Petri网——S^4R的死锁预防策略

在线全文

学校读者我要写书评

暂无评论

计算机科学 2010年第10期37卷 291-294页

作者：朱森西安电子科技大学机电工程学院西安710071

S4R网作为一种特殊的Petri网子类,与S3PR网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对S4R网提出了一种综合的死锁预防策略。利用MIP检验由S4R网建模的柔性制造系统的活性,在新的信标控制概念的基础上对需要控... 详细信息

S4R网作为一种特殊的Petri网子类,与S3PR网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对S4R网提出了一种综合的死锁预防策略。利用MIP检验由S4R网建模的柔性制造系统的活性,在新的信标控制概念的基础上对需要控制的系统进行控制。再利用MIP检验受控网系统的活性,进一步控制不活的网系统。避免了对一些网不必要的控制以及一些网过于保守的控制,得到许可行为较多的控制器。

关键词： Petri网柔性制造系统 S4R 死锁预防