【摘 要】
：
为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并
【机 构】
：
华南理工大学机械与汽车工程学院,吉林大学汽车仿真与控制国家重点实验室
论文部分内容阅读
为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并发组合、选择组合的活动图与XPC4CMSC描述模型,计算了三种服务组合执行的响应时间、执行费用、可靠性、可用性、物流时间和物流费用。给出了服务质量评价算法与服务组合的形式化验证方案,通过一个柔性多车间调度问题展示了该方案的执行过程。示例研究表明,基于XPC4CMSC的云制造服务组合建模及形式化验证方案是可行的。
其他文献
目的评价X线引导下经皮胃造瘘术(PRG)在口咽部肿瘤导致吞咽困难者中的临床应用及营养状况的改善作用。方法对21例行PRG患者进行回顾性分析,观察患者PRG置管前、置管后1、3和6
通过微型工程钻机在四川省开江县金山寺滑坡治理工程抗滑桩坚硬岩石开挖施工过程中的应用,重点对其施工工艺进行了论述,并通过与传统人工挖孔桩施工的对比分析,指出了微型工
<正>2007年4月30日,备受社会关注的广西壮族自治区藤县原县委书记秦国明被广西梧州市中级法院以受贿、贪污和巨额财产不明来源罪一审判处有期徒刑15年,剥夺政治权利3年,没收
<正>当前,我国电视广告中应用经典动漫形象的范围较广,手法丰富,创意表现形式多种多样,收到了较为良好的广告效果。本文以电视广告应用经典动漫形象的表现手法为视角,分析我
<正>学校召开高一学生家长会,因为考虑到以后不做班主任了,也许这次是自己教学生涯中组织的最后一次家长会了,因此我特别为本次家长会的召开做了非常细致的安排,没有想到的是
应用PDCA循环对实际工程中的地基分部工程进行全面质量管理和控制,通过两次PDCA循环,对地基施工过程中存在的问题进行分析和解决,保证了质量,达到预定的目标,取得了非常好的
<正>西门庆最信任的人是谁?家人?非也。西门庆在外无恶不作,见不得家人的事儿做得最多,他一定是防家人不防仆人。西门庆的大老婆吴月娘是正室,不被信任,其他小妾就更谈不上信
在分析STSE教育与化学核心观念建构理论的基础上,提出了在STSE教育中促进化学核心观念建构的教学设计,并辅以案例说明这一教学设计在自然资源开发与利用类课程中的具体应用。
【目的】了解国际科技期刊在开放评议和双盲评议方面的实践,探索这两种评议方式的优缺点及对科技期刊质量控制的价值。【方法】对国际科技期刊实行开放评议和双盲评议的案例
实践动机是实践能力的构成要素之一。大学历史教学中存在着诸多制约学生实践动机培养的因素，历史教学应从培养实践兴趣，形成实践内驱力；构建研究性课堂，激发实践成就动机；加强实践