您的位置： 专家智库 > >

周启平

作品数：9 被引量：0H指数：0
供职机构：北京神舟航天软件技术有限公司更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 9篇中文专利

领域

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

主题

  • 4篇航天
  • 2篇抖动
  • 2篇堆栈
  • 2篇软件系统
  • 2篇内核
  • 2篇抗辐照
  • 2篇控制流
  • 2篇汇编指令
  • 2篇加权
  • 2篇航天应用
  • 2篇编译器
  • 2篇SPARC
  • 2篇MERKLE...
  • 1篇代码
  • 1篇多计算机
  • 1篇用户
  • 1篇知识库
  • 1篇中断响应时间
  • 1篇冗余
  • 1篇三模冗余

机构

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

作者

  • 9篇周启平
  • 5篇程胜
  • 5篇李尚杰
  • 4篇吕紫旭
  • 4篇卓保特
  • 4篇陈星宇
  • 2篇任永青
  • 2篇刘大鹏
  • 2篇刘姝
  • 2篇魏明
  • 2篇崔小磊
  • 2篇赵英辉

年份

  • 1篇2017
  • 2篇2016
  • 1篇2015
  • 5篇2014
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
基于BDD的知识库规则产生式的检查方法
本发明公开了一种基于BDD的知识库规则产生式的检查方法，其特征在于：所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时，对每一条输入的规则执行如下步骤检查：1）将一条已有规则产生式Rp转换成...
崔小磊周启平刘大鹏任永青陈星宇
文献传递
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇王静李宇明魏明
文献传递
一种三模冗余计算机数字仿真系统
本发明属于计算机仿真技术领域，具体涉及一种三模冗余计算机数字仿真系统。一种三模冗余计算机数字仿真系统，包括以下模块：处理器仿真模块，实现指令集、寄存器、存储空间和流水线的时钟精确仿真；设备仿真模块，完成处理器私有的设备功...
魏明任永青刘姝李尚杰周启平程胜
文献传递
一种可选安全等级的可靠文件传输协议
本发明公开了一种可选安全等级的可靠文件传输协议，其特征在于：在CFDP协议基础上，实现可选安全等级的可靠文件传输协议，包括三种模式：模式一：针对Qos要求不高，且只能进行单向通信的传输任务使用不可靠传输，即无确认模式；模...
刘姝周启平陈星宇崔小磊刘大鹏
文献传递
基于加权Merkle树实现的空间抗辐照故障检测方法
本发明公开了一种基于加权Merkle树实现的空间抗辐照故障检测方法，其特征在于：步骤如下：利用编译器为关键代码段生成对应的加权Merkle Hash树；然后在操作系统支持下，任务空闲时基于Merkle Hash树进行细粒...
李尚杰吕紫旭周启平程胜
文献传递
一种SPARC平台减少中断响应抖动的技术
本发明公开了一种SPARC平台减少中断响应抖动的技术，步骤如下：1）建立SPARC平台原子交换函数；2）实现内核路径上写全局变量访问操作的中断响应抖动减少技术；3）全局队列访问操作的中断响应抖动减少技术；4）全局堆栈访问...
卓保特周启平吕紫旭赵英辉
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇
文献传递
基于加权Merkle树实现的空间抗辐照故障检测方法
本发明公开了一种基于加权Merkle树实现的空间抗辐照故障检测方法，其特征在于：步骤如下：利用编译器为关键代码段生成对应的加权Merkle Hash树；然后在操作系统支持下，任务空闲时基于Merkle Hash树进行细粒...
李尚杰吕紫旭周启平程胜
文献传递
一种SPARC平台减少中断响应抖动的方法
本发明公开了一种SPARC平台减少中断响应抖动的技术，步骤如下：1）、建立SPARC平台原子交换函数；2）、实现内核路径上写全局变量访问操作的中断响应抖动减少技术；3）、全局队列访问操作的中断响应抖动减少技术；4）、全局...
卓保特周启平吕紫旭赵英辉
文献传递
全选 清除 导出
共1页<1>
聚类工具0