一种结构信息增强的代码修改自动转换方法

在开发过程中,开发人员在进行缺陷修复、版本更新时,常常需要修改多处相似的代码.如何进行自动代码修改已成为软件工程领域的热点研究问题.一种行之有效的方式是：给定一组代码修改示例,通过抽取其中的代码修改模式,辅助相似代码进行自动转换.在现有工作中,基于深度学习的方法取得了一定进展,但在捕获代码间的长程信息依赖关系时,效果不佳.为此,本文提出了一种结构信息增强的代码修改自动转换方法ExpTrans.ExpTrans在解析代码时采用图的形式来表示修改示例,显式地指出了代码中变量之间的依赖关系,同时结合图卷积网络和Transformer架构,增强了模型对代码的结构信息和依赖信息的捕获能力,从而提升了代码修改自动转换的准确性.实验结果表明,对比同类型基于深度学习的方法,ExpTrans在准确率上提升了11.8%~30.8%;对比基于人工规则的方法,ExpTrans在修改实例的数量和准确率上均有显著提升.     

融合代码与文档的软件功能特征挖掘方法

在软件复用过程中,简洁清楚的软件功能自然语言描述是帮助复用者快速了解待复用软件项目/代码库的前提和基础.但当前开源软件往往缺乏高质量的软件功能说明文档,使得这一过程变得更加复杂和困难.为此,本文提出了一种融合代码与文档的软件功能特征挖掘方法.该方法以动宾短语的形式描述软件功能特征,通过迭代挖掘软件源代码和以Stack Overflow讨论帖为代表的软件文档,自动提取开源软件的功能特征描述,并构造了层次化的软件功能特征视图.在针对多个开源软件项目的实验中,本文方法可覆盖官方文档中列举的95.38%的软件功能.挖掘结果中语句和功能特征的准确率分别达到了93.78%和92.57%.对比现有工作TaskNav和APITasks,本文方法在平均准确率上分别提升了28.78%和11.56%.     

双氧水改性二氧化钛的光催化性能研究

研究了用微乳法制备纳米二氧化钛粉末的工艺，以及在紫外光照射下，TiO2和H2O2分别以及两者结合对于甲基橙溶液的降解作用。结果表明用微乳法可以制备粒度为23．2nm的纳米TiO2粉末；在紫外光照射下，H2O2可以有效地降解甲基橙溶液；当H2O2浓度从1mmol／L增加到10mmol／L，甲基橙的吸光度直线下降；当H2O2浓度达到10mmol／L时，降解率可以达到99％；TiO2也可以有效地降解甲崔橙溶液，当TiO2的浓度为0．50～0．75g／L时，降解率最大；用H2O2对TiO2进行改性后，可以有效地降解甲基橙溶液，固定TiO2的量为0．5g／L时，当H202浓度为4mmol／L时，甲基橙溶液的吸光度达到最低；当H2O2浓度处于10mmol／L以上时，甲基橙溶液的吸光度却出现无规则的变化。     

多程序点焊控制器的研制

本文主要介绍了多程序点焊控制箱的程序过程以及主控制器及调制器的工作原理，并采用了一种新型的触发电路代替传统的脉冲变压器，具有触发可靠、大功率、高精度、电路简单等特点。     

镦粗变形云纹解析和柱状孔洞临界闭合规律模拟研究

本文应用云纹法和孔洞临界闭合气动测定仪常温模拟研究单头带把和双头带把试件的镦粗变形,得出了试件子午面上不同部位和不同方位柱状孔的临界闭合曲线。研究了柱状孔分布的部位参数和方位参数对孔洞临界闭合压下率的影响。分析了柱状孔的闭合过程。试验得到了镦粗时子午面上的U场和V场云纹图,根据云纹图分析了镦粗时金属流动规律和应变应力分布特点。     

懒人秘籍，上网就要自动拨号

家里安装的是电信ADSL宽带,速度倒是不错,可就是每次上网都要双击桌面上的快捷方式,打开拨号窗口后点击“连接”按钮进行拨号。遇到老爸老妈在家单独上网,我还得在电话中指导他们一步一步地操作．实在是太麻烦了。且来看我的“懒人秘籍”,让系统在上网时自动拨号。     

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

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

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

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

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

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

软件可信评估研究综述:标准、模型与工具

安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.