您的位置: 专家智库 > >

文献类型

  • 8篇中文专利

领域

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

主题

  • 2篇代码
  • 2篇定时器
  • 2篇定时器中断
  • 2篇虚拟机
  • 2篇虚拟时钟
  • 2篇硬件
  • 2篇硬件系统
  • 2篇硬实时
  • 2篇原子操作
  • 2篇源代码
  • 2篇中断服务程序
  • 2篇时钟
  • 2篇进制
  • 2篇开销
  • 2篇监控程序
  • 2篇共享资源
  • 2篇二进制
  • 2篇SPARC
  • 2篇并发程序
  • 2篇并发程序设计

机构

  • 8篇北京神舟航天...

作者

  • 8篇刘大鹏
  • 6篇崔小磊
  • 5篇刘姝
  • 4篇陈星宇
  • 2篇吕紫旭
  • 2篇周启平
  • 2篇许开维
  • 2篇程胜
  • 2篇赵英辉
  • 2篇李尚杰
  • 1篇任永青
  • 1篇魏明

年份

  • 3篇2017
  • 5篇2014
8 条 记 录,以下是 1-8
排序方式:
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法,其特征在于:所述优化方法是:基于源代码的优化并发程序中,临界区里的代码在满足一定条件的情况下,访问共享资源时,省去CSenter和CSexit操作,减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇
基于BDD的知识库规则产生式的检查方法
本发明公开了一种基于BDD的知识库规则产生式的检查方法,其特征在于:所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时,对每一条输入的规则执行如下步骤检查:1)将一条已有规则产生式Rp转换成...
崔小磊周启平刘大鹏任永青陈星宇
文献传递
一种基于SPARC在轨NorFLASH坏块监控程序处理方法
本发明公开了一种基于SPARC在轨NorFLASH坏块监控程序处理方法,其特征在于:所述监控程序处理方法是基于SPARC的在轨NorFLASH坏块监控程序处理方法,将程序二进制序映像存储于NorFLASH中冗余三备份,分...
赵英辉刘大鹏崔小磊许开维
文献传递
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法,其特征在于:所述优化方法是:基于源代码的优化并发程序中,临界区里的代码在满足一定条件的情况下,访问共享资源时,省去CSenter和CSexit操作,减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇王静李宇明魏明
文献传递
一种可选安全等级的可靠文件传输协议
本发明公开了一种可选安全等级的可靠文件传输协议,其特征在于:在CFDP协议基础上,实现可选安全等级的可靠文件传输协议,包括三种模式:模式一:针对Qos要求不高,且只能进行单向通信的传输任务使用不可靠传输,即无确认模式;模...
刘姝周启平陈星宇崔小磊刘大鹏
文献传递
实现嵌入式虚拟机硬实时虚拟定时器响应的方法
本发明公开了一种实现嵌入式虚拟机硬实时虚拟定时器响应的方法,其特征在于:步骤如下:通过在Hypervisor中构建定时器中断派发表,将有限的硬件定时器中断,通过Hypervisor的中断派发表进行直接派发,从而减少原有虚...
吕紫旭程胜刘姝刘大鹏
文献传递
一种基于SPARC在轨NorFLASH坏块监控程序处理方法
本发明公开了一种基于SPARC在轨NorFLASH坏块监控程序处理方法,其特征在于:所述监控程序处理方法是基于SPARC的在轨NorFLASH坏块监控程序处理方法,将程序二进制序映像存储于NorFLASH中冗余三备份,分...
赵英辉刘大鹏崔小磊许开维
实现嵌入式虚拟机硬实时虚拟定时器响应的方法
本发明公开了一种实现嵌入式虚拟机硬实时虚拟定时器响应的方法,其特征在于:步骤如下:通过在Hypervisor中构建定时器中断派发表,将有限的硬件定时器中断,通过Hypervisor的中断派发表进行直接派发,从而减少原有虚...
吕紫旭程胜刘姝刘大鹏
共1页<1>
聚类工具0