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

计算机研究与发展 2017年第9期54卷 1931-1944页

作者：谭捷庞建民单征岳峰卢帅兵戴涛数学工程与先进计算国家重点实验室郑州450002

二进制翻译是实现软件移植的主要方法.动态二进制翻译受动态执行限制而不能深度优化导致效率较低而传统的静态二进制翻译难以处理间接分支,且现有的优化方法大部分集中在中间代码层,对目标码中存在的大量冗余指令较少关注.针对这一现状... 详细信息

二进制翻译是实现软件移植的主要方法.动态二进制翻译受动态执行限制而不能深度优化导致效率较低而传统的静态二进制翻译难以处理间接分支,且现有的优化方法大部分集中在中间代码层,对目标码中存在的大量冗余指令较少关注.针对这一现状,提出一种静态二进制翻译框架SQEMU,基于该框架提出了一种对目标码冗余指令进行删除的优化算法.该算法通过分析目标码生成指令特定数据依赖图(instruction-specific data dependence graph,IDDG),再利用该图将活性分析和窥孔优化的2种理论相结合,有效删除目标码中的冗余指令.实验结果表明,利用该算法对目标码优化后,其执行效率得到显著提升,最大提升可达42%,整体性能测试表明,优化后nbench测试集翻译效率提高约20%,SPEC CINT2006测试集翻译效率提高约17%.

关键词：二进制翻译冗余指令活性分析窥孔优化 SQEMU框架

来源：评论

学校读者我要写书评

暂无评论

基于异构冗余指令架构的嵌入式设备安全防护方法及系统

基于异构冗余指令架构的嵌入式设备安全防护方法及系统

引用

作者：曹琰王清贤张大龙郭军利黄勇宋华伟万方杰 450001 河南省郑州市高新技术开发区科学大道100号

本发明属于网络安全技术领域，特别涉及一种基于异构冗余指令架构的嵌入式设备安全防护方法及系统，针对设备中嵌入式代码，构建用于模拟执行代码输入并输出模拟执行结果的语义等价异构冗余执行体；利用异构冗余执行体对代码输入进行模... 详细信息

标准号: CN115357903A

本发明属于网络安全技术领域，特别涉及一种基于异构冗余指令架构的嵌入式设备安全防护方法及系统，针对设备中嵌入式代码，构建用于模拟执行代码输入并输出模拟执行结果的语义等价异构冗余执行体；利用异构冗余执行体对代码输入进行模拟执行，并对模拟执行结果进行多模判决，以识别异常代码输入。本发明利用异构冗余执行体的执行和判决来嵌入式设备中存在的安全威胁，并可以发现未知漏洞的攻击威胁；并利用模拟处理器器实现PC端对嵌入式安全防护的部署，在安全、资源占用及实用性方面均具有优势，有效抵御恶意应用程序攻击，改善嵌入式设备被动防御的不利局面，具有较好的应用前景。

关键词：异构嵌入式设备冗余执行安全防护恶意应用程序网络安全技术模拟处理器嵌入式代码安全威胁冗余指令异常代码语义等价资源占用攻击嵌入式判决多模构建架构防御漏洞输出威胁应用部署安全发现

来源：评论

学校读者我要写书评

暂无评论

一种汇编冗余指令的检测方法及装置

一种汇编冗余指令的检测方法及装置

引用

作者：许瑾晨郝江伟郭绍忠周蓓 450000 河南省郑州市高新区科学大道62号

本发明公开一种汇编冗余指令的检测方法，包括：设定指令集数据表，根据指令集数据表对汇编代码进行预处理；逐行遍历预处理后的汇编代码，利用正则表达式匹配每行汇编代码的首单词，匹配成功则认为该行汇编代码是标号，否则认为该行汇... 详细信息

标准号: CN109491918A

本发明公开一种汇编冗余指令的检测方法，包括：设定指令集数据表，根据指令集数据表对汇编代码进行预处理；逐行遍历预处理后的汇编代码，利用正则表达式匹配每行汇编代码的首单词，匹配成功则认为该行汇编代码是标号，否则认为该行汇编代码是指令；若该行汇编代码是指令，则根据当前指令的操作符和指令集数据表得出寄存器读写模式；依据所述寄存器读写模式，获取当前指令的寄存器使用情况；根据当前指令的寄存器使用情况，根据冗余指令检测规则判断当前指令是否为冗余指令，若当前指令为冗余指令，则对冗余指令进行删除。本发明还公开一种汇编冗余指令的检测装置。本发明可以快速、准确的检测出汇编冗余指令。

关键词：冗余指令汇编代码指令寄存器指令集预处理汇编读写检测正则表达式规则判断检测装置匹配成功逐行遍历操作符单词匹配删除

来源：评论

学校读者我要写书评

暂无评论

优化OAT中冗余指令的方法及移动终端

优化OAT中冗余指令的方法及移动终端

引用

作者：吕伟 518057 广东省深圳市南山区高新区北环大道9018号大族创新大厦A区6-8层、10-11层、B区6层、C区6-10层

本发明公开了一种移动终端，其包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的优化OAT中冗余指令的程序，优化OAT中冗余指令的程序被处理器执行时实现如下步骤：获取OAT文件中最小本地指令块内包含的数据传输指令；... 详细信息

标准号: CN107133085A

本发明公开了一种移动终端，其包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的优化OAT中冗余指令的程序，优化OAT中冗余指令的程序被处理器执行时实现如下步骤：获取OAT文件中最小本地指令块内包含的数据传输指令；获取各所述数据传输指令的顶点和数据传输方向并存储于有向图邻接矩阵中；根据所述有向图邻接矩阵计算各所述顶点的出度和入度并判断所述顶点的出度和入度是否相同；若所述顶点的出度和入度相同，则判定所述顶点为冗余顶点；获取包含所述冗余顶点的数据传输指令，并进行优化。与现有技术相比，本发明实现了对OAT文件中的本地指令中的数据传输指令进行优化，去除冗余的数据传输指令。

关键词：数据传输指令冗余出度入度存储器邻接矩阵冗余指令有向图处理器优化存储指令数据传输方向处理器执行移动终端去除判定

来源：评论

学校读者我要写书评

暂无评论

优化OAT中冗余指令的方法及移动终端

优化OAT中冗余指令的方法及移动终端

引用

作者：吕伟 519000 广东省珠海市横琴新区宝华路6号105室-67309(集中办公区)

标准号: CN107133085B

关键词：数据传输指令冗余出度入度存储器邻接矩阵冗余指令有向图处理器优化存储指令数据传输方向处理器执行移动终端去除判定

来源：评论

学校读者我要写书评

暂无评论

一种汇编冗余指令的检测方法及装置

一种汇编冗余指令的检测方法及装置

引用

作者：许瑾晨郝江伟郭绍忠周蓓 450000 河南省郑州市高新区科学大道62号

标准号: CN109491918B

关键词：冗余指令汇编代码指令寄存器指令集预处理汇编读写检测正则表达式规则判断检测装置匹配成功逐行遍历操作符单词匹配删除

来源：评论

学校读者我要写书评

暂无评论

一种敏捷成像卫星指令序列自主生成方法

一种敏捷成像卫星指令序列自主生成方法

引用

作者：崔笛王路桥王强强吴磊周洋涛王璐李青山 710071 陕西省西安市雁塔区太白南路2号

本发明公开了一种敏捷成像卫星指令序列自主生成方法，包括：获取下达给卫星的两个任务和各任务分配至星内各终端的指令块；获取四类约束；在判断两个任务符合粘合条件时，对各终端利用约简规则判断，若指令块满足约简条件则删除冗余指... 详细信息

标准号: CN118075596A

本发明公开了一种敏捷成像卫星指令序列自主生成方法，包括：获取下达给卫星的两个任务和各任务分配至星内各终端的指令块；获取四类约束；在判断两个任务符合粘合条件时，对各终端利用约简规则判断，若指令块满足约简条件则删除冗余指令块，进行剩余指令块粘合处理得到单终端指令序列；将各终端得到的单终端指令序列进行跨终端指令合并处理得到跨终端的指令序列全集；并从中得到备选待执行指令序列；利用确定的时间压缩规则对各备选待执行指令序列进行指令间隔时间压缩处理后，从中得到最优待执行指令序列；在最优待执行指令序列满足各类约束的要求时，将其作为可信总线指令序列；否则，根据未满足约束的部分返回相应步骤进行约束修正和序列重排。

关键词：指令序列终端指令终端时间压缩备选约简指令成像卫星规则判断合并处理任务分配冗余指令剩余指令序列重排粘合条件指令间隔总线指令粘合全集删除可信修正卫星返回

来源：评论

学校读者我要写书评

暂无评论

一种敏捷成像卫星指令序列自主生成方法

一种敏捷成像卫星指令序列自主生成方法

引用

作者：崔笛王路桥王强强吴磊周洋涛王璐李青山 710071 陕西省西安市雁塔区太白南路2号

标准号: CN118075596B

来源：评论

学校读者我要写书评

暂无评论

x86指令前缀生成方法、装置、设备及存储介质

x86指令前缀生成方法、装置、设备及存储介质

引用

作者：孟丹朱子元王光 100085 北京市海淀区树村路19号

本发明涉及处理器测试领域，提供一种x86指令前缀生成方法、装置、设备及存储介质。所述方法包括：获取前缀离散值集合及其对应的约束条件；该前缀离散值集合中包括多个用于生成x86指令前缀的前缀离散值；基于所述约束条件，对前缀离散... 详细信息

标准号: CN117931541A

本发明涉及处理器测试领域，提供一种x86指令前缀生成方法、装置、设备及存储介质。所述方法包括：获取前缀离散值集合及其对应的约束条件；该前缀离散值集合中包括多个用于生成x86指令前缀的前缀离散值；基于所述约束条件，对前缀离散值集合中的各前缀离散值进行排列组合，生成x86指令前缀。在约束条件的限制下，通过排列组合的方式生成x86指令前缀，提高了x86指令前缀的覆盖率，同时避免了冗余指令的生成，能够在可接受的时间内，实现对处理器的全面测试，提高了处理器的测试效率和覆盖率，从而有利于提升计算机系统的安全性。

关键词：指令前缀离散值集合约束条件排列组合处理器覆盖率处理器测试测试效率存储介质全面测试冗余指令可接受计算机系统

来源：评论

学校读者我要写书评

暂无评论

无人机机群多链路指令去重的方法、控制方法、系统及终端

无人机机群多链路指令去重的方法、控制方法、系统及终端

引用

作者：张沐然 572000 海南省三亚市崖州区三亚崖州湾科技城标准厂房二期三楼C276区

本发明属于无人机控制技术领域，公开了一种无人机机群多链路指令去重的方法、控制方法、系统及终端，无人机机群多链路指令去重的方法包括：机群中个体飞机接收包含飞行指令以及utc时间的飞行控制指令，并将飞行指令和时间戳进行依次... 详细信息

标准号: CN113220026A

本发明属于无人机控制技术领域，公开了一种无人机机群多链路指令去重的方法、控制方法、系统及终端，无人机机群多链路指令去重的方法包括：机群中个体飞机接收包含飞行指令以及utc时间的飞行控制指令，并将飞行指令和时间戳进行依次放入消息队列；从消息队列中将指令消息及对应的时间戳一次提取，通过将所述时间和之前备份过的指令最新时间戳进行比较判断指令是否为冗余指令，并基于判断结果进行指令筛选。本发明通过三链路冗余指令收发和筛选的方法，极大程度的降低了单链路数据传输不稳定以及对环境不稳定因素的依赖，提高了编队飞行现场执行的可靠性降低了单链路通信带来的风险。

关键词：指令时间戳机群冗余指令消息队列多链路去重筛选无人机控制比较判断编队飞行飞行控制判断结果指令消息飞行单链路备份单链放入路数三链收发终端传输飞机通信

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：