郭向英
- 作品数：32 被引量：55H指数：5
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金国家中长期科技发展规划重大专项国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 基于绝对地址汇聚的数据访问冲突检测方法
- 基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程...
- 王政綦艳霞顾斌董晓刚陈睿陈尧赵雷郭向英
- 文献传递
- TCG动态二进制翻译技术研究被引量：9
- 2013年
- 动态二进制翻译是一种即时编译技术,能在运行时将一种指令集体系结构的二进制代码实时翻译成可在另一种指令集体系结构下运行的代码。针对TCG(Tiny Code Generator)动态二进制翻译技术,首先对其基本原理进行研究,分析它的分层机制和翻译过程;然后对翻译块查询与缓存策略、TCG上下文维护,以及中间表示的分类和属性特点进行研究,并给出目标代码的生成步骤和及其常用的两种优化方式。这两种优化方式均在翻译阶段进行,具有实际的优化价值。
- 张西超郭向英赵雷
- 关键词：动态二进制翻译
- 一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法
- 本发明公开了一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法。本发明采用CPU模拟器技术，解决了不同嵌入式处理器的目标码在通用PC机上的执行问题，使得可以在通用PC机上进行嵌入式C语言目标码级的单元测试，本发明利用...
- 郭向英王小丽刘璟炜黄晨胡智琦
- 一种动态二进制翻译指令集模拟器计时方法
- 一种动态二进制翻译指令集模拟器计时方法，本方法通过有效划分基本块，使得基本块每次执行时所占用的指令周期数可以在动态翻译阶段确定，从而实现模拟器的精确计时；计时过程包括下列步骤：(1)以跳转指令、分支指令和内存访问指令作为...
- 郭向英张西超赵雷陈睿
- 文献传递
- 一种从总线指令流中提取实际执行指令和预取指令的方法
- 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有...
- 吴瑾段永顥于志杰郭向英董燕武占峰张西超张金巍魏鹏曾霞左万娟尚智
- 文献传递
- 一种基于快速傅立叶变换的软扩频通信系统
- 本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模...
- 孙宇明段永顥赵鹏郭向英张金巍王青朱倩刘鹭航赵欢
- 文献传递
- 汇编语言自动单元测试工具设计方法研究被引量：2
- 2006年
- 单元测试是发现软件缺陷的重要测试手段。目前可用的单元测试工具也有许多,但大多是针对高级程序设计语言的测试工具,针对汇编语言的单元测试工具却很少。而对于嵌入式应用还不可避免地大量使用汇编语言,因此汇编语言的单元测试工具是不可缺少的。本文介绍了汇编语言的自动单元测试工具的一般设计方法,希望对于汇编语言的单元测试工具开发有所帮助。
- 郭向英刘景炜
- 关键词：汇编语言模拟器测试工具
- 基于VTEST的TMS320C3x指令集模拟器设计被引量：2
- 2013年
- TMS320C3x指令集模拟器主要由指令集、中断和外设模块3部分组成。根据TMS320C3x指令的寻址特点,提出了双线代码指令模拟技术,该技术既能降低开发模拟程序的工作量,又能保证模拟效率;通过对中断识别机制的研究,给出了模拟器中断响应过程;设计了基于VTEST的事件驱动定时模拟方法,可降低外设模拟时对模拟器性能的影响。在实验部分,对模拟器性能进行了验证,实验结果表明了该模拟器具有较快的模拟速度。
- 郭向英盛庄张西超
- 关键词：模拟器外设
- 航天嵌入式软件可信性保障技术及应用研究被引量：10
- 2015年
- 研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可信性保障集成环境.本文的研究成果在月地高速再入返回飞行器软件研制中进行了应用,为飞行任务的成功作出了贡献.
- 杨孟飞顾斌郭向英董晓刚王政陈睿
- 关键词：航天器嵌入式
- 航天嵌入式软件可信性度量方法及应用研究被引量：10
- 2015年
- 航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.
- 王婧陈仪香顾斌郭向英王保华金晟毅徐建张居阳
