柔性制造系统中混惑检测及控制  

Confusion Detection and Control in Flexible Manufacturing System

作　　者：龙章潮 叶剑虹[1,2] 易科[1] 

机构地区：[1]华侨大学计算机科学与技术学院,福建厦门361021 [2]新泽西理工学院电子与计算机工程系,美国新泽西州纽瓦克nj07102

出　　处：《小型微型计算机系统》2017年第4期906-912,共7页Journal of Chinese Computer Systems

基　　金：国家自然科学基金培育计划专项基金项目(J-ZR1130)资助;国家自然科学基金项目(60473030)资助;华侨大学科技创新团队和领军人才支持计划项目网络信息安全(2014KJTD13)资助;华侨大学研究生科研创新能力培育计划项目(1400214018)资助

摘　　要：并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系统的这一特征称为混惑,存在混惑的系统不是一个好的系统,不便于对系统施加外部控制.为了解决这一问题,本文首先分析了存在混惑的柔性制造系统在结构上存在的关系,提出了基于关联矩阵的混惑结构检测方法;然后,提出基于广义互斥约束的监控器构造方法,并把设计的监控器,预先施加在每个混惑子网上,在系统运行过程中,混惑子网出现混惑导致冲突时,监控器有效,进行混惑控制.最后,通过一个柔性制造系统实例对提出的混惑检测方法及控制策略进行仿真,以验证所提方法的正确性和有效性.Concurrency and conflict are widespread in Flexible manufacturing systems. People can not observed whether there is a con- flict occurred from the same final reachable marking graph when concurrency and conflict mix together, this phenomenon is called con- fusion. System that contains confusion is not a good system, because the system is not easy to apply external control. To solve this problem,this paper firstly analyzes the structural properties of flexible manufacturing system of existing confusion and proposes a method for detecting confusion structure in discrete event system;Secondly, generalized mutual exclusion constraints （ GMECS ） is in- troduced to build monitor, and then apply the designed monitor to each confusion subnet in advance. As soon as the appearance of the confusion resulting in conflict in the confusion subnet, the designed monitor becomes effective. Finally, an application example is pres- ented to verify the proposed approach, the results show that the developed methods are correct and effective.

关 键 词：PETRI网 柔性制造系统 混惑检测 混惑控制 广义互斥约束 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]