检索结果-南通市图书馆

同方期刊数据库

基于CodeBERT和Stacking集成学习的补丁正确性验证方法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2025年第1期52卷 250-258页

作者：韩威姜淑娟周伟中国矿业大学计算机科学与技术学院江苏徐州221116 中国矿业大学矿山数字化教育部工程研究中心江苏徐州221116

近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过... 详细信息

近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过拟合。为提高补丁验证的效率并缓解补丁过拟合的问题,提出了一种静态的补丁验证方法。该方法首先使用大型预训练模型CodeBERT自动提取缺陷代码片段和补丁代码片段的语义特征,然后使用历史缺陷修复补丁数据训练Stacking集成学习模型,训练之后的模型可以对新的缺陷修复补丁进行有效验证。在Defects4J缺陷数据集相关的1 000个补丁数据上对所提方法的验证能力进行评估。实验结果表明,该方法可以有效地验证补丁的正确性,从而提高补丁验证的效率。

关键词：自动程序修复补丁验证预训练模型集成学习 Defects4J缺陷数据集

在线全文

学校读者我要写书评

暂无评论

基于语义分割的乡村道路识别

现代电子技术 2025年第2期 179-186页

作者：曹新宇张太红赵昀杰姚芷馨新疆农业大学计算机与信息工程学院智能农业教育部工程研究中心新疆农业信息化工程技术研究中心

针对目前智能农机在乡村复杂环境下行驶时对周围特征识别精度不足的问题，以乡村道路场景为研究对象，提出一种改进PP-LiteSeg模型。首先使用STDC对图像特征进行提取，在保证轻量化的同时确保特征信息完整；然后将条形池化引入简单金字... 详细信息

针对目前智能农机在乡村复杂环境下行驶时对周围特征识别精度不足的问题，以乡村道路场景为研究对象，提出一种改进PP-LiteSeg模型。首先使用STDC对图像特征进行提取，在保证轻量化的同时确保特征信息完整；然后将条形池化引入简单金字塔模块，加强特征的提取能力，并将坐标注意力加入统一注意力融合模块，进一步加强多尺度特征的融合，捕获更为丰富的信息，从而提高模型对乡村复杂场景识别的准确率。实验结果表明，在不同场景下，所提模型可以达到较好的分割效果，建筑物、柏油路、障碍等单个类别的准确率均达到80%以上，能够有效地分割乡村道路场景。改进模型可为智能农机在乡村道路场景下的安全行驶提供技术参考。

关键词：语义分割乡村道路特征识别条形池化坐标注意力场景分类图像处理

基于点云处理的仿人机器人楼梯障碍物识别与剔除方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

工程科学学报 2025年第2期47卷 339-350页

作者：于乃功谢秋生李洪政北京工业大学信息科学技术学院北京100124 北京市计算智能与智能系统重点实验室北京100124 教育部数字社区工程研究中心北京100124

环境感知对于仿人机器人自主导航和运动规划具有重要研究意义,是实现仿人机器人在复杂环境中进行自主移动进而完成特定任务的基础.在特殊的楼梯场景中仿人机器人环境感知过程面临诸多挑战,楼梯障碍物会破坏阶梯平面特征,导致仿人机器人... 详细信息

环境感知对于仿人机器人自主导航和运动规划具有重要研究意义,是实现仿人机器人在复杂环境中进行自主移动进而完成特定任务的基础.在特殊的楼梯场景中仿人机器人环境感知过程面临诸多挑战,楼梯障碍物会破坏阶梯平面特征,导致仿人机器人获取不准确的楼梯参数而出现踏空、摔跤等问题.本文结合区域生长和平面构造方法识别和剔除楼梯障碍物点云,基于剔除障碍物后的楼梯进行三维参数估计.首先利用相邻点的投影之和最小原理准确完成对楼梯水平面的提取;其次根据区域生长算法判定楼梯障碍物聚类情况,构造平面并分析平面内点数以完成对障碍物点云的快速识别与剔除工作;最后对有障碍物楼梯与剔除障碍物楼梯进行楼梯三维感知实验.实验结果表明,本文剔除楼梯障碍物的平均精度为92.43%,且剔除后的楼梯参数感知误差仅为有障碍物时的0.5倍.总体表明所提算法能提高机器人在复杂楼梯环境中的楼梯参数估计精度,能够有效提高仿人机器人在复杂楼梯环境下的感知能力.

关键词：仿人机器人复杂环境感知楼梯区域生长参数估计

在线全文

学校读者我要写书评

暂无评论

一种农业自动化灌溉系统的高效能设计研究

农机化研究 2025年第1期47卷 130-134页

作者：章万静江苏省工业云边协同技术工程研究中心江苏淮安223003

以进一步提升农业自动化灌溉系统的作业效率为研究目标,选取其核心结构组件布局作为研究对象,基于通信控制优化理念展开高效能设计研究。结合自动化灌溉系统的运行机理,从通信网络架构分层角度入手,建立灌溉系统参数计算处理模型。针对... 详细信息

以进一步提升农业自动化灌溉系统的作业效率为研究目标,选取其核心结构组件布局作为研究对象,基于通信控制优化理念展开高效能设计研究。结合自动化灌溉系统的运行机理,从通信网络架构分层角度入手,建立灌溉系统参数计算处理模型。针对系统软件控制和硬件配置完成优化,选定灌溉作物进行灌溉试验,结果表明:此通信网络架构理念下的控制优化布局,可实现灌溉系统的响应准确率与决策准确率同步提升,系统运行稳定有效;整体系统的灌溉效率可达94.55%,满足智能化灌溉控制设计要求,具有很好的应用推广价值。研究结果对于灌溉系统向智能化精准化提升有较好的启示意义。

关键词：灌溉系统高效能设计通信控制优化网络架构决策准确率

维普期刊数据库博看期刊

不同分数阶微分形式在盐渍土电导率高光谱反演中的适用性研究

在线全文

学校读者我要写书评

暂无评论

光谱学与光谱分析 2025年第1期45卷 272-281页

作者：周凤玺滕祥帅郝君明王立业兰州理工大学土木工程学院甘肃兰州730050 兰州理工大学西部土木工程防灾减灾教育部工程研究中心甘肃兰州730050 兰州理工大学甘肃省应急测绘工程研究中心甘肃兰州730050

近年来,部分学者将分数阶微分理论应用到盐渍土电导率高光谱反演中,取得了较为显著的效果。然而,已有研究多采用Grünwald-Letnikov分数阶微分定义形式,对于Riemann-Liouville、Caputo分数阶微分定义形式的应用研究较少,Riemann-Liouvi... 详细信息

近年来,部分学者将分数阶微分理论应用到盐渍土电导率高光谱反演中,取得了较为显著的效果。然而,已有研究多采用Grünwald-Letnikov分数阶微分定义形式,对于Riemann-Liouville、Caputo分数阶微分定义形式的应用研究较少,Riemann-Liouville、Caputo分数阶微分定义形式在盐渍土电导率高光谱反演中的适用性尚不明确。基于实测土壤电导率和高光谱数据,考虑常见的Grünwald-Letnikov、Riemann-Liouville和Caputo三类分数阶微分定义形式,通过软件编程实现Grünwald-Letnikov、Riemann-Liouville、Caputo分数阶微分处理函数,比较分析了不同分数阶微分定义形式下,土样高光谱数据在同阶微分处理后的差异性以及随阶数增加后的变化特征。结果表明:土样光谱反射率曲线在不同分数阶微分定义形式下,同阶微分处理后表现出较大差异;在0.1~1阶范围内,随微分阶数的增加,Grünwald-Letnikov、Riemann-Liouville、Caputo分数阶微分处理后高度变异波段数量均呈现出增加趋势;当微分阶数趋于1时,光谱反射率微分值逐渐降低且向0值逼近,波动范围逐渐减小,而光谱数据的变异性却随着波动范围的减小而增强;Grünwald-Letnikov分数阶微分处理在0.6、0.7阶相关系数提升9.5%、6.7%,Riemann-Liouville和Caputo分数阶微分处理后,相关系数分别在0.8~0.9阶、0.7~0.9阶提升1%左右。该研究为高光谱数据预处理提供了一种新的研究思路,为更好的将分数阶微分理论应用到土壤盐渍化遥感反演中提供参考。

关键词：盐渍土电导率光谱反射率分数阶微分

土体抗剪强度各向异性对边坡滑动模式与稳定性的影响

在线全文

学校读者我要写书评

暂无评论

江苏大学学报（自然科学版） 2025年第1期46卷 91-97页

作者：张飞胡光华河海大学岩土力学与堤坝工程教育部重点实验室江苏南京210024 河海大学江苏省岩土工程技术工程研究中心江苏南京210024

基于极限分析法中的上限定理,开展了考虑土体抗剪强度各向异性的边坡稳定性研究,通过参数分析研究了土体抗剪强度各向异性对边坡失稳滑动方式与边坡稳定性安全系数的影响规律.结果表明:边坡稳定性安全系数随着抗剪强度各向异性系数减小... 详细信息

基于极限分析法中的上限定理,开展了考虑土体抗剪强度各向异性的边坡稳定性研究,通过参数分析研究了土体抗剪强度各向异性对边坡失稳滑动方式与边坡稳定性安全系数的影响规律.结果表明:边坡稳定性安全系数随着抗剪强度各向异性系数减小而减小,其影响程度随着土体内摩擦角和坡度的减小而增大;对于土体黏聚力较大、内摩擦角较小的缓坡,随着抗剪强度各向异性系数减小,边坡的最危险滑动面会由坡脚深层破坏转变为坡底深层破坏,滑动范围显著增大;基于计算结果绘制了稳定图(stability chart),实现了考虑土体抗剪强度各向异性影响的边坡稳定性安全系数的快速计算与最危险滑动方式的判别.

关键词：边坡抗剪强度各向异性稳定性安全系数极限分析法滑动

在线全文

学校读者我要写书评

暂无评论

人工智能支持智慧学习的方向与途径

中国电化教育 2019年第7期 8-13页

作者：钟绍春教育部数字化学习支撑技术工程研究中心

针对当前信息技术还没有真正引发教师课堂教学和学生个性化学习革命的问题,该文剖析了出现这些问题的主要原因是,技术只用来为原有教学思路和方法提供教学条件,而未用来改变教学方式和方法。从技术支持疑难知识学习和构建感悟探究环境,... 详细信息

针对当前信息技术还没有真正引发教师课堂教学和学生个性化学习革命的问题,该文剖析了出现这些问题的主要原因是,技术只用来为原有教学思路和方法提供教学条件,而未用来改变教学方式和方法。从技术支持疑难知识学习和构建感悟探究环境,基于数据优化教师教学和引导学生高品质个性化学习等方面,阐述了人工智能改变学习的基本思路。提出了应从学生有针对性学习、优质教师供给、疑难知识学习、提供更多探究机会、动态掌控和调整教学和学习、系统评价教师教学等方面,应用人工智能等技术支持学生学习和课堂教学变革与创新,实现高品质学习。从数据驱动的智慧学习、依据知识与能力图谱采集学习大数据和基于学习大数据构建和优化学习路网等方面,讨论了以智慧学习路网为基础构建"人网融合"智慧学习新样态的途径和方法。

关键词：智慧学习人网融合人工智能

在线全文

学校读者我要写书评

暂无评论

智能网联汽车的车载网络攻防技术研究进展

软件学报 2025年第1期36卷 341-370页

作者：陈博言沈晴霓张晓磊张鑫李聪吴中海北京大学软件与微电子学院软件工程国家工程研究中心(北京大学) 高可信软件技术教育部重点实验室(北京大学) 北京大学计算机学院

随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联... 详细信息

随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联汽车,渗透到车载网络,再攻击车载网络及其各组成部分如ECU.因此,智能网联汽车的车载网络安全成为近些年车辆安全研究的焦点之一.在介绍智能网联汽车整体结构、ECU、CAN总线和车载诊断协议等基础之上,首先总结了目前车载网络协议的逆向工程技术进展,逆向工程的目标是获取汽车行业通常不公开的车载网络协议实现细节,也是实施攻击和防御的前提条件.然后从车载网络攻、防两个角度展开:一方面概括了车载网络攻击向量及主要攻击技术,包括通过物理访问和远程访问方式实施的攻击技术,以及针对ECU和CAN总线实施的攻击技术;另一方面,讨论了车载网络现有的防御技术,包括基于特征工程和机器学习方法的车载网络入侵检测和基于密码学方法的车载网络协议安全增强技术.最后展望了未来的研究方向.

关键词：智能网联汽车车载网络逆向工程入侵检测协议安全增强

基于RHT本构模型的连续装药预裂爆破孔距优化研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

高压物理学报 2025年第1期39卷 109-118页

作者：张伟王建国王勉陶家龙昆明理工大学国土资源工程学院云南昆明650093 云南省教育厅爆破新技术工程研究中心云南昆明650093

为解决北衙金矿在使用预裂爆破技术时整体爆破效果不佳的问题,基于RHT损伤本构模型,利用ANSYS/LS-DYNA数值模拟软件,开展了不同孔距下预裂爆破的数值模拟研究。结果表明:当预裂孔炮孔间距为120 cm时,孔间裂纹存在较为明显的分叉,且裂纹... 详细信息

为解决北衙金矿在使用预裂爆破技术时整体爆破效果不佳的问题,基于RHT损伤本构模型,利用ANSYS/LS-DYNA数值模拟软件,开展了不同孔距下预裂爆破的数值模拟研究。结果表明:当预裂孔炮孔间距为120 cm时,孔间裂纹存在较为明显的分叉,且裂纹扩展范围较大;当炮孔间距为130 cm时,裂纹向四周扩展的范围减小,且炮孔周围岩石的损伤程度明显降低;当炮孔间距增加至140 cm时,相邻预裂孔连线上的裂纹仅在局部连通,无法实现孔间贯穿。上述结果说明,130 cm的炮孔间距在降低预裂爆破自身对岩体的扰动与实现有效爆破成缝之间达到了平衡。基于数值模拟试验结果开展了现场试验,爆破效果良好。研究结果可为矿山的预裂爆破设计和施工提供参考。

关键词：预裂爆破连续装药孔距优化 RHT本构模型

维普期刊数据库博看期刊

同方期刊数据库