智能情境化印刷系统的进程代数建模与仿真验证

发布时间：2023-04-10 18:06

　　随着个性化需求变得越来越普遍,对定制产品的需求也在增加,企业快速推出新产品的压力越来越大。印刷生产系统必须实时地感知当前情境,即实时生产环境与生产需求,并在尽可能少的人工干预下进行智能、动态、快速地配置和组织各类制造资源,重构制造系统以满足生产需求。本课题针对印刷生产系统的智能化生产需求,研究了智能情境化印刷生产系统的架构体系,并实现了对其进行代数建模及仿真验证。主要完成的工作有:(1)将情境感知和马尔科夫逻辑网络(MLN)的概念融入到Agent的设计中,构建了智能情境化印刷生产系统的框架体系,该智能化系统能够通过捕获实时情境信息进行分析计算,并根据不同产品的生产工艺需求高效地变更生产路线。(2)基于Agent技术提出了适用于印刷生产系统的Agent-Resource-Worker(ARW)组元模型,并运用ARW组元模型和进程代数构建印刷生产系统的代数模型。该代数模型综合ARW组元模型的复合机制,结合印刷生产特点,对印刷生产流程进行代数建模,该数学模型能够模拟重构后的印刷生产系统的流程与功能。(3)对获得的印刷生产系统进程代数模型进行验证与仿真,验证了该代数模型的有效性。基于进程代数的...

【文章页数】：72 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
1 绪论
    1.1 研究背景及意义
    1.2 国内外研究现状
    1.3 研究内容
    1.4 论文组织结构
2 相关基础理论
    2.1 情境感知决策
        2.1.1 情境感知的基础内容
        2.1.2 马尔科夫逻辑网络
    2.2 进程代数
    2.3 本章小结
3 情境感知决策Agent的结构设计
    3.1 上下文信息分类
    3.2 决策库的设计
    3.3 框架设计
    3.4 决策思路
    3.5 本章小结
4 印刷生产系统流程建模
    4.1 ARW组元模型
    4.2 基于ARW组元模型的流程建模
    4.3 印刷生产系统的代数建模
    4.4 本章小结
5 系统验证与仿真
    5.1 进程代数推理验证
    5.2 mCRL2 仿真
        5.2.1 mCRL2 工具集
        5.2.2 mCRL2 仿真结果分析
    5.3 本章小结
6 总结与展望
    6.1 总结
    6.2 展望
致谢
参考文献
附录1
附录2
攻读学位期间研究成果



本文编号：3788581