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

计算机工程与科学 2018年第1期40卷 10-14页

作者：甘新标孙燎原刘杰雄成伟黄嘉昆国防科技大学计算机学院湖南长沙410073 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 国防科技大学量子信息研究所兼高性能计算国家重点实验室湖南长沙410073

HPL是高性能计算广泛采用的Linpack测试软件包,传统HPL算法中,求解矩阵将以块为单位循环分布到所有处理器,由于国产加速器(China Accelerator)的底层矩阵乘接口仅支持定制接口,传统HPL算法已不适合CPU+China Accelerator异构系统,因此,... 详细信息

HPL是高性能计算广泛采用的Linpack测试软件包,传统HPL算法中,求解矩阵将以块为单位循环分布到所有处理器,由于国产加速器(China Accelerator)的底层矩阵乘接口仅支持定制接口,传统HPL算法已不适合CPU+China Accelerator异构系统,因此,必须基于定制接口完成矩阵分布细致划分与封装dPEM,以提供一个通用的HPL测试配置环境;同时,为了充分发挥国产异构系统的效率,设计了异构协同矩阵乘调度算法OA4MM,以提高国产异构系统的效率。实验验证了dPEM的有效性和OA4MM算法的高效性,OA4MM较传统的异构HPL调度算法性能提升近10%。

关键词： HPL 国产加速器矩阵分布细致划分与封装异构协同矩阵乘调度

来源：评论

学校读者我要写书评

暂无评论

VMSPY:一种自动化的虚拟机客户机系统函数截获和控制方案

引用

计算机学报 2017年第2期40卷 414-430页

作者：余劲黄皓南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

如何有效保证云平台虚拟机客户机系统安全运行是目前的热点研究问题,客户机系统函数的截获和控制方法是实现监控客户机系统的关键技术之一.已有基于操作系统内核接口的安全监控方案和基于虚拟化技术的虚拟机自省方案中所采用的函数截获... 详细信息

如何有效保证云平台虚拟机客户机系统安全运行是目前的热点研究问题,客户机系统函数的截获和控制方法是实现监控客户机系统的关键技术之一.已有基于操作系统内核接口的安全监控方案和基于虚拟化技术的虚拟机自省方案中所采用的函数截获和控制方法虽能满足安全监控的需求,但仍存在一些缺陷:函数截获动作容易被旁路;系统调用截获方式单一且局限,无法截获客户机应用程序内部函数;无法控制函数的执行流程;安全机制引入较大额外性能开销等.该文提出了一种基于虚拟化技术的自动化客户机系统函数截获和控制方案VMSPY.作者在VMM中实现模块的主要功能,通过反汇编引擎对客户机系统代码自动分析,动态生成并在合适位置插入经过设计的特权指令序列,实现对客户机操作系统的系统调用截获,在不受地址随机化技术的影响下对应用程序内部函数截获;在VMM中按策略自动模拟执行被截获函数的代码指令序列,实现对客户机系统调用函数和应用程序函数的执行流程控制;通过内存页权限机制保护在客户机系统中插入的特权指令序列,防止客户机系统对监控模块的影响;通过一种缓存机制,尽可能地减少额外性能开销.

关键词：虚拟化函数截获安全监控执行流云计算 XEN

来源：评论

学校读者我要写书评

暂无评论

常用循环摘要的自动生成方法及其应用

引用

软件学报 2017年第5期28卷 1051-1069页

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

采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环... 详细信息

采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环语句的执行效果,并将该执行效果定义为循环摘要.同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动生成循环语句的规约,包括循环不变式、循环的前置条件以及循环的后置条件.已经实现了自动生成循环摘要以及循环规约的方法,并将它们集成到验证工具Accumulator中.实验结果表明,该方法可以有效地生成循环摘要,并生成多种类型的规约,从而辅助软件程序的形式化证明,提高验证的自动化程度和效率,减轻验证人员的负担.

关键词：循环摘要循环不变式前置条件后置条件程序验证

来源：评论

学校读者我要写书评

暂无评论

区块链技术应用与安全

区块链技术应用与安全

引用

2018中国区块链技术大会

作者：仲盛计算机软件新技术国家重点实验室南京大学

区块链是一种分布式的账本，其去中心化的思想带给人们一种颠覆性的新技术。区块链系统优势明显，但其在诸如安全隐私、效率等方面的潜在问题也不可忽视。区块链技术广泛应用于几乎所有的数字货币，并且还可以应用于众多的其它场景。

关键词：区块链系统数据安全隐私保护运行效率

来源：评论

学校读者我要写书评

暂无评论

C/C++程序静态内存泄漏警报自动确认方法

引用

软件学报 2017年第4期28卷 827-844页

作者：李筱周严李孟宸陈园军 XU Guo-Qing 王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 Department of Computer Science University of California

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开... 详细信息

内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者系统软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开销,同时依赖测试用例的质量;静态分析技术及自动化工具已被学术界和工业界广泛运用于内存泄漏缺陷检测中,然而由于静态分析采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步的人工确认来甄别误报.但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性.提出一种基于混合执行测试的静态内存泄漏警报的自动化确认方法:首先,针对静态分析报告的目标程序中内存泄漏的静态警报,对目标程序进行控制流分析,并计算警报的可达性,形成制导信息;其次,基于警报制导信息对目标程序进行混合执行测试;最后,在混合执行测试过程中,监控追踪内存对象的状态,判定内存泄漏是否发生,对静态警报进行动态确认并分类.实验结果表明:该方法可对静态内存泄漏警报进行有效的分类,显著降低了人工确认的工作量.

关键词：内存泄漏静态分析警报混合执行测试确认分类

来源：评论

学校读者我要写书评

暂无评论

认知无线电网络中的频谱感知安全机会路由协议

引用

计算机科学 2018年第10期45卷 166-171页

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

针对认知无线电网络中频谱的动态特性及潜在的节点选择性转发问题,提出频谱感知安全机会路由S2OR协议。在频谱感知阶段,通过对主用户活动建模来分析认知节点之间链路的可用概率。在路由选择阶段,采用信任管理方式来考查节点转发行为的... 详细信息

针对认知无线电网络中频谱的动态特性及潜在的节点选择性转发问题,提出频谱感知安全机会路由S2OR协议。在频谱感知阶段,通过对主用户活动建模来分析认知节点之间链路的可用概率。在路由选择阶段,采用信任管理方式来考查节点转发行为的可靠性,以便选择可信任的中继节点并保证数据传输的完整性。协议通过获取局部网络状态信息,计算由链路可用概率、链路质量和节点信任度构成的综合型指标——期望吞吐率,允许认知节点在此基础上机会式地选择候选转发节点与数据信道。仿真结果表明,S2OR能够很好地适应频谱动态特性,获取较高的吞吐量,同时减小节点恶意攻击带来的影响。

关键词：认知无线电机会路由频谱感知信任管理

来源：评论

学校读者我要写书评

暂无评论

使用敏感路径识别方法分析安卓应用安全性

引用

软件学报 2017年第9期28卷 2248-2263页

作者：缪小川汪睿许蕾张卫丰徐宝文计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京邮电大学计算机学院江苏南京210023

安卓系统在手机端操作系统中长期占据主导地位,但由于安卓系统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,... 详细信息

安卓系统在手机端操作系统中长期占据主导地位,但由于安卓系统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,针对恶意应用中存在的恶意行为以及触发条件,定义了敏感路径;其次,针对安卓应用中存在大量组件间函数调用关系问题,提出了一种生成应用组件间函数调用关系图的方法;再次,由于提取出的敏感路径信息无法直接作为识别特征,实现了一种基于敏感路径信息抽象的特征提取方法;最后,从Google Play、豌豆荚、Drebin等来源收集了493个应用APK文件作为实验数据集,该方法的准确率为97.97%,高于基于API-Feature的检测方法(90.47%).此外,在恶意应用和良性应用检测的精度、召回率、F度量等方面,该方法均优于API-Feature方法.另外,实验结果表明:APK文件大小会影响实验的结果,尤其体现在分析时间上(0~4MB大小的APK平均分析用时89s;文件增大后,平均分析用时增长明显).

关键词：安卓恶意应用敏感路径组件函数调用关系程序静态分析特征抽象

来源：评论

学校读者我要写书评

暂无评论

基于模块度增量的二分网络社区挖掘算法

引用

计算机科学 2018年第B06期45卷 442-446,464页

作者：戴彩艳陈崚胡孔法南京中医药大学信息技术学院南京210016 扬州大学信息工程学院江苏扬州225009 南京大学计算机软件新技术国家重点实验室南京210093

针对二分网络的社区挖掘问题,提出了一种基于模块度增量的二分网络社区挖掘算法。该算法假设每个顶点独自构成一个社区,并具有自己的标号。其中,一部分顶点将自己的标号复制并传递到另一部分中的某个顶点上,使之与其位于同一个社区;另... 详细信息

针对二分网络的社区挖掘问题,提出了一种基于模块度增量的二分网络社区挖掘算法。该算法假设每个顶点独自构成一个社区,并具有自己的标号。其中,一部分顶点将自己的标号复制并传递到另一部分中的某个顶点上,使之与其位于同一个社区;另一部分的顶点实施同样的操作。如此反复迭代,直至收敛。标号传播时,选择模块度增量最大的边进行传送,使整体模块度不断提高。在真实数据集上进行的测试表明,所提算法能对二分网络进行高质量的社区划分。

关键词：社区挖掘二分网络模块度增量标号传播

来源：评论

学校读者我要写书评

暂无评论

最优间隔分布脊回归

引用

计算机研究与发展 2017年第8期54卷 1744-1750页

作者：陈加略姜远计算机软件新技术国家重点实验室(南京大学) 南京210023 软件新技术与产业化协同创新中心南京210023

脊回归(ridge regression,RR)是经典的机器学习算法之一,广泛应用于人脸识别、基因工程等诸多领域.其具有优化目标凸、存在闭合解、可解释性强以及易于核化等优点,但是脊回归的优化目标并没有考虑样本之间的结构关系.监督流形正则化学... 详细信息

脊回归(ridge regression,RR)是经典的机器学习算法之一,广泛应用于人脸识别、基因工程等诸多领域.其具有优化目标凸、存在闭合解、可解释性强以及易于核化等优点,但是脊回归的优化目标并没有考虑样本之间的结构关系.监督流形正则化学习是最具代表性的、最成功的脊回归正则化方法之一,其通过最小化每类类内方差来考虑样本之间的类内结构关系,可是单纯地只考虑类内结构仍然不够全面.以一种全新的视角重新审视最近提出的"最优间隔分布学习"原理,发现了最优间隔分布的目标可以同时优化类内间隔方差和类间间隔方差,从而同时优化了局部的类内结构和全局的类间结构.基于此提出了一种充分考虑数据结构化特征的脊回归算法——最优间隔分布脊回归(optimal margin distributionmachine ridge regression,ODMRR)算法,该算法具有RR以及MRRR(manifold regularization ridge regression)的各种优势.最后通过实验验证了该方法具有优越的性能.

关键词：脊回归流形正则化最优间隔分布间隔方差全局结构

来源：评论

学校读者我要写书评

暂无评论

基于随机游走的实体链接方法

引用

指挥信息系统与技术 2018年第5期9卷 51-56页

作者：曹二梅葛唯益胡伟南京大学计算机软件新技术国家重点实验室南京210023 信息系统工程重点实验室南京210007

实体链接是实现军事情报语义理解的关键技术,有助于机器从实体维度自动建立信息之间的关联,为指挥员提供更高效精准的信息服务。提出了一种基于随机游走的实体链接方法。首先,利用实体的描述信息计算得到实体间相似度;然后,基于各实体... 详细信息

实体链接是实现军事情报语义理解的关键技术,有助于机器从实体维度自动建立信息之间的关联,为指挥员提供更高效精准的信息服务。提出了一种基于随机游走的实体链接方法。首先,利用实体的描述信息计算得到实体间相似度;然后,基于各实体间的语义关联,生成待链接实体间的关联图,将实体链接问题建模成关联图上的随机游走过程;最后,通过试验表明,该方法与单纯使用相似度函数计算方法相比能有效提升链接效果,修复实体相似度计算的误差,生成更正确的实体链接。

关键词：实体链接随机游走语义关联相似度计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：