基于设计结构矩阵和进程代数的目标级联优化规划及云制造下多服务协同优化研究

摘要

要在云制造环境下实现制造资源优化共享,需要选择若干服务按照优化业务流程组成组合服务并协同工作,因此需要有效的建模和管理机制对这些服务相互合作过程进行规划和管理.项目针对云制造下多服务优化的需求,引入了目标级联的多学科协调优化方法,利用设计结构矩阵对目标级联的优化任务进行规划和重组,并通过进程代数实现服务组合建模与形式化验证.基于务联网提出了面向服务的云制造体系架构，进一步结合物联网提出了事件驱动的面向服务云制造体系架构，再进一步融合知识网和人际网提出了智慧制造体系架构。开发了云制造资源的虚拟化描述模型，尤其是融入服务关联关系的云制造服务虚拟化描述模型，并利用物联网实现信息空间与物理空间的连接，同时利用射频识别等实现设备资源的实时监控。