您的位置: 专家智库 > >

武占峰

作品数:8 被引量:3H指数:1
供职机构:北京控制工程研究所更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 7篇专利
  • 1篇期刊文章

领域

  • 3篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇动量
  • 2篇动量轮
  • 2篇语法分析
  • 2篇语法分析器
  • 2篇指令流
  • 2篇中断优先级
  • 2篇数据竞争
  • 2篇推力
  • 2篇推力器
  • 2篇总线
  • 2篇卫星
  • 2篇力矩
  • 2篇目标码
  • 2篇缓存
  • 2篇缓存大小
  • 2篇汇编器
  • 2篇角动量
  • 2篇构造器
  • 2篇过程间分析
  • 2篇分析器

机构

  • 8篇北京控制工程...

作者

  • 8篇武占峰
  • 5篇段永顥
  • 5篇吴瑾
  • 4篇张金巍
  • 4篇于志杰
  • 4篇左万娟
  • 4篇张西超
  • 4篇魏鹏
  • 4篇曾霞
  • 4篇郭向英
  • 4篇董燕
  • 3篇侯成杰
  • 2篇张辉
  • 2篇赵性颂
  • 2篇尚智
  • 2篇程莉
  • 2篇邢卫卫
  • 2篇王新民
  • 2篇陈睿
  • 2篇袁军

传媒

  • 1篇航天控制

年份

  • 3篇2013
  • 3篇2012
  • 2篇2011
8 条 记 录,以下是 1-8
排序方式:
一种用于检测中断驱动型程序数据竞争的系统
本发明公开了一种用于检测中断驱动型程序数据竞争的系统,该系统由前端处理器和数据竞争分析引擎组成;其中前端处理器包括:反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器;数据竞争分析引擎包括:中断优先级分析模...
陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
一种51汇编语言软件安全性编码规则自动检查方法
一种51汇编语言软件安全性编码规则自动检查方法,首先确定针对51汇编语言的安全编码规则。然后将源代码按照统一格式重新排版,进行分离代码和注释、提取独立的单词助记符。随后在重新排版的源代码上增加子程序开始和结束标识,然后从...
侯成杰武占峰段永顥李鹏宇欧阳高翔常江
文献传递
一种卫星动量轮控制下的变轨间隔确定方法
本发明公开了一种卫星动量轮控制下的变轨间隔确定方法,包括以下步骤:(1)计算动量轮能够承受的最大角动量变化;(2)获取轨控推力器带来的干扰力矩;(3)计算干扰角动量的幅值;(4)计算动量轮控制下的变轨时间间隔;(5)地面...
赵性颂袁军程莉张辉王新民周剑敏张俊玲武占峰邢卫卫王哲
文献传递
一种从总线指令流中提取实际执行指令和预取指令的方法
一种从总线指令流中提取实际执行指令和预取指令的方法,本发明根据8086/186/386处理器的片上缓存行为,仅在8086/186/386处理器总线指令流断裂时进行预取指令分析,且仅对当前缓存内指令流遍历一遍,能够准确而有...
吴瑾段永顥于志杰郭向英董燕武占峰张西超张金巍魏鹏曾霞左万娟尚智
文献传递
一种用于检测中断驱动型程序数据竞争的系统
本发明公开了一种用于检测中断驱动型程序数据竞争的系统,该系统由前端处理器和数据竞争分析引擎组成;其中前端处理器包括:反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器;数据竞争分析引擎包括:中断优先级分析模...
陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
文献传递
一种卫星动量轮控制下的变轨间隔确定方法
本发明公开了一种卫星动量轮控制下的变轨间隔确定方法,包括以下步骤:(1)计算动量轮能够承受的最大角动量变化;(2)获取轨控推力器带来的干扰力矩;(3)计算干扰角动量的幅值;(4)计算动量轮控制下的变轨时间间隔;(5)地面...
赵性颂袁军程莉张辉王新民周剑敏张俊玲武占峰邢卫卫王哲
全数字仿真测试环境在星载嵌入式软件测试中的应用被引量:3
2012年
利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法。通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量。
郭华武占峰吴瑾
关键词:嵌入式软件仿真测试环境软件测试
一种从总线指令流中提取实际执行指令和预取指令的方法
一种从总线指令流中提取实际执行指令和预取指令的方法,本发明根据8086/186/386处理器的片上缓存行为,仅在8086/186/386处理器总线指令流断裂时进行预取指令分析,且仅对当前缓存内指令流遍历一遍,能够准确而有...
吴瑾段永顥于志杰郭向英董燕武占峰张西超张金巍魏鹏曾霞左万娟尚智
共1页<1>
聚类工具0