欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求解导致死锁信标所采用的部分枚举方法相比,该方法避免了先求解出最大的死标识信标,进而从中提取极小信标的步骤,提高了信标的计算效率.同时,通过添加适当的控制库所,使得灵巧信标满足max＇-controlled,获取的活性受控G-system网系统的许可行为数目可以得到进一步的提升.通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.
英文摘要：
Since deadlock problems in flexible manufacturing systems （FMSs） modeled with Petri nets are closely related to the siphons in Petri nets, how to accurately and quickly solve such problems is important for designing the control policies for siphon-based controllable deadlock. This paper proposes an iterative deadlock control policy to solve and control smart siphons （SSs） in a subclass of Petri nets, i.e., G-system. Comparing with the existing partial siphon enumeration methods for solving the siphons associated with deadlocks, the proposed method avoids the process of finding the maximal deadly marked siphons in the Petri net and then extracting from which the minimal siphons, thus improving the solution efficiency. Meanwhile, by adding the proper control places （CPs） to make the obtained smart siphons maxt- controlled, we further increase the number of permissive behaviors of the corresponding live controlled Petri net system with liveness. Theoretical analysis and examples validate the efficiency of the proposed policy.
同期刊论文项目
同项目期刊论文
Dynamic calculation model and seismic response for frame supporting structure with prestressed ancho
Application of the parallel adaptive genetic simulated annealing algorithm for the synthesis of heat
期刊信息
位置：