您的位置: 专家智库 > >

中国航空科学基金(2010ZA04001)

作品数:2 被引量:2H指数:1
相关作者:刘成胡凯刘锴更多>>
相关机构:北京航空航天大学更多>>
发文基金:中国航空科学基金国家自然科学基金更多>>
相关领域:航空宇航科学技术自动化与计算机技术电气工程电子电信更多>>

文献类型

  • 2篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇SDL
  • 1篇形式化
  • 1篇通信
  • 1篇空间通信
  • 1篇基础架构
  • 1篇计算流体动力...
  • 1篇架构
  • 1篇PERFOR...
  • 1篇SCALAB...
  • 1篇TCP
  • 1篇USING
  • 1篇VERIFI...
  • 1篇CFD
  • 1篇INFRAS...
  • 1篇MODELI...
  • 1篇CUSTOM

机构

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

作者

  • 1篇刘锴
  • 1篇胡凯
  • 1篇刘成

传媒

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

年份

  • 2篇2013
  • 1篇2012
2 条 记 录,以下是 1-3
排序方式:
Modeling and Verification of Custom TCP Using SDL
With the development of computer network,the complexity of network protocol increases gradually,leading to the...
Kai HuCheng LiuKai Liu
关键词:SDLMODELINGVERIFICATION
A Scalable Infrastructure for Online Performance Analysis on CFD Application被引量:1
2012年
The fast-growing demand of computational fluid dynamics(CFD) application for computing resources stimulates the development of high performance computing(HPC) and meanwhile raises new requirements for the technology of parallel application performance monitor and analysis.In response to large-scale and long-time running for the application of CFD,online and scalable performance analysis technology is required to optimize the parallel programs as well as to improve their operational efficiency.As a result,this research implements a scalable infrastructure for online performance analysis on CFD application with homogeneous or heterogeneous system.The infrastructure is part of the parallel application performance monitor and analysis system(PAPMAS) and is composed of two modules which are scalable data transmission module and data storage module.The paper analyzes and elaborates this infrastructure in detail with respect to its design and implementation.Furthermore,some experiments are carried out to verify the rationality and high efficiency of this infrastructure that could be adopted to meet the practical needs.
HU KaiDING YiZHANG XinyuJIANG Shu
关键词:基础架构CFD计算流体动力学
SDL在空间通信协议开发中的应用被引量:1
2013年
针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。
胡凯刘成刘锴
关键词:空间通信
共1页<1>
聚类工具0