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

软件学报 2018年第6期29卷 1527-1543页

作者：汤震浩李彬翟娟赵建华南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称... 详细信息

提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称为分割与拼接的技术来发现和描述递归数据结构是如何被程序修改的:递归数据结构首先被分割为若干个互不相交的片段,然后,这些片段以新的方式重新拼接在一起,形成一个新的数据结构.这个技术的重点在于如何将程序原有的性质保留下来,从而为后面的分析过程所使用.最后,提出了一种调用上下文敏感的程序摘要过程间分析方法.案例分析和实验结果表明:分析框架可以有效地分析递归数据结构的归纳性质,并生成对程序证明过程有用的断言.

关键词：霍尔式程序证明程序分析递归数据结构归纳性质过程间分析

来源：评论

学校读者我要写书评

暂无评论

基于循环神经网络的缺陷报告分派方法

引用

软件学报 2018年第8期29卷 2322-2335页

作者：席圣渠姚远徐锋吕建南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着开源软件项目规模的不断增大,人工为缺陷报告分派合适的开发人员(缺陷分派)变得越来越困难.而不合适的缺陷分派往往会严重影响缺陷修复的效率,为此,迫切需要一种缺陷分派辅助技术帮助项目管理者更好地完成缺陷分派任务.当前,大部分... 详细信息

随着开源软件项目规模的不断增大,人工为缺陷报告分派合适的开发人员(缺陷分派)变得越来越困难.而不合适的缺陷分派往往会严重影响缺陷修复的效率,为此,迫切需要一种缺陷分派辅助技术帮助项目管理者更好地完成缺陷分派任务.当前,大部分研究工作都基于缺陷报告文本以及相关元数据信息分析来刻画开发者的特征,忽略了对开发者活跃度的考虑,使得对具有相似特征的开发者进行缺陷报告分派预测时表现较差.提出一个基于循环神经网络的深度学习模型DeepTriage,一方面,利用双向循环网络加池化方法提取缺陷报告的文本特征;另一方面,利用单向循环网络提取特定时刻的开发者活跃度特征,并融合两者,利用已修复的缺陷报告进行监督学习.在Eclipse等4个不同的开源项目数据集上的实验结果表明,DeepTriage较之同类工作在缺陷分派预测准确率上有显著提升.

关键词：缺陷分派循环神经网络深度学习

来源：评论

学校读者我要写书评

暂无评论

移动边缘环境下面向工作流管理的计算迁移方法

引用

计算机应用 2019年第5期39卷 1523-1527页

作者：伏舒存付章杰邢国稳刘庆祥许小龙南京信息工程大学计算机与软件学院南京210044 南京信息工程大学江苏省网络监控中心南京210044 南京大学计算机软件新技术国家重点实验室南京210023

针对移动边缘环境下移动设备大量的能源消耗问题,为了优化移动设备的能源消耗,提出一种能耗感知的工作流计算迁移(EOW)方法。首先,基于排队论分析边缘设备中计算任务的平均等待时间,建立了移动设备的时间模型和能耗模型;然后,基于非支... 详细信息

针对移动边缘环境下移动设备大量的能源消耗问题,为了优化移动设备的能源消耗,提出一种能耗感知的工作流计算迁移(EOW)方法。首先,基于排队论分析边缘设备中计算任务的平均等待时间,建立了移动设备的时间模型和能耗模型;然后,基于非支配排序算法(NSGA-Ⅲ)提出对应的计算迁移方法,对工作流的计算任务进行合理的分配,将一部分计算任务留在移动设备处理,或者迁移到边缘计算平台和远程云端,实现每个移动设备的节能目标;最后,通过CloudSim仿真平台对提出的计算迁移方法进行仿真和对比实验。实验结果表明,EOW方法能够明显地减少每个移动设备的能源消耗,同时满足每一个工作流的截止时间的要求。

关键词：能源消耗计算迁移边缘计算工作流截止时间

来源：评论

学校读者我要写书评

暂无评论

因果信息在不同粒度上的迁移性

引用

计算机科学 2019年第2期46卷 178-186页

作者：姚宁苗夺谦张志飞同济大学计算机科学与技术系上海201804 同济大学嵌入式系统和服务计算教育部重点实验室上海201804 南京大学计算机软件新技术国家重点实验室南京210023

知识与粒度相关,在不同粒度上对现象的解释不同,而因果性描述的是现象的本质特征。因果性与粒度之间存在着怎样的关联,一个粒度上的因果关系是否可移植到其他不同粒度上,是目前人工智能研究亟待解决的问题。针对由观测数据构成的信息系... 详细信息

知识与粒度相关,在不同粒度上对现象的解释不同,而因果性描述的是现象的本质特征。因果性与粒度之间存在着怎样的关联,一个粒度上的因果关系是否可移植到其他不同粒度上,是目前人工智能研究亟待解决的问题。针对由观测数据构成的信息系统,从数据中直接抽取因果变量所需满足的基本图形结构,估算变量间的因果关系;再通过向系统中添加新属性以及合并多个信息系统,改变原系统中信息的粒度,研究所识别的因果关系在新系统中的可迁移性。若新属性作用于结果变量,则原系统中的因果关系不可迁移至新系统;若新属性对结果变量无影响,则原系统中的因果关系可移植至新系统。

关键词：因果关系可迁移性粗糙集粒度干预因果图

来源：评论

学校读者我要写书评

暂无评论

移动群智感知中基于深度强化学习的位置隐私保护策略

引用

小型微型计算机系统 2019年第2期40卷 287-293页

作者：胡煜家白光伟沈航顾一鸣南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003

群智感知服务的广泛应用带来了个人隐私的泄漏,然而现存的隐私保护策略不能适应群智感知环境.针对相关缺陷,提出了一种移动群智感知中基于深度强化学习的隐私保护策略.该策略通过泛化任务,使得攻击者无法分辨用户具体完成了哪一个任务,... 详细信息

群智感知服务的广泛应用带来了个人隐私的泄漏,然而现存的隐私保护策略不能适应群智感知环境.针对相关缺陷,提出了一种移动群智感知中基于深度强化学习的隐私保护策略.该策略通过泛化任务,使得攻击者无法分辨用户具体完成了哪一个任务,切断了用户和任务之间的关联,保护了用户的位置隐私.当混淆任务数量不足以达到用户的隐私保护需求时,使用抑制法放弃该任务.该策略使用深度强化学习的方法不断尝试不同的混淆任务组合,训练一个可以输出最低抑制率的混淆任务选择方案的深度Q网络.实验结果表明,上述策略在不破坏感知任务有效性的前提下,以较低的抑制率保护了用户的位置隐私.

关键词：群智感知位置隐私马尔科夫决策过程深度Q网络

来源：评论

学校读者我要写书评

暂无评论

基于预先缓存的连续查询隐私保护机制

引用

计算机科学 2019年第5期46卷 122-128页

作者：顾一鸣白光伟沈航胡煜家南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003

位置数据带来了巨大的经济效益,但位置隐私泄露的问题也随之而来。针对连续R-range查询中遭到的最大移动边界(Maximum Movement Boundary,MMB)攻击问题,提出一种基于预先缓存的隐私保护机制。首先,提出伪随机泛化方法,以在保证位置隐私... 详细信息

位置数据带来了巨大的经济效益,但位置隐私泄露的问题也随之而来。针对连续R-range查询中遭到的最大移动边界(Maximum Movement Boundary,MMB)攻击问题,提出一种基于预先缓存的隐私保护机制。首先,提出伪随机泛化方法,以在保证位置隐私的基础上控制快照查询的泛化区域;接着,在该泛化查询区域内预测即将到达的路口,利用路口位置计算并预先缓存下一泛化查询区域。预先缓存的方法降低了连续查询间的时间关联,并提高了隐私保护水平。性能分析和实验结果表明,所提隐私保护机制能有效地减少最大移动边界攻击带来的隐私泄露问题。

关键词：连续查询边缘计算最大移动边界攻击隐私保护

来源：评论

学校读者我要写书评

暂无评论

链路相关性感知的无线传感器网络多播路由协议

引用

小型微型计算机系统 2019年第4期40卷 776-781页

作者：姚磊沈航白光伟徐佳佳南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003

近年来的研究表明无线链路之间具有明显的相关性.然而,现有无线传感器网络路由大多在链路独立的假设上进行研究.针对该问题,提出一种链路相关性感知的无线传感器网络多播路由.该协议中,发送节点选择下一跳节点时,同时考虑位置信息和链... 详细信息

近年来的研究表明无线链路之间具有明显的相关性.然而,现有无线传感器网络路由大多在链路独立的假设上进行研究.针对该问题,提出一种链路相关性感知的无线传感器网络多播路由.该协议中,发送节点选择下一跳节点时,同时考虑位置信息和链路相关性,以减少发送节点传输次数.转发节点使用机会路由进行数据传输,倾向于选择反相关链路对的接收节点作为候选集,提高候选节点集接收并转发数据包的概率.多播节点倾向于选择正相关链路对进行数据传输,由此减少节点重传次数和能耗.实验结果表明,该路由协议有效减少了参与转发的节点数量,延长了无线传感器网络的生命周期.

关键词：无线传感器网络链路相关性多播路由

来源：评论

学校读者我要写书评

暂无评论

基于双向拍卖的k-匿名激励机制

引用

计算机科学 2019年第3期46卷 202-208页

作者：童海白光伟沈航南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学通信与网络技术国家工程研究中心南京210003

在基于位置的服务(LBS)中,k-匿名是重要的位置隐私保护技术之一。k-匿名要求至少k名用户参与匿名集的构建,使得集合中任何用户都不能从其他k-1名用户中区分开来。然而,很多参与者希望得到回报或顾忌个人隐私泄漏,导致匿名集人数不足。... 详细信息

在基于位置的服务(LBS)中,k-匿名是重要的位置隐私保护技术之一。k-匿名要求至少k名用户参与匿名集的构建,使得集合中任何用户都不能从其他k-1名用户中区分开来。然而,很多参与者希望得到回报或顾忌个人隐私泄漏,导致匿名集人数不足。为了提高用户参与匿名集构建的积极性,提出了一种基于双向拍卖的k-匿名激励机制(Double-Acution-based Incentive,DAI),以保证交易公平的同时最大化买卖双方的效用。首先,利用多阶段采样来筛选候选用户集;然后,根据预算平衡性选择获胜用户集和合理的报酬;最后,从个体理性、计算效率、预算平衡和真诚可信等方面,通过理论证明了机制的合理性。仿真结果表明,DAI能够抑制用户恶意竞价情况的发生,同时提高买方的满意度和效用。

关键词：位置隐私 k-匿名激励机制双向拍卖

来源：评论

学校读者我要写书评

暂无评论

面向动态加载的Android恶意行为动静态检测方法

引用

计算机应用与软件 2019年第12期36卷 285-291,308页

作者：郑晓梅杨宇飞程硕潘正东南京中医药大学信息技术学院江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210023

动态加载是Android提出的一种新的执行体分类的运行时加载机制,能够有效提高动态行为配置能力。但由于动态加载部分的程序不包含在APK中,因此静态分析技术无法对动态加载点的恶意行为形成有效检测,而动态分析技术则难以覆盖到所有执行路... 详细信息

动态加载是Android提出的一种新的执行体分类的运行时加载机制,能够有效提高动态行为配置能力。但由于动态加载部分的程序不包含在APK中,因此静态分析技术无法对动态加载点的恶意行为形成有效检测,而动态分析技术则难以覆盖到所有执行路径,也无法形成充分的检测。针对该问题,提出一种动静态结合的检测方法。先对宿主APK进行静态分析提取Call-Graph,以获得动态加载点的执行路径,再通过路径制导的动态执行获取动态加载的程序,从而形成完整的分析。通过实例研究验证了该方法的有效性。

关键词：动态加载 Android应用恶意行为检测

来源：评论

学校读者我要写书评

暂无评论

分布式低秩张量子空间聚类算法

引用

华南理工大学学报（自然科学版） 2019年第8期47卷 77-83,95页

作者：刘小兰潘凎易淼李植鹏华南理工大学数学学院广东广州510640 南京大学计算机软件新技术国家重点实验室江苏南京210023 宜春学院物理科学与工程技术学院江西宜春336000 华南理工大学计算机科学与工程学院广东广州510006

现有基于低秩表示的子空间聚类算法(LRR)无法有效地处理大规模数据,聚类正确率不高,以及分布式低秩子空间聚类算法(DFC-LRR)不能直接处理高维数据.为此,文中提出了一种基于张量和分布式方法的子空间聚类算法.该算法首先将高维数据视为张... 详细信息

现有基于低秩表示的子空间聚类算法(LRR)无法有效地处理大规模数据,聚类正确率不高,以及分布式低秩子空间聚类算法(DFC-LRR)不能直接处理高维数据.为此,文中提出了一种基于张量和分布式方法的子空间聚类算法.该算法首先将高维数据视为张量,在数据的自表示中引入张量乘法,从而将LRR子空间聚类算法拓展到高维数据;然后采用分布式并行计算得到低秩表示的系数张量,并对系数张量的每个侧面切片稀疏化,得到稀疏相似度矩阵.在公开数据集Extended YaleB、COIL20和UCSD上与DFC-LRR的对比实验结果表明,文中算法能有效地提高聚类正确率,且分布式计算能明显降低算法的运行时间.

关键词：低秩表示子空间聚类分布式计算张量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：