基于变型空间代数的自动程序修复方法

基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.

基于备份的RAID6在线重构框架

针对国内外现有研究一直解决不了重负载持续访问下RAID6重构性能急剧恶化的问题,提出"利用外部存放的备份数据来加速磁盘阵列RAID6在线重构"的思想。构建基于备份的RAID6在线重构框架,实现该框架的原型系统,并进行相应测试。此框架利用备份系统所提供的恢复带宽将处于最近一次备份时间点的版本数据整合热备盘;利用磁盘阵列RAID6所提供的重构带宽将自最近一次备份时间点之后已修改数据重构至热备盘;完成磁盘阵列RAID6重构过程,使得磁盘阵列RAID6恢复正常运行。测试结果说明了该框架相对于现有重构方法显著改善了磁盘阵列RAID6的重构性能和服务性能。

明李元阳本《论语注疏解经》析论

明嘉靖李元阳本《论语注疏解经》是以元十行本之嘉靖重校修补本为底本加以改造、完善刊刻而成,在经籍史具有重要意义:一是在版式、行款方面作了较大的发展和完善,形成半叶九行,经文单行大字、注文单行中字、疏文双行小字,且领起大"注"字、大"疏"字均黑底白文外加黑圈的格式,经、注、疏区分显明,体例完备;二是对元十行本原版和明正德、嘉靖修补版均作了较为全面的校改,补脱删衍,改正讹误,成绩较为突出;三是此本也出现了不少误刻和误改,其误改往往据文意和文例,不易发觉。李元阳本对此后的北监本、毛本、殿本、库本和阮刻本都产生了重要影响。

基于备份的RAID1在线重构框架

针对国内外现有研究一直解决不了重负载持续访问下RAID1重构性能急剧恶化的问题,提出"利用外部存放的备份数据来加速磁盘阵列RAID1在线重构"的思想,构建了基于备份的RAID1在线重构框架。此框架利用备份系统所提供的恢复带宽将处于最近一次备份时间点的版本数据整合热备盘;利用磁盘阵列RAID1所提供的重构带宽将自最近一次备份时间点之后已修改数据重构至热备盘;完成磁盘阵列RAID1重构过程,使得磁盘阵列RAID1恢复正常运行。测试结果说明了该框架相对于现有重构方法显著改善了磁盘阵列RAID1的重构性能和服务性能。

学生译员交替传译中修复策略使用机制阐释

修复策略是译员在传译过程中对自己的传译行为做出的后续调整，频现于学生译员的交替传译实践。它不仅反映了译员在口译过程中的种种决策行为，而且对译语的最终质量有重要影响。本研究分析了31名学生译员在英汉交替传译任务中修复策略的使用情况，尝试阐释了交替传译任务中修复策略的使用机制，发现修复策略在使用过程中译语依次经历由最初版本、过渡版本到最终版本的表达过程，体现了译员不断决策的过程。