神经程序修复领域数据泄露问题的实证研究

修复软件缺陷是软件工程领域一个无法回避的重要问题,而程序自动修复技术则旨在自动、准确且高效地修复存在缺陷的程序,以缓解软件缺陷所带来的问题.近年来,随着深度学习的快速发展,程序自动修复领域兴起了一种使用深度神经网络去自动捕捉缺陷程序及其补丁之间关系的方法,被称为神经程序修复.从在基准测试上被正确修复的缺陷的数量上看,神经程序修复工具的修复性能已经显著超过了非学习的程序自动修复工具.然而,近期有研究发现:神经程序修复系统性能的提升可能得益于测试数据在训练数据中存在,即数据泄露.受此启发,为了进一步探究神经程序修复系统数据泄露的原因及影响,更公平地评估现有的系统:(1)对现有神经程序修复系统进行了系统的分类和总结,根据分类结果定义了神经程序修复系统的数据泄露,并为每个类别的系统设计了数据泄露的检测方法;(2)依照上一步骤中的数据泄露检测方法对现有模型展开了大规模检测,并探究了数据泄露对模型真实性能与评估性能间差异的影响以及对模型本身的影响;(3)分析现有神经程序修复系统数据集的收集和过滤策略,加以改进和补充,在现有流行的数据集上,基于改进后的策略构建了一个纯净的大规模程序修复训练数据集,并验证了该数据集避免数据泄露的有效性.由实验结果发现:调研的10个神经程序修复系统在基准测试集上均出现了数据泄露,其中,神经程序修复系统RewardRepair的数据泄露问题较为严重,在基准测试集Defects4J(v1.2.0)上的数据泄露达24处,泄露比例高达53.33%.此外,数据泄露对神经程序修复系统的鲁棒性也造成了影响,调研的5个神经程序修复系统均因数据泄露产生了鲁棒性降低的问题.由此可见,数据泄露是一个十分常见的问题,且会使神经程序修复系统得到不公平的性能评估结果以及影响系统在基准测试集上的鲁棒性.研究人员在训练神经程序修复模型时,应尽可能避免出现数据泄露,且要考虑数据泄露问题对神经程序修复系统性能评估产生的影响,尽可能更公平地评估系统.

某高职院校学生营养K-A-P调查

目的:了解某高职院校学生的营养知识、态度及饮食行为,为进行膳食指导和营养健康教育提供依据。方法:采用分层抽样法对某高职院校12个系,每个系随机抽取105名学生,进行营养知识、态度及饮食行为(K-AP)的问卷调查。结果:营养知识得分的及格率仅为59.3%,不同性别、文理科的学生营养知识得分存在统计学差异,女生、理科生得分高;学生对待营养的态度普遍较好,其中,90.8%认为合理膳食与健康关系很大、52.7%愿意选修营养方面的课程或参加相关讲座;调查学生中存在不合理的营养行为,96.7%的学生有不同程度的挑食偏食,有吃夜宵和零食习惯的人分别占80.9%和71.7%,仅29.2%的学生一日三餐饮食规律等。结论:应加强学生的营养知识健康教育和合理膳食行为的引导。

面向神经机器翻译系统的多粒度蜕变测试

机器翻译是利用计算机将一种自然语言转换成另一种自然语言的任务,是人工智能领域研究的热点问题之一.近年来,随着深度学习的发展,基于序列到序列结构的神经机器翻译模型在多种语言对的翻译任务上都取得了超过统计机器翻译模型的效果,并被广泛应用于商用翻译系统中.虽然商用翻译系统的实际应用效果直观表明了神经机器翻译模型性能有很大的提升,但如何系统地评估其翻译质量仍是一项具有挑战性的工作.一方面,若基于参考译文评估翻译效果,其高质量参考译文的获取成本非常高;另一方面,与统计机器翻译模型相比,神经机器翻译模型存在更显著的鲁棒性问题,然而还没有探讨神经机器翻译模型鲁棒性的相关研究.面对上述挑战,提出了一种基于蜕变测试的多粒度测试框架,用于在没有参考译文的情况下评估神经机器翻译系统的翻译质量及其翻译鲁棒性.该测试框架首先在句子粒度、短语粒度和单词粒度上分别对源语句进行替换,然后将源语句和替换后语句的翻译结果进行基于编辑距离和成分结构分析树的相似度计算,最后根据相似度判断翻译结果是否满足蜕变关系.分别在教育、微博、新闻、口语和字幕这5个领域的中英文数据集上对6个主流商用神经机器翻译系统使用不同的蜕变测试框架进行了对比实验.实验结果表明,所提方法在与基于参考译文方法的皮尔逊相关系数和斯皮尔曼相关系数上分别比同类型方法高80%和20%,说明提出的无参考译文的测试评估方法与基于参考译文的评估方法的正相关性更高,验证了其在评估准确性上显著优于同类型其他方法.

微泡聚合物注射成型的研究

以化学发泡法研究了ＡＢＳ微发泡塑料的注射成型，ＡＢＳ微泡材料的配方和工艺条件对微泡材料性能都有影响．结果表明：新型微泡材料在保持原有性能的基础上，可降低原材料用量２０％左右，降低成本１５％左右，且具有质轻、隔音、防震等特点．

660MW锅炉引风机频繁失速分析及对策

某电厂660 MW机组在进行超低排放改造后多次发生引风机失速事故,经分析主要原因是超低排放改造后烟气流动阻力增大,加上空预器和烟气冷却器堵塞造成引风机因全压增大、抢风而进入失速区。在提出合理的运行方式及引入引风机的电流动叶比参数后,能够及时发现风机工况的异常,并提前进行干预调整,有效地防止了引风机失速事故的发生。