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

计算机工程与设计 2015年第8期36卷 2114-2119页

作者：冯俊池于磊刘洋信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描... 详细信息

为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

关键词：统一建模语言马尔科夫链使用模型软件可靠性测试状态化简

来源：评论

学校读者我要写书评

暂无评论

面向异构多核处理器的的循环分块

引用

计算机工程与设计 2015年第1期36卷 168-173页

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

将OpenACC编程模型用于异构多核处理器时,由于异构多核处理器加速设备内存有限,操作大量数据的代码不能获得很好的加速。针对这一问题,在OpenACC中引入循环分块子句,对循环进行分块处理,使每个循环块使用的数据能够存储在设备内存中;提... 详细信息

将OpenACC编程模型用于异构多核处理器时,由于异构多核处理器加速设备内存有限,操作大量数据的代码不能获得很好的加速。针对这一问题,在OpenACC中引入循环分块子句,对循环进行分块处理,使每个循环块使用的数据能够存储在设备内存中;提出面向异构多核处理器的循环分块子句生成算法,并在基于Open64的"源-源"自动并行化系统Auto-ACC中进行实现。测试结果表明,在异构多核处理器上,扩展的循环分块子句及所提生成算法能够对程序进行明显的加速。

关键词：异构多核处理器循环分块数据重用 OpenACC 自动并行化

来源：评论

学校读者我要写书评

暂无评论

数组维度类型程序设计方法及高性能FFT实现

引用

软件学报 2015年第12期26卷 3104-3116页

作者：崔翔李晓雯陈一峯高可信软件技术教育部重点实验室(北京大学) 北京100871 数学工程与先进计算国家重点实验室江苏无锡214125 河南大学计算机与信息工程学院河南开封475000 解放军防空兵学院河南郑州450000

异构集群多层次异构存储的特点,决定了在其上进行计算时,数据需要进行更多维度的划分.现有集群程序设计语言缺乏对多维数组传输和转置的统一表示机制.介绍多维数组维度转置的表示方法和课题组实现的Parray语言,可以对异构集群复杂数据... 详细信息

异构集群多层次异构存储的特点,决定了在其上进行计算时,数据需要进行更多维度的划分.现有集群程序设计语言缺乏对多维数组传输和转置的统一表示机制.介绍多维数组维度转置的表示方法和课题组实现的Parray语言,可以对异构集群复杂数据维度变换的数据操作进行清晰表示.同时介绍基于数组维度类型程序设计方法和Parray语言实现的天河1A系统上的大规模3维FFT,该算法代码实现简洁,同时得到了良好的性能和可延展性.

关键词：异构集群集群程序设计语言离散傅里叶变换(FFT)

来源：评论

学校读者我要写书评

暂无评论

基于闪存冗余块的文件隐藏技术

引用

计算机应用研究 2015年第3期32卷 900-904页

作者：郭松辉王玉龙牛小鹏解放军信息工程大学郑州450000 数学工程与先进计算国家重点实验室郑州450000

为保护闪存型存储设备上的敏感文件,提出基于闪存冗余块的文件隐藏方法。该方法在分析Nand型flash特点及FAT32文件系统管理机制的基础上,将闪存中冗余的物理块有机组合以存储敏感文件,并采用与文件隐藏相似的方法恢复原始文件。实验结... 详细信息

为保护闪存型存储设备上的敏感文件,提出基于闪存冗余块的文件隐藏方法。该方法在分析Nand型flash特点及FAT32文件系统管理机制的基础上,将闪存中冗余的物理块有机组合以存储敏感文件,并采用与文件隐藏相似的方法恢复原始文件。实验结果表明,基于闪存冗余块的文件隐藏方法不占用闪存有效空间,具有隐蔽性高、鲁棒性强且隐藏容量大的特点,能有效抵抗软件取证攻击。

关键词：文件隐藏文件恢复文件系统电子取证隐藏容量

来源：评论

学校读者我要写书评

暂无评论

缩减轮数Crypton算法中间相遇攻击的改进

引用

计算机科学 2015年第11期42卷 217-221页

作者：李永光曾光韩文报解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

Crypton密码算法是韩国学者提出的一种AES候选算法。通过研究Crypton算法的结构特征和一类截断差分路径的性质,利用差分枚举技术权衡存储复杂度和数据复杂度,提出了4轮和4.5轮中间相遇区分器。新的区分器减少了预计算表中的多重集数量,... 详细信息

Crypton密码算法是韩国学者提出的一种AES候选算法。通过研究Crypton算法的结构特征和一类截断差分路径的性质,利用差分枚举技术权衡存储复杂度和数据复杂度,提出了4轮和4.5轮中间相遇区分器。新的区分器减少了预计算表中的多重集数量,降低了存储复杂度。基于4轮区分器首次给出对7轮Crypton-128的中间相遇攻击,时间复杂度为2113,数据复杂度为2113,存储复杂度为290.72。基于4.5轮区分器首次给出对8轮Crypton-192的中间相遇攻击,时间复杂度为2172,数据复杂度为2113,存储复杂度为2138。

关键词： Crypton密码差分枚举技术多重集中间相遇攻击

来源：评论

学校读者我要写书评

暂无评论

基于FPGA的报文分类技术

引用

计算机工程与设计 2015年第4期36卷 920-924页

作者：王敏邰铭信息工程大学网络空间安全学院河南郑州450001 信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

HiCuts(hierarchical intelligent cuttings)算法需要对搜索空间进行切割,导致规则的复制,消耗过多存储空间,HyperCuts算法虽然允许每一步对多个维同时进行切割,降低了决策树的高度,但没有消除规则的复制。在HyperCuts算法的基础上,针... 详细信息

HiCuts(hierarchical intelligent cuttings)算法需要对搜索空间进行切割,导致规则的复制,消耗过多存储空间,HyperCuts算法虽然允许每一步对多个维同时进行切割,降低了决策树的高度,但没有消除规则的复制。在HyperCuts算法的基础上,针对规则复制的两个来源,做两方面的改进,一是减少互相重叠的规则数,二是精确范围切割。在Xilinx Virtex-6FPGA平台上对该优化算法进行仿真,布局布线结果表明,在单个芯片上能够存储10K的分类规则,当报文长度为40字节时,能够维持100Gbps的吞吐量。

关键词：报文分类决策树流水线算法现场可编程门阵列

来源：评论

学校读者我要写书评

暂无评论

基于半监督聚类的文档敏感信息推导方法

引用

计算机科学 2015年第10期42卷 132-137页

作者：苏赢彬杜学绘夏春涛曹利峰陈华成解放军信息工程大学数学工程与先进计算国家重点实验室解放军73503部队

针对当前多文档聚合推导引起的敏感信息泄露问题存在风险大、隐蔽性高的特点,提出了一种基于半监督聚类的文档敏感信息推导方法。首先,为确保在较小的时间开销下获得高质量的约束信息,设计了一种新颖的二阶约束主动学习算法,它通过选择... 详细信息

针对当前多文档聚合推导引起的敏感信息泄露问题存在风险大、隐蔽性高的特点,提出了一种基于半监督聚类的文档敏感信息推导方法。首先,为确保在较小的时间开销下获得高质量的约束信息,设计了一种新颖的二阶约束主动学习算法,它通过选择不确定性最大的样本点来生成信息量最大的约束闭包;然后,在引入约束信息的基础上结合DBSCAN提出一种新的半监督聚类算法,它能够有效解决DBSCAN算法存在的边界模糊问题,提高文档聚类准确性;最后,在半监督聚类结果的基础上,对相似文档进行敏感信息可能性测度。实验表明,半监督聚类算法准确率提升明显,推导方法能够有效推导出敏感信息。

关键词：半监督聚类主动学习敏感信息模糊数学推导方法

来源：评论

学校读者我要写书评

暂无评论

基于角色的访问控制模型安全性分析研究综述

引用

计算机应用研究 2015年第11期32卷 3201-3208页

作者：熊厚仁陈性元杜学绘王义功解放军信息工程大学郑州450001 河南省信息安全重点实验室郑州450001 数学工程与先进计算国家重点实验室郑州450001

在总结RBAC及其管理模型发展现状的基础上,给出了访问控制模型的安全分析和RBAC模型的安全性分析的概念性描述,综述了针对RBAC及其扩展模型的安全性分析方法,主要包括状态机理论、智能规划和图规划算法、图变换、图灵机理论和Petri网等... 详细信息

在总结RBAC及其管理模型发展现状的基础上,给出了访问控制模型的安全分析和RBAC模型的安全性分析的概念性描述,综述了针对RBAC及其扩展模型的安全性分析方法,主要包括状态机理论、智能规划和图规划算法、图变换、图灵机理论和Petri网等方法。通过比较分析这些安全性分析方法,针对分布式环境下授权管理与访问控制的新需求,指出了安全性分析方法面临的问题,展望了将来的研究方向。

关键词：访问控制基于角色的访问控制授权管理安全性分析

来源：评论

学校读者我要写书评

暂无评论

基于无源定位观测方程的一类伪线性加权最小二乘定位闭式解及其理论性能分析

引用

中国科学：信息科学 2015年第9期45卷 1197-1217页

作者：王鼎李长胜张瑞杰解放军信息工程大学信息系统工程学院郑州450001 解放军信息工程大学训练部郑州450001 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对无源定位问题中的一类特殊观测方程,提出一种将其非线性观测方程进行伪线性处理,从而实现目标位置(闭式)解算的定位理论框架.首先,在不限定具体物理观测量的前提下,建立将非线性观测方程转化为伪线性观测方程的代数模型,并在没有系... 详细信息

针对无源定位问题中的一类特殊观测方程,提出一种将其非线性观测方程进行伪线性处理,从而实现目标位置(闭式)解算的定位理论框架.首先,在不限定具体物理观测量的前提下,建立将非线性观测方程转化为伪线性观测方程的代数模型,并在没有系统误差(特指观测站位置状态扰动)的条件下,推导出伪线性加权最小二乘定位闭式解(称其为Pwls-a).接着,利用一阶误差分析方法定量证明该闭式解的统计方差可渐近逼近无系统误差时的克拉美罗界(Cram′er-Rao bound).随后,在系统误差存在条件下,定量推导闭式解Pwls-a的统计方差,并定量证明该方差无法渐近逼近系统误差存在条件下的克拉美罗界.对此,推导出另一种可抑制系统误差的伪线性加权最小二乘定位闭式解(称其为Pwls-b),并定量证明该闭式解的统计方差可渐近逼近系统误差存在条件下的克拉美罗界.此外,将闭式解Pwls-b推广应用于多目标联合定位的场景中最后,以协同AOA/TDOA/GROA信息的无源定位问题为算例,阐述伪线性无源定位理论框架的具体应用,并通过数值实验验证文中理论分析的有效性和定位方法的优越性.

关键词：无源定位观测误差系统误差伪线性最小二乘闭式解克拉美罗界

来源：评论

学校读者我要写书评

暂无评论

正定式约束下广义几何规划的一种线性化方法

引用

郑州大学学报（理学版） 2015年第1期47卷 24-27页

作者：韩学锋杨本朝河南理工大学数学与信息科学学院河南焦作454000 信息工程大学数学工程与先进计算国家重点实验室河南郑州450000

几何规划是一类具有特殊形式的非线性规划问题,正定式几何规划问题借助于凸规划问题的求解已基本得到解决.但广义几何规划问题作为一种特殊的(DC)规划,至今没有好的求解方法.利用线性化技术,将正定式约束下的一类广义几何规划问题转化... 详细信息

几何规划是一类具有特殊形式的非线性规划问题,正定式几何规划问题借助于凸规划问题的求解已基本得到解决.但广义几何规划问题作为一种特殊的(DC)规划,至今没有好的求解方法.利用线性化技术,将正定式约束下的一类广义几何规划问题转化为一列凸规划问题进行求解,构造了正定式约束下广义几何规划的一种新算法,并证明了该算法的全局收敛性.

关键词：广义几何规划正定式凸规划最优解

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：