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

软件学报 2017年第10期28卷 2583-2598页

作者：袁平海曾庆凯南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过... 详细信息

返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过深入分析条件转移机器指令的执行上下文发现,对这些指令的传统认知存在一定的局限性.事实上,在已有代码中存在少量的条件转移指令,它们的两个分支的开始部分都是可复用的代码片段(称为gadgets),而且这两个gadgets会从不同的内存单元中取得下一个gadget的地址,因此,以这些条件转移指令开始的代码片段可以帮助ROP实现条件转移逻辑.把这种代码片段称为if-gadget.在Linux和Windows系统上的实验结果表明,if-gadget普遍存在,即使在代码量很小的日常可执行程序中也存在.在Binutils程序集上的实验结果表明,引入if-gadget后,构造图灵完备的ROP代码要比用传统方法容易得多.在Ubuntu这样的主流操作系统上,由于可执行程序上默认没有实施防御ROP攻击的保护机制,因此,攻击者可以在这些软件模块中构造纯ROP攻击代码来发动攻击.由此可见,ROP对系统安全的威胁比原来认为的严重得多.

关键词：软件漏洞利用返回导向编程图灵完备计算:条件转移逻辑

来源：评论

学校读者我要写书评

暂无评论

获取访存依赖:并发程序动态分析基础技术综述

引用

软件学报 2017年第4期28卷 747-763页

作者：蒋炎岩许畅马晓星吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提... 详细信息

并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.

关键词：并发多处理器系统动态分析访存依赖

来源：评论

学校读者我要写书评

暂无评论

非对称占空比传感网中的广播能效优化算法

引用

计算机应用 2018年第11期38卷 3275-3281页

作者：徐力杰南京邮电大学计算机学院软件学院网络空间安全学院南京210023 南京邮电大学江苏省大数据安全与智能处理重点实验室南京210023 南京大学计算机软件新技术国家重点实验室南京210023

针对非对称占空比传感网中最小端到端延迟约束下的广播能效优化问题,首先构造了一个能够刻画广播时空特征的时空状态图,将目标问题建模成转发行为子集覆盖问题,然后分别提出了一种面向总能耗优化的最小代价转发行为子集覆盖算法(MC-SCA... 详细信息

针对非对称占空比传感网中最小端到端延迟约束下的广播能效优化问题,首先构造了一个能够刻画广播时空特征的时空状态图,将目标问题建模成转发行为子集覆盖问题,然后分别提出了一种面向总能耗优化的最小代价转发行为子集覆盖算法(MC-SCA)和一种面向能量公平性的代价均衡转发行为子集覆盖算法(CB-SCA)。MC-SCA和CB-SCA都是采用迭代的方式选择最优转发行为子集。MC-SCA在每一轮迭代中贪心地选择转发行为代价与新增覆盖节点数量的比值最小的转发行为,而CB-SCA在每一轮迭代中贪心地选择带来更小节点转发能耗负载且更多新增覆盖节点数量的转发行为。仿真结果表明,MC-SCA与典型的随机父节点选择算法(RPNS-A)相比其广播总能耗平均降低了24.23%,而CB-SCA与RPNS-A、MC-SCA以及最小节点负载优先的贪心算法相比其节点最大广播负载值分别平均降低了48.69%、65.21%和10.64%,因此CB-SCA具有更好的广播能量公平性。

关键词：无线传感器网络非对称占空比广播调度能量效率负载均衡

来源：评论

学校读者我要写书评

暂无评论

基于深度卷积特征的细粒度图像分类研究综述

引用

自动化学报 2017年第8期43卷 1306-1318页

作者：罗建豪吴建鑫南京大学计算机科学与技术系南京大学软件新技术国家重点实验室南京210023

细粒度图像分类问题是计算机视觉领域一项极具挑战的研究课题,其目标是对子类进行识别,如区分不同种类的鸟.由于子类别间细微的类间差异和较大的类内差异,传统的分类算法不得不依赖于大量的人工标注信息.近年来,随着深度学习的发展,深... 详细信息

细粒度图像分类问题是计算机视觉领域一项极具挑战的研究课题,其目标是对子类进行识别,如区分不同种类的鸟.由于子类别间细微的类间差异和较大的类内差异,传统的分类算法不得不依赖于大量的人工标注信息.近年来,随着深度学习的发展,深度卷积神经网络为细粒度图像分类带来了新的机遇.大量基于深度卷积特征算法的提出,促进了该领域的快速发展.本文首先从该问题的定义以及研究意义出发,介绍了细粒度图像分类算法的发展现状.之后,从强监督与弱监督两个角度对比分析了不同算法之间的差异,并比较了这些算法在常用数据集上的性能表现.最后,我们对这些算法进行了总结,并讨论了该领域未来可能的研究方向及其面临的挑战.

关键词：细粒度图像分类深度学习卷积神经网络计算机视觉

来源：评论

学校读者我要写书评

暂无评论

面向边缘计算环境的智能手机背光调节机制

引用

小型微型计算机系统 2018年第12期39卷 2646-2652页

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

智能手机已成为日常生活中不可或缺的工具,被广泛地用于流媒体应用,而流媒体是一种资源消耗型的任务,手机单次充满电使用时间明显缩短.针对该问题,提出一种面向边缘计算环境的智能手机动态背光调节机制,在保证视觉效果的同时有效减少智... 详细信息

智能手机已成为日常生活中不可或缺的工具,被广泛地用于流媒体应用,而流媒体是一种资源消耗型的任务,手机单次充满电使用时间明显缩短.针对该问题,提出一种面向边缘计算环境的智能手机动态背光调节机制,在保证视觉效果的同时有效减少智能手机的能耗.该机制利用边缘计算节点的低延迟等优势,当视频数据传输到边缘计算节点时,通过分析视频帧像素亮度,确定视频帧在手机端显示时的局部最优背光亮度值.然后,从像素亮度和对比度两个方面进行背光亮度补偿,准确度量并减少亮度补偿造成的失真.最后,根据连续帧间的亮度关系,确定背光亮度保持不变的帧间隔.实验结果表明,在无显著增加延迟和视频失真的前提下,该机制能降低手机端20%～30%的能耗.

关键词：边缘计算背光调节像素亮度实时视频节能

来源：评论

学校读者我要写书评

暂无评论

基于簇的认知多媒体传感器网络实时路由协议

引用

计算机科学 2018年第10期45卷 83-88页

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

认知无线电传感器网络中信道的可变性使得多媒体数据传输面临着巨大考验,在主要用户的干扰下如何让数据实时传输到汇聚节点是许多研究者正在研究的问题。文中提出一种基于簇的认知多媒体传感器网络实时路由协议,该协议通过对主要用户活... 详细信息

认知无线电传感器网络中信道的可变性使得多媒体数据传输面临着巨大考验,在主要用户的干扰下如何让数据实时传输到汇聚节点是许多研究者正在研究的问题。文中提出一种基于簇的认知多媒体传感器网络实时路由协议,该协议通过对主要用户活动时间的预测获得信道的预期可用时间,并选择合适的信道进行数据传输;同时考虑可靠性指标,将数据丢失概率控制在合理的范围内,使得数据可以在规定的时间内可靠地传输到目的地;在选择下一跳节点时,除了考虑距离问题,还兼顾了信道的可用时间问题,尽可能地减少数据的传输时间。仿真结果表明,CBRTR可以均衡节点能耗,延长网络的生命周期,实现数据的实时、可靠传输。

关键词：认知多媒体传感器网络分簇实时路由可靠性

来源：评论

学校读者我要写书评

暂无评论

水面机器人机舱设备预测维护系统研究与设计

引用

机械设计与制造 2018年第6期 270-272页

作者：乔大雷戴立坤邹玉娟江苏海事学院信息工程学院江苏南京211100 南京大学计算机软件新技术国家重点实验室江苏南京210023

水面机器人是继无人驾驶汽车、无人机后的工业界、学术界的又一关注热点,机舱作为水面机器人的控制和运行中枢,要求具备高度的智能化和自治化。基于边缘计算模式设计和实现了水面机器人机舱预测性维护系统,该系统具有机舱运行参数实时... 详细信息

水面机器人是继无人驾驶汽车、无人机后的工业界、学术界的又一关注热点,机舱作为水面机器人的控制和运行中枢,要求具备高度的智能化和自治化。基于边缘计算模式设计和实现了水面机器人机舱预测性维护系统,该系统具有机舱运行参数实时感知、故障诊断,估计剩余寿命,进而开展预测性维护的功能。论文给出基于边缘计算的预测性维护系统体系结构设计,以NVIDIA Tegra Parker深度学习Soc为核心的边缘网关架构设计,基于GRU门控循环单元神经网络学习算法的故障诊断、剩余寿命预测方法及预测性维护实现思路,最后在NASA的PCo E发动机退化模拟数据集上验证了系统设计的可行性及预测算法的有效性。

关键词：水面机器人智能机舱边缘计算预测性维护 GRU深度学习

来源：评论

学校读者我要写书评

暂无评论

链路相关性欺骗攻击与检测机制

引用

计算机科学 2018年第12期45卷 104-110页

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

近年来的研究工作表明,无线通信中的数据包传输在不同的链路上存在接收相关性,这一现象对无线网络环境下不同通信协议的性能都有着很大的影响。现有的链路相关性感知协议的性能提升大都依赖链路相关性度量的准确性。然而,通过分析发现,... 详细信息

近年来的研究工作表明,无线通信中的数据包传输在不同的链路上存在接收相关性,这一现象对无线网络环境下不同通信协议的性能都有着很大的影响。现有的链路相关性感知协议的性能提升大都依赖链路相关性度量的准确性。然而,通过分析发现,无线网络自身的移动性、射频通信等特点导致其在通信过程中存在着各种威胁与网络攻击。文中结合链路相关性,提出链路相关性感知协议的欺骗攻击机制,即当网络中的源节点发送数据包时,相应的接收节点通过恶意修改自身维持的数据包接收位图中的数据来欺骗源节点,从而达到篡改同一源节点的不同邻居节点之间的链路相关性度量值的目的,因此,该攻击机制会降低协议的传输性能。针对这一攻击机制,文中提出了对应的恶意节点检测机制,即利用Watchdog机制对网络中节点的行为进行检测,从而得出真实的数据包接收位图。仿真结果表明,提出的链路相关性欺骗攻击机制增加了通信协议的数据包重传次数,降低了协议传输的性能,同时基于Watchdog的恶意节点检测机制对这一攻击具有良好的防御力。

关键词：无线网络链路相关性欺骗攻击检测机制

来源：评论

学校读者我要写书评

暂无评论

时间约束下任务关键系统的可调度性分析

引用

计算机工程 2018年第12期44卷 115-119,128页

作者：陈莹邢建春杨启亮张孝鹏陆军工程大学国防工程学院南京210007 南京大学计算机软件新技术国家重点实验室南京210093 酒泉卫星发射中心甘肃酒泉732750

针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务... 详细信息

针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。

关键词：任务关键系统时间约束着色Petri网工作流可调度性分析修正策略

来源：评论

学校读者我要写书评

暂无评论

考虑父节点的贝叶斯网络故障路径追溯算法

引用

计算机科学与探索 2018年第11期12卷 1796-1805页

作者：王林宋蓓张友卫綦小龙王皓江苏方天电力技术有限公司南京211102 南京大学计算机软件新技术国家重点实验室南京210023 伊犁师范学院电子与信息工程学院新疆伊宁835000

基于概率图模型的故障诊断技术常被用于不确定信息的推理。其中贝叶斯网络作为一类具有强大实用性及适用性的概率图模型,得到了广泛应用。为有效识别大数据量工业系统中的故障传播路径,提出了一种考虑父节点影响的贝叶斯网络故障路径追... 详细信息

基于概率图模型的故障诊断技术常被用于不确定信息的推理。其中贝叶斯网络作为一类具有强大实用性及适用性的概率图模型,得到了广泛应用。为有效识别大数据量工业系统中的故障传播路径,提出了一种考虑父节点影响的贝叶斯网络故障路径追溯算法。在建立贝叶斯网络后,给定父节点所有潜在取值组合,算法利用条件概率分解及二分法估计特定故障子节点的最大条件分布值,然后与真实观测值比较,得到导致此故障发生的最大可能原因。通过逐层推断,最终能够实现对网络中故障传播路径的有效追溯。实验结果表明,该算法具有准确追踪故障路径的能力,同时显示出较高的可用性及较快的追踪速度。

关键词：贝叶斯网络故障路径追溯概率推理最大条件概率

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：