基于NCES模型的制造单元控制系统建模与死锁分析.docxVIP

基于NCES模型的制造单元控制系统建模与死锁分析

一、引言

在现代制造业中，制造单元控制系统的高效运行对于提升生产效率、降低成本至关重要。随着制造业向智能化、柔性化方向发展，制造单元控制系统变得日益复杂，如何对其进行有效建模以及避免死锁问题成为研究的关键。网络条件/事件系统（NCES）模型作为一种有效的建模工具，能够对制造单元控制系统的动态行为进行精确描述，为系统的分析与优化提供有力支持。本文旨在深入探讨基于NCES模型的制造单元控制系统建模方法，并对可能出现的死锁问题进行全面分析。

二、NCES模型概述

NCES模型是一种用于描述离散事件动态系统的形式化方法，它将系统抽象为条件和事件的集合，通过条件的满足与否来触发事件的发生，从而驱动系统的状态变迁。在制造单元控制系统中，条件可以表示设备的状态（如空闲、忙碌、故障等）、物料的可用性等，事件则对应设备的启动、停止、物料的运输等操作。NCES模型具有模块化、层次化的特点，能够清晰地展现系统各组成部分之间的逻辑关系，便于对复杂系统进行建模与分析。与其他建模方法（如Petri网）相比，NCES模型在处理大规模、复杂制造系统时，具有更好的可扩展性和灵活性，能够更直观地描述系统的动态行为。

三、制造单元控制系统建模

3.1通用VMD复合功能块EONCEM模型建模

虚拟制造设备（VMD）复合功能块在制造单元控制系统中扮演着核心角色。为构建通用VMD复合功能块的扩展对象网络条件/事件模型（EONCEM），首先需明确其组成结构。该功能块包含执行控制与重构控制两大关键部分。执行控制负责日常生产流程的运作，如设备的加工操作、物料的运输调度等；重构控制则针对制造单元控制系统环境变化（如加工零件工艺流程改变、设备的增减等），对系统进行重新配置，以适应新的生产需求。在建模过程中，充分利用面向对象技术的封装性与继承性，将基本功能块的NCEM模型进行整合与拓展。例如，对基本功能块的执行控制表（ECC）内部状态和变迁、变迁执行与激发事件以及输入数据相关联的算法执行，以及由于算法执行而改变的内部变量分别进行细致建模，确保能够准确反映功能块的动态特性。

3.2结合扩展对象技术构建复合功能块EONCEM模型

扩展对象技术为构建复合功能块EONCEM模型提供了强大支持。在实际构建过程中，遵循特定的构造规则。首先，将复合功能块NCEM模型中的普通状态库所和普通变迁直接转换为EONCEM模型中相应的状态库所和变迁，保证模型的基本结构得以延续。同时，利用面向对象技术对复合功能块进行封装，使其对外呈现为一个独立的对象，具备清晰的接口和明确的功能定义。通过这种方式，增强了模型的可维护性与可扩展性。在一个包含机器人、机床和缓冲区VMD复合功能块的制造单元中，运用扩展对象技术构建的EONCEM模型，能够准确描述各功能块之间的信息交互与协同工作机制，为后续制造单元控制系统的整体建模奠定坚实基础。

3.3基于复合功能块的制造单元控制系统仿真模型

以构建的通用VMD复合功能块EONCEM模型为基础，进一步搭建制造单元控制系统仿真模型。在该模型中，各复合功能块通过特定的消息传递机制相互连接，形成一个有机的整体。制造单元中的机器人VMD复合功能块完成零件抓取操作后，通过消息传递告知机床VMD复合功能块准备接收零件进行加工。为确保模型的准确性与可靠性，遵循IEC61499功能块标准以及MMS协议进行功能映射。执行控制功能块中的每一个算法对应一个相应的MMS函数集，智能重构控制功能块的算法库里包含初始化函数以及一系列重构函数，资源调度功能块则根据输入事件及外部变量，确定选择哪一个智能重构控制功能块重构函数。通过这种严谨的映射关系，使得仿真模型能够真实模拟制造单元控制系统在实际运行中的各种行为，为系统的性能评估与优化提供有效手段。

3.4制造单元控制系统EONCES模型

3.4.1基于通用VMD复合功能块的制造单元控制系统EONCES模型

制造单元控制系统EONCES模型是在通用VMD复合功能块EONCEM模型的基础上进一步拓展而成。它将各个VMD复合功能块对象通过特定的连接方式组合在一起，形成一个完整的系统模型。在这个模型中，充分考虑了系统中执行控制流与重构控制流的交互关系。执行控制流体现为实际的生产操作流程，如设备的加工动作、物料的运输路径等；重构控制流则关注系统在面对环境变化时的调整过程，如设备的重新布局、工艺流程的重新规划等。通过对这两种控制流的综合建模，能够全面反映制造单元控制系统的动态特性。

3.4.2制造单元控制系统EONCES模型执行控制部分动态建模

执行控制部分动态建模重点刻画制造单元中各