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

计算机科学与探索 2023年第3期17卷 667-677页

作者：林锴陶传奇黄志球南京航空航天大学计算机科学与技术学院南京211106 南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室南京211106 南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210093

为了保证软件的健壮性以及系统的可靠性,异常处理被广泛应用于软件开发过程中。开发者们希望选择合适的异常处理代码以防止出现程序崩溃或者内存泄漏等问题。然而开发者,尤其是新手,由于缺乏经验很难编写出正确或规范的异常处理代码。... 详细信息

为了保证软件的健壮性以及系统的可靠性,异常处理被广泛应用于软件开发过程中。开发者们希望选择合适的异常处理代码以防止出现程序崩溃或者内存泄漏等问题。然而开发者,尤其是新手,由于缺乏经验很难编写出正确或规范的异常处理代码。为了协助开发者编写正确的异常处理代码,提出了面向异常处理的代码智能化推荐方法,即DeepEHCR。该方法通过构建API调用树来表示异常发生位置的上下文信息,然后根据上下文信息,利用自注意力网络推荐相应的异常处理策略。针对处理异常这一具体策略,利用Transformer模型进一步推荐处理异常相关的API序列。实验表明DeepEHCR在异常处理策略推荐和API序列推荐上都有较高的性能。在异常处理策略推荐方面,Accuracy、Precision、Recall以及F1-score的值分别达到了89.78%、89.98%、89.34%以及89.59%。在API序列推荐方面,Hit@1/3/5的值分别达到了57.83%、69.73%、74.79%。除此之外,DeepEHCR在修复真实的异常漏洞方面也优于现有研究工作。

关键词：异常处理代码推荐自注意力网络上下文代码

来源：评论

学校读者我要写书评

暂无评论

面向不同软件制品的需求追踪方法研究综述

引用

计算机学报 2022年第11期45卷 2393-2419页

作者：陶传奇张萌郭虹静黄志球南京航空航天大学计算机科学与技术学院南京211106 南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室南京211106 南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业协同创新中心南京210093

近年来,随着软件规模和复杂度的不断提升,软件系统在开发过程中产生了大量的需求文档、设计图、代码类、测试文档等中间产物,即软件制品,这些软件制品中蕴含着海量的数据信息.需求工程影响软件开发的整个生命周期,当软件需求不断变更时... 详细信息

近年来,随着软件规模和复杂度的不断提升,软件系统在开发过程中产生了大量的需求文档、设计图、代码类、测试文档等中间产物,即软件制品,这些软件制品中蕴含着海量的数据信息.需求工程影响软件开发的整个生命周期,当软件需求不断变更时,软件制品呈现碎片分散化的形态,缺乏全局、统一的组织整理,软件制品间缺乏关联.因此,建立需求追踪关系可以显著提高软件开发与维护效率,这已经成为软件工程领域的研究热点.当前综述工作主要集中在需求追踪关系构建方法的描述,缺乏对软件生命周期过程中需求与不同软件制品间追踪关系建立的分析,导致了需求追踪关系类型的单一性.针对该问题,本文采用系统性文献综述的方法,以需求追踪研究为核心,选取近10年来的135篇研究文献,从软件生命周期与制品类型角度,分析需求与不同软件制品间追踪关系的构建方法、应用现状与发展趋势,并将需求追踪技术在真实软件开发项目中进行应用,提高智能化软件开发效率.首先,依据软件全生命周期的各个阶段,本文对软件制品按文本内容分为文档级软件制品、代码级软件制品以及产品级软件制品,重点分析需求与文档级软件制品、需求与代码、需求与非特定软件制品间追踪关系建立技术的研究进展及研究效果;其次,总结相关文献中的实验数据集、工具研发情况以及需求追踪技术的应用场景;接着,通过智能化软件开发项目中真实的案例分析,讨论了需求追踪技术在提高软件开发效率方面的有效性.最后,本文对未来值得关注的研究方向进行展望,包括追踪链接类型、追踪方法以及自动化工具,便于研究人员进一步研究.

关键词：需求追踪技术软件制品信息检索机器学习智能化软件开发

来源：评论

学校读者我要写书评

暂无评论

多天线无线充电器的安全布置研究

引用

计算机科学 2024年第8期51卷 345-353页

作者：任美璇邓鹏赵悦汪笑宇王超戴海鹏吴黎兵武汉大学国家网络安全学院武汉430072 计算机软件新技术国家重点实验室(南京大学) 南京210023 苏州大学计算机科学与技术学院江苏苏州215006 郑州大学网络空间安全学院郑州450001

多天线无线充电器的安全布置问题(SPINNER)涉及给定一组无线可充电设备和一组无线充电器,每个充电器都配备了多根有向天线,需确定其功率水平和策略(包括充电器的位置和天线方向),以最大化整体充电效用,并确保目标区域内任意位置均满足... 详细信息

多天线无线充电器的安全布置问题(SPINNER)涉及给定一组无线可充电设备和一组无线充电器,每个充电器都配备了多根有向天线,需确定其功率水平和策略(包括充电器的位置和天线方向),以最大化整体充电效用,并确保目标区域内任意位置均满足电磁辐射安全约束。文中考虑了两种场景,分别是具有给定位置集的多天线无线充电器的安全布置(SPINNER-G)和具有任意点的多天线无线充电器的安全布置(SPINNER-A)。首先,采用分段常数函数近似非线性充电功率函数,并将二维区域划分为有限数量的子区域,使得无限的电磁辐射安全约束减少为有限个。然后,针对SPINNER-G,提出了一种最大覆盖集提取方法,以限制无线充电器的方向。针对SPINNER-A,构造了最大相交情况,以限制充电器的位置和方向。文中提出了两种基于线性规划的贪心方案,分别求解SPINNER-G和SPINNER-A,近似比均为1/2-ε。仿真结果表明,所提算法在充电效用方面相比3种对比算法至少提高了54.2%。

关键词：多天线无线充电器有向充电安全布置充电调度近似算法

来源：评论

学校读者我要写书评

暂无评论

一种基于广义异步值迭代的规划网络模型

引用

软件学报 2021年第11期32卷 3496-3511页

作者：陈子璇章宗长潘致远张琳婧计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 苏州大学计算机科学与技术学院江苏苏州215006

近年来,如何生成具有泛化能力的策略已成为深度强化学习领域的热点问题之一,并涌现出了许多相关的研究成果,其中的一个代表性工作为广义值迭代网络.广义值迭代网络是一种可作用于非规则图形的规划网络模型.它利用一种特殊的图形卷积算... 详细信息

近年来,如何生成具有泛化能力的策略已成为深度强化学习领域的热点问题之一,并涌现出了许多相关的研究成果,其中的一个代表性工作为广义值迭代网络.广义值迭代网络是一种可作用于非规则图形的规划网络模型.它利用一种特殊的图形卷积算子来近似地表示状态转移矩阵,使得其在学习到非规则图形的结构信息后,可通过值迭代过程进行规划,从而在具有非规则图形结构的任务中产生具有泛化能力的策略.然而,由于没有考虑根据状态重要性来合理分配规划时间,广义值迭代网络中的每一轮迭代都需要在整个状态空间的所有状态上同步执行.当状态空间较大时,这样的同步更新会降低网络的规划性能.用异步更新的思想来进一步研究广义值迭代网络.通过在值迭代过程中定义状态优先级并执行异步值更新,提出了一种新型的异步规划网络模型——广义异步值迭代网络.在未知的非规则结构任务中,与广义值迭代网络相比,广义异步值迭代网络具有更高效且更有效的规划过程.进一步地,改进了广义值迭代网络中的强化学习算法及图形卷积算子,并通过在非规则图形和真实地图中的路径规划实验验证了改进方法的有效性.

关键词：深度学习强化学习模仿学习规划异步更新

来源：评论

学校读者我要写书评

暂无评论

面向概念漂移数据流的在线集成自适应算法

引用

南京大学学报（自然科学版） 2023年第1期59卷 134-144页

作者：崔瑞华綦小龙刘艳芳林玲伊犁师范大学网络安全与信息技术学院伊宁835000 龙岩学院数学与信息工程学院龙岩364012 计算机软件国家重点实验室南京大学计算机科学与技术系南京210023

概念漂移是流数据的主要特征之一,如何检测概念漂移的发生以及调整预测模型去适应概念漂移现象备受研究者的关注.目前有关概念漂移的大多数算法仅仅针对单一类型的概念漂移检测,并且需限制输入数据服从某一分布,所以在检测多种类型概念... 详细信息

概念漂移是流数据的主要特征之一,如何检测概念漂移的发生以及调整预测模型去适应概念漂移现象备受研究者的关注.目前有关概念漂移的大多数算法仅仅针对单一类型的概念漂移检测,并且需限制输入数据服从某一分布,所以在检测多种类型概念漂移时效果不理想.提出一种在线集成自适应算法(KSHPR),在自适应随机森林(Adaptive Random Forests,ARF)算法和流随机补丁(Streaming Random Patch,SRP)算法的基础上进行优化改进,采用非参数检验与滑动窗口相结合的策略进行概念漂移检测,降低窗口平均值对算法性能的影响,并以此为基础建立四个基学习者的集成学习模型,根据基学习者预测准确率,动态分配权值,有效解决流式数据中学习模型精度低的问题.实验证明,提出的算法在真实数据集和合成数据集中均表现优良,与其他算法相比,该算法的稳定性、分类准确性与多类型概念漂移适应能力均有所提升.

关键词：流数据概念漂移在线学习集成

来源：评论

学校读者我要写书评

暂无评论

基于代理双向竞拍的弹性云资源调度方案

引用

计算机应用与软件 2024年第3期41卷 87-93页

作者：何望林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室江苏南京210023

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩... 详细信息

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩罚金制度防范恶意竞拍交易的出现。每轮竞拍允许并发实现多项交易。仿真结果表明,该方案保证了竞拍成功率,并且与传统一次拍卖成交方案相比,其竞拍时间减少了0.32 s,同时能提高16%的用户收益与9%的资源提供商利益。

关键词：双向竞拍资源调度排队影响因子恶意竞拍

来源：评论

学校读者我要写书评

暂无评论

车联网边缘计算环境下基于流量预测的高效任务卸载策略研究

引用

电子学报 2024年

作者：许小龙杨威杨辰翊程勇齐连永项昊龙窦万春南京信息工程大学软件学院江苏省大气环境与装备技术协同创新中心江苏省先进计算与智能服务工程研究中心东南大学软件学院中国石油大学(华东)计算机科学与技术学院南京大学计算机软件新技术国家重点实验室

车联网（Internet of Vehicles,IoV）边缘计算通过将移动边缘计算和车联网相结合，实现了车辆计算任务从云服务器向边缘服务器的下沉，从而有效降低了车联网服务的响应时延.然而，车联网中不规则的交通流时空分布会导致边缘服务器计算... 详细信息

车联网（Internet of Vehicles,IoV）边缘计算通过将移动边缘计算和车联网相结合，实现了车辆计算任务从云服务器向边缘服务器的下沉，从而有效降低了车联网服务的响应时延.然而，车联网中不规则的交通流时空分布会导致边缘服务器计算负载不均衡，进而影响车联网服务的实时响应.为此，本文提出了一种车联网边缘计算环境下基于流量预测的高效任务卸载策略.具体而言，首先设计了能充分挖掘路段间连通性和距离信息的切比雪夫图加权网络（Chebyshev graph Weighted Network,ChebWN）进行交通流量预测.然后，设计了一种基于深度强化学习的二元任务卸载方法（DRL-based Binary task Offloading Algorithm,DBOA），该算法将二元任务卸载的决策过程分为两个阶段，即首先通过深度强化学习得到卸载策略，再通过一维双端查找算法确定最大化总计算速率的时间片分配方案，降低了决策过程的复杂度.最后，通过大量的对比实验验证了ChebWN在预测交通流量方面的准确性，以及DBOA在提升车联网服务响应速度方面的优越性.

关键词：移动边缘计算深度强化学习车联网图神经网络(GNN) 任务卸载

来源：评论

学校读者我要写书评

暂无评论

一种静态分析与知识图谱结合的Java冗余代码检测方法

引用

计算机科学 2023年第3期50卷 65-71页

作者：刘昕炜陶传奇南京航空航天大学计算机科学与技术学院南京210016 高安全系统的软件开发与验证技术工信部重点实验室南京210016 计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210016

冗余代码普遍存在于商业和开源软件中,它的存在可能会增加内存占用,影响代码可维护性,增加维护成本。快速类型分析算法是当前Java冗余代码检测中常用的静态分析方法,该算法在虚方法分析方面还存在一些不足。XTA是一种调用图构造算法,在... 详细信息

冗余代码普遍存在于商业和开源软件中,它的存在可能会增加内存占用,影响代码可维护性,增加维护成本。快速类型分析算法是当前Java冗余代码检测中常用的静态分析方法,该算法在虚方法分析方面还存在一些不足。XTA是一种调用图构造算法,在处理虚方法的调用方面具有较高的精度和效率。文中提出了一种基于XTA调用图构建算法的方法来检测Java代码中的冗余代码,在一个名为“RCD”(Redundant Code Detection)的工具原型中实现了这种方法,并通过构建知识图谱辅助人工审查,以提高人工审查的效率以及冗余代码检测的可信度。通过在4个开源Java应用程序上的实验对RCD与其他3个冗余代码检测工具进行了比较。实验结果表明,RCD在检测冗余代码的准确性方面相比其他工具提高了1%~30%,同时在检测冗余虚方法的完整性方面提升了4%左右。

关键词：冗余代码检测调用图构建静态分析知识图谱

来源：评论

学校读者我要写书评

暂无评论

物联网固件安全缺陷检测研究进展

引用

信息安全学报 2021年第3期6卷 141-158页

作者：张弛司徒凌云王林章计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系南京210023

固件是物联网设备的基础使能软件,其中存在的安全缺陷是物联网设备遭受攻击的根本原因之一。由于物联网设备资源受限,难以部署完善的安全防护机制,身处不安全的网络环境中,其固件缺陷一旦被恶意利用,轻则使设备宕机,重则威胁安全攸关领... 详细信息

固件是物联网设备的基础使能软件,其中存在的安全缺陷是物联网设备遭受攻击的根本原因之一。由于物联网设备资源受限,难以部署完善的安全防护机制,身处不安全的网络环境中,其固件缺陷一旦被恶意利用,轻则使设备宕机,重则威胁安全攸关领域基础设施,造成巨大的生命财产损失。因此,有效的固件安全缺陷检测已然成为保障物联网设备安全的关键,也成为学术界和工业界研究的热点。面对物联网设备数量的高速增长、固件自身规模和复杂性的不断攀升、固件类型的日益多样化、固件缺陷的持续增多,现有的物联网固件安全缺陷检测研究面临挑战。本文归纳了典型物联网固件实现缺陷类型,分析了典型缺陷产生机理,从静态分析、符号执行、模糊测试、程序验证、基于机器学习的方法等角度综述了现有固件缺陷检测方法。通过对不同方法优势与不足的分析,为进一步提升固件安全缺陷检测方法的智能化、精准化、自动化、有效性、可扩展性提供指导。在此基础上,本文展望了未来可以开展的研究工作。

关键词：物联网设备实时操作系统固件安全缺陷检测

来源：评论

学校读者我要写书评

暂无评论

面向智能网联汽车的车路协同感知技术及发展趋势

引用

自动化学报 2025年第2期51卷 233-248页

作者：张新钰卢毅果高鑫黄雨宁刘华平王云鹏李骏清华大学汽车安全与节能国家重点实验室北京100084 清华大学车辆与运载学院北京100084 新疆大学软件学院乌鲁木齐830000 中国矿业大学(北京)人工智能学院北京100083 清华大学计算机科学与技术系北京100084 北京航空航天大学交通科学与工程学院北京100083

随着感知技术的不断发展以及智能交通基础设施的完善,智能网联汽车应用在自动驾驶领域的地位逐渐提升.自动驾驶感知从单车智能向车路协同迈进,近年来涌现出一批新的协同感知技术与方法.本文旨在全面阐述面向智能网联汽车的车路协同感知... 详细信息

随着感知技术的不断发展以及智能交通基础设施的完善,智能网联汽车应用在自动驾驶领域的地位逐渐提升.自动驾驶感知从单车智能向车路协同迈进,近年来涌现出一批新的协同感知技术与方法.本文旨在全面阐述面向智能网联汽车的车路协同感知技术,并总结相关可利用数据及该方向的发展趋势.首先对智能网联汽车的协同感知策略进行划分,并总结了不同感知策略具备的优势与不足;其次,对智能网联汽车协同感知的关键技术进行阐述,包括车路协同感知过程中的感知技术与通信技术;然后对车路协同感知方法进行归纳,总结了近年来解决协同感知中感知融合(Perception fusion,PF)、感知信息选择与压缩(Perception selection and compression,SC)等问题的相关研究;最后对车路协同感知的大规模数据集进行整理,并对智能网联汽车协同感知的发展趋势进行分析.

关键词：智能网联汽车车路协同协同感知安全通信自动驾驶

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：