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

计算机科学 2017年第4期44卷 12-15页

作者：董加星许畅南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序克隆检测被普遍应用于检测软件市场中是否有被恶意修改后重新发布的软件,或是应用于识别与重构克隆代码。但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景。功能类似程序之间的克隆... 详细信息

程序克隆检测被普遍应用于检测软件市场中是否有被恶意修改后重新发布的软件,或是应用于识别与重构克隆代码。但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景。功能类似程序之间的克隆检测比一般的克隆检测稍复杂,它是在一些具有相似框架代码、实现功能类似的程序中寻找克隆程序对。现有的克隆检测技术在检测功能类似的程序时很难控制误报率。文中提出了一种改进的克隆检测方法,即通过分析功能类似程序克隆检测的特点,从中获取有用的信息,最终改进克隆检测技术并将其应用于实践。实验结果表明,该克隆检测技术可以有效地进行克隆检测,结合功能类似程序克隆检测的特点可以很好地控制误报率。

关键词：程序分析克隆检测技术移植

来源：评论

学校读者我要写书评

暂无评论

面向AltaRica模型的嵌入式系统安全性验证方法

引用

计算机科学与探索 2017年第1期11卷 24-36页

作者：仵志鹏胡军陈松石娇洁南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键系统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式系统安全性验证方法,包括:使用... 详细信息

嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键系统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式系统安全性验证方法,包括:使用Alta Rica语言对嵌入式系统进行建模;给出Alta Rica模型到Promela模型的转换规则;对转换规则进行形式化证明,得到嵌入式系统的Promela模型;使用模型检验工具SPIN进行安全性验证。通过机轮刹车系统中的机轮刹车控制单元进行实例分析,验证了转换规则的正确性和有效性。

关键词：嵌入式系统安全性验证 AltaRica模型 Promela模型

来源：评论

学校读者我要写书评

暂无评论

基于相似性计算的高效存储型XSS客户端攻击识别模型

引用

南京邮电大学学报（自然科学版） 2017年第4期37卷 84-90页

作者：程宏兵宁一笑钱漫匀浙江工业大学计算机科学与技术学院(软件学院) 浙江杭州310023 南京大学软件新技术国家重点实验室江苏南京210093

针对存储型XSS攻击的主要注入方法和基本变异方式,文中设计并实现了一种在客户端识别存储型XSS攻击字符串的模型。首先通过选取攻击特征,计算特征权重来构建类型标准向量组。其次对预处理后的字符串识别攻击特征,构建攻击特征向量,将其... 详细信息

针对存储型XSS攻击的主要注入方法和基本变异方式,文中设计并实现了一种在客户端识别存储型XSS攻击字符串的模型。首先通过选取攻击特征,计算特征权重来构建类型标准向量组。其次对预处理后的字符串识别攻击特征,构建攻击特征向量,将其与向量组中的类型标准向量进行相似性计算。再次将结果与阈值比较,对字符串进行攻击类型分类。最后构造了攻击字符串测试所提出的模型,并与Github上两个经典的开源XSS过滤工具进行识别率比较,结果验证了所提出的模型可以有效地识别存储型XSS攻击。

关键词：相似性计算 XXS 攻击识别

来源：评论

学校读者我要写书评

暂无评论

基于内容的图像分割方法综述

引用

软件学报 2017年第1期28卷 160-183页

作者：姜枫顾庆郝慧珍李娜郭延文陈道蓄计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京理工大学泰州科技学院移动互联网学院江苏泰州225300 南京工程学院通信工程系江苏南京211167

图像分割是指将图像分成若干具有相似性质的区域的过程,是许多图像处理任务的预处理步骤.近年来,国内外学者主要研究基于图像内容的分割算法.在广泛调研大量文献和最新成果的基础上,将图像分割算法分为基于图论的方法、基于像素聚类的... 详细信息

图像分割是指将图像分成若干具有相似性质的区域的过程,是许多图像处理任务的预处理步骤.近年来,国内外学者主要研究基于图像内容的分割算法.在广泛调研大量文献和最新成果的基础上,将图像分割算法分为基于图论的方法、基于像素聚类的方法和语义分割方法这3种类型并分别加以介绍.对每类方法所包含的典型算法,尤其是最近几年利用深度网络技术的语义图像分割方法的基本思想、优缺点进行了分析、对比和总结.介绍了图像分割常用的基准数据集和算法评价标准,并用实验对各种图像分割算法进行对比.最后进行总结,并对未来可能的发展趋势加以展望.

关键词：图像分割图论聚类语义分割深度神经网络

来源：评论

学校读者我要写书评

暂无评论

基于均值漂移算法和时空上下文算法的目标跟踪

引用

计算机科学 2017年第8期44卷 22-26页

作者：周华争马小虎苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210023

在严重遮挡时,时空上下文STC(Spatio-Temporal Context)算法对目标位置的判断是正确的,而均值漂移MS(Mean Shift)算法对目标位置的判断会发生很大幅度的抖动,甚至跟踪错误目标。在遮挡结束后,时空上下文算法很难重新跟踪到正确目标,而... 详细信息

在严重遮挡时,时空上下文STC(Spatio-Temporal Context)算法对目标位置的判断是正确的,而均值漂移MS(Mean Shift)算法对目标位置的判断会发生很大幅度的抖动,甚至跟踪错误目标。在遮挡结束后,时空上下文算法很难重新跟踪到正确目标,而均值漂移算法可以重新检测到跟踪目标。结合二者的优缺点,提出基于均值漂移算法和时空上下文算法的目标跟踪算法MSandSTC。该算法主要解决目标被严重遮挡的问题。在许多具有挑战性的数据集上的实验表明所提算法具有较好的实时性和鲁棒性。

关键词：目标跟踪均值漂移时空上下文严重遮挡

来源：评论

学校读者我要写书评

暂无评论

面向认知的多源数据学习理论和算法研究进展

引用

软件学报 2017年第11期28卷 2971-2991页

作者：杨柳于剑刘烨詹德川天津大学计算机科学与技术学院天津300350 交通数据分析与挖掘北京市重点实验室(北京交通大学) 北京100044 脑与认知科学国家重点实验室(中国科学院心理研究所) 北京100101 中国科学院大学心理学系北京100049 计算机软件新技术国家重点实验室南京大学江苏南京210023

多源数据学习在大数据时代具有极其重要的意义.目前,多源数据学习算法研究远远超前于多源数据学习理论研究,经典的机器学习理论难以应用于多源数据学习,更难以提供多源数据学习算法在实际应用中的理论保障.从学习的最终目的是知识这一... 详细信息

多源数据学习在大数据时代具有极其重要的意义.目前,多源数据学习算法研究远远超前于多源数据学习理论研究,经典的机器学习理论难以应用于多源数据学习,更难以提供多源数据学习算法在实际应用中的理论保障.从学习的最终目的是知识这一认知切入点出发,对人类学习的认知机理、机器学习的三大经典理论(计算学习理论、统计学习理论和概率图理论)以及多源数据学习算法设计这3个方面的研究进展进行总结,最后给出未来研究方向的思考.

关键词：统计学习理论模式分类特征空间认知心理

来源：评论

学校读者我要写书评

暂无评论

认知无线AdHoc网络干扰约束和能量高效路由算法

引用

计算机工程与应用 2017年第17期53卷 112-116页

作者：刘立军花丽周爱平泰州学院计算机科学与技术学院江苏泰州225300 软件新技术国家重点实验室(南京大学) 南京210023

为了减少认知无线Ad Hoc网络的传输中断概率,实现频谱和能量高效,提出一种干扰约束和能量高效(Interference Constraints and Energy-Efficient,ICEE)的路由算法。信道检测除了基于认知节点(Cognitive Radio,CR)对主用户(Primary Users,PU)的干扰约束外,还增加了CR节点的数据传输所需持续时间约束,以保证CR节点在有效利用空闲信道的同时减少传输中断事件的发生,减少故障重传所损耗的能量。在设计路由算法时采用了链路能耗和节点寿命作为度量,通过联合最优的链路选择方程实现网络能量高效,并延长网络的生命周期。实验仿真结果表明,相比较认知Ad hoc网络的自适应路由协议,基于联合信道分配和自适应功率控制的路由协议,ICEE算法在数据包平均能耗上分别减少了41.2%和24.5%,并且有效地延长了网络生命周期。

关键词：认知无线AdHoc网络干扰约束能量高效传输中断概率

来源：评论

学校读者我要写书评

暂无评论

空间Skyline查询处理:应用、研究与挑战

引用

计算机科学 2017年第2期44卷 1-16页

作者：余未郑吉平王海翔王永阁陈嘉良江顺青南京航空航天大学计算机科学与技术学院南京211106 南京大学计算机软件新技术国家重点实验室南京210023

引入动态属性的空间Skyline查询处理技术正在多个领域得到应用。首先引出传统Skyline和空间Skyline的定义,进而回顾了15年来Skyline的发展历程。重点介绍了当前空间Skyline在各个领域的主要应用,并根据这些应用总结了主要的研究方法和... 详细信息

引入动态属性的空间Skyline查询处理技术正在多个领域得到应用。首先引出传统Skyline和空间Skyline的定义,进而回顾了15年来Skyline的发展历程。重点介绍了当前空间Skyline在各个领域的主要应用,并根据这些应用总结了主要的研究方法和技术。最后,给出了空间Skyline查询处理面临的诸多挑战,指出了今后的大体研究方向。

关键词：空间Skyline查询 Voronoi图曼哈顿距离传感器网络道路网

来源：评论

学校读者我要写书评

暂无评论

一种基于Kalman滤波和粒子群优化的测试数据生成方法

引用

电子学报 2017年第10期45卷 2473-2483页

作者：薛猛姜淑娟张争光钱俊彦张艳梅曹鹤玲中国矿业大学计算机科学与技术学院江苏徐州221116 桂林电子科技大学广西可信软件重点实验室广西桂林541004 南京大学计算机软件新技术国家重点实验室江苏南京210093 河南工业大学信息科学与工程学院河南郑州450001

为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简... 详细信息

为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简化PSO进化.在此过程中,除全局最优粒子外的各粒子利用Kalman滤波方程更新粒子的位置.实验表明,相较于基本PSO和其他PSO方法,即使是覆盖困难的路径,本文方法也具有进化代数少、路径覆盖成功率高及性能稳定的特点.

关键词：测试数据生成粒子群优化 Kalman滤波邻域拓扑

来源：评论

学校读者我要写书评

暂无评论

基于Box-Cox转换的集成跨项目软件缺陷预测方法

引用

计算机应用研究 2017年第7期34卷 2023-2026,2031页

作者：王莉萍陈翔王秋萍赵英全南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093

对跨项目缺陷预测问题展开了深入研究,在源项目实例选择时,考虑了三种不同的实例相似度计算方法,并发现这些方法的缺陷预测结果存在多样性,因此提出了一种基于Box-Cox转换的集成跨项目软件缺陷预测方法 BCEL。具体来说,基于不同的实例... 详细信息

对跨项目缺陷预测问题展开了深入研究,在源项目实例选择时,考虑了三种不同的实例相似度计算方法,并发现这些方法的缺陷预测结果存在多样性,因此提出了一种基于Box-Cox转换的集成跨项目软件缺陷预测方法 BCEL。具体来说,基于不同的实例相似度计算方法,从候选集中选出不同的训练集;针对这些数据集,进行有针对性的Box-Cox转换,并借助特定分类方法构造出不同的基分类器,最后将这三个基分类器进行有效集成。基于实际项目的数据集,验证了BCEL方法的有效性,并深入分析了BCEL方法内的影响因素对缺陷预测性能的影响。

关键词：软件缺陷预测跨项目软件缺陷预测集成学习实证研究

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：