基于版本的多重软件重构自动检测技术研究

软件重构的自动检测是目前软件重构领域的一个研究热点.目前,多重软件重构的自动检测方法能够检测出在不同软件版本的不同位置上实施的多重重构操作,但是对发生在不同软件版本的相同位置上的多重重构操作则无能为力.为此,该文提出了一种在函数级别,利用函数调用图,实现基于多版本的多重软件重构的自动检测方法.该方法能够自动检测出在不同软件版本中的同一个函数上发生的“函数抽取”和“函数重命名”多重重构操作.同时,通过实验验证了该方法的有效性.     

读者照片的批处理在图书馆工作中的应用

在图书管理系统中,批量导入读者照片是完善读者信息的重要一步.然而,照片尺寸有大有小、亮度有明有暗以及照片的命名不统一,给图书馆工作人员在批量上传读者照片的问题上造成了很大的困难.本文通过对照片进行批处理操作,以满足图书管理系统对照片的要求.     

一种高能效双发射处理器的设计与实现

为了提高高能效处理器的性能,基于ECore嵌入式处理器平台,在单反射按序流水线结构中引入两种轻量化的超标量结构——压缩指令双发射结构和选择性重命名结构。在Verilator生成的C++模型上进行的模拟实验结果表明,通过增加压缩指令双发射结构,流水线双发利用率平均值达到28%。通过增加选择性重命名结构,因名称冒险导致的流水线停顿占比从7.2%降至0.6%。相对于优化前,处理器的IPC提升4.8%,而功耗仅增加2.5%。     

一个定理证明检查器

介绍了一种新型的形式说明语言ＰＤ－Ｃａｌ,该语言具有良好的表达能力以及丰富的类型。通过对由该语言描述的定理证明过程进行类型检查,可判断该证明是否是给定定理的正确的证明。在该思想的基础上,设计并实现了ＰＤ－Ｃａｌ定理证明检查器。     

读者照片的批处理在图书馆工作中的应用

在图书管理系统中,批量导入读者照片是完善读者信息的重要一步。然而,照片尺寸有大有小、亮度有明有暗以及照片的命名不统一,给图书馆工作人员在批量上传读者照片的问题上造成了很大的困难。本文通过对照片进行批处理操作,以满足图书管理系统对照片的要求。     

一种提取标题内容作为文件名的方法

目前使用的各种文档中基于Office、Wps及文本格式的文件居多，提取其文件的标题内容作文件名能起到“见名生义”的作用。文中利用VB打开文件进行读取操作，提炼出标题内容并用函数过滤，使之成为合法的文件名，实行了对不规则文件的重命名。     

基于Java的代码混淆算法研究

首先介绍了混淆技术的现状、原理及分类,然后对标识符重命名的4种算法进行了深入研究,通过对算法的伪代码和性能分析,证明了4种混淆算法具有很好的混淆效果,能够很好地保护Java软件,为Java软件的反编译和逆向工程提高了程序复杂度、抗攻击能力,且不增加程序额外的执行开销.本文研究的算法对移动代码和软件知识产权的保护能起到积极作用.