基于模型检测的微服务组合平台QoS验证

针对当前缺少对微服务组合平台的服务质量（QoS）指标进行分析验证的问题，提出一种基于模型检测的形式化验证方法，对影响微服务平台性能的因素进行分析评估。首先，将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段，并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现；其次，将各个模块的实现过程建模为带标记Markov回报模型（LMRM），借助类似于进程代数的同步概念获得微服务组合过程的全局模型；接着，用连续随机回报逻辑公式刻画期望的QoS指标；最后，将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明，LMRM可较好地用于微服务组合平台的建模和QoS验证分析。     

超磁致伸缩作动器传热分析与温度场仿真

超磁致伸缩材料易受温度的影响,最佳工作温度范围为40～50℃。为保证超磁致伸缩作动器的工作性能,在理论分析超磁致伸缩作动器内部传热过程的基础上,利用COMSOL Multiphysics软件对超磁致伸缩作动器的内部温度场进行仿真,并依据仿真结果对冷却水的流速进行优化,最终确定优化后的冷却水流速为0.14 m·s^-1。在此流速下的超磁致伸缩材料棒的稳态温度能够维持在40～50℃,并且具有较大的平均值,能够保证超磁致伸缩作动器的工作性能。     

基于Petri网可达分析的代码搜索方法

复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入/输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中...     

微服务体系结构实现框架综述

为提高企业级应用的可伸缩性,基于微服务的软件体系结构将单体应用细化为可相互协作、配合的一组小服务,使得服务间开发自由、独立部署、易于维护,更好地满足企业发展需求。目前,微服务框架作为微服务架构的具体实现方案,已被很多大型企业成功实施并开源。论述面向服务体系结构、Web服务及微服务相关概念并作比较;给出微服务体系结构实践中的关键技术以及核心功能模块;分析对比主流微服务体系结构实施框架及其核心部件的特征和差异;探讨微服务组合面临的挑战及微服务框架中的服务组合方案,并总结全文。     

基于模型检测的微服务组合平台QoS验证

针对当前缺少对微服务组合平台的服务质量（QoS）指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型（LMRM）,借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。