基于深度学习的软件自动修复方法的修复偏好研究

基于机器学习的软件修复方法可以降低软件缺陷修复成本,无须人工干涉而自动修复软件缺陷,但不同的缺陷修复软件对不同类型缺陷的修复偏好不明确,且缺乏针对性而无法充分发挥深度学习模型的作用;为此在研究缺陷分类的基础上,研究几种具有代表性基于深度学习的软件自动修复方法对不同类型的缺陷总的修复概率,并比较分析不同学习模型对于修复不同类型缺陷的修复偏好,后续可以更好地进行模型选择以及软件自动修复工作。实验结果表明,基于深度学习的软件自动修复方法倾向于修复IF语句类型、方法语句类型、return语句类型的缺陷。基于自编码器的软件自动修复方法倾向于修复IF语句类型的缺陷,基于LSTM的编码器-解码器的修复方法倾向于修复与方法语句类型相关的缺陷,而基于CNNs的编码器-解码器的修复方法则对IF语句类型、方法语句类型以及return语句类型这三种类型缺陷的修复偏好相差不大。

高校图书馆高清视频监控系统的应用研究——以中国矿业大学图书馆为例

高清视频监控系统是图书馆保障公共安全的重要手段,对保护读者的人身、财产安全发挥了巨大的作用。对图书馆高清视频监控系统建设所重点涉及的系统架构、监控点设置、传输设备、存储设备这几个方面进行阐述,并对监控系统在图书馆的几个应用场景进行详细说明。注重高清监控系统的设计,拓展应用,提升安防系统可靠性,为图书馆高清视频监控系统建设提供参考。

高校图书馆5G沉浸式智慧空间建设体系研究——以中国矿业大学图书馆建设需求为例

随着国内外学者关于“空间再造”和“空间即服务”理论的提出,智慧图书馆发展呈现出空间融合的重要趋势。现代图书馆更多关注读者的体验感,在空间营造方面融入更多的沉浸式设计元素。同时,随着新一代通信技术的发展,5G高带宽、低时延等特性为沉浸式空间与图书馆智慧服务的融合创造了条件。本研究依托5G技术,对智慧图书馆发展趋势、高校5G推广现状、沉浸式智慧空间典型场景应用及图书馆5G专网架构设计开展研究,在此基础上提出高校图书馆5G沉浸式智慧空间建设体系,为今后高校图书馆智慧空间建设及5G技术在智慧图书馆的落地实施提供一定的思路和借鉴。

知识产权人才需求分析评价研究

本文首先对知识产权人才需求的目标进行了分析,从职业发展及需求视角,对知识产权人才的内涵、概念进行了评述和界定,明确知识产权人才是多元化学科背景、复合型的交叉学科人才类型。通过对国内外知识产权人才的现状和发展进行分析,从我国政策、制度发展的基础出发,研究知识产权人才形成机理、需求现状、发展预测、评价趋势等,并设计其分类、分级、分段评价模式及方式,诠释了人才战略分析和评价的知识产权发展趋势。

高校图书馆门禁系统的实现与应用

本文介绍了门禁系统的构成及功能,分析门禁系统数据流程,通过门禁管理系统可进行考勤管理以及读者资料的统计,对门禁系统运行过程中出现的问题提出相应的解决方案。

测试Java异常处理机制的方法

异常处理机制能增强程序运行的可靠性,提高软件的健壮性。然而,如果异常处理机制使用不当,会带来许多潜在的错误,因而很有必要对程序的异常处理结构进行测试。提出了一种识别被测程序中的所有异常变量"定义-使用"关系的方法,并使用一个异常的定义-捕获度量来计算异常定义-使用链的测试覆盖。最后设计了一种异常分析及测试的原型工具。

基于遗传算法和分支覆盖的测试数据生成方法

为确保分支覆盖更加简约高效,提出一种基于遗传算法和分支覆盖的测试数据生成方法。使用控制依赖分析对需覆盖的分支集进行约简,使约简后的分支子集能够包含程序中所有需要覆盖的分支。对目标分支进行依赖性分析,获得到达该分支的路径约束。将多路径约束转化为适应度函数,采用遗传算法生成测试用例。实验结果表明,该方法在覆盖率和进化代数方面均具有优越性。

图书馆自助借还书系统的测试与评析

介绍了自助借还书系统的构成,以几个厂家的自助借还系统作为测试对象进行了测试。针对测试其中出现的问题进行了分析说明,并讨论了条形码在图书中的位置。通过对借还书平均时间、借还书异常情况、多本书检测、读者使用评价、磁条验证功能及安全性等几个方面的测试,给出了定量化测试结果,以期对其它图书馆自助借还书设备调研、采购提供借鉴。

基于贝叶斯的软件错误定位方法

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。

并发程序中的异常处理技术

随着实际应用对并发软件需求的不断增加,并发程序的设计、测试和维护已引起人们的高度重视,其中并发程序的异常处理技术已成为一个重要的研究课题.针对顺序程序而设计的异常处理方法和工具无法直接应用到并发程序中,人们为此提出了许多并发程序中的异常处理方法.对最近所提出的各种各样方法进行了分类比较研究,最后对将来的研究方向进行了展望.

系统管理平台在高校电子阅览室的应用

本文介绍高校电子阅览室所常用几种的系统管理平台,并提出了选用相关平台应注重的问题。有利于各相关单位结合自己的具体情况,选用适合的平台,以简化管理、增强效率、提高服务质量。

一个异常传播分析工具的设计与实现

异常处理是一种用来检测异常并对其进行处理的技术,异常传播改变程序原来的执行路线,从而可能改变程序中的数据流、控制流和各种成分的依赖关系。在进行程序分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的。本文设计并实现了一个分析C++程序中异常传播分析工具CETool。该工具可以有效地分析C++程序的异常传播,它既可以获得异常处理结构的局部信息,也可以获得异常处理结构的全局信息,这对于有效地分析异常的传播,分析异常传播路径,以及改进异常处理结构都有很大的帮助。

浅析高校图书馆古籍整理工作

古籍是高校图书馆文献的重要组成部分,古籍整理也是高校图书馆的重要工作之一。古籍整理,内容丰富,涵盖广泛,涉及问题复杂。本文简要介绍了古籍整理的意义;古籍的分类;古籍整理方式方法及古籍的保护。

国内外5所能源类高校科研竞争力评价分析

基于ESI数据库,选取国内外5所能源类高校作为研究对象,用进入全球前1%的学科、论文总数、被引频次等指标,对5所高校的学科现状进行宏观分析。结果显示,5所学校的工程学、地球科学、化学、材料科学4个学科具有一定的学科优势;国内4所学校论文数增长较快,创新能力增强,但相比美国科罗拉多矿业大学,论文影响力有待进一步提高。5所高校之间的发展不平衡,并与世界一流大学相比还有一定的差距。应采取措施优化学科布局,加强学科内涵建设,促进学科国际合作,提升学科建设的质量和影响力。

基于移动Agent的分层式P2P移动学习网络

阐述了移动学习的发展趋势以及高校图书馆面临的机遇与挑战,提出了高校图书馆在移动学习的发展中所能够担当的任务和角色,以及图书馆员新的工作内容。并针对无线网络环境下的高延迟、资源异构、以及网络不稳定的问题,探讨了基于移动Agent的分层式P2P移动学习网络模式,该模式可有效减少网络负载,同时具有良好的交互性。

浅谈铝合金门窗安装的通病及防治措施

近几年来，铝合金门窗的应用日益曾多，这种门窗具有轻质高强、易加工制作等待特点，其装饰效果和功能性(气密性、水密性、隔声性能等)也都优于其它门窗。但如果安装不符合规范，会造成安全隐患，影响使用。

浅谈建筑工程对防水材料的选用

随着我国化学建材的飞速发展，新型防水材料已逐步取代传统纸胎沥青油毡，而且高、中、低档、品种多样、性能各异，在推动工程质量保证工期过程中，为保证工程质量对各类防水材料如何选用，是开发、设计和质量监督人员经常遇到的问题，现就一些选材的基本原则谈些个人看法仅作参考。

科学运用激励方法调动职工积极性的思考

在市场经济条件下,如何有效地调动广大职工的积极性,是一门必须认真探究的学问。成功的现代企业管理经验证明,目标激励、情感激励、奖惩激励、榜样激励、行为激励、活动激励,都是相当有效的激励方式。这些激励方式如何具体配合运用,应当实事求是,因企制宜,因人制宜。

关于屋面接缝渗漏原因及治理对策

在屋面工程中人为分缝具有一定功能、规则和预先设置的特点。本人通过工程质量监督的实际体会，分析建筑分缝和预制板缝产生渗漏的原因。进而提出全面控制综合治理的对策。