一种基于面向对象测试模型的测试代码生成方法与工具

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具.     

数据中心基础设施运维规划的思路和实现路径

十三五”规划明确提出实施网络强国战略,大力推动信息社会的迅猛发展,以云计算、大数据等为主要载体的新型数据中心应运而生.目前,我国的数据中心仍处在建设的高峰期,一方面大量新建的数据中心陆续投入运 营,另一方面业内对数据中心基础设施运维的方法、内容、指标、规程等缺乏统一的认识和规范指导.运维管理的水平和能力大大滞后于数据中心设计和建设能力.为了提升行业在基础设施运维方面的能力,中国建筑技术集团有限公 司开展了 “数据中心运维服务标准化与能力评价体系建设示范”科研项目.为此,对数据中心运维规划思路进行分 析,探索提升运维能力的最佳实践.     

基于改进稀疏表示正则化的SR重建算法

基于视觉的无人机自主导航过程中,对航路点进行准确识别是引导无人机朝着航路点方向精确飞行的关键。然而,当无人机到达航路点识别距离后,由于机载图像传感器受天气因素及成像过程中的脱焦、衍射等现象影响,常导致获取到的航拍图像模糊、空间分辨率较低,从而直接影响了后续航路点识别的精度。针对这一问题,提出了一种改进稀疏表示正则化的航拍图像超分辨率重建算法。首先,基于稀疏表示正则化框架,利用自回归和非局部相似约束构建目标函数的正则化项;其次,根据图像局部方差能有效区分图像的边缘区域和平滑区域这一特性,自适应地选取正则化参数得到超分辨率重建模型中的目标函数;最后,使用MM (Majorization-Minorization) 算法求解目标函数的凸优化问题,得到重建后的高分辨率图像。实验结果表明:与传统的正则化SR重建算法相比,文中算法能够有效的提高航拍图像的空间分辨率,使得重建后的图像包含了更多的特征细节信息,这为航路点识别提供了帮助。     

电脑机箱创意改造设计

目的研究市场上现有的民用机箱,以此为参照对象进行创新,从而改良现有电脑机箱空间浪费和不能自选配置的问题,同时增强消费者的购买欲。方法对机箱进行TRIZ理论分析,找出机箱设计冲突,如机箱空间浪费和用户不能自主配置的问题。根据现有的冲突,在TRIZ理论中找出对应的3个解决原理,分别为分割原理、动态化原理、抛弃与修复原理,用以解决电脑机箱存在的问题。结论通过运用TRIZ理论,提出舍弃被用户淘汰不用的组件位置,分割机箱功能组件,从而使机箱模块化、动态化的改进方案,同时设计出一款可拆卸拼装、利于维修、满足用户需求的创新型机箱。在节省机箱空间的前提下,改变传统机箱在拼装后固有的静止状态,使机箱实现模块化、动态化的自主拼装。     

钛合金中ω相变的研究进展

钛合金中的ω相及其相变对合金的组织性能影响较大,因此近年来ω相变也成为钛合金研究中的热点问题之一。从ω相的形成、分解、组织形貌以及ω相辅助α形核的角度总结归纳了相关研究报道,对比了相关模型观点的优缺点,阐述了ω相目前仍存在的学术分歧。     

可降解塑料在医药包装领域的应用与分析

限塑令的深入执行对医药包装行业产生了极大影响,新型可降解塑料的研发和应用逐渐成为医药包装领域的重点研究方向。基于此,本文针对可降解塑料在医药包装领域的应用问题展开探讨,从医药包装行业发展趋势和前景角度入手,进一步分析了医药包装领域可降解塑料的种类,并结合当前可降解塑料研发以及应用情况,提出了深化可降解塑料在医药包装领域应用的建议,以期能够为医药包装领域发展提供支持。     

极地钢铁材料的腐蚀与防护面临新挑战

随着极地的开发和利用,其所需的极地钢铁材料的腐蚀与防护问题越来越受到研究者的关注。本文以传统海洋环境腐蚀分区为参照,对极地特色的腐蚀环境进行了系统的分析,并将其归纳整理为极地大气区、极地冰水磨蚀区、极地海洋全浸区、极地海底泥土区等4个腐蚀区域。在对极地钢铁材料腐蚀与防护的研究进展进行梳理的基础上,从合金化、涂层技术和阴极保护技术3个方面介绍了极地钢铁材料的防护技术,并指出了极地钢铁材料未来研究的方向。     

基于TPM的运行时软件可信证据收集机制

扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术的软件运行时可信证据收集机制.利用可信平台模块(trusted platform module,简称TPM)提供的安全功能,结合“最新加载技术(late launch)”,在操作系统层引入了一个可信证据收集代理.此代理利用TPM,可以客观地收集目标应用程序的运行时可作为软件可信证据的信息,并保障可信证据本身的可信性.该可信证据收集机制具有良好的可扩展性,能够支持面向不同应用的信任评估模型.基于Linux Security Module,在Linux中实现了一个可信证据收集代理的原型.基于该原型,分析了一个分布式计算客户端实例的相关可信属性,并且分析了可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性.     

基于滑模观测器的PMSM控制系统研究

针对永磁同步电动机（PMSM）的特点,选用鲁棒性好、控制算法简单、易于工程实现的滑模观测器方法对电动机转子位置和速度进行估计。结合PMSM的数学模型与矢量控制理论,建立基于MATLAB/Simulink的无传感器PMSM矢量控制系统的仿真模型,并进行系统性能仿真分析,仿真结果验证了基于滑模观测器的无传感器控制方法的正确性与可行性。     

"以概念图为支架的整合教学行动研究"课题报告

研究背景与目的 随着新一轮基础教育课程改革和教育信息化的不断推进,以信息化环境下的整合教学为代表的新型教学形式,正日益成为当前教育教学改革的新视点,引起课改专家与广大教师的高度关注。