您的位置： 专家智库 > >

程胜

作品数：48 被引量：13H指数：1
供职机构：北京神舟航天软件技术有限公司更多>>
发文基金：国家科技重大专项更多>>
相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>

合作作者

文献类型

  • 45篇专利
  • 3篇期刊文章

领域

  • 14篇自动化与计算...
  • 1篇电子电信
  • 1篇航空宇航科学...

主题

  • 8篇硬件
  • 8篇仿真
  • 6篇代码
  • 6篇软件工程
  • 6篇嵌入式
  • 5篇控制流
  • 4篇顶点
  • 4篇网络
  • 4篇芯片
  • 4篇可重构
  • 4篇可重构硬件
  • 4篇过程数据
  • 4篇航天
  • 4篇编译器
  • 3篇映射
  • 3篇实时性
  • 3篇数据库
  • 3篇细粒度
  • 3篇内存
  • 3篇开销

机构

  • 48篇北京神舟航天...
  • 1篇中国运载火箭...
  • 1篇北京航天自动...

作者

  • 48篇程胜
  • 12篇李尚杰
  • 10篇卓保特
  • 9篇刘姝
  • 8篇吕紫旭
  • 8篇魏明
  • 8篇王楠
  • 6篇周志军
  • 6篇朱海涛
  • 5篇任永青
  • 5篇周启平
  • 4篇崔小磊
  • 3篇王冰冰
  • 3篇刘贵
  • 3篇孙磊
  • 3篇陈星宇
  • 3篇陶戈丹
  • 3篇冯靖
  • 2篇何清法
  • 2篇张春艳

传媒

  • 1篇宇航学报
  • 1篇计算机工程与...
  • 1篇微计算机信息

年份

  • 5篇2023
  • 10篇2020
  • 2篇2019
  • 6篇2017
  • 3篇2016
  • 6篇2015
  • 6篇2014
  • 1篇2013
  • 3篇2012
  • 4篇2011
  • 1篇2009
  • 1篇2006
共 48 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
数据库表行级数据的自主访问控制方法
本发明为一种数据库表行级数据的自主访问控制方法，它包括以下步骤：A.建立行级访问控制策略：为启用行级访问控制的每一张数据库表增加一行级访问控制权限列，用于记录这一行的访问控制权限信息；B.授予用户行级访问权限：为数据库用...
徐岩蒋志勇王冰冰何清法程胜赵起文刘伎李海峰谢卫平王渊
文献传递
一种在轨细粒度的功能函数增加方法
本发明公开了一种在轨细粒度的功能函数增加方法，其特征在于：所述功能函数增加方法如下：通过链接脚本将需要增加的功能函数定义为专属段，且定位到程序末尾处，这样可以有效地利用内存没有使用的空间，通过专用的工具将专属段拷贝出来，...
赵英辉程胜卓保特任永青
文献传递
一种结构分析与设计语言AADL模型的仿真方法
本发明实施例提供的体系分析与设计语言AADL模型的仿真方法，涉及模型仿真技术领域，根据AADL模型建立对应的Simulink模型，能够有效的对AADL模型的实时性进行仿真分析，进而保证嵌入式实时系统系统的可靠性与实时性，...
程胜王楠樊瑞婷
文献传递
嵌入式软件性能评测硬件辅助测试装置和方法
本发明公开了一种嵌入式软件性能评测硬件辅助测试装置，其特征在于：包括电路板，电路板上设置有控制装置和若干通信端口，通信端口连接有被测试软件运行硬件平台和测试系统，测试系统安装在PC机上。本发明还提供了一种嵌入式软件性能评...
刘姝陈星宇程胜李尚杰任永青
文献传递
一种基于异构计算平台的可重构硬件任务动态分配方法
本发明公开的基于异构计算平台的可重构硬件任务动态分配方法，涉及计算机技术领域，通过矩形顶点，获取新到达的硬件任务在可重构芯片上的放置位置，采用最早最迟开始时间优先原则，提高了硬件任务的实时性，采用配置重用的思想执行已完成...
程胜王龙邱化强赵新鹏蔡铭王明
一种从代码中提取详细设计的方法
本发明属于软件工程领域，具体涉及一种从代码中提取详细设计的方法。一种从代码中提取详细设计的方法，包括以下步骤：(1)创建编码工程；(2)创建编码工程相应的目录结构、编码文件、函数和全局变量；(3)判断详细设计是否完成，若...
程胜朱海涛周超超
文献传递
一种软件工程质量预测方法
本发明公开的软件工程质量预测方法，涉及软件工程技术领域，通过判断当前软件配置项的过程数据/质量数据的样本数量是否大于设定的阈值，若是，则将当前软件配置项的过程数据/质量数据输入训练过的时间序列分析ARIMA模型，预测软件...
程胜王楠万金晶谢金龙樊瑞婷
一种航天软件系统溢出检测和破坏限制机制
本发明公开了一种航天软件系统溢出检测和破坏限制机制，其特征在于：步骤如下：将任务运行栈分割成平均的两部分，函数的调用分别交叉在两个栈中进行，实现缓冲区溢出检测和破坏限制；首先是溢出检测和破坏限制栈空间被分割为2部分，确保...
李尚杰周启平卓保特程胜陈星宇王静李宇明魏明
文献传递
基于可靠信息分发的容延容断网络路由方法
本发明为基于可靠信息分发的容延容断网络路由方法，包括步骤：1)在网络中引入基站节点；2)动态控制报文拷贝数量；3)采用基于基站节点的定向尽力传输模式；4)运用FIFO策略管理缓冲队列并采用报文丢弃策略。本发明的优点是：采...
冯靖王冰冰程胜刘姝
文献传递
RFDP面向容延容断网络的可靠文件传输协议
2012年
容延容断网络是基于星际网络提出的一种异于传统网络的抽象网络模型。本文针对容延容断网络所具有的长延迟、高误码率、链路频繁中断等特点,提出了一种改进的可靠文件传输协议(RFDP)。与传统的CFDP文件传输协议相比,随着误码率和延迟的增加,RFDP性能明显优于CFDP。在误码率超过10-5的极限情况下,伴随着长延迟,RFDP性能比CFDP延迟否定确认模式和立即否定确认模式提高均超过50%。因此,RFDP适合在较高误码率和较大传输延时的受限网络条件下进行通信,尤其适合容延容断网络这种信号传输条件恶劣的极限通信环境。
郑善福王冰冰程胜刘姝
关键词：文件传输协议喷泉码
全选 清除 导出
共5页<12345>
聚类工具0