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

中国科学：信息科学 2017年第3期47卷 310-325页

作者：赵捷赵荣彩解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

SLP(superword level parallelism)是一种实现SIMD(single instruction multiple data)向量化的方法,当前的主流向量化编译器都实现了这种向量化方法.然而,当前算法在进行SLP向量化时,对应用程序中可向量化循环的分析过程过于保守,导致... 详细信息

SLP(superword level parallelism)是一种实现SIMD(single instruction multiple data)向量化的方法,当前的主流向量化编译器都实现了这种向量化方法.然而,当前算法在进行SLP向量化时,对应用程序中可向量化循环的分析过程过于保守,导致其识别SLP向量化的能力不足.为了提升该能力,本文提出了一种基于有向图可达性的SLP向量化识别方法.首先,基于数组依赖图构建包含数组和语句依赖信息的有向图,使同一条语句内的所有数组节点都在一个强连通分量内,并对强连通分量之间的依赖边进行剪枝;其次,分析不同强连通分量节点之间的可达性,根据节点的可达性获得识别SLP向量化所需的所有依赖信息,从而确定语句中的循环是否可以进行SLP向量化.将该方法在Open64-5.0编译器中实现后,SLP向量化效果得到大幅提升.对gcc-vect测试集中程序的实测结果表明,优化后的Open64-5.0编译器识别SLP向量化循环的能力优于GCC4.9,与Intel ICC14.0相当,生成的向量化代码性能优于当前最优算法.

关键词：向量化编译器超字并行依赖有向图可达性

来源：评论

学校读者我要写书评

暂无评论

空间延迟容忍网络安全通信模型

引用

计算机应用研究 2013年第10期30卷 3096-3100,3105页

作者：杜学绘陈性元曹利峰徐国愚解放军信息工程大学数学工程与先进计算国家重点实验室郑州450004

针对空间网络延迟容忍问题,提出一种用于空间延迟容忍网络(space delay-tolerant network,SDTN)的安全通信模型。该模型采用谓词逻辑的方法,建立了SDTN有向多径图、安全协议服务集、可靠路径选择服务集、转发能力集,给出了模型的安全约... 详细信息

针对空间网络延迟容忍问题,提出一种用于空间延迟容忍网络(space delay-tolerant network,SDTN)的安全通信模型。该模型采用谓词逻辑的方法,建立了SDTN有向多径图、安全协议服务集、可靠路径选择服务集、转发能力集,给出了模型的安全约束规则、安全通信算法。定义了空间延迟容忍网络安全通信的状态机系统,证明了模型的安全性、可靠性和所具有的延迟容忍能力,从理论上奠定了空间延迟容忍网络安全通信的基础。

关键词：延迟容忍网络安全通信模型有向多径图安全约束规则状态机

来源：评论

学校读者我要写书评

暂无评论

一种动态二进制翻译中间表示变量活性分析改进算法

引用

小型微型计算机系统 2016年第2期37卷 395-400页

作者：戴涛单征岳峰崔韫楠数学工程与先进计算国家重点实验室郑州450002 解放军信息工程大学郑州450002

动态二进制翻译是指可实现不同体系结构上软件兼容移植的系统,翻译过程使用源体系结构的一条或多条指令来模拟目标体系结构的一条指令,完成两者指令功能的等价,但也同时增大了代码的膨胀率,降低了程序执行的效率.变量活性分析是提高二... 详细信息

动态二进制翻译是指可实现不同体系结构上软件兼容移植的系统,翻译过程使用源体系结构的一条或多条指令来模拟目标体系结构的一条指令,完成两者指令功能的等价,但也同时增大了代码的膨胀率,降低了程序执行的效率.变量活性分析是提高二进制翻译系统执行效率重要的方法,本文在QEMU中间表示TCG(Tiny Code Generator)变量活性分析算法的基础上,提出线性扫描冗余ld M和st M指令匹配删除算法删除TCG中间代码冗余指令,有效简化指令翻译.整体性能测试表明,该方法可有效减少TCG中间指令的数目,比QEMU优化前翻译性能平均提高约12%.

关键词：动态二进制翻译系统变量活性分析 QEMU TCG

来源：评论

学校读者我要写书评

暂无评论

基于FAT表重定向的文件隐藏

引用

计算机科学 2014年第4期41卷 139-144页

作者：王玉龙李清宝王炜牛小鹏解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

文件隐藏技术是一种重要的数据安全防护手段。FAT32文件系统具有良好的兼容性,被广泛用于基于Flash芯片的移动存储设备。在分析FAT32文件系统文件组织方式及存储特点的基础上,提出一种通过擦除、转移存储目标文件目录项对文件FAT表项进... 详细信息

文件隐藏技术是一种重要的数据安全防护手段。FAT32文件系统具有良好的兼容性,被广泛用于基于Flash芯片的移动存储设备。在分析FAT32文件系统文件组织方式及存储特点的基础上,提出一种通过擦除、转移存储目标文件目录项对文件FAT表项进行重定向改写的方法来实现文件隐藏。理论分析与实验结果表明,该方法具有隐藏容量大、隐蔽性好、鲁棒性强、安全性能出色等特点,但对于大文件执行效率相对较低。

关键词：文件系统文件隐藏 FAT表重定向

来源：评论

学校读者我要写书评

暂无评论

一种ABAC中合理属性值指派计算方法

引用

小型微型计算机系统 2016年第10期37卷 2188-2193页

作者：李艺夫杜学绘任志宇解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

为实体(如用户、主体、客体等)指派合理的属性值是基于属性的访问控制模型实施与安全性的关键.针对现有属性管理权限委派中在属性值划分上缺乏相应客观依据及方法,提出一个基于有向图的属性值计算方法.该方法把来自一个属性内或多个属... 详细信息

为实体(如用户、主体、客体等)指派合理的属性值是基于属性的访问控制模型实施与安全性的关键.针对现有属性管理权限委派中在属性值划分上缺乏相应客观依据及方法,提出一个基于有向图的属性值计算方法.该方法把来自一个属性内或多个属性之间的关系定义为前提关系,构造得到一个以属性为顶点、前提关系为有向边的有向图.该方法计算属性值的过程分为三步,首先,搜索有向图中与目标属性相关的所有前提关系;第二步,代入属性值确定各个前提关系对目标属性的函数约束;第三步,按照目标属性的函数约束形式分为三种分别聚合,计算得到属性值满足的函数.实验结果验证其与一般的计算方法相比,平均时间加速比可达到3倍以上.

关键词：基于属性的访问控制模型属性管理属性关系属性值指派

来源：评论

学校读者我要写书评

暂无评论

一种面向规则DOACROSS循环的自动并行化框架

引用

小型微型计算机系统 2016年第6期37卷 1365-1370页

作者：张庆花赵荣彩李朋远解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对现有编译器对DOACROSS循环采取保守处理而造成程序并行性巨大损失的问题,本文提出了一种面向规则DOACROSS循环的自动并行框架.首先基于依赖测试提出了同步距离求解算法以确定嵌套循环的并行层、迭代分组层,以及同步语句插入点;其次... 详细信息

针对现有编译器对DOACROSS循环采取保守处理而造成程序并行性巨大损失的问题,本文提出了一种面向规则DOACROSS循环的自动并行框架.首先基于依赖测试提出了同步距离求解算法以确定嵌套循环的并行层、迭代分组层,以及同步语句插入点;其次提出了明确的同步控制机制来实现不同线程间的通信;最后,本文设计了一种基于程序执行开销的流水粒度求解算法,以达到降低程序并行过程中的同步开销目的.本文将该方法在SW-VEC自动并行化系统中实现并加以验证,实验结果表明本文所提方法对FDR波前计算循环和NPB3.3.1中的LU课题有明显性能提升.

关键词： DOACROSS循环流水并行同步距离同步控制机制流水粒度

来源：评论

学校读者我要写书评

暂无评论

一种多线程动态二进制翻译优化系统的研究与实现

引用

小型微型计算机系统 2015年第4期36卷 683-688页

作者：崔韫楠庞建民岳峰王银浩解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

动态二进制翻译通过对程序的动态跟踪,实时对目标代码进行解码和翻译,被广泛地应用于软件跨平台移植等领域.但是动态二进制翻译仍然存在运行开销过大和翻译低效等问题,为解决这一问题,开发了一种基于QEMU的多线程动态二进制翻译优化系统... 详细信息

动态二进制翻译通过对程序的动态跟踪,实时对目标代码进行解码和翻译,被广泛地应用于软件跨平台移植等领域.但是动态二进制翻译仍然存在运行开销过大和翻译低效等问题,为解决这一问题,开发了一种基于QEMU的多线程动态二进制翻译优化系统.系统通过引入多线程技术,将翻译执行前端和热路径优化后端分别放置在不同的线程中,实现了前端翻译执行和后端热路径优化的多线程并行执行.系统前端利用局部预测算法进行热路径选择,后端通过超级块封装和条件跳转优化进行本地码优化.系统的cache管理采用了分层管理策略.整体性能测试实验表明,系统在低翻译执行开销的基础上,比现有二进制翻译平台QEMU整体性能提升了约5%.

关键词：动态二进制翻译 QEMU 多线程局部预测热路径优化

来源：评论

学校读者我要写书评

暂无评论

用于细粒度完整性度量的非平衡二叉哈希树模型

引用

小型微型计算机系统 2014年第7期35卷 1604-1609页

作者：朱毅李清宝钟春丽王炜解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建... 详细信息

莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建模分析,提出一种以非平衡二叉树为基础的改进哈希树模型.该模型的树节点数量可根据实际需求动态增加,空间利用率高.实验结果表明,改进哈系树模型空间开销减少约25%;树构建过程时间开销减少约8%,且该模型不需要预先分配存储空间,特别适用于数据量动态增加对象的完整性保护.

关键词：信息系统安全可信计算完整性度量莫克尔哈希树非平衡二叉树

来源：评论

学校读者我要写书评

暂无评论

面向循环的混合向量化方法研究

引用

小型微型计算机系统 2014年第12期35卷 2764-2769页

作者：徐金龙赵荣彩丁锐解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450001

目前主流的两种向量化算法基于循环(loop-based)的向量化算法和超字并行(SLP)算法分别适用于不同特征的循环,前者适用于发掘迭代间的并行,后者擅于发掘迭代内的并行.向量化算法的选择将直接影响最终的向量化效果.为了增强向量化能力,提... 详细信息

目前主流的两种向量化算法基于循环(loop-based)的向量化算法和超字并行(SLP)算法分别适用于不同特征的循环,前者适用于发掘迭代间的并行,后者擅于发掘迭代内的并行.向量化算法的选择将直接影响最终的向量化效果.为了增强向量化能力,提高向量化效率,根据目标循环的特征确定了向量化任务分配方案,并设计了一种混合的向量化框架来实现这种任务分配方案,旨在将两种向量化方法结合,充分发挥各自优势.同时,为了明确目标循环并行性特征,本文给出了迭代间和迭代内的向量并行性检测方法.实验结果及分析表明,本文提供的方法明显提高了向量化的识别能力,能够实现更合理的向量化任务分配.

关键词：基于循环超字并行迭代间迭代内依赖

来源：评论

学校读者我要写书评

暂无评论

一种强安全的无证书非交互密钥交换协议

引用

计算机科学 2014年第12期41卷 101-106,111页

作者：魏云魏福山马传贵解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

非交互密钥交换协议(Non-interactive Key Exchange,NIKE)允许通信双方在没有信息交互的情况下生成一个共享密钥。在基于身份的非交互密钥交换协议(Identity-based Non-interactive Key Exchange,ID-NIKE)中,用户私钥是由私钥生成中心(P... 详细信息

非交互密钥交换协议(Non-interactive Key Exchange,NIKE)允许通信双方在没有信息交互的情况下生成一个共享密钥。在基于身份的非交互密钥交换协议(Identity-based Non-interactive Key Exchange,ID-NIKE)中,用户私钥是由私钥生成中心(Private Key Generator,PKG)分发给用户的,因此PKG可以计算出用户之间的共享密钥,即存在密钥托管的问题。针对ID-NIKE的上述不足,基于无证书的公钥密码体制(Certificateless Public Key Cryptography,CL-PKC),首先提出了无证书非交互密钥交换协议的安全模型,然后设计了一个强安全的无证书非交互密钥交换协议方案,并在随机预言模型下基于BDH假设给出了协议的安全性证明。该方案是第一个基于CL-PKC的非交互密钥交换协议方案,并结合了CL-PKC和NIKE的优点,因此该方案不仅具有非交互的性质,而且PKG计算不出用户间的共享密钥,所以其可以更好地保护用户隐私。另外,该协议还允许用户部分秘密信息泄露,因此具有更高的安全性。

关键词：无证书公钥密码体制非交互密钥交换协议随机预言模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：