检索结果-南通市图书馆

维普期刊数据库

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

预训练模型在软件工程领域应用研究进展

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

作者：宫丽娜周易人乔羽姜淑娟魏明强黄志球南京航空航天大学计算机科学与技术学院高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) 中国矿业大学计算机科学与技术学院

近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre... 详细信息

近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre-trained model, PTM)的发布,将预训练模型引入到软件工程(software engineering, SE)任务中得到了国内外软件工程领域研究人员的广泛关注,并得到了质的飞跃,使得智能化软件工程进入了一个新时代.然而,目前没有研究提炼预训练模型在软件工程领域的成功和机遇.为阐明这一交叉领域的工作(pre-trained models for software engineering, PTM4SE),系统梳理当前基于预训练模型的智能软件工程相关工作,首先给出基于预训练模型的智能软件工程方法框架,其次分析讨论软件工程领域常用的预训练模型技术,详细介绍使用预训练模型的软件工程领域下游任务,并比较和分析预训练模型技术这些任务上的性能.然后详细介绍常用的训练和微调PTM的软件工程领域数据集.最后,讨论软件工程领域使用PTM面临的挑战和机遇.同时将整理的软件工程领域PTM和常用数据集发布在https://***/OpenSELab/PTM4SE.

关键词：软件仓库挖掘预训练模型程序语言模型

地下矿山微震响应空间探测概率特征与数据补偿方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

煤炭学报 2025年

作者：王常彬曹安业 SI Guangyao 王冰杨旭张宁岳阳中国矿业大学煤炭精细勘探与智能开发全国重点实验室中国矿业大学矿业工程学院澳大利亚新南威尔士大学矿物与能源资源工程学院陕西彬长小庄矿业有限公司中国矿业大学计算机科学与技术学院

深部复杂地质环境高强度开采造成煤岩动力灾害频发，但地下矿山微震监测台网在数据探测完整性仍存在不足，极大增加了灾害预警的误报漏报风险。因此，将地震学中基于概率的完整性震级评价方法（PMC）应用于某井工煤矿，分析了各微震台... 详细信息

深部复杂地质环境高强度开采造成煤岩动力灾害频发，但地下矿山微震监测台网在数据探测完整性仍存在不足，极大增加了灾害预警的误报漏报风险。因此，将地震学中基于概率的完整性震级评价方法（PMC）应用于某井工煤矿，分析了各微震台站的震动波拾波能力，探究了台网对采场微震响应探测概率的空间分布特征，并提出了基于探测概率的微震活动补偿方法。研究结果表明：相比于地震学中经典的最小完整性震级评价，PMC具有不依赖古登堡-里克特关系、计算简单、评价精度高的特点，更适用于地下矿山台网布置受限、震源来源复杂、震动波高噪音、强衰减的微震监测环境。微震台站对震动波的拾波能力受其所在区域采动煤岩体环境影响，对不同距离、不同能级微震事件的拾波概率具有显著差异：震源与台站距离越短、震源能级越高，台站对震动波到时标定的概率则越大。微震台网对微震事件的探测能力与震源能级直接相关，探测概率受台站布置影响在采场空间呈现高度非均匀分布特征。针对微震台网探测数据不完整的问题，提出了基于探测概率的微震活动补偿方法，还原了超前工作面煤体微震能级与频次的空间分布特征，其高能释放区域所在超前巷道位置与动力显现频发区域基本吻合，验证了采场微震数据补偿结果的有效性。研究成果可为地下矿山高质量微震监测与高效灾害防治提供理论与数据基础。

关键词：煤岩动力灾害探测概率微震监测完整性震级微震数据集完整性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

煤矿软岩泥化巷道梯级强化控制原理与技术

煤炭学报 2025年

作者：李桂臣郝浩然孙元田李菁华杨森邵泽宇沃小芳中国矿业大学矿业工程学院中国矿业大学深部煤炭资源开采教育部重点实验室

煤系沉积岩层普遍泥性显著、富水性强、岩性软弱，软岩泥化巷道围岩稳定控制难题日益突显。以淮北矿区典型软岩泥化巷道为工程背景，根据工程地质条件调研与实测，分析了黏土矿物成分与宏细观破坏特征，明确了富水环境和应力环境是诱发... 详细信息

煤系沉积岩层普遍泥性显著、富水性强、岩性软弱，软岩泥化巷道围岩稳定控制难题日益突显。以淮北矿区典型软岩泥化巷道为工程背景，根据工程地质条件调研与实测，分析了黏土矿物成分与宏细观破坏特征，明确了富水环境和应力环境是诱发泥质巷道变形破坏的重要因素，围岩泥化失稳体现为泥质岩体水化作用、锚固结构承载失效、围岩泥态垮冒渐进破坏模式，实现应力-渗水耦合作用下巷道围岩承载结构稳定控制起到决定性作用；在此基础上提出了软岩泥化巷道梯级强化控制原理，即在保障“支护-围岩”相互作用关系中高预紧力、高刚度、高强度锚杆（索）支护承载闭环结构的前提下，根据泥岩水化程度判断工程失稳控制方法，形成了锚注一体泥质围岩性质改良、旋喷注浆浅表桩群结构强化、逐层锚喷泥化岩体强力置换三项重要技术路径；于芦岭煤矿西轨大巷应用了自主研发的矿用新型多钢绞线组合中空注浆锚索束进行底鼓治理，首次在涡北煤矿8204机巷开展了井下高压旋喷注浆工程实践，采用了人工构筑岩体强力置换泥态围岩的方式解决了朱仙庄矿Ⅱ水平第二皮带大巷泥化围岩失稳难题，巷道围岩变形量、支护围岩成型情况与钻孔窥视结果表明，研究成果较好地解决了软岩泥化巷道控制问题，多层次强化了泥质巷道围岩承载能力，保障了围岩长期安全稳定，为软岩泥化巷道围岩控制提供了有效的科学控制理念与技术支撑。

关键词：软岩泥化梯级强化围岩控制煤矿巷道

基于改进YOLOv8的煤矿皮带异物检测方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

工程科学与技术 2025年

作者：赵小虎张狄谢礼逊孙维青张景怡尤星懿中国矿业大学信息与控制工程学院矿山互联网应用技术国家地方联合工程实验室(中国矿业大学)

针对皮带在煤炭输送过程中存在大块煤矸石、锚杆等异物划伤、撕裂皮带和堵塞落煤口等安全隐患，本文提出了一种基于改进YOLOv8模型的煤矿皮带异物检测方法YOLOv8-SPCD。首先，根据已有矿井图像制作煤矿皮带异物数据集。接着，利用SPD-C... 详细信息

针对皮带在煤炭输送过程中存在大块煤矸石、锚杆等异物划伤、撕裂皮带和堵塞落煤口等安全隐患，本文提出了一种基于改进YOLOv8模型的煤矿皮带异物检测方法YOLOv8-SPCD。首先，根据已有矿井图像制作煤矿皮带异物数据集。接着，利用SPD-Conv代替Backbone中的卷积部分，将输入特征图的空间块重新排列进入通道维度，以此来增加通道数，同时减少空间分辨率，在特征提取阶段保留更丰富的信息；然后，引入部分卷积改进原网络中的C2f结构，通过只在输入通道的一部分上应用卷积，减少对冗余特征图的计算，同时仍能提取输入图像的空间特征；之后，利用轻量级的跨尺度特征融合模块CCFM改进Neck部分，增强模型对于不同尺度对象的检测能力；最后，为了消除原损失函数惩罚项对收敛速度的阻碍，同时为了获得更快更为有效的回归结果，为了使模型训练时快速收敛并准确定位皮带异物，引入改进后的Inner-DIoU函数对网络的边界框回归损失进行优化。通过设计消融实验，分析了本文提出的YOLOv8-SPCD模型的相关性能：模型权重缩小为基线网络的43%，GFLOPs减小为原来的59%，mAP@0.5提升4.3个百分点，mAP@0.5:0.95提升了4.1%，且FPS还有少量的提升，说明了本文在对原模型轻量化的同时还提升了模型精度。相比于其他主流检测模型，本文的方法mAP@0.5最多提升了18.6%，mAP@0.5:0.95最多提升了29.8%，验证了本方法在煤矿皮带异物检测方面的有效性，为矿井下的边缘端部署提供了先决条件。

关键词： YOLOv8 异物识别 SPD-Conv 部分卷积 CCFM

城市全域数字化转型视角下数据要素市场长效化运营体系的建设路径剖析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子政务 2025年

作者：林镇阳吴江赵蓉聂耀昱清华大学计算机科学与技术系武汉大学信息管理学院北京大学经济学院清华大学五道口金融学院

城市是数据要素市场化配置的典型应用主体和核心载体。当前，在城市全域数字化转型的背景下，数据要素新兴市场的建设和发展亟需探索长效运营的理论机制和运营模式，以解决供需平衡、价值实现、有效监管等问题。提出了包括发展理念、流... 详细信息

城市是数据要素市场化配置的典型应用主体和核心载体。当前，在城市全域数字化转型的背景下，数据要素新兴市场的建设和发展亟需探索长效运营的理论机制和运营模式，以解决供需平衡、价值实现、有效监管等问题。提出了包括发展理念、流通模式、建设思路、建设保障等方面在内的城市数据要素市场建设目标，构建了基于数据价值链、数据产业链和数据监管链“三链融合”的“城市数据空间”实现路径，并进一步探索了城市数据要素市场建设长效化运营体系的建设路径，通过打造三级联动、多元主体参与的城市数据要素市场体系，以及结果导向型数据要素城市微型集聚区载体等方式创新长效运营模式，从而促进城市数据要素市场可持续健康发展。

关键词：城市数字化数字化转型数据要素市场智慧城市数字经济

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

煤与煤系铀矿产协同勘查技术方法

煤炭科学技术 2025年

作者：魏迎春张昀李新曹代勇王安民靳亮亮宁树正中国矿业大学(北京)地球科学与测绘工程学院中国矿业大学(北京)煤炭精细勘探与智能开发全国重点实验室中国煤炭地质总局勘查研究总院

煤与煤系铀矿产协同勘查已成为矿产资源勘查的重要方向，为实现煤铀协同勘查技术的集成创新，提高找矿效率和节约勘查成本，基于煤与煤系铀矿产的基本特征、勘查技术方法的有效性和勘查工程布置的经济性，探讨了煤与煤系铀矿产协同勘查... 详细信息

煤与煤系铀矿产协同勘查已成为矿产资源勘查的重要方向，为实现煤铀协同勘查技术的集成创新，提高找矿效率和节约勘查成本，基于煤与煤系铀矿产的基本特征、勘查技术方法的有效性和勘查工程布置的经济性，探讨了煤与煤系铀矿产协同勘查技术手段选择和协同勘查工程布置，构建了煤与煤系铀矿产协同勘查模型。取得如下成果：(1)分析了煤系铀矿产的基本特征，煤系中煤层和铀矿产表现为下煤上铀（煤系砂岩型铀矿）或铀煤同层产出（煤型铀矿）的空间分布关系，煤中铀主要的赋存方式为有机质螯合或束缚，砂岩中的铀主要的赋存方式为铀矿物、吸附铀和含铀矿物。(2)基于煤系铀矿产勘查技术手段的有效性，提出了煤炭勘查工作已完成区和煤与煤系铀矿产勘查新区两种情况下的煤与煤系铀矿产协同勘查技术手段：在煤炭勘查工作已完成区，充分利用煤炭勘查资料，筛选自然伽马测井曲线高异常层段和区域，利用γ能谱测井验证煤系铀矿化信息，圈定煤系铀矿的普查区，按照煤系铀矿勘查技术手段分阶段选择相应的技术手段；在煤与煤系铀矿产勘查新区，煤与煤系铀矿产协同勘查技术手段在煤炭勘查技术手段的基础上，增加对煤系铀矿有效响应的放射性技术手段（γ能谱测井、氡及其子体测量）、岩心编录、穿透性地球化学等技术手段。(3)探讨了煤与煤系铀矿产协同勘查工程布置，按照煤、铀矿勘查规范，遵循“协同设计、协同部署、协同施工”的原则，分两种情况开展煤与煤系铀矿产的协同勘查布置：在煤炭勘查工作已完成区，筛选自然伽马测井曲线高异常层段和区域部署施工验证孔，圈定煤系铀矿的普查区，按照煤系铀矿勘查规范分阶段进行勘查工程布置；在煤与煤系铀矿产勘查新区，开展煤与煤系铀矿协同勘查，首先在整个勘查区内寻找煤炭资源，布置煤炭勘查工程，在自然伽马测井曲线高异常层段和区域圈出煤系铀矿靶区，在煤系铀矿靶区以寻找煤系铀矿为主，开展煤系铀矿勘查工程实施。(4)基于协同勘查技术手段的有效性和协同勘查成本的经济性，从煤与煤系铀矿产的协同勘查技术手段和协同勘查工程布置方面构建了煤与煤系铀矿产协同勘查模型，为煤与煤系铀矿产协同勘查工作提供理论基础和方法依据。

关键词：煤煤系铀矿产协同勘查技术协同勘查工程协同勘查模型

矿山三维地质建模研究进展：原理、方法与应用

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

煤炭科学技术 2025年

作者：张村贾胜华埜宋启中国矿业大学(北京)能源与矿业学院矿业大学(北京)内蒙古研究院北京龙软科技股份有限公司

矿山三维地质建模通过直观呈现地下地质结构，有助于提升矿业开发的精准性和效率，减少风险并优化资源利用。本文归纳了现有三维地质建模技术的原理和方法，总结了三维地质建模技术在矿业开发领域的应用现状，探讨了当前三维地质建模技... 详细信息

矿山三维地质建模通过直观呈现地下地质结构，有助于提升矿业开发的精准性和效率，减少风险并优化资源利用。本文归纳了现有三维地质建模技术的原理和方法，总结了三维地质建模技术在矿业开发领域的应用现状，探讨了当前三维地质建模技术面临的挑战与未来的发展趋势。三维地质建模是利用计算机三维图形技术将散布的勘探数据整合为反映地质构造及属性变化的数字化模型。这些模型可分为面模型、体模型和混合模型，同时根据用途和数据来源，又可细分为静态模型（构造模型、地层模型、属性模型）和动态模型。建模过程包括数据获取、处理和模型构建，涉及地质勘探数据、遥感数据和工程数据等多种数据来源，并通过多种插值方法弥补数据不足，国内外已经开发出多种建模软件。在矿山三维地质建模应用方面，三维建模的应用集中于矿产资源开发、采矿工程设计和矿山安全生产，通过建立准确的三维模型，提升对地下结构的认识，实现资源量计算的智能化与动态管理。三维通风模拟与可视化技术能够优化通风方案，节约成本，三维地质建模技术与自动化设备和传感技术结合，可以实现矿区实时监控、精确定位和动态调整。在矿山灾害监测中，三维地质建模技术能够进行矿山灾害的分级评价，并结合数值仿真为矿山灾害的预防和风险规避提供有效支持，保障工作人员的安全。当前三维地质建模技术存在数据处理效率低、自动化程度不足等问题，未来应结合人工智能，推动三维地质建模技术向智能化、自动化方向发展。

关键词：矿业开发三维地质建模资源预测开采设计灾害预警人工智能

多智能体协同研究进展综述:博弈和控制交叉视角

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

自动化学报 2025年

作者：秦家虎马麒超李曼张聪付维明刘轻尘郑卫新中国科学技术大学自动化系澳大利亚西悉尼大学计算机学院数据与数学科学系

多智能体协同应用广泛,并被列为新一代人工智能基础理论亟待突破的重要内容之一,对其开展研究具有鲜明的科学价值和工程意义.随着人工智能技术的进步,单一控制视角下的多智能体协同已无法满足执行大规模复杂任务的需求,融合博弈与控制... 详细信息

多智能体协同应用广泛,并被列为新一代人工智能基础理论亟待突破的重要内容之一,对其开展研究具有鲜明的科学价值和工程意义.随着人工智能技术的进步,单一控制视角下的多智能体协同已无法满足执行大规模复杂任务的需求,融合博弈与控制的多智能体协同应运而生.在这一框架下,多智能体协同具有更高的灵活性、适应性和扩展性,为多智能体系统的发展带来了更多可能性.本文首先从协同角度入手,回顾了多智能体协同控制与估计领域的进展.接着,围绕博弈与控制的融合,介绍了博弈框架的基本概念,重点讨论了在微分博弈下多智能体协同问题的建模与分析,并简要总结了如何应用强化学习算法求解博弈均衡.文章选取多移动机器人导航和电动汽车充电调度这两个典型的多智能体协同场景,介绍了博弈与控制融合的思想如何用于解决相关领域的难点问题.最后,对博弈与控制融合框架下的多智能体协同进行了总结和展望.

关键词：多智能体系统协同控制博弈优化应用