您的位置： 专家智库 > >

陈星宇

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

合作作者

文献类型

  • 7篇中文专利

领域

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

主题

  • 2篇代码
  • 2篇原子操作
  • 2篇源代码
  • 2篇软件系统
  • 2篇开销
  • 2篇控制流
  • 2篇共享资源
  • 2篇航天
  • 2篇并发程序
  • 2篇并发程序设计
  • 2篇程序设计
  • 1篇端口
  • 1篇性能评测
  • 1篇硬件
  • 1篇硬件平台
  • 1篇用户
  • 1篇知识库
  • 1篇双向通信
  • 1篇通信
  • 1篇通信端口

机构

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

作者

  • 7篇陈星宇
  • 5篇李尚杰
  • 4篇周启平
  • 4篇刘大鹏
  • 4篇刘姝
  • 4篇崔小磊
  • 3篇程胜
  • 2篇任永青
  • 2篇魏明
  • 2篇卓保特

年份

  • 1篇2017
  • 1篇2016
  • 5篇2014
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法，其特征在于：所述优化方法是：基于源代码的优化并发程序中，临界区里的代码在满足一定条件的情况下，访问共享资源时，省去CSenter和CSexit操作，减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇
嵌入式软件性能评测硬件辅助测试装置和方法
本发明公开了一种嵌入式软件性能评测硬件辅助测试装置，其特征在于：包括电路板，电路板上设置有控制装置和若干通信端口，通信端口连接有被测试软件运行硬件平台和测试系统，测试系统安装在PC机上。本发明还提供了一种嵌入式软件性能评...
刘姝陈星宇程胜李尚杰任永青
文献传递
基于BDD的知识库规则产生式的检查方法
本发明公开了一种基于BDD的知识库规则产生式的检查方法，其特征在于：所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时，对每一条输入的规则执行如下步骤检查：1）将一条已有规则产生式Rp转换成...
崔小磊周启平刘大鹏任永青陈星宇
文献传递
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇王静李宇明魏明
文献传递
一种可选安全等级的可靠文件传输协议
本发明公开了一种可选安全等级的可靠文件传输协议，其特征在于：在CFDP协议基础上，实现可选安全等级的可靠文件传输协议，包括三种模式：模式一：针对Qos要求不高，且只能进行单向通信的传输任务使用不可靠传输，即无确认模式；模...
刘姝周启平陈星宇崔小磊刘大鹏
文献传递
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇
文献传递
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法，其特征在于：所述优化方法是：基于源代码的优化并发程序中，临界区里的代码在满足一定条件的情况下，访问共享资源时，省去CSenter和CSexit操作，减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇王静李宇明魏明
文献传递
全选 清除 导出
共1页<1>
聚类工具0