您的位置： 专家智库 > >

李尚杰

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

合作作者

文献类型

  • 15篇中文专利

领域

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

主题

  • 5篇开销
  • 4篇航天
  • 3篇代码
  • 3篇控制流
  • 2篇代数
  • 2篇多核
  • 2篇多目标优化
  • 2篇映射
  • 2篇映射方法
  • 2篇原子操作
  • 2篇源代码
  • 2篇栈溢出
  • 2篇软件系统
  • 2篇适应度
  • 2篇嵌入式
  • 2篇抗辐照
  • 2篇加权
  • 2篇共享资源
  • 2篇函数
  • 2篇航天应用

机构

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

作者

  • 15篇李尚杰
  • 12篇程胜
  • 7篇魏明
  • 6篇卓保特
  • 5篇周启平
  • 5篇陈星宇
  • 4篇吕紫旭
  • 4篇刘姝
  • 4篇周志军
  • 2篇任永青
  • 2篇许开维
  • 2篇刘大鹏
  • 2篇崔小磊

年份

  • 4篇2017
  • 2篇2016
  • 4篇2015
  • 5篇2014
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法，其特征在于：所述优化方法是：基于源代码的优化并发程序中，临界区里的代码在满足一定条件的情况下，访问共享资源时，省去CSenter和CSexit操作，减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇
一种基于基本块的软件可靠性评估方法
本发明属于软件可靠性领域，具体涉及一种基于基本块的软件可靠性评估方法。一种基于基本块的软件可靠性评估方法，包括以下步骤：(1)构建控制流图；(2)利用被测软件的基本块指令数建立基本块的缺陷系数矩阵；(3)评估基本块潜在的...
李尚杰郝晓鹏郭鹏飞穆海荣
嵌入式软件性能评测硬件辅助测试装置和方法
本发明公开了一种嵌入式软件性能评测硬件辅助测试装置，其特征在于：包括电路板，电路板上设置有控制装置和若干通信端口，通信端口连接有被测试软件运行硬件平台和测试系统，测试系统安装在PC机上。本发明还提供了一种嵌入式软件性能评...
刘姝陈星宇程胜李尚杰任永青
文献传递
一种三模冗余计算机数字仿真系统
本发明属于计算机仿真技术领域，具体涉及一种三模冗余计算机数字仿真系统。一种三模冗余计算机数字仿真系统，包括以下模块：处理器仿真模块，实现指令集、寄存器、存储空间和流水线的时钟精确仿真；设备仿真模块，完成处理器私有的设备功...
魏明任永青刘姝李尚杰周启平程胜
文献传递
一种基于多目标优化的多核SoC软件映射方法
本发明涉及一种基于多目标优化的多核SoC软件映射方法，其包括以下步骤：(1)、优化多核SoC软件映射的目标；(11)、确定多核SoC软件映射中的决策变量；(12)、确定多核SoC软件映射的约束条件；(13)、确定多核So...
李尚杰程胜周志军魏明吕紫旭
文献传递
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇
文献传递
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇王静李宇明魏明
文献传递
并发程序设计中减少临界区保护机制开销的优化方法
本发明公开了一种并发程序设计中减少临界区保护机制开销的优化方法，其特征在于：所述优化方法是：基于源代码的优化并发程序中，临界区里的代码在满足一定条件的情况下，访问共享资源时，省去CSenter和CSexit操作，减少了同...
崔小磊李尚杰刘姝刘大鹏陈星宇王静李宇明魏明
文献传递
基于加权Merkle树实现的空间抗辐照故障检测方法
本发明公开了一种基于加权Merkle树实现的空间抗辐照故障检测方法，其特征在于：步骤如下：利用编译器为关键代码段生成对应的加权Merkle Hash树；然后在操作系统支持下，任务空闲时基于Merkle Hash树进行细粒...
李尚杰吕紫旭周启平程胜
文献传递
一种基于Kahn进程网络的程序并行框架提取技术
本发明公开了一种基于Kahn进程网络的程序并行框架提取技术，其特征在于：基于局部化控制和分散内存的思想，从3个步骤应用程序转化成为进程网络完成程序并行框架提取：步骤1、预处理；步骤2、消费者进程重构；步骤3、生产者进程重...
李尚杰程胜周志军魏明卓保特
文献传递
全选 清除 导出
共2页<12>
聚类工具0