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

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

项目编号： No.51175187

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 机械、仪表工业

项目作者： 姚锡凡

作者单位： 华南理工大学

项目金额： 58万元

中文摘要： 制造资源优化共享是制造系统集成的主要目标和关键问题之一。在云制造环境下进行多学科优化，需要选择若干服务按照优化业务流程组成组合服务并协同工作，其并发分布计算行为突出，存在复杂信息交互的问题，因此需要有效的建模和管理机制对这些服务相互合作过程进行规划和管理。为此，本项目引入一种称之为目标级联的多学科协调优化方法，采用设计结构矩阵对目标级联的优化任务进行规划和重组，并通过进程代数实现目标级联优化流程建模、服务组合和模型形式化验证；构建面向云制造的多服务协同优化原型系统，通过进程代数模型到业务流程执行语言(BPEL)映射，按照目标级联法优化流程实现基于服务编制的多层次服务组合业务流程和协同优化求解，从而解决云制造下多服务的信息交互与规划和协同优化问题，为多学科优化在云制造拓展应用提供理论依据和技术支持，有利于促进我国制造业从生产型向服务型转变和制造资源在更广泛范围共享和优化配置。

中文关键词： 服务组合；协同优化；目标级联；设计结构矩阵；进程代数

英文摘要：

英文关键词： Services composition；Collaborative Optimization；Target Cascading；Design structure matrix；Process Algabra