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

浮点数是计算机系统中用于表示实数或小数的一种方式。由于计算机字长有限,导致浮点计算结果与理论计算之间存在误差,通常每一步的误差很小,不会影响计算结果。但随着计算规模不断增加,计算过程不断复杂,微小的误差经过累积可能导致计算结果错误,给实际应用带来严重后果。在IEEE754理论基础上,针对C/C++浮点代码,结合系统架构、程序编译总结了浮点程序中出现的数据误差和舍入误差,并通过ULP(unit in last place)对误差进行量化。最后结合区间分析技术对浮点计算可靠性进行判断,实验结果表明区间分析可以为用户判定浮点计算可靠性提供重要依据。

关键词：浮点误差精度可靠性

来源：评论

学校读者我要写书评

暂无评论

软件工程专业本科生胜任能力模型研究

引用

教育教学论坛 2015年第14期 202-203页

作者：杨奎武刘洪波李长胜信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室河南郑州450002

根据胜任能力模型,研究构建了软件工程专业本科生2×3能力模型,并以此为指导给出了综合实践教学、项目驱动教学、激励鼓励教学、社会实践教学等方法在模型实施过程中的具体运用,最后指出了基于2×3能力模型的具体实施注意事项。

关键词：能力模型软件工程教学方法

来源：评论

学校读者我要写书评

暂无评论

针对诱骗态量子密钥分发时移攻击中信道替换问题的研究

引用

信息工程大学学报 2015年第6期16卷 641-644页

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

时移攻击基于探测器效率不匹配,会引起探测端计数率和成码率下降。为了补偿计数率和成码率,窃听者通常采取使用无损信道替换已有信道的方法。研究针对诱骗态量子密钥分发时移攻击中如何替换信道的问题,分析了实际诱骗态量子密钥分发系... 详细信息

时移攻击基于探测器效率不匹配,会引起探测端计数率和成码率下降。为了补偿计数率和成码率,窃听者通常采取使用无损信道替换已有信道的方法。研究针对诱骗态量子密钥分发时移攻击中如何替换信道的问题,分析了实际诱骗态量子密钥分发系统受到时移攻击后的计数率、误码率和成码率,并给出了相应的计算方法。最后,在保证Eve不被发现的前提下,进行了数值模拟,给出了通信距离与需要替换成无损信道比例之间的关系,为实际条件下时移攻击信道替换问题提供了定量的参考。

关键词：诱骗态量子密钥分发时移攻击信道

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第13届全国博士生学术年会——物联网专题

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

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

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

关键词：分组密码线性逼近安全性

来源：评论

学校读者我要写书评

暂无评论

de Bruijn序列特征函数的必要条件

引用

信息工程大学学报 2015年第3期16卷 263-266,273页

作者：唐振伟戚文峰田甜信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

文章从代数正规型中线性项与非线性项关系的角度,给出了de Bruijn序列特征函数新的必要条件。设f(x0,x1,…,xn)=x0g(x1,…,xn-1)xn是一个n阶de Bruijn序列的特征函数,记L(g)为函数g的代数正规型中所有线性项的模2加,若L(g)=0,证明... 详细信息

文章从代数正规型中线性项与非线性项关系的角度,给出了de Bruijn序列特征函数新的必要条件。设f(x0,x1,…,xn)=x0g(x1,…,xn-1)xn是一个n阶de Bruijn序列的特征函数,记L(g)为函数g的代数正规型中所有线性项的模2加,若L(g)=0,证明了非线性项x1x2,x2x3,…,xn-2xn-1中至少有一个不在函数g的代数正规型中出现。进一步地,若L(g)=x1x2…xn-2,则当xn-2xn-1不在函数g的代数正规型中出现时,非线性项x1x2,x2x3,…,xn-3xn-2中也至少有一个不在函数g的代数正规型中出现。类似的,若L(g)=x2x3…xn-1,则当x1x2不在函数g的代数正规型中出现时,非线性项x2x3,x3x4,…,xn-2xn-1中也至少有一个不在函数g的代数正规型中出现。对任意整数1≤k≤(n-1)/2,若L(g)=x1x2…xkxn-kxn-k+1…xn-1,给出了函数g在其真值表中部分位置上的取值限制。

关键词：非线性反馈移位寄存器 de Bruijn序列特征函数代数正规型

来源：评论

学校读者我要写书评

暂无评论

基于邻域像素差分矩阵的彩色空域图像隐写分析

基于邻域像素差分矩阵的彩色空域图像隐写分析

引用

第13届全国博士生学术年会——物联网专题

作者：韩涛祝跃飞陈熹信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

目前隐写术与隐写分析关注的焦点主要在灰度图像,默认假设针对灰度图像的隐写术和隐写分析都可以直接扩展至彩色图像.通过考虑这种直接扩展的方式对彩色图像的颜色通道间相关性可能产生的影响,该文基于邻域像素差分矩阵提出了一种针对... 详细信息

目前隐写术与隐写分析关注的焦点主要在灰度图像,默认假设针对灰度图像的隐写术和隐写分析都可以直接扩展至彩色图像.通过考虑这种直接扩展的方式对彩色图像的颜色通道间相关性可能产生的影响,该文基于邻域像素差分矩阵提出了一种针对彩色空域图像隐写的隐写分析方法.首先,根据3个颜色通道的邻域像素差分矩阵分别计算相应的Markov转移概率矩阵,提取3个颜色通道内的特征并进行融合;然后,根据颜色通道间的相关性,计算颜色通道间邻域像素差分矩阵的转移概率矩阵,并将水平和垂直共4个方向与对角和反对角共4个方向的转移概率矩阵分别进行融合,作为颜色通道间的特征;最后,将颜色通道内的融合特征与颜色通道间的特征进行组合,构成该隐写分析方法的隐写分析特征.针对非自适应的最低有效位(LSB)匹配和3种内容自适应隐写方法的实验结果均表明了该隐写分析方法检测彩色空域图像隐写的有效性,并且该文提出的颜色通道间隐写分析特征更能有效捕获内容自适应隐写对彩色图像颜色通道间相关性的影响.

关键词：彩色空域图像隐写分析邻域像素差分矩阵

来源：评论

学校读者我要写书评

暂无评论

对全轮Square算法的低数据Biclique攻击

引用

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

作者：张曙港陈少真信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

Square算法是一个8轮SPN结构的分组密码,它是AES的前身,通过构造一个新的2轮Biclique结构,使得对Square算法攻击的数据复杂度从248个选择密文降到216个选择密文,较现有对全轮Square攻击结果,数据复杂度达最优。

关键词：分组密码 Square算法密码分析 Biclique

来源：评论

学校读者我要写书评

暂无评论

利用RLWE构造基于身份的全同态加密体制

利用RLWE构造基于身份的全同态加密体制

引用

2015中国计算机网络安全年会

作者：辛丹顾纯祥郑永辉光焱康元基信息工程大学郑州 450002 数学工程与先进计算国家重点实验室郑州 450002

全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.本文将Regev提出的前像可采样陷门单向函数推广到任意次数的分圆环R=Z[X]/(xn+1)上,在此基础利用环上容错问题设计了一种基于身份的全同态加密体制.体制以用... 详细信息

全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.本文将Regev提出的前像可采样陷门单向函数推广到任意次数的分圆环R=Z[X]/(xn+1)上,在此基础利用环上容错问题设计了一种基于身份的全同态加密体制.体制以用户身份标识作为公钥,在计算效率和密钥管理方面都具有优势,安全性在随机喻示模型下可规约为判定性RLWE问题难解性假设.

关键词：数据安全全同态加密体制 RLWE构造身份标识

来源：评论

学校读者我要写书评

暂无评论

一类非线性方程边值问题的匹配渐近解

引用

系统科学与数学 2015年第6期35卷 723-728页

作者：周在莹林万涛石兰芳莫嘉琪安徽师范大学数学计算机科学学院芜湖241003 清华大学数学科学系北京100084 中国科学院大气物理研究所大气科学和地球流体力学数值模拟国家重点实验室北京100029 南京信息工程大学数学与统计学院南京210044

利用匹配方法考虑了一类非线性方程边值问题的角层解.首先,由退化问题来决定问题的角层的位置.然后,构造零次近似的外部解和零次近似的内层解,并且对零次近似的外部解和零次近似的内层解进行匹配,由此便得到解的零次近似的形式合成展开... 详细信息

利用匹配方法考虑了一类非线性方程边值问题的角层解.首先,由退化问题来决定问题的角层的位置.然后,构造零次近似的外部解和零次近似的内层解,并且对零次近似的外部解和零次近似的内层解进行匹配,由此便得到解的零次近似的形式合成展开式.继而构造一次近似的外部解和一次内层解,并且对一次近似的外部解和一次近似的内层解进行匹配,由此便得到解的一次近似的形式合成展开式.最后利用微分不等式理论证明了得到的一次近似的合成展开式是一致有效的渐近展开式.

关键词：非线性方程角层外部解内层解

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：