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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

认知无线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网络干扰约束能量高效传输中断概率

来源：评论

学校读者我要写书评

暂无评论

一种快速消除失真的虚拟视点合成方法

引用

图学学报 2017年第4期38卷 566-576页

作者：姚莉李小敏韩应栋东南大学计算机科学与工程学院软件学院江苏南京211189 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

基于深度图的绘制(DIBR)技术是合成虚拟视点图像的有效方法,但是合成的图像往往存在失真,最主要的问题是包含"伪影"和大小不等的空洞。针对"伪影"问题,先对参考视点图像进行色彩校正,并综合基于深度的彩色图融合和... 详细信息

基于深度图的绘制(DIBR)技术是合成虚拟视点图像的有效方法,但是合成的图像往往存在失真,最主要的问题是包含"伪影"和大小不等的空洞。针对"伪影"问题,先对参考视点图像进行色彩校正,并综合基于深度的彩色图融合和彩色图直接融合两种方式融合图像,以减弱"伪影"效应;针对映射后出现的小空洞,采用反向映射到参考图像的方式进行填充;针对大的空洞,采用图像修复的方式,结合深度图更好地填补空洞,但是图像修复是一个耗时的过程,为此将图像修复算法并行化,利用统一计算设备架构(CUDA)并行计算,来加速空洞填补过程。实验结果表明,针对"伪影"问题的处理及基于图像修复的空洞填补可以有效地提高虚拟视点图像合成质量,同时基于CUDA实现的并行图像修复算法也大幅降低了空洞填补时间。

关键词：自由视点视频视点合成图像修复 GPU加速

来源：评论

学校读者我要写书评

暂无评论

VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究

引用

南京大学学报（自然科学版） 2017年第3期53卷 577-578页

作者：钱振江黄皓宋方敏常熟理工学院计算机科学与工程学院苏州215500 南京大学软件新技术国家重点实验室南京210023

形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确... 详细信息

形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确性进行验证成为操作系统形式化领域的研究热点.在汇编级提出对操作系统的设计和实现的正确性进行形式化验证的方法.通过建立操作系统内核硬件抽象模型,形式化地描述指令的操作语义,在此内核硬件抽象模型的基础上界定影响系统状态变化的数据对象,建立系统状态空间,结合指令的操作语义的定义来描述系统的状态转换函数.在Isabelle/HOL定理证明器环境中描述该内核硬件抽象模型,以实现的可信操作系统VSOS为例,在汇编级对系统设计和实现的正确性进行验证.结果表明,该方法是可行的和高效的.

关键词：操作系统内核硬件抽象模型形式化验证 Isabelle/HOL 定理证明

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

静动态结合的恶意Android应用自动检测技术

引用

信息安全学报 2017年第4期2卷 27-40页

作者：黄浩华崔展齐潘敏学王林章李宣东计算机软件新技术国家重点实验室(南京大学) 南京中国210023 江苏省软件新技术与产业化协同创新中心南京210023 南京大学计算机科学与技术系南京210023 北京信息科技大学计算机学院北京100101 南京大学软件学院南京210023

随着移动互联网的快速发展,移动终端及移动应用在人们日常生活中越来越重要,与此同时,恶意移动应用给网络和信息安全带来了严峻的挑战。Android平台由于其开放性和应用市场审查机制不够完善,使其成为了移动互联网时代恶意应用的主要传... 详细信息

随着移动互联网的快速发展,移动终端及移动应用在人们日常生活中越来越重要,与此同时,恶意移动应用给网络和信息安全带来了严峻的挑战。Android平台由于其开放性和应用市场审查机制不够完善,使其成为了移动互联网时代恶意应用的主要传播平台。现有的恶意应用检测方法主要有静态分析和动态测试两种。一般而言,静态分析方法代码覆盖率高、时间开销小,但存在误报率较高的问题;而动态测试准确度较高,但需要实际运行应用,所需的时间和计算资源开销较大。针对上述情况,本文基于静动态结合的方法,自动检测恶意Android应用。首先,使用静态分析技术获取应用API的调用情况来判定其是否为疑似恶意应用,特别是可有效检测试图通过反射机制调用API躲避静态分析的恶意应用;然后,根据疑似恶意应用UI控件的可疑度进行有针对性的动态测试,来自动确认疑似恶意应用中是否存在恶意行为。基于此方法,我们实现了原型检测工具框架,并针对吸费短信类恶意行为,对由465个恶意应用和1085个正常应用组成的数据集进行了对比实验。实验结果表明,该方法在提高恶意应用检测效率的同时,有效地降低了误报率。

关键词： Android应用静态分析动态测试恶意行为

来源：评论

学校读者我要写书评

暂无评论

一种面向团购的分配与定价机制

引用

南京理工大学学报 2017年第5期41卷 602-609页

作者：姜艺吴静朱泽宇朱俊武李斌扬州大学信息工程学院江苏扬州225127 广西师范学院计算机与信息工程学院广西南宁530023 圭尔夫大学计算机科学学院南京大学软件新技术国家重点实验室江苏南京210023

在团购中,对商品有不同数量需求的买家可以通过形成一个具有共同利益的联盟来增强与商家的谈判协商能力。为了解决在团购联盟内买家收益分配不均的问题,该文在最大化联盟收益和最大化联盟成交量两种不同联盟形成方案的基础上,提出了分... 详细信息

在团购中,对商品有不同数量需求的买家可以通过形成一个具有共同利益的联盟来增强与商家的谈判协商能力。为了解决在团购联盟内买家收益分配不均的问题,该文在最大化联盟收益和最大化联盟成交量两种不同联盟形成方案的基础上,提出了分段式的买家收益分配机制和真实报价的贡献支付机制。其中分段式分配机制能够根据买家的报价进行分段,使得买家获得的收益与其为联盟的贡献度成正比,贡献支付机制中买家实际支付的费用是其对联盟的贡献。从理论上分析了两种机制能够同时满足个体理性、预算平衡、真实报价和公平性等的良好属性。实验结果表明,该文提出的自保护定价函数满足了卖家收益单调递增的性质,保证了卖家的收益不会随卖出商品数量的增大而减少。

关键词：团购定价函数联盟定价机制收益分配

来源：评论

学校读者我要写书评

暂无评论

不完全数据集的差分隐私保护决策树研究

引用

计算机科学 2017年第6期44卷 139-143,149页

作者：沈思倩毛宇光江冠儒南京航空航天大学计算机科学与技术学院南京211106 南京大学计算机软件新技术国家重点实验室南京210093 卡尔斯鲁厄理工学院计算机系巴登符腾堡州76131

主要研究在对不完全数据集进行决策树分析时,如何加入差分隐私保护技术。首先简单介绍了差分隐私ID3算法和差分隐私随机森林决策树算法;然后针对上述算法存在的缺陷和不足进行了修改,提出指数机制的差分隐私随机森林决策树算法;最后对... 详细信息

主要研究在对不完全数据集进行决策树分析时,如何加入差分隐私保护技术。首先简单介绍了差分隐私ID3算法和差分隐私随机森林决策树算法;然后针对上述算法存在的缺陷和不足进行了修改,提出指数机制的差分隐私随机森林决策树算法;最后对于不完全数据集提出了一种新的WP(Weight Partition)缺失值处理方法,能够在不需要插值的情况下,使决策树分析算法既能满足差分隐私保护,也能拥有更高的预测准确率和适应性。实验证明,无论是Laplace机制还是指数机制,无论是ID3算法还是随机森林决策树算法,都能适用于所提方法。

关键词：差分隐私保护不完全数据集 ID3算法随机森林决策树

来源：评论

学校读者我要写书评

暂无评论

通用量子计算机:理论、组成与实现

引用

计算机学报 2016年第12期39卷 2429-2445页

作者：吴楠宋方敏 LIXiang-Dong 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 纽约城市大学计算机科学系纽约美国10016

通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底... 详细信息

通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底层量子物理设备、量子计算机体系结构、量子资源调度和上层量子程序设计语言、量子算法及量子应用软件等多方面进行努力.文中结合国内外在上述各方面研究的最新进展以及作者自身的研究结果,从计算机系统的角度为通用量子计算机的研究和制造绘制一幅蓝图,并详细阐述了其中的困难与努力方向.

关键词：量子计算量子计算机体系结构量子信息量子程序设计语言量子算法物理实现

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：