对Hunk与Yorke猜想的证明

本文对Ｂ．Ｒ．Ｈｕｎｔ与Ｊ．Ａ．Ｙｏｒｋｅ的猜想给出一个证明，并用一个反例说明燕居让所给出的证明是不成立的。

大块涂层缺陷对碳钢腐蚀特性及阴极保护效果的影响

采用了环氧煤沥青作为涂层材料,研究了大块涂层缺陷对碳钢腐蚀特性及阴极保护效果的影响,测定了具有面积比例为4 91%大块涂层缺陷的Q2 35钢于3 5 %NaCl水溶液中的交流阻抗谱.结果表明,随着浸泡时间的延长,在自然腐蚀电位下,存在剥离涂层缺陷时碳钢的腐蚀程度高于破损涂层缺陷时碳钢的腐蚀程度;在阴极极化条件下,具有剥离涂层缺陷的碳钢阴极保护效果随时间延长逐渐降低直至最后消失,而具有破损涂层缺陷时阴极保护效果随时间延长优于剥离涂层缺陷;

装药间距对串联EFP成型及侵彻效应的影响

为了解决在大块度障碍物上快速开孔且孔深和孔径符合要求的难题,提出了一种前后两级均为爆炸成型弹丸装药的新型串联聚能装药结构。利用LSDYNA3D有限元软件对串联EFP装药的药型罩成型过程进行了数值模拟,并分析了两级装药间距对后级EFP成型的影响,在此基础上开展了串联EFP装药侵彻45#钢靶试验。结果表明,该串联EFP装药结构可充分发挥前后两级EFP的侵彻能力,改善了串联装药的侵彻效果。

基于平行反应模型的稻壳生物油燃烧机制研究

利用热重–红外联用技术(thermogravimetric-Fourier transform infrared spectroscopy,TG-FTIR)研究稻壳生物油的燃烧过程。基于平行反应模型理论,使用多峰高斯拟合方法分析不同升温速率下稻壳生物油的失重速率曲线,并对燃烧各阶段释放的物质进行红外分析。结果表明,生物油燃烧的失重速率曲线可以描述为6个高斯函数峰的叠加。前3个拟合峰对应轻质有机物的挥发,第4个拟合峰对应重质有机物的分解和缓慢氧化,最后2个拟合峰对应二次焦炭的燃烧。升温速率的提高影响各拟合峰所占份额,加剧生物油挥发,减少二次焦炭生成,但仅对最后2个拟合峰的动力学参数有明显影响。最后结合多峰高斯拟合结果和红外分析结果提出稻壳生物油燃烧模型。

应用TLC-CMS技术检测核桃青皮中二芳基庚烷类化合物

多级萃取结合微波超声波辅助处理从核桃青皮中获得二芳基庚烷类化合物提取液,应用TLC-CMS技术对其进行检测。结果表明,核桃青皮乙酸乙酯相在苯∶乙酸乙酯(11∶1,V/V)下展开效果良好,5个色谱斑点清晰;色谱斑点B的分子质量(362.0 m/z)与相关文献(358 m/z)相近,与相邻碎片离子之间的关系合理(Δm=362.0-360.7≈1);在3382,1289 cm-1处出现羟基的特征吸收峰,2955,2925,2856 cm-1处有饱和CH伸缩振动的特征吸收峰,1730 cm-1处有羰基特征吸收峰,1590 cm-1处有苯环的特征吸收峰,1073 cm-1处有醚键的特征吸收峰。比旋度、旋光度、熔点分别为55.754,0.539,183℃。TLC-CMS-IR联用可快速、准确地获得供试样品的分子信息,适用核桃青皮中二芳基庚烷类化合物检测与表征。

二次文本差异化的失配问题及其改进算法

当前人工理解代码变更主要在文本差异化分析(textual code differencing)工具提供的Hunk集上进行,而有些工具还对每个Hunk进行二次差异化分析,并将结果展现在并排(side-by-side)的视图中,从而方便用户查看Hunk内部的变更。然而现有的二次差异化分析工具得到的结果普遍存在语句失配问题,即Hunk内部删除行与添加行之间的不恰当匹配以及配对的语句内部Token的拆分问题,影响理解事实的变更。本文首先对该问题的分布进行了调查,证实了其在二次差异化分析中的普遍性;其次,对该失配问题产生的原因进行了分析,并提出了一种对其改进的算法。该算法基于轻语法分析,将Hunk中的文本行映射为语句行,并将语句行识别为基于单词(Token)的序列;对所有的删除语句和添加语句进行相似性匹配,对于匹配的语句应用最长公共子序列算法获取其内部的差异Token。算法当前采用Java语言实现,并在一个自制的eclipse展示插件中对其结果予以展示。通过在5个开源项目上的实验,证明了该算法可以有效克服Hunk内语句行之间的失配以及Token的拆分问题。

Durable的钥匙盒获得ISPA2004年度产品奖

2004年2月，Durable Hunke & Jochheim GmbH ＆ Co．KG公司又一次获得国际文具出版协会(ISPA)颁发的2004年度产品奖。

基于变更块的代码重构模式展示—以抽取方法为例

代码变更的理解一般基于文本差异化工具,其处理输出的基本对象是一个变更块(hunk)。许多重构都掺杂在日常的bug修改、功能特征的增加等代码变更中,将重构与其它工作隔离有利于对代码变更的理解。现有的代码可视化方法仅展示变更文本,未进行代码变更前后重构模式的展示,没有发挥出可视化技术的优越性。本文基于变更块对代码重构模式进行展示,以抽取方法为例,在4个开源项目中进行实验,并取得了理想的展示效果。

代码重构展示系统的设计与实现

代码重构普遍存在于软件的开发维护过程中,将重构从代码变更中检测并提取出来有利于对变更的理解.针对重构可视化研究方面的欠缺,本文设计了一个代码重构展示系统,实现了基于变更块的代码重构展示.通过该展示系统使代码变更中存在的重构模式变得更加简单、直观,便于用户对代码变更的分析、理解.

北京首云铁矿露天爆破矿岩质量的控制研究

首云铁矿是一采用露天开采的矿山,长期以来,大爆破的质量一直较难控制,大块与根底率较高,严重影响了铲运效率。后经过调研分析找出产生原因,并采用一系列关键控制措施,使大块和根底率显著降低,铲装效率明显得到改善。

基于代码变更块和抽象语法树的两种重构模式识别

内联函数(Inline method)和替换算法(Substitute algorithm)是2种在代码重构中常用的重构手法,本文提出一种基于代码变更块和抽象语法树的重构模式识别算法,首先筛选出变更前后2个文件的代码变更块,找到可能属于这2种重构模式的代码变更块,再建立抽象语法树对这些变更块中的代码进行准确的语法分析,对其是否属于此2种模式进行判定。该算法在4个开源项目上进行了实验验证,表明了其具有较高的准确率。

一种语句分裂变更模式的分类框架

语句分裂变更模式是一种常见的将一条代码语句分裂成多条语句的代码变更模式,该模式有多种呈现形式,而不同的呈现形式又可能对应不同的变更目的。提出一种分类框架,从分裂语句的类型、语句变更的行为和新增语句类型三个维度对该模式进行分类,并设计了基于该框架的分类算法。最后,将该算法应用于4个开源项目,对其中所包含的语句分裂变更模式进行了分类和分析,实验结果呈现出较高的分类准确率。

语句分裂变更模式的定义及识别

替换算法是一种常见的函数层面的重构手法,而日常代码变更中更为多见的是一种将替换算法变更思想应用于更为广泛的代码语句层面的代码变更模式。本文将这种代码变更模式命名为语句分裂变更模式,在对存在该模式的代码变更实例进行人工分析的基础上,给出了该模式的定义,并设计了一种对该模式的识别算法。该算法根据语句分裂变更模式的语法特征对其进行识别,并在4个开源项目上进行了实验验证,实验结果表明了该算法具有较高的识别准确率。