郭向英
- 作品数：32 被引量：58H指数：5
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金国家中长期科技发展规划重大专项国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 基于绝对地址汇聚的数据访问冲突检测方法
- 基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程...
- 王政綦艳霞顾斌董晓刚陈睿陈尧赵雷郭向英
- 文献传递
- TCG动态二进制翻译技术研究被引量：10
- 2013年
- 动态二进制翻译是一种即时编译技术,能在运行时将一种指令集体系结构的二进制代码实时翻译成可在另一种指令集体系结构下运行的代码。针对TCG(Tiny Code Generator)动态二进制翻译技术,首先对其基本原理进行研究,分析它的分层机制和翻译过程;然后对翻译块查询与缓存策略、TCG上下文维护,以及中间表示的分类和属性特点进行研究,并给出目标代码的生成步骤和及其常用的两种优化方式。这两种优化方式均在翻译阶段进行,具有实际的优化价值。
- 张西超郭向英赵雷
- 关键词：动态二进制翻译
- 一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法
- 本发明公开了一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法。本发明采用CPU模拟器技术，解决了不同嵌入式处理器的目标码在通用PC机上的执行问题，使得可以在通用PC机上进行嵌入式C语言目标码级的单元测试，本发明利用...
- 郭向英王小丽刘璟炜黄晨胡智琦
- 一种本地工作区与远程数据服务器结合的高效软件数据管理方法
- 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的...
- 赵雷陈睿郭向英王政陈尧胡智琦沈沛郝伟褚楠
- 文献传递
- 一种用于集成环境的多层软件总线结构
- 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为...
- 杨孟飞郭向英顾斌赵雷陈睿郝伟盛庄黄晨沈沛
- 文献传递
- 一种处理器模拟方法
- 本发明公开了一种处理器模拟方法，首先建立体系结构模拟层、指令集模拟层、和处理器模拟层；所述体系结构模拟层由处理器配置文件模块实现，所述指令集模拟层由处理器指令译码模块和处理器指令执行模块组成，所述处理器模拟层由处理器存储...
- 关小川陈朝晖杨孟飞党纪红杜建伟张国峰傅秀涛郭向英陈尧刘建军李振松
- 文献传递
- 一种动态二进制翻译指令集模拟器计时方法
- 一种动态二进制翻译指令集模拟器计时方法，本方法通过有效划分基本块，使得基本块每次执行时所占用的指令周期数可以在动态翻译阶段确定，从而实现模拟器的精确计时；计时过程包括下列步骤：(1)以跳转指令、分支指令和内存访问指令作为...
- 郭向英张西超赵雷陈睿
- 文献传递
- 一种从总线指令流中提取实际执行指令和预取指令的方法
- 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有...
- 吴瑾段永顥于志杰郭向英董燕武占峰张西超张金巍魏鹏曾霞左万娟尚智
- 文献传递
- 一种基于快速傅立叶变换的软扩频通信系统
- 本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模...
- 孙宇明段永顥赵鹏郭向英张金巍王青朱倩刘鹭航赵欢
- 文献传递
- 汇编语言自动单元测试工具设计方法研究被引量：2
- 2006年
- 单元测试是发现软件缺陷的重要测试手段。目前可用的单元测试工具也有许多,但大多是针对高级程序设计语言的测试工具,针对汇编语言的单元测试工具却很少。而对于嵌入式应用还不可避免地大量使用汇编语言,因此汇编语言的单元测试工具是不可缺少的。本文介绍了汇编语言的自动单元测试工具的一般设计方法,希望对于汇编语言的单元测试工具开发有所帮助。
- 郭向英刘景炜
- 关键词：汇编语言模拟器测试工具
