论文部分内容阅读
并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系统的这一特征称为混惑,存在混惑的系统不是一个好的系统,不便于对系统施加外部控制.为了解决这一问题,本文首先分析了存在混惑的柔性制造系统在结构上存在的关系,提出了基于关联矩阵的混惑结构检测方法;然后,提出基于广义互斥约束的监控器构造方法,并把设计的监控器,预先施加在每个混惑子网上,在系统运行过程中,混惑子网出现混惑导致冲突时,监控器有效,进行混惑控制.最后,通过一个柔性制造系统实例对提出的混惑检测方法及控制策略进行仿真,以验证所提方法的正确性和有效性.
Concurrency and conflict are ubiquitous in a flexible manufacturing system. When the concurrency and conflict are mixed together, it is impossible to observe from the same final state of the system reachability whether there is a collision or not. This feature of the system is called "mixed In order to solve this problem, this paper first analyzes the existing structural relationship of the flexible manufacturing system with confusion, and proposes a new method based on the correlation matrix Then puts forward the construction method of monitor based on general mutex constraint and pre-applies the designed monitor to each confusion subnet. During the system operation, the hybrid subnet appears mixed Confusion leads to confusion, the monitor is effective, and confusion control is achieved.Finally, the proposed confusion detection method and control strategy are simulated by an example of a flexible manufacturing system to verify the correctness and effectiveness of the proposed method.