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

计算机应用研究 2015年第10期32卷 3009-3013,3021页

作者：井靖蒋烈辉李轶民刘铁铭张有为信息工程大学计算机科学与技术学院郑州450000 数学工程与先进计算国家重点实验室郑州450000 成都军区政治部侦察技术室成都610000

由于没有具体的运行环境，面向嵌入式软件的逆向解析缺少有效的动态信息提取方法。针对这种情况，基于硬件平台和系统平台的透明化处理，设计了基于QEMU中间代码扩展的插桩，定义了基于中间代码层的多粒度插桩接口及回调函数，实现了平... 详细信息

由于没有具体的运行环境，面向嵌入式软件的逆向解析缺少有效的动态信息提取方法。针对这种情况，基于硬件平台和系统平台的透明化处理，设计了基于QEMU中间代码扩展的插桩，定义了基于中间代码层的多粒度插桩接口及回调函数，实现了平台无关的多粒度抽象状态提取和系统无关的内存数据读取，并通过系统语义自省机制实现了系统语义视图的提取。测试结果表明，基本块级和函数级提取信息的速度比语句级快10～20倍，占用的空间少10—30倍。本方法在时间性能方面与DECAF等类似系统相比具有明显优势，能够有效提高面向嵌入式软件逆向分析工作的效率。

关键词：动态信息提取透明化处理抽象状态内存数据读取系统属性描述语义视图

来源：评论

学校读者我要写书评

暂无评论

面向军事栅格的构件集成网络体系结构

引用

计算机工程与应用 2006年第27期42卷 118-120页

作者：张朝昆孙富春郭琳虹江培蕾河北师范大学数学与信息科学学院石家庄030002 清华大学智能技术与系统国家重点实验室北京100084 唐山学院信息工程系河北唐山063000

文章提出了一种面向军事栅格的构件集成网络体系结构,它摒弃了传统的分层式网络体系结构中层的概念,而采用构件概念。构件集成网络体系结构具有时延小、传输负载小等优点,适合于在军事领域中应用。给出了这种网络体系结构的设计原则、... 详细信息

文章提出了一种面向军事栅格的构件集成网络体系结构,它摒弃了传统的分层式网络体系结构中层的概念,而采用构件概念。构件集成网络体系结构具有时延小、传输负载小等优点,适合于在军事领域中应用。给出了这种网络体系结构的设计原则、构件的组成及报文格式。最后,通过仿真,验证了构件集成网络体系结构的有效性。

关键词：军事栅格构件集成网络体系结构

来源：评论

学校读者我要写书评

暂无评论

智能优化在软件测试中的应用综述

引用

控制与决策 2022年第2期37卷 257-266页

作者：姚香娟田甜党向盈孙百才巩敦卫中国矿业大学数学学院江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210008 山东建筑大学计算机科学与技术学院济南250101 徐州工程学院信息工程学院(大数据学院) 江苏徐州221018 中国矿业大学信息与控制工程学院江苏徐州221116

软件测试是软件开发活动中一个关键且耗时的环节,其核心是生成满足特定准则的测试数据.随着软件复杂程度的不断增加,软件测试的难度也越来越高.使用遗传算法等智能优化方法解决复杂软件的测试问题,是近年来软件工程领域的一个研究热点.... 详细信息

软件测试是软件开发活动中一个关键且耗时的环节,其核心是生成满足特定准则的测试数据.随着软件复杂程度的不断增加,软件测试的难度也越来越高.使用遗传算法等智能优化方法解决复杂软件的测试问题,是近年来软件工程领域的一个研究热点.鉴于此,针对智能优化在软件测试的应用进行综述,首先介绍软件测试的基本原理和方法;然后介绍智能优化在不同测试领域的研究进展,并对基于不同智能优化方法的软件测试研究进展进行分析;最后给出该领域的挑战与展望.

关键词：智能优化优化算法软件测试测试数据生成进化测试

来源：评论

学校读者我要写书评

暂无评论

含淹没刚性植被明渠水流特性的试验研究

引用

水力发电学报 2019年第4期38卷 21-32页

作者：宋滢汀景何仿张凯黄凌霄李春光北方民族大学数学与信息科学学院银川750021 北方民族大学土木工程学院银川750021 北方民族大学宁夏智能信息与大数据国家重点实验室银川750021 宁夏大学信息工程学院银川750021

水生刚性淹没植被大量存在于海洋、河流、水库、湖泊及运河中,对水流结构、河床冲淤、洪水演进及航运造成较大影响。为了准确掌握水生刚性淹没植被对水流的影响,需要对含植被水流问题进行系统的研究。本文利用三维激光多普勒测速仪等仪... 详细信息

水生刚性淹没植被大量存在于海洋、河流、水库、湖泊及运河中,对水流结构、河床冲淤、洪水演进及航运造成较大影响。为了准确掌握水生刚性淹没植被对水流的影响,需要对含植被水流问题进行系统的研究。本文利用三维激光多普勒测速仪等仪器对实验室水槽中四种排列(全覆盖平行排列、全覆盖交错排列、半覆盖平行排列、半覆盖交错排列)、四种淹没度下水生刚性淹没植被(用玻璃棒代替)的扰流特性进行了测量,并对实测结果进行了系列分析。试验结果表明,植被的密度、排列方式和淹没度对水面坡降、水头损失、水流流速和紊流强度都有明显的影响。

关键词：刚性植被激光多普勒测速仪水面坡降水头损失水流流速

来源：评论

学校读者我要写书评

暂无评论

基于Lattice的验证方环签名改进算法研究

引用

计算机工程与应用 2014年第18期50卷 103-108页

作者：赵洪建达汉桥胡元明武汉大学后勤服务集团武汉430072 武汉大学测绘遥感信息工程国家重点实验室武汉430072 武汉大学数学与统计学院武汉430072

为了解决现有的数字签名机制在发放软件著作、专利许可证以及项目工程招投标等应用中出现的各种隐私安全问题,以随机预言模型下的相关签名方案为理论基础,提出了一种基于格结构(Lattice)的强约束验证方环签名改进算法,即L_SRS算法。该... 详细信息

为了解决现有的数字签名机制在发放软件著作、专利许可证以及项目工程招投标等应用中出现的各种隐私安全问题,以随机预言模型下的相关签名方案为理论基础,提出了一种基于格结构(Lattice)的强约束验证方环签名改进算法,即L_SRS算法。该算法在标准模型下给出了详实的安全性分析,依据标准的小整数解困难问题,L_SRS算法增加了一种强约束安全机制,能够有效抵抗适应性选择消息攻击,对其具有强不可伪造性。通过安全性与性能分析,L_SRS算法具有应用高安全性、签名计算高效率性等特点。

关键词：强约束小整数解困难问题基于格结构(Lattice)的强约束验证方环签名(L_SRS) 环签名强不可伪造性

来源：评论

学校读者我要写书评

暂无评论

不确定工时下多目标柔性作业车间调度问题的进化求解方法

引用

中国科学：信息科学 2023年第4期53卷 737-757页

作者：钟小玉韩玉艳姚香娟巩敦卫孙永征中国矿业大学数学学院徐州221116 聊城大学计算机学院聊城252000 中国矿业大学信息与控制工程学院徐州221116 南京大学计算机软件新技术国家重点实验室南京210023

在实际工业生产中,调度环境的复杂性与不确定性使得调度问题求解难度大大提高.针对加工时间不确定的柔性作业车间调度问题,采用不确定参数描述随机工时波动程度和约束条件允许违背程度,构建工时波动服从指数分布的多目标柔性车间调度模... 详细信息

在实际工业生产中,调度环境的复杂性与不确定性使得调度问题求解难度大大提高.针对加工时间不确定的柔性作业车间调度问题,采用不确定参数描述随机工时波动程度和约束条件允许违背程度,构建工时波动服从指数分布的多目标柔性车间调度模型.基于机会约束规划理论,将不确定调度问题转化为加工时间确定的柔性作业车间调度问题,求解得到一定程度上具有鲁棒性能的调度方案.在执行过程中,采用工序移动调整和重调度方法对作业排产方案进行动态调整.基于双链式编码以及贪婪插入法解码规则,提出了基于变邻域搜索的混合NSGA-Ⅱ算法.针对车间调度问题的多约束性和计算复杂度高等特点,设计了基于机器选择的复合启发式规则,包括依据概率的最小累计机器负载和最短工序加工时间规则,以获取更加接近Pareto前沿的均匀分布初始种群.采用改进工序和设备交叉策略以提高算法的全局搜索能力.此外,基于关键工序和机器选择的多种邻域结构,设计了变邻域搜索策略,以进一步提高算法的局部搜索能力.通过Kacem和Brandimarte标准算例的数值仿真以及与多种代表算法的统计比较,验证了所提算法的有效性.本文所提算法为不确定柔性作业车间调度问题提供了更优的调度方案.

关键词：多目标优化柔性作业车间调度 NSGA-Ⅱ 变邻域搜索不确定工时机会约束规划

来源：评论

学校读者我要写书评

暂无评论

平行系统方法在自动化集装箱码头中的应用研究

引用

自动化学报 2019年第3期45卷 490-504页

作者：郑松吴晓林王飞跃林东东郑蓉柯伟林池新栋陈德旺福州大学电气工程与自动化学院福州350116 工业自动化控制技术与信息处理福建省高校重点实验室福州350116 爱普(福建)科技有限公司福州350116 中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190 福州大学数学与计算机学院福州350116

平行系统是一种建立在人工社会和计算实验基础上的科学研究方法,它的特点是既能真实反映现实系统的动态过程,又能实时优化现实系统的控制过程.自动化集装箱码头是一类典型的复杂系统,既存在不计其数的作业方案,同时也有大量的约束条件.... 详细信息

平行系统是一种建立在人工社会和计算实验基础上的科学研究方法,它的特点是既能真实反映现实系统的动态过程,又能实时优化现实系统的控制过程.自动化集装箱码头是一类典型的复杂系统,既存在不计其数的作业方案,同时也有大量的约束条件.如何在最短时间和最低能源消耗的前提下,完成具有间歇和批次特征的集装箱转运任务,是涉及到数学、控制、管理和计算机等多个学科的重大课题.本文采用数据引擎作为人工社会中的基本计算单元,构成一个复杂的平行系统,用于自动化集装箱码头信息控制系统的研究.数据引擎作为一种面向图形化元件组态的计算环境,非常适用于复杂系统的建模与计算.在可视化和动态重构技术的支持下,利用380个数据引擎对一个具有8台岸桥、25辆AGV和16台龙门吊组成的港机系统进行了自动化作业过程的计算实验.研究结果表明,数据引擎技术是实现平行系统的有效方法,由多数据引擎组成的计算环境,能够大幅度降低自动化集装箱码头信息控制系统建模的复杂程度,能够将码头系统的管理和控制过程无缝地融合在一起.该平行系统可直接与港机设备对接,建立"人工码头"和"物理码头"之间的平行关系,从而实现对港机设备的最优控制.

关键词：平行系统自动化码头数据引擎复杂系统多代理

来源：评论

学校读者我要写书评

暂无评论

轻量级分组密码算法FBC

引用

密码学报 2019年第6期6卷 768-785页

作者：冯秀涛曾祥勇张凡曾光唐灯甘国华王永兴中国科学院数学与系统科学研究院中国科学院数学机械化重点实验室北京100190 湖北大学数学与统计学学院应用数学湖北省重点实验室武汉430062 兴唐通信科技有限公司北京100191 战略支援部队信息工程大学网络空间安全学院数学工程与先进计算国家重点实验室郑州450001 西南交通大学数学学院成都610031 北京太一云科技有限公司北京100125 北京科技大学计算机与通信工程学院北京100083 中国科学院大学数学学院北京100049

FBC是一族轻量级分组密码算法,主要包含FBC128-128,FBC128-256和FBC256-256三个版本,可支持128和256两种比特长度的明文分组以及128和256两种比特长度的密钥.FBC算法采用4路两重Feistel结构设计,在结构上通过增加两个异或操作的微小代... 详细信息

FBC是一族轻量级分组密码算法,主要包含FBC128-128,FBC128-256和FBC256-256三个版本,可支持128和256两种比特长度的明文分组以及128和256两种比特长度的密钥.FBC算法采用4路两重Feistel结构设计,在结构上通过增加两个异或操作的微小代价较大提高整体结构的扩散特性.非线性函数F采用切片技术,其中,S盒基于NFSR构造,其各项密码学性质达到最优,同时硬件实现代价达到最小,为最轻的S盒之一;线性变换L仅由循环移位和异或构成,具有较好的密码学特性的同时兼顾好的软硬件实现效能.在安全性方面,我们基于混合整数线性规划(MILP)寻找最少活跃S盒个数的方法对其进行差分、线性、不可能差分以及积分等方法的分析.实验结果表明,FBC可以抵抗上述各种攻击方法的攻击.FBC算法不仅具有结构简洁,轻量化,安全性高等特性,还具有灵活高效的软硬件实现方式,可以满足不同平台的应用需求.

关键词：轻量级分组密码 Feistel结构 FBC算法混合整数线性规划比特切片

来源：评论

学校读者我要写书评

暂无评论

有限域上几类多项式与迹函数复合的零点问题(英文)

引用

中国科学院大学学报（中英文） 2015年第1期32卷 9-12,30页

作者：郑嘉吴保峰中国科学院大学数学科学学院北京101408 中国科学院信息工程研究所信息安全国家重点实验室北京100093

像集在反映有限域上多项式性质方面具有重要作用.本文刻画了有限域上像集包含于迹函数的核空间内的多项式,即复合到迹函数后以整个有限域为零点集的多项式.特别地,针对单项式、线性化多项式、DO型多项式,利用多项式自身的特点给出更加... 详细信息

像集在反映有限域上多项式性质方面具有重要作用.本文刻画了有限域上像集包含于迹函数的核空间内的多项式,即复合到迹函数后以整个有限域为零点集的多项式.特别地,针对单项式、线性化多项式、DO型多项式,利用多项式自身的特点给出更加简洁的等价条件.

关键词：多项式像集迹函数零点

来源：评论

学校读者我要写书评

暂无评论

基于模型学习的网络安全协议脆弱性分析系统

引用

信息工程大学学报 2019年第1期20卷 111-115页

作者：申莹珠顾纯祥陈熹信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室江苏无锡214125

针对网络协议中日益凸显的安全问题,基于自动机理论中的模型学习技术,利用协议状态模糊测试方法对网络协议进行黑盒测试,提出并实现了网络安全协议脆弱性分析检测系统。该系统能够自动化推演出目标协议具体实现的状态机模型,将系统用于O... 详细信息

针对网络协议中日益凸显的安全问题,基于自动机理论中的模型学习技术,利用协议状态模糊测试方法对网络协议进行黑盒测试,提出并实现了网络安全协议脆弱性分析检测系统。该系统能够自动化推演出目标协议具体实现的状态机模型,将系统用于OpenVPN2.0.9进行测试,推断出的状态机能非常清晰地展现协议具体实现的全部行为:期望中的行为和特殊行为,通过分析对比其与协议规范设计之间存在的差异性能够寻找可能存在的攻击路径。

关键词：模型学习协议状态模糊测试状态机推断脆弱性分析系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：