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

计算机科学 2019年第5期46卷 13-20页

作者：薄莉莉姜淑娟张艳梅王兴亚于巧中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210093 江苏师范大学计算机科学与技术学院江苏徐州221116

多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性... 详细信息

多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模型的并发缺陷检测、安卓等其他应用平台的并发缺陷检测和分布式系统非确定性并发缺陷研究等方面,对并发缺陷检测技术的未来研究进行了探讨。

关键词：并发程序并发缺陷缺陷检测软件测试

来源：评论

学校读者我要写书评

暂无评论

基于双向拍卖的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-匿名激励机制双向拍卖

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

跨项目软件缺陷预测方法研究综述

引用

计算机学报 2018年第1期41卷 254-274页

作者：陈翔王莉萍顾庆王赞倪超刘望舒王秋萍南通大学计算机科学与技术学院江苏南通226019 南京大学计算机软件新技术国家重点实验室南京210023 天津大学软件学院天津300350

软件缺陷预测首先通过挖掘与分析软件历史仓库,从中抽取程序模块并进行类型标记.随后通过分析软件代码的内在复杂度或开发过程特征,设计出与软件缺陷存在强相关性的度量元,并对这些程序模块进行度量.最后借助特定的机器学习方法基于上... 详细信息

软件缺陷预测首先通过挖掘与分析软件历史仓库,从中抽取程序模块并进行类型标记.随后通过分析软件代码的内在复杂度或开发过程特征,设计出与软件缺陷存在强相关性的度量元,并对这些程序模块进行度量.最后借助特定的机器学习方法基于上述数据构建出缺陷预测模型.因此该方法可以在项目开发的早期阶段,通过预先识别出项目内的可疑缺陷模块,达到优化测试资源分配的目的.但在实际软件开发场景中,需要进行缺陷预测的项目可能是一个新启动项目,或这个项目的历史训练数据比较稀缺.一种简单的解决方案是利用其他项目已经搜集的训练数据来构建缺陷预测模型.但不同项目之间因所处的应用领域、采用的开发流程、使用的编程语言、开发人员经验等并不相同,因此对应数据集间会存在较大的分布差异性并造成该方案的实际性能并不理想,因此如何通过有效迁移源项目的相关知识来为目标项目构建预测模型,吸引了国内外研究人员的关注,并将该问题称为跨项目软件缺陷预测问题.论文针对该问题进行了系统综述.根据预测场景的不同,将已有方法分为3类:基于有监督学习的方法、基于无监督学习的方法和基于半监督学习的方法.其中基于有监督学习的方法主要基于候选源项目集的程序模块来构建模型.这类方法根据源项目与目标项目采用的度量元是否相同又可以细分为同构跨项目缺陷预测方法和异构跨项目缺陷预测方法.针对前者,研究人员主要从度量元取值转换、实例选择和权重设置、特征映射和特征选择、集成学习、类不平衡学习等角度展开研究.而后者更具研究挑战性,研究人员主要基于特征映射和典型相关分析等方法展开研究.基于无监督学习的方法直接尝试对目标项目中的程序模块进行预测.这类方法假设在软件缺陷预测问题中,有缺陷模块的度量元取值存在高于无缺陷模块的度量元取值的倾向.因此研究人员主要基于聚类方法展开研究.而基于半监督学习的方法则会综合使用候选源项目集的程序模块和目标项目中的少量已标记模块来构建模型.这类方法通过尝试从目标项目中选出少量模块进行标记,以提高跨项目缺陷预测的性能.研究人员主要借助集成学习和TrAdaBoost方法展开研究.论文依次对每一类方法的已有研究成果进行了系统梳理和点评.随后论文进一步总结了跨项目缺陷预测研究中经常使用的性能评测指标和评测数据集,其统计结果可以辅助研究人员针对该问题进行合理的实验设计.最后总结全文,并分别从数据集搜集、数据集预处理、模型构建和评估、模型应用这4个维度对未来值得关注的研究方向进行了展望.

关键词：经验软件工程软件缺陷预测跨项目软件缺陷预测迁移学习实证研究

来源：评论

学校读者我要写书评

暂无评论

服务质量感知的云系统数据副本恢复算法

引用

计算机工程 2019年第9期45卷 17-22页

作者：徐超邓君华姜丽丽吉明涛李鑫国网江苏省电力有限公司电力科学研究院南京210008 江苏方天电力技术有限公司南京210036 南京大学计算机软件新技术国家重点实验室南京210023 南京航空航天大学计算机科学与技术学院南京211106

针对云数据中心环境下的数据副本丢失问题,提出2种服务质量感知的数据副本恢复算法。基于数据副本的分布情况,在考虑数据副本安全规则的前提下,对数据安全等级进行划分,给出分阶段数据副本恢复算法。在此基础上,依据数据冷热程度,建立... 详细信息

针对云数据中心环境下的数据副本丢失问题,提出2种服务质量感知的数据副本恢复算法。基于数据副本的分布情况,在考虑数据副本安全规则的前提下,对数据安全等级进行划分,给出分阶段数据副本恢复算法。在此基础上,依据数据冷热程度,建立数据副本稀有度模型,设计稀有度感知的分阶段数据副本恢复算法。实验结果表明,与直接数据副本恢复算法相比,所提出的算法可有效提高云数据中心的应用服务质量及数据安全保障能力。

关键词：数据中心数据管理服务质量副本分布副本恢复安全规则

来源：评论

学校读者我要写书评

暂无评论

基于URL语言特征的钓鱼网站检测算法

引用

计算机工程与应用 2019年第24期55卷 84-90页

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

为了应对钓鱼网站的检测逃避策略,提出一种基于URL语言特征的钓鱼网站检测算法。通过分析钓鱼网站和合法网站的URL在不同检测域上的差异,定义基元和敏感度来描述其语言特征。先根据基元对主级域名进行相似性检测,当相似性低于预先设定... 详细信息

为了应对钓鱼网站的检测逃避策略,提出一种基于URL语言特征的钓鱼网站检测算法。通过分析钓鱼网站和合法网站的URL在不同检测域上的差异,定义基元和敏感度来描述其语言特征。先根据基元对主级域名进行相似性检测,当相似性低于预先设定的阈值时,选取有效的子域名特征,利用随机森林算法对子域名的语言特征进行学习和检测。实验结果表明,该算法的准确率达95.6%,系统运行时间相对较小,平均识别时间小于1 s。

关键词：钓鱼网站统一资源定位符(URL) 语言特征基元敏感度

来源：评论

学校读者我要写书评

暂无评论

复杂内核数据结构的形式化描述和验证

引用

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

作者：马顶付明乔磊冯新宇中国科学技术大学计算机科学与技术学院合肥230027 华为上海研究所2012实验室-OS内核实验室上海201206 北京控制工程研究所北京100190 南京大学计算机软件新技术国家重点实验室南京210023

对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离... 详细信息

对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离的方法来形式化定义内核中的不规则数据结构,并运用该方法成功刻画了某航天操作系统内核的进程管理数据结构,最终成功验证了该内核中相关API的代码.相关的代码验证工作在定理证明工具Coq中完成.

关键词：内核数据结构形式化验证分离逻辑内核验证

来源：评论

学校读者我要写书评

暂无评论

基于边缘计算的视频监控框架

引用

计算机工程与设计 2019年第1期40卷 32-39页

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

为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视... 详细信息

为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视频流的目标识别,筛选出有效视频帧进行上传;在此基础上,设计边缘节点任务调度算法,提高视频流实时性和资源利用率。实验结果表明,该框架能够有效降低视频传输开销和视频分析处理开销。

关键词：边缘计算视频预处理视频监控目标识别帧过滤

来源：评论

学校读者我要写书评

暂无评论

知识工程课程实验教学改革探索

引用

计算机教育 2019年第4期 167-170页

作者：胡伟南京大学计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

针对当前知识工程课程中普遍存在实验教学偏少、内容陈旧等问题,分析国内外相关课程及教材现状,提出知识工程课程实验教学的改革思路,设计新的知识工程课程实验内容,说明在实际教学中的改革效果。

关键词：知识工程语义网知识图谱实验教学改革课程建设

来源：评论

学校读者我要写书评

暂无评论

基于改进随机森林算法的钓鱼网站检测方法研究

引用

微电子学与计算机 2019年第4期36卷 43-46,51页

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

为了更准确快捷的对钓鱼网站进行识别,提出了一种基于改进随机森林算法的钓鱼网站检测方法.该方法挖掘钓鱼网页特征之间潜在的关联规则,并对数据集进行分区,以此区分特征数据的重要程度并计算权重以及数据选取的比例,选取数据后对数据... 详细信息

为了更准确快捷的对钓鱼网站进行识别,提出了一种基于改进随机森林算法的钓鱼网站检测方法.该方法挖掘钓鱼网页特征之间潜在的关联规则,并对数据集进行分区,以此区分特征数据的重要程度并计算权重以及数据选取的比例,选取数据后对数据空间进行相应的集合化与剪辑以此优化森林的建立,并根据建立的森林达到对钓鱼网站检测识别的目的.最终实验说明,该方法对钓鱼网站的检测识别具有很好的效果和效率.

关键词：钓鱼检测关联规则特征分区数据空间

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：