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

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

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

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

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

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

玉米须牛蒡复合饮料的工艺研究

为创新玉米须和牛蒡的高附加值利用途径,通过单因素试验和正交试验,以吸光度为指标,确定玉米须浸提液和牛蒡浸提液的最佳制备工艺,并以感官品质为指标,优化玉米须牛蒡复合饮料的加工工艺。试验结果表明,玉米须浸提液最佳制备条件为料液比1∶50（g/mL）,浸提时间80 min,浸提温度80℃,pH 7.0;牛蒡浸提液最佳制备条件为料液比1∶50（g/mL）,浸提时间70 min,浸提温度60℃,pH值为6.5。玉米须牛蒡复合饮料的最佳工艺为牛蒡浸提液和玉米须浸提液体积比3∶7,柠檬酸添加量0.10%,白砂糖添加量8%,壳聚糖固定化复合酶添加量2.8%。壳聚糖固定化复合酶对饮料感官品质无不利影响,澄清效果较好,可反复使用,操作稳定性较好,可用于降低工业化生产成本。