您的位置： 专家智库 > >

刘锴

作品数：3 被引量：1H指数：1
供职机构：北京航空航天大学计算机学院更多>>
发文基金：中国航空科学基金国家自然科学基金更多>>
相关领域：航空宇航科学技术电子电信自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

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

主题

  • 2篇电子系统
  • 2篇数据传输
  • 2篇数据传输量
  • 2篇总线
  • 2篇扩展型
  • 2篇航天
  • 2篇BC
  • 2篇传输量
  • 1篇形式化
  • 1篇通信
  • 1篇空间通信
  • 1篇SDL

机构

  • 3篇北京航空航天...

作者

  • 3篇刘锴
  • 3篇胡凯
  • 3篇刘成
  • 2篇姜宏
  • 2篇张慧颖
  • 2篇田俊玲

传媒

  • 1篇飞行器测控学...

年份

  • 2篇2013
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种扩展型1553B总线进行BC至RT文件传输的方法与装置
本发明涉及一种扩展型1553B总线进行BC至RT文件传输的方法与装置。现有的1553B总线仅支持短消息通信，不能够进行文件传输，无法满足电子综合化系统数据传输量日益增大的需求。本发明提供了一种扩展型1553B总线进行BC...
胡凯张慧颖姜宏田俊玲阳荷刘锴刘成
一种扩展型1553B总线进行BC至RT文件传输的方法与装置
本发明涉及一种扩展型1553B总线进行BC至RT文件传输的方法与装置。现有的1553B总线仅支持短消息通信，不能够进行文件传输，无法满足电子综合化系统数据传输量日益增大的需求。本发明提供了一种扩展型1553B总线进行BC...
胡凯张慧颖姜宏田俊玲阳荷刘锴刘成
文献传递
SDL在空间通信协议开发中的应用被引量：1
2013年
针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。
胡凯刘成刘锴
关键词：空间通信
全选 清除 导出
共1页<1>
聚类工具0