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

软件学报 2015年第6期26卷 1265-1284页

作者：高伟赵荣彩韩林庞建民丁锐数学工程与先进计算国家重点实验室(解放军信息工程大学) 河南郑州450001

SIMD扩展部件是集成到通用处理器中的加速部件,旨在发掘多媒体程序和科学计算程序的数据级并行.首先介绍SIMD扩展部件的背景和研究现状,然后从发掘方法、数据布局、多平台向量化这3个角度介绍了SIMD自动向量化的研究问题、困难和最新研... 详细信息

SIMD扩展部件是集成到通用处理器中的加速部件,旨在发掘多媒体程序和科学计算程序的数据级并行.首先介绍SIMD扩展部件的背景和研究现状,然后从发掘方法、数据布局、多平台向量化这3个角度介绍了SIMD自动向量化的研究问题、困难和最新研究成果,最后展望了SIMD编译优化未来的研究方向.

关键词： SIMD扩展部件自动向量化数据级并行编译优化

来源：评论

学校读者我要写书评

暂无评论

非完美探测效率对半设备无关量子随机数扩展的影响

引用

信息工程大学学报 2016年第2期17卷 194-198页

作者：李超博费洋扬王洪高明马智信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

半设备无关量子随机数扩展相对于设备无关方案的优势在于不需要量子纠缠,更易于实现,但在实际条件下的可行性受到非完美探测效率限制。文章在二维维度目击不等式中引入探测效率参数,探究非完美探测效率对半设备无关随机数扩展的影响。... 详细信息

半设备无关量子随机数扩展相对于设备无关方案的优势在于不需要量子纠缠,更易于实现,但在实际条件下的可行性受到非完美探测效率限制。文章在二维维度目击不等式中引入探测效率参数,探究非完美探测效率对半设备无关随机数扩展的影响。将未探测事件作为结果保留时,可得在相同维度目击值下较低的探测效率对应的实验中量子态和测量过程蕴含更多的随机性。将未探测事件随机赋值,通过SDP优化算法得到可进行半设备无关随机数扩展的探测效率下界为95.7%。

关键词：半设备无关随机数扩展探测效率维度目击

来源：评论

学校读者我要写书评

暂无评论

完全安全且固定密文长度的分层内积加密方案

引用

计算机研究与发展 2015年第3期52卷 691-701页

作者：张洁葛爱军马传贵解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

分层内积加密方案为内积加密体制提供了私钥分发功能,可有效降低系统根节点的任务量.针对现有分层内积加密方案密文长度过长的问题,首先提出一个完全安全且固定密文长度的内积加密方案,并以该方案为基础,构造了一个新的分层内积加密方案... 详细信息

分层内积加密方案为内积加密体制提供了私钥分发功能,可有效降低系统根节点的任务量.针对现有分层内积加密方案密文长度过长的问题,首先提出一个完全安全且固定密文长度的内积加密方案,并以该方案为基础,构造了一个新的分层内积加密方案,利用对偶系统加密的新技术,在标准模型下证明了该分层内积加密方案是完全安全的.新方案密文长度达到了固定值,并且解密时只需要7个双线性对运算.与现有方案比,新方案计算效率高,且易于实现,占用通信带宽低,具有一定的优势.

关键词：分层内积加密对偶系统加密固定密文长度完全安全标准模型

来源：评论

学校读者我要写书评

暂无评论

一个浮点数学函数库测试平台

引用

软件学报 2015年第6期26卷 1306-1321页

作者：许瑾晨黄永忠郭绍忠周蓓赵捷数学工程与先进计算国家重点实验室(解放军信息工程大学) 河南郑州450002

数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构... 详细信息

数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构,适用性有限.针对现有测试工具的缺陷,提出了面向多目标体系结构、全面可复用的一体化测试平台BMltest(basic math library test).测试平台结合函数特征值、IEEE-754特殊数以及利用浮点数生成规则实现的全浮点域指数分布的IEEE-754规范数构造了测试集,有效提高了测试集浮点数的覆盖率;提出了基于多精度库MPFR(multiple-precision floating-point reliable library)的精度测试方法,提高了精度测试的可靠性;提出了基于代码隔离的性能测试方法,最大限度地降低了外部环境对性能测试的干扰.针对大量的浮点测试结果,给出了合理的结果评价方案.测试平台使用的测试集数据与函数做到了相关性的极大分离,保证了测试方法的普适性.通过对包括GNU,Open64及Mlib函数库内所有855个函数的测试结果表明:BMltest平台的测试数据集更全面、有效,精度测试方法更可靠;与其他测试平台相比,性能测试结果更准确、稳定.

关键词：数学函数库测试平台 IEEE-754 精度测试性能测试

来源：评论

学校读者我要写书评

暂无评论

基于聚类分析的内核恶意软件特征选择

引用

电子与信息学报 2015年第12期37卷 2821-2829页

作者：陈志锋李清宝张平冯培钧解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对现有基于数据特征的内核恶意软件检测方法存在随特征的增多效率较低的问题,该文提出一种基于层次聚类的特征选择方法。首先,分析相似度计算方法应用于数据特征相似度计算时存在的困难,提出最长公共子集并设计两轮Hash求解法计算最... 详细信息

针对现有基于数据特征的内核恶意软件检测方法存在随特征的增多效率较低的问题,该文提出一种基于层次聚类的特征选择方法。首先,分析相似度计算方法应用于数据特征相似度计算时存在的困难,提出最长公共子集并设计两轮Hash求解法计算最长公共子集;其次,设计基于最长公共子集的层次聚类算法,有效地将相似特征聚类成簇;在此基础上,设计基于不一致系数的内核恶意软件特征选择算法,大大减少特征数,提高检测效率。实验结果验证了方法的有效性,且时间开销在可接受的范围内。

关键词：数据特征最长公共子集层次聚类特征选择内核恶意软件

来源：评论

学校读者我要写书评

暂无评论

基于访问控制的Hypervisor非控制数据完整性保护

引用

电子与信息学报 2015年第10期37卷 2508-2516页

作者：陈志锋李清宝张平曾光裕解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

在虚拟化技术广泛应用的同时虚拟层的安全问题引起了国内外研究人员的密切关注。现有的虚拟机管理器(Hypervisor)完整性保护方法主要针对代码和控制数据的完整性保护,无法抵御非控制数据攻击;采用周期性监控无法提供实时的非控制数据完... 详细信息

在虚拟化技术广泛应用的同时虚拟层的安全问题引起了国内外研究人员的密切关注。现有的虚拟机管理器(Hypervisor)完整性保护方法主要针对代码和控制数据的完整性保护,无法抵御非控制数据攻击;采用周期性监控无法提供实时的非控制数据完整性保护。针对现有方法的不足,该文提出了基于UCON的Hypervisor非控制数据完整性保护模型UCONhi。该模型在非控制数据完整性保护需求的基础上简化了UCON模型,继承了UCON模型的连续性和易变性实现非控制数据的实时访问控制。根据攻击样例分析攻击者和攻击对象确定主客体减少安全策略,提高了决策效率;并基于ECA描述UCONhi安全策略,能够有效地决策非控制数据访问合法性。在Xen系统中设计并实现了相应的原型系统Xen-UCONhi,通过实验评测Xen-UCONhi的有效性和性能。结果表明,Xen-UCONhi能够有效阻止针对虚拟机管理器的攻击,且性能开销在10%以内。

关键词：虚拟机管理器非控制数据使用控制完整性保护事件条件行为

来源：评论

学校读者我要写书评

暂无评论

自动跟踪动态临界占有率的匝道协调控制方法

引用

交通运输工程学报 2016年第2期16卷 150-158页

作者：徐堃柴干李清泉郭建华李晓达武汉大学测绘遥感信息工程国家重点实验室湖北武汉430072 武汉理工大学智能交通系统研究中心湖北武汉430070 东南大学智能运输系统研究中心江苏南京210096 西北大学数学学院陕西西安710127

为了解决高速公路主线合流区交通拥挤与入口匝道排队溢出问题,提出了一种入口匝道协调控制方法,依据主线合流区交通状态和入口匝道排队长度设计需要协调控制的匝道个数,以扩大协调匝道组的空间容量,增大截留进入主线交通拥挤区域车辆的... 详细信息

为了解决高速公路主线合流区交通拥挤与入口匝道排队溢出问题,提出了一种入口匝道协调控制方法,依据主线合流区交通状态和入口匝道排队长度设计需要协调控制的匝道个数,以扩大协调匝道组的空间容量,增大截留进入主线交通拥挤区域车辆的能力;应用实时检测的主线合流区通过量和占有率估计主线动态临界占有率,采用入口匝道调节率自动跟踪主线合流区动态临界占有率的变化,以提高主线通过量;采用匝道相对排队长度设计启发式规则,以提高入口匝道协调控制能力,防止排队溢出;以沪宁高速公路G42为仿真背景,应用VISSIM仿真软件,从路网性能、主线合流区交通状态和匝道排队长度三方面对提出方法的控制效果进行评价。计算结果表明:相比于无控制算法,采用控制方法的总行程时间减少约8.44%,路网平均延误减少约62.97%;采用ALINEA算法的总行程时间减少约2.85%,路网平均延误减少约21.20%;采用Linked-control算法的总行程时间减少约6.00%,路网平均延误减少约56.17%;采用控制方法的主线合流区的交通通过量在交通状态突变时增加了540veh·h-1,且各个匝道之间排队长度更加均衡。可见,提出方法控制效果优良。

关键词：交通控制排队长度匝道协调控制方法动态临界占有率主线合流区

来源：评论

学校读者我要写书评

暂无评论

程序分析课程的多元化教学方法探索

引用

计算机教育 2016年第11期 92-95页

作者：曹琰魏强周岩信息工程大学数学工程与先进计算国家重点实验室河南郑州450000 河南工程学院计算机学院河南郑州450000

针对程序分析课程知识点多且各成体系相对独立的特点,分析各知识单元的教学目标及任务,提出启发式教学、实例化教学、实践化教学、对话式教学和类比法教学5种多元化的教学手段,并具体说明这5种教学手段的实施方法。

关键词：程序分析多元化启发式实例化实践化对话式类比法

来源：评论

学校读者我要写书评

暂无评论

Fox密码的多维零相关线性分析

引用

密码学报 2015年第1期2卷 27-39页

作者：伊文坛陈少真解放军信息工程大学数学与先进计算国家重点实验室郑州450001

Fox密码算法是由欧洲学者Junod和Vaudenay是基于Mediacrypt公司的实际需求而设计的系列分组密码.由于在各种平台上的性能表现良好,该算法在许多安全产品中取代了IDEA算法,成为欧洲应用最普遍的密码算法之一.本文首先关注了Fox密码的零... 详细信息

Fox密码算法是由欧洲学者Junod和Vaudenay是基于Mediacrypt公司的实际需求而设计的系列分组密码.由于在各种平台上的性能表现良好,该算法在许多安全产品中取代了IDEA算法,成为欧洲应用最普遍的密码算法之一.本文首先关注了Fox密码的零相关线性逼近问题,构造出一些关于Fox密码的4轮零相关线性逼近;然后利用合适的线性逼近,结合部分和技术,分析了减缩轮Fox密码针对多维零相关分析技术的安全性,并且成功地恢复部分轮子密钥信息.结果显示:攻击对5轮Fox-64的计算复杂度大约是260.9次5轮Fox加密,对6轮Fox-64分析大约需要2119.4次6轮Fox加密.额外添加1轮并穷举轮子密钥,结果显示零相关分析方法对7轮Fox密码轮子密钥恢复依然有效.本文是第一个关于Fox密码零相关线性分析的结果.

关键词：分组密码 Fox密码算法零线性相关分析线性逼近

来源：评论

学校读者我要写书评

暂无评论

SMS4算法的多维零相关线性分析

引用

密码学报 2015年第5期2卷 458-466页

作者：马猛赵亚群刘庆聪刘凤梅信息工程大学数学与先进计算国家重点实验室郑州450000031 信息保障技术重点实验室北京100072

SMS4算法是中国无线标准中使用的分组加密算法,2012年被国家商用密码管理局确定为国家密码行业标准.作为中国官方公布的第一个商用密码算法,SMS4算法的安全性分析是当前密码学界的研究热点之一.SMS4算法是一种32轮的迭代非平衡Feistel... 详细信息

SMS4算法是中国无线标准中使用的分组加密算法,2012年被国家商用密码管理局确定为国家密码行业标准.作为中国官方公布的第一个商用密码算法,SMS4算法的安全性分析是当前密码学界的研究热点之一.SMS4算法是一种32轮的迭代非平衡Feistel结构的分组密码算法,其加解密过程中使用的算法完全相同,唯一的不同点就是该算法的解密密钥是由它的加密密钥进行逆序变换后得到的,因此,SMS4算法在32轮非线性迭代之后有一个反序变换.本文证明了SMS4算法存在11轮零相关线性逼近,选取了其中一类特殊的零相关线性逼近,缩小了密钥猜测空间,分析了14轮SMS4算法对多维零相关线性攻击技术的安全性.结果显示:该攻击的数据复杂度为2123.5个已知明密文,时间复杂度为2120.7次14轮SMS4加密,存储复杂度为273个SMS4分组.虽然14轮SMS4算法对多维零相关线性攻击是不免疫的,但是其数据复杂度较其它攻击方法还很高,且14轮距离目前最高攻击轮数还有较大差距,因此SMS4算法在抗多维零相关线性分析方面仍然有足够的安全边界.

关键词：分组密码 SMS4算法多维零相关线性分析零相关线性逼近

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：