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

信息工程大学学报 2022年第6期23卷 718-723页

作者：侯明郭绍忠王攀杰许瑾晨信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

现有高性能计算应用中浮点运算通常使用高精度浮点类型,但使用高精度会带来性能上的损失等额外开销,故可以采取降低程序中部分浮点变量的精度从而在满足精度需求的同时提升程序性能,但对于不同的浮点计算程序来说,用户在无策略的条件下... 详细信息

现有高性能计算应用中浮点运算通常使用高精度浮点类型,但使用高精度会带来性能上的损失等额外开销,故可以采取降低程序中部分浮点变量的精度从而在满足精度需求的同时提升程序性能,但对于不同的浮点计算程序来说,用户在无策略的条件下较难确定哪些浮点变量能够降低精度。针对这一问题,提出一种基于误差敏感度的自动混合精度工具Miplex,相较于以往的混合精度工具,能够将找到有效混合精度方案的时间复杂度从O(N2)约束至O(N),从而快速找到满足误差需求的混合精度分配方案。实验结果表明,相较于现有的混合精度工具,最大获得了80.31%的性能提升;在x86和SW测试平台上相比较原始高精度程序也获得了最大为35.84%和33.12%的加速效果。

关键词：浮点计算混合精度数值分析程序优化

来源：评论

学校读者我要写书评

暂无评论

基于失效聚集度对ART算法有效性的研究

引用

信息工程大学学报 2017年第5期18卷 590-594,640页

作者：侯韶凡于磊李志博李刚徐炜珊信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

在对点状失效模式和块状失效模式进行分析研究的基础上提出了失效聚集度和失效簇单元的概念。将块状失效到点状失效的退化过程看成是失效聚集度逐渐降低的结果,并在此基础上对经典的固定候选集算法进行实验。经试验发现:聚集度均等的情... 详细信息

在对点状失效模式和块状失效模式进行分析研究的基础上提出了失效聚集度和失效簇单元的概念。将块状失效到点状失效的退化过程看成是失效聚集度逐渐降低的结果,并在此基础上对经典的固定候选集算法进行实验。经试验发现:聚集度均等的情况下,随着聚集度的降低,自适应随机测试算法的有效性迅速跌至极限,随着聚集度接近极限,其有效性稍有改善,但仍不如随机测试。

关键词：软件测试随机测试自适应随机测试失效聚集度有效性效率

来源：评论

学校读者我要写书评

暂无评论

基于匈牙利法和遗传算法的多传感器管理与控制模型

引用

信息工程大学学报 2014年第3期15卷 275-280页

作者：樊志领韩中庚梁光辉勾云信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

针对多传感器的管理与控制问题,建立了一个多目标规划模型,以方差对4种相对均衡性进行衡量,通过对4种方差赋予多组不同的权值并进行线性加权求和,构造出单目标函数,从而将多目标规划模型转化为单目标的0-1规划模型。针对问题的数据规模... 详细信息

针对多传感器的管理与控制问题,建立了一个多目标规划模型,以方差对4种相对均衡性进行衡量,通过对4种方差赋予多组不同的权值并进行线性加权求和,构造出单目标函数,从而将多目标规划模型转化为单目标的0-1规划模型。针对问题的数据规模较大的实际情况,采用了一种改进的匈牙利法,缩小了寻找可行解的搜索空间,求得了初始可行解,进而利用遗传算法对初始可行解进行优化计算,最后得到了均衡性相对较好的控制方案。

关键词：多目标规划 0-1规划匈牙利法遗传算法

来源：评论

学校读者我要写书评

暂无评论

面向异构多核处理器的分块交叉数据传输

引用

信息工程大学学报 2015年第1期16卷 98-106页

作者：李雁冰赵荣彩丁锐赵博信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

由于异构多核处理器中加速设备内存有限,在进行加速计算时往往需要把主存中的数据分块传输到设备内存。Open ACC现有的数据拷贝子句不支持数据的分块传输,为此对Open ACC的数据拷贝子句进行扩展,引入分块规则数组区域表示方式,用于实现... 详细信息

由于异构多核处理器中加速设备内存有限,在进行加速计算时往往需要把主存中的数据分块传输到设备内存。Open ACC现有的数据拷贝子句不支持数据的分块传输,为此对Open ACC的数据拷贝子句进行扩展,引入分块规则数组区域表示方式,用于实现数据的分块交叉传输。分块交叉传输能够使加速器所需数据精确地拷贝到其设备内存,提高了设备内存的利用率和减少了不必要的数据传输。并在基于Open64的"源-源"自动并行化系统autoACC中,实现了扩展数据拷贝子句的自动生成。测试结果表明,在异构多核处理器上,扩展的数据拷贝子句及提出的扩展数据拷贝子句生成方法是有效的,能够对程序进行有效加速。

关键词：异构多核处理器 Open ACC 分块交叉数据传输分块规则数组区域自动并行化

来源：评论

学校读者我要写书评

暂无评论

基于USBKey的可信启动技术研究

引用

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

作者：贾天江曾光裕王炜周振宇信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

终端的可信启动过程是可信计算的关键问题之一。在分析统一可扩展固件接口(UEFI)启动过程和驱动模型的基础上,根据UEFI以及操作系统启动过程中可能面临的安全威胁,提出基于USB Key可信启动方案。在完成UEFI下USB Key的驱动程序以及相关... 详细信息

终端的可信启动过程是可信计算的关键问题之一。在分析统一可扩展固件接口(UEFI)启动过程和驱动模型的基础上,根据UEFI以及操作系统启动过程中可能面临的安全威胁,提出基于USB Key可信启动方案。在完成UEFI下USB Key的驱动程序以及相关应用程序的基础上,完成完整性度量和完整性验证、数据加解密和身份认证等相关操作,实现基于USB Key的可信启动过程和身份认证过程。实验结果表明,该方案能够快速有效地保证计算机终端在启动过程中不被篡改和用户的合法性。

关键词： USB Key UEFI 可信计算可信启动

来源：评论

学校读者我要写书评

暂无评论

一种基于Android平台的微信取证分析方法

引用

信息工程大学学报 2018年第6期19卷 719-725页

作者：张艳姣曾光裕冯培均王浩远信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

针对微信应用数据多,司法取证人员很难快速找到与案件相关数据的问题,提出一种基于Android平台的微信取证分析方法。在成功获取微信数据明文的基础上,分析SQLite数据库文件表结构及字段信息,通过建立自定义数据库,对微信应用数据做自动... 详细信息

针对微信应用数据多,司法取证人员很难快速找到与案件相关数据的问题,提出一种基于Android平台的微信取证分析方法。在成功获取微信数据明文的基础上,分析SQLite数据库文件表结构及字段信息,通过建立自定义数据库,对微信应用数据做自动化处理,将聊天会话场景进行还原。实验结果表明,该方法有较高的可行性和普适性,对数字取证工作者有重要的参考价值。

关键词： Android平台微信取证社交数据分析自动化处理

来源：评论

学校读者我要写书评

暂无评论

一个eCK安全的无对的ID-AKE协议

引用

信息工程大学学报 2015年第4期16卷 385-393页

作者：田宝平魏福山马传贵信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

文献[1]方案并不具有其所声称的前向安全性和KGC前向安全性,同时也不能抵抗临时密钥泄漏攻击和反射攻击;借鉴OAKE的设计思想利用椭圆曲线加法群构造了一个新的无对的ID-AKE方案。在不增加计算代价的前提下,新协议解决了文献[1]方案的安... 详细信息

文献[1]方案并不具有其所声称的前向安全性和KGC前向安全性,同时也不能抵抗临时密钥泄漏攻击和反射攻击;借鉴OAKE的设计思想利用椭圆曲线加法群构造了一个新的无对的ID-AKE方案。在不增加计算代价的前提下,新协议解决了文献[1]方案的安全缺陷,基于CDH假设在e CK模型下是安全的。分析表明新协议不仅在安全性上有优势,也具有较高的计算效率。

关键词：基于身份的公钥密码学认证密钥协商 eCK模型双线性对

来源：评论

学校读者我要写书评

暂无评论

一种基于话题传播的微博用户影响力分析方法

引用

信息工程大学学报 2013年第6期14卷 735-742页

作者：马俊周刚许斌黄永忠数学工程与先进计算国家重点实验室河南郑州450001 信息工程大学河南郑州450001

基于微博话题传播过程,提出了一种新的用户影响力分析方法。该方法首先结合微博信息传播机制,构建信息推送网和信息转发网;其次,基于上述网络建立话题传播网模型并提出CTDN构建算法;最后,以该模型为基础设计并实现了一种用户影响力排序... 详细信息

基于微博话题传播过程,提出了一种新的用户影响力分析方法。该方法首先结合微博信息传播机制,构建信息推送网和信息转发网;其次,基于上述网络建立话题传播网模型并提出CTDN构建算法;最后,以该模型为基础设计并实现了一种用户影响力排序算法TD-InfluenceRank,该算法在迭代计算用户影响力时通过考虑节点间的信息传播,使影响力更多地转移给关系密切的节点。实验结果表明,以TD-InfluenceRank算法为核心的用户影响力分析方法,能够有效提高话题传播中用户影响力分析的准确性。

关键词：微博用户影响力信息传播话题传播网模型 PageRank算法

来源：评论

学校读者我要写书评

暂无评论

支持批量审计的解密外包Twin-SM9密钥封装机制

引用

信息安全学报 2023年第4期8卷 99-112页

作者：刘宽宁建廷伍玮陈海霞福建师范大学计算机与网络空间安全学院福州350117 福建师范大学数学与统计学院福州350117 中国科学院信息工程研究所、信息安全国家重点实验室北京100093

自SM9标识密码相关算法先后被纳入ISO/IEC国际标准以来,为推动密码技术实现安全先进、自主可控,一系列关于SM9标识密码算法的功能性拓展和安全性(拓展)证明被提出。Cheng依据Gap-q-BCAA1困难问题假设对SM9密钥封装、公钥加密和密钥协商... 详细信息

自SM9标识密码相关算法先后被纳入ISO/IEC国际标准以来,为推动密码技术实现安全先进、自主可控,一系列关于SM9标识密码算法的功能性拓展和安全性(拓展)证明被提出。Cheng依据Gap-q-BCAA1困难问题假设对SM9密钥封装、公钥加密和密钥协商系列算法进行了安全性分析。为有效消除SM9系列算法对Gap困难问题的依附,Lai等人随后利用Twin-Hash-ElGamal技术构造出了Twin-SM9密钥封装机制。然而,Twin-SM9密钥封装机制的解密操作需要2次双线性配对运算,在需要对海量数据进行频繁解密操作且算力资源受限的环境中(如无线传感设备、密码芯片等),计算代价高昂的配对运算将会成为制约系统效率的重要瓶颈。针对上述问题,本文基于Twin-SM9提出了支持多密文批量审计的解密外包新型密钥封装机制BAOC-Twin-SM9,并在随机谕言模型下证明了BAOC-Twin-SM9具备Replayable Chosen Ciphertext Attacks(RCCA)安全性。BAOC-Twin-SM9利用云服务中心的强大算力有效消除了双线性配对运算对原Twin-SM9密钥封装机制解密效率的影响,计算资源有限的终端数据使用者最终只需进行两次简单的指数运算就能对外包计算结果解密。相比于Twin-SM9,其更适用于解密操作频繁且算力资源受限的环境中。另外,针对半可信云服务中心解密外包计算结果的高效审计问题,BAOC-Twin-SM9运用随机盲化技术实现了多密文外包解密结果的批量审计功能,从而保证了外包计算结果的正确性。理论分析和仿真实验数据论证了BAOC-Twin-SM9的可行性与高效性,BAOC-Twin-SM9拓展了SM9系列算法的应用领域。

关键词： Twin-SM9 解密外包批量审计 SM9 密钥封装

来源：评论

学校读者我要写书评

暂无评论

量子安全直接通信技术发展研究

引用

计算机科学与应用 2018年第7期8卷 1102-1116页

作者：韩宇姜慧杰陶宁张书轶李强张宗波李宏欣战略支援部队信息工程大学河南洛阳数学工程与先进计算国家重点实验室河南郑州

量子安全通信技术因其可以在通信双方安全的直接共享秘密消息而备受关注。本文首先介绍了量子安全直接通信技术的基本理论和典型方案,然后对现有理论方案进行深入分析并研究了最新实验进展以及相关通信网络的建设,最后通过讨论噪声和实... 详细信息

量子安全通信技术因其可以在通信双方安全的直接共享秘密消息而备受关注。本文首先介绍了量子安全直接通信技术的基本理论和典型方案,然后对现有理论方案进行深入分析并研究了最新实验进展以及相关通信网络的建设,最后通过讨论噪声和实用性等问题,对量子安全直接通信技术的未来发展趋势进行了总结与展望。

关键词：量子密码量子安全直接通信典型方案网络设计未来展望

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：