期刊文献+
共找到50篇文章
< 1 2 3 >
每页显示 20 50 100
自动程序修复方法研究进展 被引量:13
1
作者 玄跻峰 任志磊 +2 位作者 王子元 谢晓园 江贺 《软件学报》 EI CSCD 北大核心 2016年第4期771-784,共14页
自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自... 自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自动修复方法划分为3类,分别是基于搜索的、基于代码穷举的和基于约束求解的补丁生成方法;其次,细致地描述了程序修复的实证研究基础以及该研究领域中的争议;然后,简要介绍了程序修复的相关技术作为修复方法的补充;最后做出总结,描述了面临的机遇和挑战. 展开更多
关键词 自动修复 遗传规划 基于搜索的软件工程 测试集 实证基础
下载PDF
区块链智能合约漏洞检测与自动化修复综述 被引量:2
2
作者 童俊成 赵波 《计算机应用》 CSCD 北大核心 2023年第3期785-793,共9页
智能合约技术作为区块链2.0的里程碑,受到学术界与企业界的广泛关注。智能合约运行在不具有可信计算环境的底层基础设施上,并且具有区别于传统程序的特性,在自身的安全性上存在许多影响很大的漏洞,针对它进行安全审计的研究也成为区块... 智能合约技术作为区块链2.0的里程碑,受到学术界与企业界的广泛关注。智能合约运行在不具有可信计算环境的底层基础设施上,并且具有区别于传统程序的特性,在自身的安全性上存在许多影响很大的漏洞,针对它进行安全审计的研究也成为区块链安全领域的热门与亟需解决的关键科学问题。针对智能合约的漏洞检测与自动化修复,首先介绍智能合约漏洞的主要漏洞类型与分类;然后,调研回顾近五年智能合约漏洞检测的三类最重要的方法,并介绍每类方法具有代表性和创新性的研究技术;其次,详细介绍智能合约升级方案与具有前沿性的自动化修复技术;最后,分析与展望了面向在线、实时、多平台、自动化与智能化需求的智能合约漏洞检测与自动化修复技术的挑战与未来可展开的工作,并提出技术解决方案的框架。 展开更多
关键词 区块链安全 智能合约 安全审计 漏洞检测 自动化修复
下载PDF
基于PSO的电力通信网络故障自动修复系统
3
作者 李树勇 梁发亮 岳龙 《电子设计工程》 2024年第18期159-162,167,共5页
针对电力通信网络故障修复过程容易出现设备过载的问题,设计了基于PSO的电力通信网络故障自动修复系统。设计故障自动修复结构和隔离结构,建立故障修复约束模型;构建故障自动修复优化函数,采用PSO算法结合启发式方法计算修复路径最优解... 针对电力通信网络故障修复过程容易出现设备过载的问题,设计了基于PSO的电力通信网络故障自动修复系统。设计故障自动修复结构和隔离结构,建立故障修复约束模型;构建故障自动修复优化函数,采用PSO算法结合启发式方法计算修复路径最优解,实现对故障的自动修复。由实验结果可知,该系统选择1-2-4-9-12-17-18-25修复路径,与理想路径一致,使用的隔离开关较少,通信负荷PRP指标均值较大,解决了自动修复中的设备过载问题。 展开更多
关键词 PSO算法 电力通信 网络故障 自动修复
下载PDF
机器视觉技术在白车身涂胶缺陷检测及缺陷自动修复中的应用与研究
4
作者 陈贺 郑红光 李小鹏 《工业控制计算机》 2024年第7期21-22,25,共3页
传统生产工艺中,涂胶缺陷通过人工进行检测,其效率低、准确率差,且受人员责任心及主观经验影响。近年来,越来越多的汽车企业采用机器视觉技术进行缺陷检测。针对白车身生产过程中的某一具体涂胶工艺展开了探讨,利用2D面阵相机,通过图像... 传统生产工艺中,涂胶缺陷通过人工进行检测,其效率低、准确率差,且受人员责任心及主观经验影响。近年来,越来越多的汽车企业采用机器视觉技术进行缺陷检测。针对白车身生产过程中的某一具体涂胶工艺展开了探讨,利用2D面阵相机,通过图像分割、目标提取、骨骼化、B样条曲线拟合等手段,对涂胶区域及路径进行了分析和拟合,进而完成了对涂胶宽度、长度、位置、多涂、少涂、断胶等缺陷的检测工作。此外还对视觉系统进行了相机标定和手眼标定,对于涂胶断胶、少涂等缺陷能够引导机械臂自动进行补涂,自动修复相应的涂胶缺陷。 展开更多
关键词 机器视觉 白车身 涂胶 缺陷检测 自动修复
下载PDF
基于STC单片机的蓄电池检测修复仪的研究 被引量:5
5
作者 李巍 于复生 +2 位作者 孙永亮 王雪 魏志国 《山东建筑大学学报》 2009年第4期313-315,320,共4页
介绍了一种以STC12C4052AD单片机为核心的蓄电池检测修复仪以及仪器的电路原理和软件流程,讨论了蓄电池检测修复的工作原理。检测修复仪自动检测和存储蓄电池的充电电压、电流等参数,得到的参数与设定的阀值对比后,采用高频脉冲技术实... 介绍了一种以STC12C4052AD单片机为核心的蓄电池检测修复仪以及仪器的电路原理和软件流程,讨论了蓄电池检测修复的工作原理。检测修复仪自动检测和存储蓄电池的充电电压、电流等参数,得到的参数与设定的阀值对比后,采用高频脉冲技术实现对蓄电池的自动修复充电。整个充电过程按理想的充电曲线进行,提高了蓄电池的实际循环寿命。 展开更多
关键词 高频脉冲 自动检测 电动自动车 自动修复
下载PDF
基于次序依赖的智能配电网损坏数据自动修复模型构建 被引量:3
6
作者 卢俊 李朝瑞 +2 位作者 肖康 戚永青 邓奕星 《电子设计工程》 2021年第21期74-78,共5页
目前提出的智能配电网损坏数据自动修复模型修复完整度较低,导致损坏数据收集精准度较差。基于次序依赖构建一种新的智能配电网损坏数据自动修复模型,确定自动修复数据通过序列的组数,设定迭代数据,重新在动态规划结构中应用二分法查找... 目前提出的智能配电网损坏数据自动修复模型修复完整度较低,导致损坏数据收集精准度较差。基于次序依赖构建一种新的智能配电网损坏数据自动修复模型,确定自动修复数据通过序列的组数,设定迭代数据,重新在动态规划结构中应用二分法查找相应的n值与符合复杂度的次序依赖位置。根据分层数据采集优化结构得到智能配电网损坏数据自动修复模型。实验结果表明,基于次序依赖的智能配电网损坏数据自动修复模型有效提高了修复完整度,增强了损坏数据收集精准度。 展开更多
关键词 次序依赖 智能配电网 损坏数据 自动修复 修复模型
下载PDF
示例演化驱动的学生程序自动修复 被引量:3
7
作者 王甜甜 许家欢 +1 位作者 王克朝 苏小红 《软件学报》 EI CSCD 北大核心 2019年第5期1256-1268,共13页
已有的程序自动化调试研究大多面向工业软件,而学生程序调试具有缺陷数多、类型复杂等特有难点问题,因此,针对学生程序设计应用背景,研究程序自动修复方法,利用模板示例程序指导补丁的演化.改进了遗传编程算法,包括适应度的计算、变异... 已有的程序自动化调试研究大多面向工业软件,而学生程序调试具有缺陷数多、类型复杂等特有难点问题,因此,针对学生程序设计应用背景,研究程序自动修复方法,利用模板示例程序指导补丁的演化.改进了遗传编程算法,包括适应度的计算、变异体的生成方式和变异位置及操作的选择方式,使其更加适合修复学生程序.提出了基于示例的静态错误定位方法,能够识别缺陷程序和参考程序差异和可能的变异操作,有效地缩小补丁的搜索空间以提高修复的准确性.提出了基于执行值序列的变量映射方法,以降低变异体的编译错误,提高修复的准确性.在此基础上,设计并实现了示例演化驱动的Java学生程序自动修复系统.实验结果表明,该方法可以修复含有多缺陷学生程序,对于所用的测试集,当学生程序只有1个~2个错误时,修复率将近100%;当含有3个缺陷时,修复率约为70%;当含有4个及以上缺陷时,修复率约为50%. 展开更多
关键词 自动修复 示例演化 遗传编程 错误定位 变量映射
下载PDF
通信网络链路非平稳数据自动修复方法 被引量:1
8
作者 陈小娟 张慧萍 贺红艳 《计算机仿真》 北大核心 2022年第2期491-495,共5页
针对传统方法数据修复率较低,修复耗时较长,修复准确性较低的问题,为提高通信网络链路非平稳数据修复效果,设计了一种通信网络链路非平稳数据自动修复方法。采集通信网络链路传输数据,并构建非平稳数据噪声模型,对采集的数据进行去除噪... 针对传统方法数据修复率较低,修复耗时较长,修复准确性较低的问题,为提高通信网络链路非平稳数据修复效果,设计了一种通信网络链路非平稳数据自动修复方法。采集通信网络链路传输数据,并构建非平稳数据噪声模型,对采集的数据进行去除噪声处理。根据噪声处理结果采用遗传算法对非平稳数据进行检测,并采用决策树方法对非平稳数据进行自动修复。实验结果表明,所设计方法的数据修复准确性较高,非平稳数据自动修复率较高,并且修复耗时少,证明了所研究的修复方法提高了非平稳数据的修复效果,具备实际应用意义。 展开更多
关键词 通信网络链路 非平稳数据 自动修复 遗传算法 决策树
下载PDF
虚拟色彩搭配下的古建筑饰面颜色自动修复方法 被引量:1
9
作者 谢静安 《辽东学院学报(自然科学版)》 CAS 2020年第1期57-61,共5页
传统的古建筑饰面颜色自动修复方法完整度低,为了解决这一问题,提出基于虚拟色彩搭配的古建筑饰面颜色自动修复方法。先使用虚拟色彩搭配法补色,再运用RGB模型选择古建筑饰面颜色自动修复空间,考虑到修复通道会受RGB模型影响,应用YUV颜... 传统的古建筑饰面颜色自动修复方法完整度低,为了解决这一问题,提出基于虚拟色彩搭配的古建筑饰面颜色自动修复方法。先使用虚拟色彩搭配法补色,再运用RGB模型选择古建筑饰面颜色自动修复空间,考虑到修复通道会受RGB模型影响,应用YUV颜色模型分离亮度信号和色度信号。在此基础上,设计古建筑饰面颜色自动修复流程。由此,完成基于虚拟色彩搭配的古建筑饰面颜色自动修复方法设计。最后,进入实验部分,实验样本采用当前最先进地自动修复技术得到的效果图,以此为评判依据,对比两种方法自动修复完整度。实验结果表明,使用所提方法自动修复完整度更高,而使用传统方法自动修复完整度低,而且出现多处残缺部分。 展开更多
关键词 虚拟色彩搭配技术 古建筑 饰面颜色 自动修复 颜色空间 修复空间
下载PDF
关于液晶显示制造行业CF Repair产能提升技术的应用
10
作者 崔文玉 黄雷 +2 位作者 孙腾琳 张文富 周闻鑫 《科技创新与应用》 2018年第36期180-181,184,共3页
液晶显示制造中的缺陷检测和修复工艺(下文简称Repair设备)是提高产品良率的重点工艺。也是融合了缺陷检测、修复技术、激光处理、薄膜特性分析和电路等效分析等多种技术的综合性工艺技术。[1]Repair设备具有X2、X10、X20、X50倍率的镜... 液晶显示制造中的缺陷检测和修复工艺(下文简称Repair设备)是提高产品良率的重点工艺。也是融合了缺陷检测、修复技术、激光处理、薄膜特性分析和电路等效分析等多种技术的综合性工艺技术。[1]Repair设备具有X2、X10、X20、X50倍率的镜头,在C级防震的工作环境中实现对良率提升的帮助。Repair设备所有的修补动作,几乎都是在不断的聚焦和切镜中完成。本方案通过CF Repair镜头改造的方式,提供了一种简洁的动作流程,从而提高了修补效率,以实现对产能提升的贡献。 展开更多
关键词 TFT-LCD repair 自动修补 产能提升
下载PDF
基于大数据技术的舰船导航定位系统自动修复方法 被引量:1
11
作者 于博 《舰船科学技术》 北大核心 2019年第10期109-111,共3页
为解决常规舰船导航定位系统修复方法修复时间较长的不足,提出了基于大数据技术的舰船导航定位系统自动修复方法。基于系统故障数据的反馈,以及修复对象的确定,完成舰船导航定位系统自动修复关键信息的获取。依托修复数据的引导与流程分... 为解决常规舰船导航定位系统修复方法修复时间较长的不足,提出了基于大数据技术的舰船导航定位系统自动修复方法。基于系统故障数据的反馈,以及修复对象的确定,完成舰船导航定位系统自动修复关键信息的获取。依托修复数据的引导与流程分析,实现了舰船导航定位系统的自动修复。实验数据表明,提出的自动修复方法较常规修复方法,修复时间平均缩短25.49 min,适合舰船导航定位系统故障的快速修复。 展开更多
关键词 大数据技术 舰船导航 定位系统 自动修复
下载PDF
雷达故障自动修复设计 被引量:1
12
作者 孙国强 《火控雷达技术》 2013年第4期44-46,共3页
雷达作为一个大规模的电子产品,在使用过程中出现部分设备性能下降或故障的可能性很大,本文分析了传统的故障修复方法,并以可靠的状态采集处理和充分的冗余设计为基础,利用监控计算机控制系统的自动修复,减少了操作人员的检修时间,提高... 雷达作为一个大规模的电子产品,在使用过程中出现部分设备性能下降或故障的可能性很大,本文分析了传统的故障修复方法,并以可靠的状态采集处理和充分的冗余设计为基础,利用监控计算机控制系统的自动修复,减少了操作人员的检修时间,提高雷达在使用过程中的可用度,降低了使用维修成本,保证了雷达作战性能的发挥。在无人值守和少人值守的雷达设计上具有十分重要的意义。 展开更多
关键词 雷达 故障 自动修复
下载PDF
铸件毛坯自动修复机器人设计与实验研究 被引量:1
13
作者 田有贵 《机床与液压》 北大核心 2020年第15期72-75,共4页
随着3D打印技术的发展,增材再制造技术也成为各类零件缺陷自动修复的手段之一。针对大型铸件缺陷的修复以人工堆焊为主,存在效率低、对工人伤害大、修复合格率低等缺点。为此,提出了利用3D打印再制造技术对缺陷进行自动修复的工艺方法,... 随着3D打印技术的发展,增材再制造技术也成为各类零件缺陷自动修复的手段之一。针对大型铸件缺陷的修复以人工堆焊为主,存在效率低、对工人伤害大、修复合格率低等缺点。为此,提出了利用3D打印再制造技术对缺陷进行自动修复的工艺方法,即利用视觉系统对工件自动扫描重构工件三维模型,并与标准CAD模型比对,确定缺陷的类型、分布及尺度特征,获取各损伤部位的3D点云数据,根据缺陷模型自动编程并生成机器人程序,驱动执行机构依次完成各缺陷自动焊接修复。实验结果表明:工件缺陷重构模型精度在±0.1 mm以内,扫描速度为1000 mm/min,自动焊接修复工件无焊接缺陷,各项性能指标满足实际使用要求。 展开更多
关键词 毛坯 视觉技术 自动修复 焊接 机器人
下载PDF
面向自动修补的圆柱特征孔洞识别 被引量:1
14
作者 王春香 刘流 +1 位作者 周国勇 纪康辉 《图学学报》 CSCD 北大核心 2021年第3期511-516,共6页
对于型面复杂且含有大量孔洞的点云模型,目前逆向软件和修补算法皆存在单孔逐一修补时效率较低、人机交互过多;多孔同时修复精度不高、特征丢失等问题。因此,有必要实现以孔洞的分类识别为前提,以特征保持为目标的高效、高精度的点云孔... 对于型面复杂且含有大量孔洞的点云模型,目前逆向软件和修补算法皆存在单孔逐一修补时效率较低、人机交互过多;多孔同时修复精度不高、特征丢失等问题。因此,有必要实现以孔洞的分类识别为前提,以特征保持为目标的高效、高精度的点云孔洞分类自动修补方式。基于上述想法,提出一种在孔洞识别的基础上将圆柱特征孔洞与一般类型孔洞分类的方法。首先,借助最大角度识别准则提取孔洞边界点集合,通过欧式聚类算法分割并统计孔洞总数,然后利用RANSAC算法和设定的距离阈值提取模型中的圆柱特征孔洞。实验结果表明,该方法不仅可提取模型中直径大小不同的多个圆柱特征孔洞,而且能估算出较为准确的圆柱面几何参数,实现了面向自动修补技术的一类特征孔洞的识别。 展开更多
关键词 点云模型 孔洞识别 自动修补 聚类算法 RANSAC算法
下载PDF
面向自动修复并融合失效场景的缺陷定位方法
15
作者 李昂 毛晓光 雷晏 《计算机科学》 CSCD 北大核心 2015年第12期102-104,107,共4页
为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自... 为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。 展开更多
关键词 自动修复 缺陷定位 失效场景 程序切片 可疑值度量
下载PDF
STL文件错误的自动修复算法的研究
16
作者 张江林 张剑峰 《机械工程与自动化》 2008年第1期20-22,25,共4页
目前,对STL文件错误的修复已经进行了一些研究,但这些研究还不能精确实现错误的整体描述,针对这个问题,构造了错误广义表,整体描述了STL文件中的错误,简化了修复过程,并开发了专用的STL文件修复工具。
关键词 STL文件 整体描述 错误广义表 自动修复
下载PDF
基于模板挖掘的程序自动修复方法
17
作者 韩俊璇 孙伟峰 +1 位作者 赵瑞莲 王微微 《郑州大学学报(工学版)》 CAS 北大核心 2021年第2期61-66,共6页
在程序修复模板挖掘的过程中,由于历史修复信息中存在噪声干扰,导致挖掘出的修复模板可用性不强,程序修复效果不佳。再者,利用修复模板对程序缺陷进行修复是程序自动修复的关键。从修复模板挖掘和程序自动修复两方面出发,提出了一种改... 在程序修复模板挖掘的过程中,由于历史修复信息中存在噪声干扰,导致挖掘出的修复模板可用性不强,程序修复效果不佳。再者,利用修复模板对程序缺陷进行修复是程序自动修复的关键。从修复模板挖掘和程序自动修复两方面出发,提出了一种改进的程序自动修复方法APRMT(automatic program repair method based on template mining)。APRMT通过正则匹配消除历史修复信息中的噪声,提高修复模板的准确性;依据程序缺陷代码位置与类型,采用最近最相关策略搜索针对程序缺陷的修复信息,辅助修复模板对程序缺陷进行自动修复。为验证该方法的有效性,APRMT针对4个开源项目进行实验,结果表明:APRMT成功修复了26个缺陷,平均每个缺陷的修复时间为3.1 min。由此可见,APRMT能在更短时间内修复更多的程序缺陷,提升程序自动修复的效果及效率。 展开更多
关键词 自动修复 模板 程序 缺陷 挖掘
下载PDF
复合材料修理技术研究进展 被引量:13
18
作者 徐绯 刘斌 +2 位作者 李文英 谢伟 秦坚 《玻璃钢/复合材料》 CAS CSCD 北大核心 2014年第8期105-112,共8页
本文首先阐述了复合材料修理的背景、关键技术、方案设计及修理容限等。随后,针对国内外复合材料修理技术,就解析法、有限元法及优化等计算研究进行了总结及评价,并对实验和测量方面进行讨论,给出复合材料修理问题的研究现状。最后,基... 本文首先阐述了复合材料修理的背景、关键技术、方案设计及修理容限等。随后,针对国内外复合材料修理技术,就解析法、有限元法及优化等计算研究进行了总结及评价,并对实验和测量方面进行讨论,给出复合材料修理问题的研究现状。最后,基于复合材料修理的最新技术,提出该问题亟待解决的几个关键领域,指出未来飞机维修的发展趋势。 展开更多
关键词 复合材料修理 胶结 解析法 优化 冲击 自动维修系统
下载PDF
融合句嵌入模型和代码特征的补丁验证方法
19
作者 蒋婷婷 姜淑娟 韩威 《电子学报》 EI CAS CSCD 北大核心 2023年第12期3450-3456,共7页
补丁验证常用运行测试套件的方法来验证补丁正确性,然而自动修复技术生成的补丁往往数量巨大,而将每个补丁依次通过测试套件则会产生难以承受的开销.针对该问题,本文提出一个由句嵌入模型InferSent和支持向量机分类器组成的静态补丁验... 补丁验证常用运行测试套件的方法来验证补丁正确性,然而自动修复技术生成的补丁往往数量巨大,而将每个补丁依次通过测试套件则会产生难以承受的开销.针对该问题,本文提出一个由句嵌入模型InferSent和支持向量机分类器组成的静态补丁验证方法.使用InferSent提取代码静态特征并通过支持向量机分类器来预测补丁正确性.该方法更加关注代码的静态特征信息,通过对特征的提取分析,无需运行测试套件即可有效地预测自动修复工具生成的补丁的正确性.本文在多个自动修复工具生成的补丁集合上进行了验证.实验结果表明,在修复工具生成的补丁集合上,本文提出的静态补丁验证方法对补丁预测的F1值达到71.89%,相比其他两种最新静态补丁验证方法分别提高11.64%和6.43%,并在五项评价指标上均优于对比模型.表明该方法可以在不运行测试套件的情况下正确预测补丁,且具有良好的泛化能力. 展开更多
关键词 程序自动修复 补丁验证 代码静态特征 句嵌入技术 支持向量机 代码相似性
下载PDF
一种基于StackOverflow分析的程序自动修复方法 被引量:1
20
作者 刘旭亮 钟浩 《计算机工程》 CAS CSCD 北大核心 2018年第10期95-100,共6页
现有程序缺陷修复方法缺乏充足的修复模板,多数只能修复小部分程序缺陷。为此,提出一种从StackOverflow中获取示例代码,并从示例代码中挖掘出修复样品的方法。从程序员日常开发讨论中获取与修复有关的代码对,并从中生成修复模板,该模板... 现有程序缺陷修复方法缺乏充足的修复模板,多数只能修复小部分程序缺陷。为此,提出一种从StackOverflow中获取示例代码,并从示例代码中挖掘出修复样品的方法。从程序员日常开发讨论中获取与修复有关的代码对,并从中生成修复模板,该模板丰富了自动修复工具已有的操作,能够修复更多缺陷。对Defects4J数据集进行实验验证,结果表明,该方法能够修复23个程序缺陷,优于GenProg和Nopol等工具。 展开更多
关键词 程序自动修复 真实缺陷修复 修复模板 示例代码 修复样品
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部