您的位置: 专家智库 > >

国家重点实验室开放基金(20121112)

作品数:2 被引量:7H指数:1
相关作者:姚锡凡李永湘李彬张洁徐川更多>>
相关机构:华南理工大学吉林大学更多>>
发文基金:国家重点实验室开放基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术机械工程更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇机械工程

主题

  • 1篇多学科设计优...
  • 1篇形式化
  • 1篇形式化验证
  • 1篇云计算
  • 1篇组合建模
  • 1篇进程代数
  • 1篇服务质量
  • 1篇QOS评价
  • 1篇云制造

机构

  • 2篇华南理工大学
  • 1篇吉林大学

作者

  • 2篇姚锡凡
  • 1篇徐川
  • 1篇张洁
  • 1篇李彬
  • 1篇李永湘
  • 1篇刘二辉

传媒

  • 1篇计算机集成制...
  • 1篇机械设计与制...

年份

  • 1篇2018
  • 1篇2014
2 条 记 录,以下是 1-2
排序方式:
云环境下的多学科设计优化研究
2018年
多学科设计优化(MDO)在实际应用中面临计算量庞大而复杂的困难,而云计算为解决这种困难提供了手段。利用云计算整合优化资源方面的优势去解决多学科优化过程的难题,按云服务理念,将MDO作为一种服务,搭建了面向MDO的云优化平台,以目标级联法作为MDO的典型代表,对MDO问题进行层级分解,将复杂的工程系统分解为相互联系的若干子系统,降低了原优化问题的求解困难,以几何规划问题和汽车燃烧室的优化设计为例,探讨了云环境下MDO求解的有效性。
周际锋姚锡凡刘二辉
关键词:云计算多学科设计优化
基于扩展进程代数的云制造服务组合建模与QoS评价被引量:7
2014年
为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并发组合、选择组合的活动图与XPC4CMSC描述模型,计算了三种服务组合执行的响应时间、执行费用、可靠性、可用性、物流时间和物流费用。给出了服务质量评价算法与服务组合的形式化验证方案,通过一个柔性多车间调度问题展示了该方案的执行过程。示例研究表明,基于XPC4CMSC的云制造服务组合建模及形式化验证方案是可行的。
李永湘姚锡凡徐川张洁李彬
关键词:进程代数云制造服务质量形式化验证
共1页<1>
聚类工具0