代码挖掘中的数据处理方法综述

程序代码中蕴含着软件开发人员最原始的开发理念、设计思想和编程习惯等信息,将数据挖掘用于分析处理这种编码痕迹以便提取出潜藏着的有用知识是一个有着广阔前景的新的研究领域.由于当前的挖掘程序尚无法直接处理这种文本结构的程序代码,因而研究者需要将软件代码抽象成一种更有效的中间表达形式来作为挖掘对象.这种中间表达形式不仅界定了挖掘所使用的算法,更重要的是,它决定了所能挖掘的知识内容.对代码挖掘的一般过程进行了介绍并着重分析了代码挖掘的各种中间表达形式的特点.在此基础上,指出了当前代码挖掘存在的问题及今后的发展方向.     

关于高寒地区沼气发展的浅思

右玉县位于山西省西北部，气候干旱多风沙，平均海拔1600米，年平均气温4.2℃，冬季最低气候-35．2℃，年降雨量503．9毫米，全年无霜期135天，是全省唯一的半农半牧县，属典型的高寒冷凉地区。经过多年的建设和发展，我县农村沼气建设已成为促进农业结构调整、增加农民收入，改善农村生态环境，提高农产品质量和农民生活质量的一项重要措施，取得了一定的成就，但农村沼气推广随着农村经济的发展也面临许多困境，出现许多制约农村沼气可持续发展的因素。     

路径敏感的源码关联变量模式挖掘及缺陷检测

大量而广泛存在的源码系统使得软件源码的安全问题日益重要。文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动检测系统中因不一致访问关联变量引发的源码缺陷。通过结合程序源码的逻辑信息及路径敏感信息,挖掘出其中的源码关联变量,避免路径非敏感方法带来的错误。对路径敏感方法挖掘源码关联变量中面临的主要挑战:路径权重不均、路径爆炸问题,提出较高效的解决办法。在Linux源码系统中验证方法的正确性和高效性,实验结果表明该方法可高效、准确提取模式。     

SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具

For various reasons, many of the security programming rules applicable to specific software have not been recorded in official documents, and hence can hardly be employed by static analysis tools for detection. In this paper, we propose a new approach, named SVR Miner (Security Validation Rules Miner), which uses frequent sequence mining technique ［1 4］ to automatically infer implicit security validation rules from large software code written in C programming language. Different from the past works in this area, SVR Miner introduces three techniques which are sensitive thread, program slicing ［5 7］, and equivalent statements computing to improve the accuracy of rules. Experiments with the Linux Kernel demonstrate the effectiveness of our approach. With the ten given sensitive threads, SVR Miner automatically generated 17 security validation rules and detected 8 violations, 5 of which were published by Linux Kernel Organization before we detected them. We have reported the other three to the Linux Kernel Organization recently.     

疏水侧链改性聚氨酯丙烯酸酯的制备及其在光固化金属涂层中的应用

为提升光固化金属涂层的防腐性能，以来源于生物基的δ-癸内酯(DL)为原料，首先合成了一系列带疏水侧链的聚癸内酯二元醇，然后与异佛尔酮二异氰酸酯(IPDI)和丙烯酸羟乙酯(HEA)制备了带有疏水侧链的聚氨酯丙烯酸酯，将其用于构筑光固化金属涂层。采用傅立叶变换红外光谱、核磁共振氢谱对其结构进行了表征，研究了聚癸内酯二元醇的化学结构、相对分子质量对所构筑的光固化涂层疏水性以及防腐性能的影响。结果表明：疏水侧链改性后，聚氨酯丙烯酸酯涂层在水中浸泡400 h的吸水率从3%下降至1.4%；在盐水中浸泡400 h的阻抗模值从2.7×10⁷Ω·cm²提升至1.1×10⁹Ω·cm²；在盐雾环境中400 h仅出现轻微点蚀现象；可见疏水侧链改性的聚氨酯丙烯酸酯所构筑的涂层具有更高的耐水性和耐腐蚀性。