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

计算机工程与应用 2019年第2期55卷 92-99页

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

级联失效建模研究对检测和防御级联失效攻击具有重要意义。针对现有研究存在毁伤因素单一、失效条件不符合实际等问题,提出了基于双毁伤因素的域间路由系统级联失效模型。该模型综合考虑了UPDATE报文和流量重分配对级联失效过程的影响,... 详细信息

级联失效建模研究对检测和防御级联失效攻击具有重要意义。针对现有研究存在毁伤因素单一、失效条件不符合实际等问题,提出了基于双毁伤因素的域间路由系统级联失效模型。该模型综合考虑了UPDATE报文和流量重分配对级联失效过程的影响,并基于两者的相互作用关系,系统刻画了级联失效过程。实验结果表明,该模型能够较准确地模拟域间路由系统级联失效过程,验证了模型的有效性。相对于已有模型,使模型与真实数据的预测偏差降低了35%。

关键词：级联失效域间路由系统流量重分配

来源：评论

学校读者我要写书评

暂无评论

虚拟化系统中的攻击与防护模型研究

引用

武汉大学学报（理学版） 2013年第5期59卷 416-424页

作者：王晓睿王清贤郭玉东卢建平解放军信息工程大学四院河南郑州450002 数学工程与先进计算国家重点实验室河南郑州450002 重庆通信学院通信指挥系重庆400035

针对目前的攻击模型不能充分表达虚拟化系统所面临的威胁,可信基设计忽略虚拟机监控器(virtual machine monitor,VMM)完整性,客户机资源保护不充分等问题,设计了基于协作型VMM的安全模型.采用非对称的地址映射和访问权限使安全部件及监... 详细信息

针对目前的攻击模型不能充分表达虚拟化系统所面临的威胁,可信基设计忽略虚拟机监控器(virtual machine monitor,VMM)完整性,客户机资源保护不充分等问题,设计了基于协作型VMM的安全模型.采用非对称的地址映射和访问权限使安全部件及监控点隔离于易受感染代码,建立了双系统间引用监控机制验证VMM内存完整性,并根据恶意行为的语义映射在关键路径上保护系统资源.实验结果表明协作型VMM安全模型能够捕获到客户机中完整的信息流,并能准确识别出其中的异常系统调用序列.

关键词：虚拟化攻击模型安全防护内存完整性资源监控

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于形式概念分析的语义角色挖掘算法

引用

计算机科学 2018年第12期45卷 117-122,129页

作者：周超任志宇毋文超信息工程大学郑州450001 河南省信息安全重点实验室郑州450001 数学工程与先进计算国家重点实验室郑州450001 中国洛阳电子装备试验中心河南洛阳471003

基于角色的访问控制(Role-Based Access Control,RBAC)在管理和安全方面具有优势,经过20多年的发展后已被广泛应用于各个领域,如何将数据繁多的非RBAC系统迁移成RBAC系统已经成为一个意义重大的难题。角色是RBAC的基本特征,因此角色挖掘... 详细信息

基于角色的访问控制(Role-Based Access Control,RBAC)在管理和安全方面具有优势,经过20多年的发展后已被广泛应用于各个领域,如何将数据繁多的非RBAC系统迁移成RBAC系统已经成为一个意义重大的难题。角色是RBAC的基本特征,因此角色挖掘是RBAC系统实施的一个重要环节。基于形式概念分析生成用户权限概念格及用户属性概念格,将用户权限概念格翻转后映射为初始候选角色状态,通过约简操作和精简操作来挖掘角色,然后对用户权限概念格及用户属性概念格进行相似性分析,通过定义最近似表达式为角色赋予语义,使得生成的角色具有以下两点优势:1)结构层次,有效地减轻了管理员授权的负担,提高了授权管理的效率;2)语义意义,能够与现实生活中的概念相关联,增强了角色的可解释性。最后,通过实验验证了该算法的正确性和有效性。

关键词：角色挖掘形式概念分析概念格属性语义

来源：评论

学校读者我要写书评

暂无评论

四粒子团簇态的量子隐形传态

引用

河南理工大学学报（自然科学版） 2013年第6期32卷 768-771页

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

利用部分纠缠EPR对和GHZ态作为量子信道,提出了一个概率隐形传送四粒子团簇态的方案.发送方进行3次Bell基测量和1次Hadmard变换,接收方引进1个辅助粒子,进行一系列幺正操作后,则可以以一定的概率实现概率隐形传输.

关键词：概率隐形传态酉变换四粒子团簇态

来源：评论

学校读者我要写书评

暂无评论

一类厄尔尼诺-南方涛动耦合振子动力学模型的震荡近似解

引用

物理学报 2013年第14期62卷 17-21页

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

研究了一类厄尔尼诺和南方涛动(ENSO)耦合振子动力学模型.利用奇摄动理论的参数变值法和平均法,得到了对应ENSO耦合振子模型方程的震荡近似解.

关键词： ENSO振子奇摄动近似解

来源：评论

学校读者我要写书评

暂无评论

基于像素链动态失真和校验格码的±1隐写编码

引用

计算机研究与发展 2014年第8期51卷 1739-1747页

作者：包震坤张卫明程森赵险峰信息工程大学四院郑州450002 数学工程与先进计算国家重点实验室(信息工程大学) 郑州450002 中国科学技术大学信息科学技术学院合肥230026 中国科学院信息工程所北京100093 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

双层校验格码(syndrome trellis code,STC)是目前最小化±1隐写失真的流行工具,但是该方法是概率算法,可能造成嵌入失败,并且计算复杂度较高.因此提出像素链动态失真模型,利用当前像素的SLSB(second least significant bit)位控制... 详细信息

双层校验格码(syndrome trellis code,STC)是目前最小化±1隐写失真的流行工具,但是该方法是概率算法,可能造成嵌入失败,并且计算复杂度较高.因此提出像素链动态失真模型,利用当前像素的SLSB(second least significant bit)位控制下一像素的LSB(least significant bit)位,使得嵌入过程中有些像素的失真可以动态调整为零.进而,将STC码应用于动态失真模型,得到了一种新的±1隐写编码方法.新方法最小化失真的能力与双层STC接近,嵌入速度明显优于双层STC.并且新方法是确定性算法,可以保证嵌入成功,所以更适合在实际的应用系统中使用.

关键词：信息隐藏隐写编码双层嵌入像素链校验格码

来源：评论

学校读者我要写书评

暂无评论

近似重复视频检索方法研究

引用

电子技术应用 2016年第5期42卷 24-26,35页

作者：余时强张铮张为华复旦大学软件学院上海201203 复旦大学上海市数据科学重点实验室上海200433 解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

随着互联网的飞速发展,越来越多的视频被上传和下载,然而这些海量的视频中有很大的比例是近似重复的,这些近似重复的视频会给版权控制、视频检索准确性等造成一定影响,同时也会增加运营商的存储和处理成本。如何在大规模的视频集中找出... 详细信息

随着互联网的飞速发展,越来越多的视频被上传和下载,然而这些海量的视频中有很大的比例是近似重复的,这些近似重复的视频会给版权控制、视频检索准确性等造成一定影响,同时也会增加运营商的存储和处理成本。如何在大规模的视频集中找出近似重复的视频变得日益重要。本文对近几年关于近似重复视频检索方面的相关工作和研究成果进行了深入调研,详细论述了当前近似视频检索技术的现状及关键技术,并对其发展进行了展望。

关键词：近似重复视频视频特征视频检索

来源：评论

学校读者我要写书评

暂无评论

基于存储访问模型的细粒度存储变量识别算法

引用

计算机科学 2015年第9期42卷 171-176,182页

作者：井靖蒋烈辉何红旗张媛媛信息工程大学计算机科学与技术学院数学工程与先进计算国家重点实验室 72495部队自动化站

现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性;后者通常采用损失算法精度的方法来得到结果,这往往会造成识别变量粒度过大、漏识别和误... 详细信息

现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性;后者通常采用损失算法精度的方法来得到结果,这往往会造成识别变量粒度过大、漏识别和误识别率较高。首先定义一种存储访问模型,对存储操作进行细粒度的模拟;然后给出基于存储访问模型的抽象状态生成算法,实现了基于高级中间语言HBRIL的细粒度数据信息(抽象状态)的跟踪和记录;基于这些抽象状态设计了存储区域内的细粒度变量实体识别算法;最后通过测试给出变量识别的细化比例和识别率。由测试结果可以看出,该算法在动态分配变量的识别率方面具有明显优势。

关键词：细粒度内存访问模型存储环境存储操作模拟变量实体抽象状态

来源：评论

学校读者我要写书评

暂无评论

基于划分的自适应随机测试综述

引用

计算机科学 2019年第3期46卷 19-29页

作者：李志博李清宝于磊侯雪梅中国人民解放军战略支援部队信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

随机测试是一种广泛应用于实践的基础测试方法。自适应随机测试(ART)是对随机测试的改进,其检错有效性优于随机测试。首先,分析了具有较高检错有效性但时间开销较大的经典ART算法;其次,重点综述了能降低时间开销的基于划分的ART算法,并... 详细信息

随机测试是一种广泛应用于实践的基础测试方法。自适应随机测试(ART)是对随机测试的改进,其检错有效性优于随机测试。首先,分析了具有较高检错有效性但时间开销较大的经典ART算法;其次,重点综述了能降低时间开销的基于划分的ART算法,并对各种划分策略和测试用例生成算法进行了分析和对比;同时,分析了影响ART算法有效性的关键因素以及高维输入域空间中算法有效性低下的问题,梳理了算法有效性度量指标以及测试用例分布度量指标;最后,论述了ART算法中存在的问题及面临的挑战。

关键词：软件测试随机测试自适应随机测试基于划分的自适应随机测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：