您的位置: 专家智库 > >

文献类型

  • 10篇中文专利

领域

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

主题

  • 4篇硬件
  • 3篇代码
  • 3篇源代码
  • 2篇顶点
  • 2篇硬件任务
  • 2篇硬件系统
  • 2篇原子操作
  • 2篇中断服务程序
  • 2篇芯片
  • 2篇进制
  • 2篇开销
  • 2篇可重构
  • 2篇可重构硬件
  • 2篇监控程序
  • 2篇共享资源
  • 2篇二进制
  • 2篇SPARC
  • 2篇并发程序
  • 2篇并发程序设计
  • 2篇布局方法

机构

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

作者

  • 10篇崔小磊
  • 6篇刘大鹏
  • 4篇程胜
  • 4篇陈星宇
  • 3篇刘姝
  • 2篇周启平
  • 2篇许开维
  • 2篇赵英辉
  • 2篇李尚杰
  • 1篇任永青
  • 1篇陆麒
  • 1篇魏明

年份

  • 1篇2023
  • 2篇2020
  • 2篇2017
  • 4篇2014
  • 1篇2011
10 条 记 录,以下是 1-10
排序方式:
一种空间单粒子翻转自主容错方法
本发明公开的空间单粒子翻转自主容错方法,涉及计算机技术领域,根据数据的大小,为数据创建三块冗余内存池,将三块冗余内存池分别分配至系统的三个分区中,设定三块冗余内存池中的一块冗余内存池为主数据块,其余两块冗余内存池为副数据...
程胜邱化强蔡铭赵新鹏崔小磊
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法,其特征在于:所述优化方法是:基于源代码的优化并发程序中,临界区里的代码在满足一定条件的情况下,访问共享资源时,省去CSenter和CSexit操作,减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇
一种可重构硬件任务动态布局方法
本发明公开的可重构硬件任务动态布局方法,涉及计算机技术领域,通过将新到达的硬件任务放置在己布局硬件任务的顶点处,通过对可重构芯片内部计算单元进行编码,可以迅速判断新任务是否可放置在该顶点。顶点除了包括硬件任务的顶点外,还...
程胜赵新鹏蔡铭邱化强崔小磊
文献传递
基于BDD的知识库规则产生式的检查方法
本发明公开了一种基于BDD的知识库规则产生式的检查方法,其特征在于:所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时,对每一条输入的规则执行如下步骤检查:1)将一条已有规则产生式Rp转换成...
崔小磊周启平刘大鹏任永青陈星宇
文献传递
一种可选安全等级的可靠文件传输协议
本发明公开了一种可选安全等级的可靠文件传输协议,其特征在于:在CFDP协议基础上,实现可选安全等级的可靠文件传输协议,包括三种模式:模式一:针对Qos要求不高,且只能进行单向通信的传输任务使用不可靠传输,即无确认模式;模...
刘姝周启平陈星宇崔小磊刘大鹏
文献传递
一种基于SPARC在轨NorFLASH坏块监控程序处理方法
本发明公开了一种基于SPARC在轨NorFLASH坏块监控程序处理方法,其特征在于:所述监控程序处理方法是基于SPARC的在轨NorFLASH坏块监控程序处理方法,将程序二进制序映像存储于NorFLASH中冗余三备份,分...
赵英辉刘大鹏崔小磊许开维
文献传递
基于静态分析的C语言安全规则检查方法
本发明涉及一种基于静态分析的C语言安全规则检查方法,其包括以下步骤:1)检查C语言的类型,避免强制类型转换的发生,禁止对通用指针类型的声明;2)规定全局变量和局部变量不可同名,全局变量与函数的形式参数不可重名;3)对控制...
程胜于鹏珊崔小磊陆麒
文献传递
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法,其特征在于:所述优化方法是:基于源代码的优化并发程序中,临界区里的代码在满足一定条件的情况下,访问共享资源时,省去CSenter和CSexit操作,减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇王静李宇明魏明
文献传递
一种可重构硬件任务动态布局方法
本发明公开的可重构硬件任务动态布局方法,涉及计算机技术领域,通过将新到达的硬件任务放置在己布局硬件任务的顶点处,通过对可重构芯片内部计算单元进行编码,可以迅速判断新任务是否可放置在该顶点。顶点除了包括硬件任务的顶点外,还...
程胜赵新鹏蔡铭邱化强崔小磊
一种基于SPARC在轨NorFLASH坏块监控程序处理方法
本发明公开了一种基于SPARC在轨NorFLASH坏块监控程序处理方法,其特征在于:所述监控程序处理方法是基于SPARC的在轨NorFLASH坏块监控程序处理方法,将程序二进制序映像存储于NorFLASH中冗余三备份,分...
赵英辉刘大鹏崔小磊许开维
共1页<1>
聚类工具0