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

计算机工程与应用 2017年第24期53卷 64-68页

作者：臧艺超邱菡周天阳朱俊虎信息工程大学数学工程与先进计算国家重点实验室郑州450001 国家数字交换系统工程技术研究中心郑州450001

时间序列相似性度量在挖掘时间序列模式,提取时间序列关联关系上发挥着重要作用。分析了当前主流的时间序列相似性度量算法,分别指出了各度量算法在度量时序数据相似性时存在的缺陷,并提出了基于数学形态学的时间序列相似性度量算法。... 详细信息

时间序列相似性度量在挖掘时间序列模式,提取时间序列关联关系上发挥着重要作用。分析了当前主流的时间序列相似性度量算法,分别指出了各度量算法在度量时序数据相似性时存在的缺陷,并提出了基于数学形态学的时间序列相似性度量算法。通过将归一化的时间序列二值图像化表示,再引入了图像处理领域中的膨胀、腐蚀操作对时序数据进行形态变换分析,提高相似时序数据部分的抗噪性,同时又不降低时序数据非相似部分间的差异度,实现时序数据相似性度量分类精度的提高。在八种时间序列测试数据集合上进行分类实验,实验结果表明提出的基于数学形态学的时间序列相似性度量算法在时间序列分类精度上得到有效改善,相比于DTW相似性度量算法,分类精度平均水平提升了8.74%,最高提升20%。

关键词：数学形态学时间序列相似性度量

来源：评论

学校读者我要写书评

暂无评论

二进制程序整型溢出漏洞的自动验证方法

引用

信息网络安全 2017年第5期 14-21页

作者：彭建山奚琪王清贤解放军信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室河南郑州450002

整型溢出漏洞已成为威胁软件安全的第二大类漏洞,现有的整型溢出漏洞挖掘工具不支持自动验证漏洞,且现有的漏洞自动验证工具不支持整型溢出漏洞模式。因此,文章提出了一种二进制程序整型溢出漏洞的自动验证方法以填补这一空白。针对整... 详细信息

整型溢出漏洞已成为威胁软件安全的第二大类漏洞,现有的整型溢出漏洞挖掘工具不支持自动验证漏洞,且现有的漏洞自动验证工具不支持整型溢出漏洞模式。因此,文章提出了一种二进制程序整型溢出漏洞的自动验证方法以填补这一空白。针对整型溢出漏洞中有价值的IO2BO漏洞,为避免程序在缓冲区溢出过程中发生Crash导致无法劫持控制流,通过污点分析建立可疑污点集合以缩小待分析污点范围,利用污点回溯技术追踪污点来源,通过符号执行收集内存读写操作的循环条件,控制循环次数以覆盖堆栈关键数据,最后通过约束求解生成新样本,将IO2BO漏洞的自动验证问题转化为传统缓冲区溢出漏洞的自动验证。实验证明该方法能够自动验证典型的IO2BO漏洞,生成能够劫持控制流并执行任意代码的新样本。

关键词：漏洞验证符号执行污点分析整型溢出缓冲区溢出

来源：评论

学校读者我要写书评

暂无评论

基于格子Boltzmann方法的液滴撞击粗糙壁面上液膜过程的数值

引用

科学通报 2017年第21期62卷 2428-2441页

作者：黄虎洪宁崔淑琪施保昌柴振华华中科技大学数学与统计学院武汉430074 武昌理工学院信息工程学院武汉430223 华中科技大学煤燃烧国家重点实验室武汉430074

采用格子Boltzmann方法对液滴撞击粗糙壁面上液膜的过程进行了研究,主要考察了相对液膜厚度h、相对凹槽宽度d*、相对凹槽深度L*等物理参数对界面运动过程的影响.首先,当h较小时,由液滴溅起形成的水花半径r随时间满足r/2R≈αUt/2R1/2的... 详细信息

采用格子Boltzmann方法对液滴撞击粗糙壁面上液膜的过程进行了研究,主要考察了相对液膜厚度h、相对凹槽宽度d*、相对凹槽深度L*等物理参数对界面运动过程的影响.首先,当h较小时,由液滴溅起形成的水花半径r随时间满足r/2R≈αUt/2R1/2的关系,且随着相对液膜厚度h的增大,系数a变小,但当h较大时,该关系式不能很好地描述水花半径的增长过程,且水花的飞溅现象消失.其次,相对凹槽宽度d*对水花的形成及飞溅也会产生重要影响,当d*较小时,随着d*的增大,系数a先减小再增大,当d*>8时凹槽宽度的增加对水花半径的变化影响较小.最后,相对凹槽深度L*对水花的形成影响较小,但对水花的飞溅现象影响较大.

关键词：格子Boltzmann方法液滴液膜粗糙壁面飞溅

来源：评论

学校读者我要写书评

暂无评论

面向对象程序蜕变关系构造方法

引用

计算机科学 2017年第B11期44卷 485-489,515页

作者：张兴隆于磊侯雪梅侯韶凡中国人民解放军信息工程大学郑州450001 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类... 详细信息

针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。

关键词：软件测试蜕变测试蜕变关系变异测试

来源：评论

学校读者我要写书评

暂无评论

基于开源工具集的大数据网络安全态势感知及预警架构

引用

计算机科学 2017年第5期44卷 125-131页

作者：琚安康郭渊博朱泰铭中国人民解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

对信息系统安全防护而言,大数据是一把双刃剑。信息量的巨增使得数据价值密度更小,给APT等攻击行为提供了更好的藏身环境;但大数据处理技术对海量数据的聚合、挖掘和分析又使得准确检测及预测攻击威胁成为可能。为增强信息系统的威胁感... 详细信息

对信息系统安全防护而言,大数据是一把双刃剑。信息量的巨增使得数据价值密度更小,给APT等攻击行为提供了更好的藏身环境;但大数据处理技术对海量数据的聚合、挖掘和分析又使得准确检测及预测攻击威胁成为可能。为增强信息系统的威胁感知与攻击预警能力,构建大数据威胁处理平台势在必行。基于最新的开源大数据组件集,构建了集数据收集整理、数据存储、离线分析发现、实时关联检测、威胁预警和态势呈现等功能于一体的、支持全流程安全事件处理过程的、完整的网络安全态势感知及预警架构,与现有同类平台架构相比,其具有高可用、可扩展、易部署等特点,且能较好地支持威胁情报的引入。

关键词：开源工具大数据态势感知威胁预警

来源：评论

学校读者我要写书评

暂无评论

MIBS密码的零相关—积分攻击

引用

通信学报 2016年第11期37卷 189-195页

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

MIBS算法是一种轻量级分组密码算法,普遍应用于电子标签和传感器网络等环境。首先,分析MIBS算法抵抗零相关积分分析的能力,给出一个8轮的MIBS算法零相关线性区分器。然后,利用零相关线性区分器和积分区分器之间的关系,构造一个8轮的MIB... 详细信息

MIBS算法是一种轻量级分组密码算法,普遍应用于电子标签和传感器网络等环境。首先,分析MIBS算法抵抗零相关积分分析的能力,给出一个8轮的MIBS算法零相关线性区分器。然后,利用零相关线性区分器和积分区分器之间的关系,构造一个8轮的MIBS算法的积分区分器。最后,利用该区分器结合MIBS算法的对称结构,基于部分和技术,分析10轮、12轮的MIBS-80算法。得到的攻击时间复杂度分别为227.68、248.81,数据复杂度为248。

关键词：分组密码密码分析 MIBS算法零相关-积分分析

来源：评论

学校读者我要写书评

暂无评论

弱APN函数的进一步研究

引用

系统科学与数学 2017年第11期37卷 2301-2316页

作者：马俊如张莎莎曾祥勇湖北大学数学与统计学学院应用数学湖北省重点实验室武汉430062 中国科学院信息工程研究所信息安全国家重点实验室北京100093

研究了弱APN函数,给出了弱APN函数存在的一个必要条件,并提出了弱APN函数的两个判定准则.运用所提出的准则对一些已知4-差分函数进行了讨论,得到了几类具体的弱APN函数.此外,还研究了某些弱APN置换的性质.

关键词：弱APN函数弱σ-差分函数 4-差分函数向量布尔函数强l-反不变函数

来源：评论

学校读者我要写书评

暂无评论

一类幂函数在Fpn上的差分谱

引用

系统科学与数学 2017年第5期37卷 1351-1367页

作者：田诗竹陈媛湖北大学数学与统计学学院应用数学湖北省重点实验室武汉430062 中国科学院信息工程研究所信息安全国家重点实验室北京100093

设p为奇素数,n,k为满足n/e为奇数的正整数,其中e=gcd(n,k).文章研究一类幂函数在F_(p^n)上的差分谱,其指数d满足同余方程d(p^k+1)≡2(mod p^n-1).这类指数将Sung-Tai Choi等人(2013)研究的幂函数所对应的两类指数进行了统一和推广.

关键词：差分谱幂函数分圆数有限域

来源：评论

学校读者我要写书评

暂无评论

基于优先级动态二进制翻译寄存器分配算法

引用

浙江大学学报（工学版） 2016年第7期50卷 1338-1346页

作者：戴涛单征卢帅兵石强潭捷解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450002

针对动态二进制翻译系统QEMU寄存器分配不考虑基本块之间对寄存器需求的差异性,造成不必要寄存器溢出而导致重复访存开销的问题,提出高效的基于优先级线性扫描寄存器分配算法.该算法基于中间表示与源平台寄存器之间的映射关系,获取每一... 详细信息

针对动态二进制翻译系统QEMU寄存器分配不考虑基本块之间对寄存器需求的差异性,造成不必要寄存器溢出而导致重复访存开销的问题,提出高效的基于优先级线性扫描寄存器分配算法.该算法基于中间表示与源平台寄存器之间的映射关系,获取每一次生成基本块中间指令预分配寄存器次数并统计排序确定寄存器的优先级,寄存器分配时动态调整寄存器分配顺序,减少寄存器溢出次数,降低生成本地代码指令数量.QEMU动态翻译x86、mips及arm平台的nbench测试集实验结果表明,该算法基于中间代码改进具有很好的跨平台性,有效减少了生成本地代码指令数目,比QEMU优化前翻译性能分别提升了6.7%、6.8%、4.7%.

关键词：动态二进制翻译寄存器分配 QEMU 中间指令

来源：评论

学校读者我要写书评

暂无评论

数学建模竞赛论文的写作方法

引用

数学建模及其应用 2017年第2期6卷 42-48页

作者：韩中庚解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

本文针对数学建模竞赛论文的评阅要求和近年来参赛论文的实际情况,首先简要介绍了科技论文的写作规范,然后详细说明了竞赛论文的写作方法和注意事项,可供拟参加数学建模竞赛的学生和指导老师参考。

关键词：竞赛论文写作规范评阅标准写作要求

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：