您的位置: 专家智库 > >

任永青

作品数:21 被引量:8H指数:2
供职机构:北京神舟航天软件技术有限公司更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 14篇专利
  • 6篇期刊文章
  • 1篇学位论文

领域

  • 10篇自动化与计算...

主题

  • 8篇处理器
  • 3篇多核
  • 3篇体系结构
  • 3篇嵌入式
  • 3篇嵌入式软件
  • 3篇逻辑
  • 3篇寄存器
  • 3篇仿真
  • 2篇单指令多数据
  • 2篇调度
  • 2篇译码
  • 2篇原语
  • 2篇指令译码
  • 2篇任务调度
  • 2篇软件开发
  • 2篇数据处理
  • 2篇数据处理方法
  • 2篇统一接口
  • 2篇片式
  • 2篇嵌入式软件开...

机构

  • 13篇中国科学技术...
  • 9篇北京神舟航天...
  • 4篇中国科学院

作者

  • 21篇任永青
  • 12篇安虹
  • 8篇孙涛
  • 5篇许牧
  • 5篇毛梦捷
  • 5篇程胜
  • 4篇李颀
  • 4篇邓春华
  • 3篇刘谷
  • 3篇魏明
  • 3篇从明
  • 2篇刘杨
  • 2篇周伟
  • 2篇谭旭
  • 2篇刘扬
  • 2篇徐光
  • 2篇周启平
  • 2篇刘姝
  • 2篇赵英辉
  • 2篇卓保特

传媒

  • 3篇小型微型计算...
  • 1篇计算机研究与...
  • 1篇计算机仿真
  • 1篇中国科学院研...

年份

  • 2篇2017
  • 1篇2015
  • 4篇2014
  • 4篇2013
  • 4篇2011
  • 5篇2010
  • 1篇2008
21 条 记 录,以下是 1-10
排序方式:
基于BDD的知识库规则产生式的检查方法
本发明公开了一种基于BDD的知识库规则产生式的检查方法,其特征在于:所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时,对每一条输入的规则执行如下步骤检查:1)将一条已有规则产生式Rp转换成...
崔小磊周启平刘大鹏任永青陈星宇
文献传递
一种三模冗余计算机数字仿真系统
本发明属于计算机仿真技术领域,具体涉及一种三模冗余计算机数字仿真系统。一种三模冗余计算机数字仿真系统,包括以下模块:处理器仿真模块,实现指令集、寄存器、存储空间和流水线的时钟精确仿真;设备仿真模块,完成处理器私有的设备功...
魏明任永青刘姝李尚杰周启平程胜
文献传递
一种全数字快速仿真方法
本发明公布了一种全数字快速仿真技术,其特征在于:包括以下技术部分:1)、倒序流水线技术;2)、寄存器备份技术;3)、存储系统写时分配技术;4)、功能部件寄存器缓存延迟技术;5)、指令译码缓冲技术;6)、高速缓存数据仿真与...
任永青魏明王金龙
文献传递
一种单指令多数据流结构上的数据处理方法及处理器
本发明公开了一种SIMD上的数据处理方法及处理器,包括:选取符合条件的处理多组数据流,指令具有包括标记位和索引位的谓词域;将指令进行译码,并获取标记位和索引位的值;利用标记位的值判断指令是否为谓词指令;当指令为谓词指令时...
安虹许牧徐光刘谷李颀任永青李小强孙涛郝秀蕊周伟谭旭
文献传递
基于控制流图逻辑结构对比的编译器验证方法
本发明涉及一种基于控制流图逻辑结构对比的编译器验证方法,其包括以下步骤:1)构造源代码的控制流图;2)构造目标代码的控制流图;3)使用同构图算法对以上两者的控制流图进行比对。本发明具有以下优点:可有效地检测编译器恶意代码...
程胜于鹏珊付小朋任永青
文献传递
串行程序线程级推测执行能力评估方法和评估器
本申请公开了串行程序线程级推测执行能力评估方法和评估器,所述方法包括:通过记录串行程序一个执行阶段在执行过程中包括的正确推测的线程的数目,得到该执行阶段的线程推测深度值;确定所述线程推测深度值作为所述执行阶段后续重复执行...
安虹任永青孙涛邓春华毛梦捷刘扬
一种在轨细粒度的功能函数增加方法
本发明公开了一种在轨细粒度的功能函数增加方法,其特征在于:所述功能函数增加方法如下:通过链接脚本将需要增加的功能函数定义为专属段,且定位到程序末尾处,这样可以有效地利用内存没有使用的空间,通过专用的工具将专属段拷贝出来,...
赵英辉程胜卓保特任永青
串行程序线程级推测执行能力评估方法和评估器
本申请公开了串行程序线程级推测执行能力评估方法和评估器,所述方法包括:通过记录串行程序一个执行阶段在执行过程中包括的正确推测的线程的数目,得到该执行阶段的线程推测深度值;确定所述线程推测深度值作为所述执行阶段后续重复执行...
安虹任永青孙涛邓春华毛梦捷刘扬
文献传递
一种在轨细粒度的功能函数增加方法
本发明公开了一种在轨细粒度的功能函数增加方法,其特征在于:所述功能函数增加方法如下:通过链接脚本将需要增加的功能函数定义为专属段,且定位到程序末尾处,这样可以有效地利用内存没有使用的空间,通过专用的工具将专属段拷贝出来,...
赵英辉程胜卓保特任永青
文献传递
嵌入式软件性能评测硬件辅助测试装置和方法
本发明公开了一种嵌入式软件性能评测硬件辅助测试装置,其特征在于:包括电路板,电路板上设置有控制装置和若干通信端口,通信端口连接有被测试软件运行硬件平台和测试系统,测试系统安装在PC机上。本发明还提供了一种嵌入式软件性能评...
刘姝陈星宇程胜李尚杰任永青
文献传递
共3页<123>
聚类工具0