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

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

硅酸盐细菌解钾活性的研究

研究了硅酸盐细菌在实验室及盆栽条件下的解钾活性,并在扫描电镜下观察了硅酸盐细菌对钾长石结构的改变。结果表明:硅酸盐细菌对含钾矿物确有溶解作用,能使固定钾转化为可溶性钾,对植物的生长及产量提高有明显促进作用。     

溶胶-凝胶法合成纳米TiO2薄膜的研究进展

纳米TiO2薄膜光催化剂与粉末相比,可以重复使用,易回收,具有广泛的应用前景.利用溶胶-凝胶法制备纳米TiO2薄膜具有合成温度低、反应过程易于控制、产品纯度高、易于掺杂、设备工艺简单等优点.综述了利用溶胶-凝胶法合成纳米TiO2薄膜、离子掺杂薄膜、半导体复合薄膜以及光敏化薄膜的研究进展,并提出了今后的研究方向.     

复杂机械系统的隔振性能评估研究

针对工程中的柔性安装问题，以广义浮筏隔振系统为例，采用子结构导纳分析法，研究了复杂机械系统的动态传递特性，从功率流的观点对复杂机械系统的隔振效果评估问题进行了研究，验证了功率流传递率在评估系统隔振性能方面的有效性。     

一种基于H.264的智能手机监控系统设计与实现

文章介绍了基于H．264编解码压缩标准的视频系统在智能手机上的实现与应用。提出了一种基于手机视频的远程监控系统的设计与实现方法，介绍了该系统的体系结构和基本原理；并分别针对局域网络和无线网络进、行测试，得出系统实施的实验结果。     

中频脉冲溅射制备绒面ZnO透明导电薄膜

采用中频脉冲磁控溅射系统制备高透过率、高电导率的平面ZnO薄膜。电阻率为5.57×10-4Ω·cm,载流子浓度2.2×1020cm-3,霍尔迁移率40.1cm2/V·s,可见光范围内(400～800nm)的平均透过率大于85%。用酸腐蚀的方法可以获得绒面效果。分析了气压和温度对绒面结构的影响,获得了适合薄膜太阳能电池要求的绒面ZnO透明导电薄膜。     

ULSI多层互连中的化学机械抛光工艺

介绍了化学机械抛光(CMP)技术在大规模集成电路多层互连工艺[1]中的重要作用,对CMP过程和CMP的影响因素进行简单分析。总结出CMP技术在多层互联平坦化中的优势,介绍目前常用互连材料中SiO2介质及其金属材料钨和铜的化学机械抛光常用分析机理,并简单介绍了各种互联材料常用的抛光液及抛光液的组分,对抛光液作了简单的对比。针对传统CMP过程存在的问题,分析了皮带式和固定磨料的CMP技术。     

SoC架构设计中的适应性扩展方法研究

为了应对SoC研发的机遇、困难和高昂花费,寻求对目标应用领域的最佳支持与广泛适用性之间的恰当平衡已成为目前电子系统设计的中心课题。通过一个从基于3G终端到网络多媒体播放器应用的架构扩展实例,重点论述了对SoC架构设计中适应性扩展方法的研究;另外,提出了一种基于IP的多处理器共享及层次结构存储体系,用以应对高密度的计算及传输任务需求;并通过系统级设计工具CoCentric,建立软硬件协同仿真平台,验证了本实例的扩展思路。     

基于邻接矩阵的公交换乘算法的研究

首先介绍了邻接矩阵的基本概念,讨论了用邻接矩阵建立城市公交线路换乘的模型和算法,最后用V isual FoxP ro实现邻接矩阵的存储和运算.     

数据查询模式研究及在PowerBuilder中的实现

查询是数据库管理系统中不可缺少的功能，所研究的数据查询模式包括组合查询及模糊查询两种。该技术充分利用了PowerBuilde，中数据窗口的功能，从根本上解决了传统数据查询方式的弊端，提高了开发效率，方便了用户的使用．并且在实际项目中得到了很好的应用。