检索结果-内蒙古大学图书馆

软件学报 2022年第5期33卷 1736-1757页

作者：唐泽李传艺葛季栋骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

近年来,随着软件技术在各行各业、不同领域的应用不断扩展与深入,同时伴随着软件架构、服务计算等技术的不断发展,软件行业涌现出了功能丰富且规模庞大的第三方API或库,软件开发者在实现软件功能的时候也越来越依赖这些API.但学习这些AP... 详细信息

近年来,随着软件技术在各行各业、不同领域的应用不断扩展与深入,同时伴随着软件架构、服务计算等技术的不断发展,软件行业涌现出了功能丰富且规模庞大的第三方API或库,软件开发者在实现软件功能的时候也越来越依赖这些API.但学习这些API的使用是非常困难且耗时的,主要有两方面的原因:1)相关文档的缺失和错误;2)相关API用法的示例代码较少.因此,研究自动的API补全方法以帮助开发人员在开发过程中正确且快速的使用API,具有很大的应用价值.然而,现有API自动补全方案多数将待补全代码段看作纯文本,忽略了API所属对象类型对预测API的影响.为此,探究了对象类型对补全API的作用,并且在对象状态图的启发下,设计了一种使用API所属对象的类型作为特征的补全方法.具体而言,首先从API调用序列中先抽取同一对象类型的子序列,利用深度学习模型编码出每个对象的状态,再利用对象状态生成整个方法块的状态表示进行补全.为了验证提出的补全方法,在6个流行Java项目上进行了验证.实验结果证明,提出的考虑对象类型的API补全方法在预测准确率上明显高于基线模型.

关键词： API补全对象类型插件

来源：评论

学校读者我要写书评

暂无评论

基于局部存储策略的声波全波形反演方法

引用

地球物理学报 2024年第6期67卷 2388-2401页

作者：杨瀚张明坤孙鹏远李红辉陈汉明周辉油气资源与工程全国重点实验室 CNPC物探重点实验室中国石油大学(北京)北京102249 油气勘探计算机软件国家工程研究中心西城区新康街5号东方地球物理公司北京100088

全波形反演作为一种高精度地下速度模型建模方法,自提出以来就受到了地震勘探领域的广泛关注.然而在时间域全波形反演中梯度计算需要存储或恢复震源波场,这会导致存储大量数据或额外的震源波场重构计算,使得全波形反演的实用化受到波场... 详细信息

全波形反演作为一种高精度地下速度模型建模方法,自提出以来就受到了地震勘探领域的广泛关注.然而在时间域全波形反演中梯度计算需要存储或恢复震源波场,这会导致存储大量数据或额外的震源波场重构计算,使得全波形反演的实用化受到波场重构的制约.为此,本文提出了一种基于局部存储策略的声波全波形反演方法.依据奈奎斯特采样定理设置存储间隔,通过存储每个空间网格点有限时间区间内的有效波场来计算梯度,达到减少存储震源波场数据量、避免波场重构进而提升效率的目的.与其他方法相比,本方法无需波场重构且所需内存大小与正演模拟的差分精度和记录时长均无关.二维和三维推覆体模型合成数据的反演测试均表明:本方法能够在不重构波场的情况下保证反演结果的精度和信噪比,有效提高计算效率并显著降低对计算机内存的需求.

关键词：局部存储策略全波形反演速度模型建模奈奎斯特采样提高计算效率

来源：评论

学校读者我要写书评

暂无评论

智能合约安全漏洞检测研究进展

引用

软件学报 2024年第5期35卷 2235-2267页

作者：崔展齐杨慧文陈翔王林章北京信息科技大学计算机学院北京100101 南通大学信息科学技术学院江苏南通226019 计算机软件新技术全国重点实验室(南京大学) 江苏南京210023

智能合约是运行在区块链合约层的计算机程序,能够管理区块链上的加密数字货币和数据,实现多样化的业务逻辑,扩展了区块链的应用.由于智能合约中通常涉及大量资产,吸引了大量攻击者试图利用其中的安全漏洞获得经济利益.近年来,随着多起... 详细信息

智能合约是运行在区块链合约层的计算机程序,能够管理区块链上的加密数字货币和数据,实现多样化的业务逻辑,扩展了区块链的应用.由于智能合约中通常涉及大量资产,吸引了大量攻击者试图利用其中的安全漏洞获得经济利益.近年来,随着多起智能合约安全事件的发生(例如TheDAO、Parity安全事件等),针对智能合约的安全漏洞检测技术成为国内外研究热点.提出智能合约安全漏洞检测的研究框架,分别从漏洞发现与识别、漏洞分析与检测、数据集与评价指标这3个方面分析现有检测方法研究进展.首先,梳理安全漏洞信息收集的基本流程,将已知漏洞根据基础特征归纳为13种漏洞类型并提出智能合约安全漏洞分类框架;然后,按照符号执行、模糊测试、机器学习、形式化验证和静态分析5类检测技术对现有研究进行分析,并讨论各类技术的优势及局限性;第三,整理常用的数据集和评价指标;最后,对智能合约安全漏洞检测的未来研究方向提出展望.

关键词：区块链智能合约安全漏洞漏洞检测

来源：评论

学校读者我要写书评

暂无评论

基于通信的多智能体强化学习进展综述

引用

中国科学：信息科学 2022年第5期52卷 742-764页

作者：王涵俞扬姜远南京大学计算机软件新技术国家重点实验室

强化学习(reinforcement learning,RL)技术经历了数十年的发展,已经被成功地应用于连续决策的环境中.如今强化学习技术受到越来越多的关注,甚至被冠以最接近通用人工智能的方法之一.但是,客观环境中往往不仅包含一个决策智能体.因此,我... 详细信息

强化学习(reinforcement learning,RL)技术经历了数十年的发展,已经被成功地应用于连续决策的环境中.如今强化学习技术受到越来越多的关注,甚至被冠以最接近通用人工智能的方法之一.但是,客观环境中往往不仅包含一个决策智能体.因此,我们更倾向于以多智能体强化学习(multi-agent reinforcement learning,MARL)为技术手段,应对现实的复杂系统.近十年来,多智能体系统(multi-agent system,MAS)和强化学习的结合日渐紧密,逐渐形成并丰富了多智能体强化学习这个研究方向.回顾MARL的相关工作,我们发现研究者们大致从学习框架的讨论、联合动作学习,以及基于通信的MARL这3个角度解决MARL的问题.而本文重点调研基于通信的MARL的工作.首先介绍选取基于通信的MARL进行讨论的原因,然后列举出不同性质的多智能体系统下的代表性工作.希望本文能够为MARL的研究者提供参考,进而提出能够解决实际问题的MAS方法.

关键词：强化学习多智能体系统部分可观测环境多智能体通信协同控制

来源：评论

学校读者我要写书评

暂无评论

基于多标签学习的代码评审意见质量评价

引用

软件学报 2024年第6期35卷 2775-2794页

作者：杨岚心张贺徐近伟张逸凡王梓宽周鑫李京悦荣国平南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 Department of Computer Science Norwegian University of Science and TechnologyTrondheim 7030Norway

代码评审是现代软件开发过程中被广泛应用的最佳实践之一,其对于软件质量保证和工程能力提升都具有重要意义.代码评审意见是代码评审最主要和最重要的产出之一,其不仅是评审者对代码变更的质量感知,而且是作者修复代码缺陷和提升质量的... 详细信息

代码评审是现代软件开发过程中被广泛应用的最佳实践之一,其对于软件质量保证和工程能力提升都具有重要意义.代码评审意见是代码评审最主要和最重要的产出之一,其不仅是评审者对代码变更的质量感知,而且是作者修复代码缺陷和提升质量的重要参考.目前,全球各大软件组织都相继制定了代码评审指南,但仍缺少针对代码评审意见质量的有效的评价方式和方法.为了实现可解释的、自动化的评价,开展文献综述、案例分析等若干实证研究,并在此基础上提出一种基于多标签学习的代码评审意见质量评价方法.实验使用某大型软件企业的34个商业项目的共计17000条评审意见作为数据集.结果表明所提出的方法能够有效地评价代码评审意见质量属性和质量等级.除此以外,还提供若干建模经验,如评审意见标注和校验等,旨在帮助那些受代码评审困扰的软件组织更好地实施所提出的方法.

关键词：软件质量保证代码评审代码评审意见质量评价多标签学习实证软件工程

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的程序合成研究进展

引用

计算机学报 2024年第11期47卷 2594-2628页

作者：苟倩文董云卫李泳民西北工业大学计算机学院西安710072 西北工业大学软件学院西安710072 北京大学计算机学院高可信软件技术教育部重点实验室北京100871

随着软件工程实践的不断深入、开源社区的蓬勃发展,基于深度学习的程序合成引起了学术界和工业界的广泛关注.基于深度学习的程序合成,即程序智能合成,旨在利用深度学习技术自动生成满足用户意图的程序.相较于传统合成方法在扩展性和实... 详细信息

随着软件工程实践的不断深入、开源社区的蓬勃发展,基于深度学习的程序合成引起了学术界和工业界的广泛关注.基于深度学习的程序合成,即程序智能合成,旨在利用深度学习技术自动生成满足用户意图的程序.相较于传统合成方法在扩展性和实用性方面的局限性,程序智能合成凭借其易扩展、可学习迭代等特性,已迅速崭露头角,成为软件工程领域的研究热点之一.最近,研究学者们在程序智能合成方面取得了显著进展,如GPT-4在LeetCode网站上的表现已经可以与人类相媲美.同时,工业界也推出了多款AI编程助手,如Copilot、Comate等,旨在解决软件开发的产能瓶颈.本文从多个角度出发,包括用户意图理解、程序理解、模型训练、模型测试与评估,归纳梳理了程序智能合成的研究进展,综述了该领域近几年的研究成果.此外,本文还对可能面临的挑战进行了探讨,并展望了未来的发展趋势.本文的研究有助于研究学者们全面了解程序智能合成领域的最新研究进展,同时也有助于软件开发人员快速掌握程序智能合成的技术方案和思路,以满足工业实践的需要.

关键词：智能软件工程深度学习程序合成程序理解用户意图理解

来源：评论

学校读者我要写书评

暂无评论

以图搜图:基于显著性注意力的美容产品检索网络

引用

计算机辅助设计与图形学学报 2023年第3期35卷 383-391页

作者：孙乾魏明强燕雪峰郭延文南京航空航天大学计算机科学与技术学院南京210016 模式分析与机器智能工业和信息化部重点实验室南京210016 南京大学计算机软件新技术国家重点实验室南京210023

在基于深度学习的美容产品检索任务中,图片背景、拍摄角度和产品摆放姿态均是产品图片上潜在的干扰信息;同时,检索数据库中众多相似产品会互相干扰.针对这些问题,将显著性注意力机制融入损失函数、随即丢弃模块和相似项计算中,分别设计... 详细信息

在基于深度学习的美容产品检索任务中,图片背景、拍摄角度和产品摆放姿态均是产品图片上潜在的干扰信息;同时,检索数据库中众多相似产品会互相干扰.针对这些问题,将显著性注意力机制融入损失函数、随即丢弃模块和相似项计算中,分别设计了显著性损失函数、显著性随即丢弃模块和显著相似性方法,有效地抑制了用户待检索图片与检索数据库图片中的干扰信息;然后,采用有效的特征提取器抵抗图片相似项的干扰;最后综合上述4个模块,提出基于显著性注意力的美容产品检索网络SA-Net.经过Pro-10k数据集训练,在Per-500k数据集上进行消融学习和对比实验的结果表明,SA-Net提升了美容产品检索的准确度,比已公开的最好同类算法AMAC提高3%.

关键词：以图搜图美容产品检索显著性注意力

来源：评论

学校读者我要写书评

暂无评论

贝叶斯程序分析

引用

电子学报 2024年第4期52卷 1155-1172页

作者：张昕王冠成吴宜谦陈逸凡李天驰张羿凡熊英飞高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871

程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,... 详细信息

程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向.

关键词：程序分析逻辑编程概率逻辑编程贝叶斯网络贝叶斯推断

来源：评论

学校读者我要写书评

暂无评论

基于动态样本选择的概念漂移自适应预测方法

引用

电子学报 2024年第9期52卷 3228-3239页

作者：代劲李昊王国胤重庆邮电大学软件学院重庆400065 重庆邮电大学计算机学院重庆400065 计算智能重庆市重点实验室重庆400065

概念漂移是影响流数据挖掘性能的重要因素,当前主要通过增量更新或重训练模型进行处理,但对已有知识并未充分利用.从综合利用全体样本出发,本文构建了一种基于动态样本选择的概念漂移自适应分类方法.该方法在新样本到来时进行基于局部... 详细信息

概念漂移是影响流数据挖掘性能的重要因素,当前主要通过增量更新或重训练模型进行处理,但对已有知识并未充分利用.从综合利用全体样本出发,本文构建了一种基于动态样本选择的概念漂移自适应分类方法.该方法在新样本到来时进行基于局部一致性的漂移检测,在发现漂移发生时去除区域内的噪声样本,当检测到新概念出现时,对历史相似概念进行重用.最后,对区域内不同类别样本进行多代表点归纳,并同步更新预测模型.本文在含有不同漂移类型的合成数据集上进行去噪效果验证,并在真实数据集上进行预测任务.实验结果表明,该方法可以有效去除因概念漂移而形成的漂移噪声,有效提升了预测模型性能,整体预测表现优于流行的概念漂移自适应模型.

关键词：概念漂移局部漂移检测流数据样本选择样本去噪自适应预测

来源：评论

学校读者我要写书评

暂无评论

负面评论引导的高维多元数据可视分析系统

引用

计算机辅助设计与图形学学报 2024年第6期36卷 937-947页

作者：吕梦雅王晓龙李凯旋孙梦梦周莉莎郭栋梁赵静燕山大学信息科学与工程学院秦皇岛066004 河北省计算机虚拟技术与系统集成重点实验室秦皇岛066004 河北省软件工程重点实验室秦皇岛066004

随着互联网平台以及多用户社交网络的成熟,群体用户消费体验的参考价值日趋扩大,在海量评论数据中,负面评论对企业和消费者的参考价值更为突出,有效的面向负面评论的可视分析是有必要的.针对评论数据高维多元的特征,为了给企业和消费者... 详细信息

随着互联网平台以及多用户社交网络的成熟,群体用户消费体验的参考价值日趋扩大,在海量评论数据中,负面评论对企业和消费者的参考价值更为突出,有效的面向负面评论的可视分析是有必要的.针对评论数据高维多元的特征,为了给企业和消费者提供全新的评论分析视角,以负面评论为切入点,给出负面评论的划定范围,提出了一个交互式的可视分析系统.首先,利用情感分析和意见挖掘方法处理用户评论数据,并提出评论个体影响力差异量化方法;其次设计了主题情感波纹图、评论比较视图等一系列交互式可视化表示方法,利用动态交互式方法构建多维度关联视图探索影响负面评论产生的因素,负面评论产生的原因及其个体化差异.3个案例的结果表明,所提系统是有效和实用的;同时,该系统还可扩展应用于其他领域的评论文本可视分析中.

关键词：负面评论情感分析意见挖掘可视分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：