-
题名基于控制流的静态反汇编算法研究
被引量：9
- 1
-
-
作者
吴金波
蒋烈辉
赵鹏
-
机构
解放军信息工程大学信息工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第30期89-90,228,共3页
-
文摘
该文在分析各种类型的指令对程序静态流程影响的基础上,提出了一种基于程序流程遍历图的静态反汇编算法,并给出了一种基于统计学的代码间隙填充技术对由间接跳转和间接调用所引用的代码区进行反汇编的方法。
-
关键词
反汇编算法
控制流
指令分类
代码间隙填充
-
Keywords
disassembly algorithm, control flow, instruction classification, gap completion
-
分类号
TP39
[自动化与计算机技术—计算机应用技术]
-
-
题名关于我国研究生学位类型划分的思考
被引量：11
- 2
-
-
作者
袁本涛
-
机构
清华大学教育研究院
-
出处
《大学教育科学》
CSSCI
北大核心
2016年第6期24-28,共5页
-
基金
教育部哲学社会科学研究重大课题攻关项目"创新专业学位研究生培养模式研究"(13JZD0049)
-
文摘
学位类型的划分是影响研究生培养模式和质量的关键因素之一,目前我国研究生的学位类型简单地划分为学术型和专业型两种,未能反映职业市场对劳动力类型丰富多彩的实际需求和学科性质的多样性特点。文章认为研究生学位类型的划分问题涉及到研究生教育的供给侧改革,建议对我国研究生学位类型进行重新划分,至少增加一个"应用型",并根据新的办法,对研究生教育类型结构做出重大调整,即极大地缩小目前所谓"学术型"学位的培养规模,大量招收应用型、专业型学位的学生,以优化人才培养结构和质量,回应社会对高层次人才类型的多元需求。
-
关键词
研究生教育
培养目标
培养质量
学位类型
类型结构
-
Keywords
graduate education
quality of graduate education
cultivation mode
classification of types
objectives of cultivation
instruction of classification
-
分类号
G640
[文化科学—高等教育学]
-
-
题名教学设计模式的定性及其要素构成的层次关系
被引量：2
- 3
-
-
作者
蔡奇杰
-
机构
北京师范大学
-
出处
《现代教育技术》
CSSCI
2007年第1期32-34,91,共4页
-
文摘
从当前关于教学设计理论的研究情况来看,有必要对教学设计模式的定性与模式分类标准的选择这两者之间的相互一致性进行深入讨论,因为它不仅是一个理论问题,而且直接涉及到教学实践中对教学设计模式的把握和运用。就理论指导实践的有效性来讲,这一讨论至少应该包括四个方面的问题,即分类与分类标准的关系、分类方法的有效性、系统构成要素之间的关系,以及针对外部影响和分类对象的调整。
-
关键词
教学设计模式
教学理论
分类标准
-
Keywords
instructional Design Model, Theory of instruction, classification Standard
-
分类号
G42
[文化科学—课程与教学论]
-
-
题名基于事理的BML条令视图分类方法研究
- 4
-
-
作者
赵张鹏
韩月明
吴巍屹
-
机构
陆军工程大学石家庄校区
中国人民解放军
-
出处
《舰船电子工程》
2024年第9期119-123,共5页
-
文摘
深化对作战管理语言条令视图分类方法的研究,有利于指挥信息系统和模拟训练系统之间的语义处理和互操作,提高了指令对虚拟仿真兵力的控制效果。当前的条令视图分类方法大多根据国外研究的“5W”的分类方式进行分组,这样的分组不完全适用于汉语的条令术语和指令文本的构建。因此论文根据事理的思想理念和方法论对军事术语和指令进行了研究和分类,根据“事理五步法”原则对军事行动的目的、活动、过程、关系和方法进行了分析,形成了构建指令的八类元词组,并举例了军事指令形成条令视图的具体过程。
-
关键词
BML
事理
条令视图
指令
分类方法
-
Keywords
BML
reason
rule view
instruction
classification method
-
分类号
G254.11
[文化科学—图书馆学]
-
-
题名随机测试程序发生器的设计与实现
被引量：2
- 5
-
-
作者
于伽
黑勇
陈黎明
-
机构
中国科学院微电子研究所
-
出处
《微电子学与计算机》
CSCD
北大核心
2012年第7期103-106,111,共5页
-
基金
国家"八六三"计划项目(2008AA010704)
-
文摘
随机测试程序生成技术是当前处理器功能验证中一项重要的支撑技术.本设计面向一种专用指令集处理器FlexEngine,在指令集模型建立时,按功能分类,实现对处理器关键单元的选择性测试;引入ISS对指令执行的动态数据分析,增加了寄存器数据范围监控、死循环预警等指令约束.实验结果表明,本设计的选择性测试功能,能够在3000条程序的测试长度下,对关键模块达到超过90%的覆盖率,有效提高了测试效率.
-
关键词
指令分类
随机指令测试
指令约束
覆盖率
-
Keywords
instruction classification
random instruction test
instruction constraints
coverage
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于函数调用指令特征分析的固件指令集架构识别方法
- 6
-
-
作者
贾凡
尹小康
盖贤哲
蔡瑞杰
刘胜利
-
机构
信息工程大学网络空间安全教育部重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2024年第6期423-433,共11页
-
文摘
不同的固件常采用不同的指令集架构,固件指令集架构的识别是对嵌入式固件进行逆向分析和漏洞挖掘的基础。现有研究和相关工具在针对特定类型的嵌入式设备固件指令集架构识别时存在识别正确率低、误报率高的情况。针对上述问题,提出了一种基于函数调用指令特征分析的固件指令集架构识别方法,通过同时利用指令中操作码和操作数所包含的信息识别目标固件中的函数调用指令,将其作为关键特征实现对不同指令集架构的分类,并基于该方法开发了原型系统EDFIR(Embedded Device Firmware Instruction set Recognizer)。实验结果表明,相比IDAPro,Ghidra,Radare2,Binwalk以及ISAdetect这些当前应用最广泛和最新的工作,该方法具有更高的识别正确率、更低的误报率并具备更强的抗干扰能力,其对1000个真实设备固件的识别正确率高达97.9%,比目前识别效果最好的ISAdetect提升了42.5%。此外,相关实验还证明,即使将分析规模缩小至完整固件的1/50,所提方法仍能保持95.31%的识别正确率,具有良好的识别性能。
-
关键词
指令集架构
分类技术
逆向分析技术
嵌入式设备安全
静态分析技术
-
Keywords
instruction set architecture
classification techniques
Reverse analysis engineering
Embedded device security
Static analysis
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名超标量处理器乱序提交机制的研究与设计
被引量：2
- 7
-
-
作者
李昭
刘有耀
焦继业
潘树朋
-
机构
西安邮电大学电子工程学院
西安邮电大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2021年第4期180-186,共7页
-
基金
国家自然科学基金(61874087,61834005,61634004)。
-
文摘
针对超标量处理器中长周期执行指令延迟退休及持续译码导致的重排序缓存(ROB)阻塞问题,提出一种指令乱序提交机制。通过设计容量可配置的多缓存指令提交结构,实现存储器操作指令和ALU类型指令的分类退休,根据超标量处理器架构及性能需求对目标缓存和存储缓存容量进行参数化配置降低流水线阻塞风险,同时利用指令目的寄存器编码提交模式加快指令提交速率。实验结果表明,该机制提高了单次指令提交数量,基于该机制的超标量处理器相比传统基于ROB顺序提交机制的超标量处理器在减少硬件开销的情况下平均IPC指数提升46%,相比基于值预测、乱序退休和组提交的超标量处理器平均IPC指数增益为19%,综合性能更优。
-
关键词
超标量处理器
重排序缓存
指令分类退休
乱序提交
目的寄存器编码
-
Keywords
superscalar processor
Reorder Buffer(ROB)
instruction classification retirement
out-of-order submission
destination register encoding
-
分类号
TP338
[自动化与计算机技术—计算机系统结构]
-
-
题名大学英语听力策略培训实践研究
被引量：1
- 8
-
-
作者
蒋晓霞
张宁
-
机构
南京晓庄学院外国语学院
-
出处
《新疆教育学院学报》
2012年第3期71-75,共5页
-
文摘
本章在听力策略培训相关研究的基础上,对听力策略培训的模式、教学方法、效果尤其是培训的内容等方面进行了探讨,并对融合式听力策略培训实验进行反思,得出关于听力策略培训、大学英语课程设置方面的启示。
-
关键词
策略培训
听力策略培训
听力策略分类
听力微技能
-
Keywords
strategy instruction
listening strategy instruction
contents
classification of listening strategy
micro skills of listening
-
分类号
G632
[文化科学—教育学]
-
-
题名使用《中图法》电子版快速建立本馆分类使用本
- 9
-
-
作者
于新国
-
机构
天津华北石油学校图书馆
-
出处
《新世纪图书馆》
2003年第2期21-23,共3页
-
文摘
对使用《中图法》电子版快速建立本馆分类使用本的3个步骤,即检索本馆使用本类目、设置本馆评注文字、导入本馆评注文字,以及有关附加说明进行了较为详细的介绍。
-
关键词
本馆评注文字
中国图书馆分类法
电子分类法
本馆分类使用本
-
Keywords
China Library classification
Electronic classification
Operating instruction of classification
-
分类号
G254.122
[文化科学—图书馆学]
-
-
题名三维结构指令在飞机结构化发展中的分类
- 10
-
-
作者
Suraj Adhikari
-
机构
南京航空航天大学机电学院
-
出处
《无线互联科技》
2016年第8期23-27,32,共6页
-
文摘
文章描述了基于自动生成的CAD数据的产品研发方法,这些CAD数据可以被用作飞机机身的结构分析和生产计划。在设计方面的可制造性的介绍使得在制作原型和工具的昂贵活动之前,做出可行的同步工程设计、生产计划和流程验证。对于飞机部分机身的模拟组装作业的网络分析展现出了当资金效率提升了19%时,对比于实际装配过程,劳动力的利用可以被显著的提升。这次模拟预测了这些结果在单一的最终组装模具中这些结果可以被实现。正如现在2个磨具可以在现实中被用于组装流程中,这一结果可以体现出明显了在财务方面的节省。
-
关键词
三维结构指令
飞机结构化发展
分类
-
Keywords
3D structure instruction
aircraft structural development
classification
-
分类号
V221
[航空宇航科学与技术—飞行器设计]
-
-
题名视听双向远程教学多媒体教室的探索与实践
- 11
-
-
作者
马铁飞
-
机构
云南广播电视大学
-
出处
《云南电大学报》
2004年第1期24-28,共5页
-
文摘
在开展现代远程教育中 ,视听双向远程教学多媒体教室 (以下简称 :视听双向教室 )是实现远程双向教学的重要设施。在筹划、设计、建设时应根据教学需求、学习者的情况 ,正确选择最实用的建设方案 ,做到有的放矢 ,少花钱多办事。
-
关键词
远程教育
多媒体教室
教学资源
广播电视大学
教学模式
-
Keywords
multi media classroom in two way audio visual distance instruction
classification
design
management
-
分类号
G728.8
[文化科学—成人教育学]
G43
[文化科学—教育学]
-
