【摘 要】
：
针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证
论文部分内容阅读
针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。
其他文献
<正>古文字教学,重在抓基础。所谓基础,就是对古汉字符号的系统全面把握与深刻认识。比如整理、摹释与解析甲骨文字形的过程,可谓是对古汉字的一种寻根之旅。较为成熟的甲骨
针对程训方老师对档案销毁所提出的一系列问题,笔者试图从档案的保存价值、保密性这两个角度出发,对档案销毁中存在的问题进行重新诠释。
目的分析胸腰椎不同程度前中柱骨折经椎弓根螺钉内固定器固定后的生物力学效果,并探讨前路重建的生物力学意义。方法收集12具新鲜猪T10~L4节段胸腰椎脊柱标本,分为两组,将L1
目的探讨人性化护理用于阴式子宫切除术治疗老年子宫脱垂的作用。方法选取2016年2月至2017年6月88例阴式子宫切除术老年子宫脱垂患者并随机数字表法分组。对照组用常规护理方
<正>所谓金融中心是指聚集了大量金融机构和相关服务产业,全面集中地开展资本借贷、债券发行、外汇交易、保险等金融服务业的城市或地区。金融市场齐全、服务业高度密集、对
作为非银行金融机构的内部银行,通过运用独特的金融功能,融通了企业内外部资源,降低了企业交易成本、合理的配置资源,保证了资金供给,成为我国集团企业资金管理的重要组成部
体育对于人类而言具有重要的作用,其在提升人类身体素质的同时,还能促进其他综合素质的提高。为了适应现代社会发展的需要,体育理论与实践的同步发展十分重要,而体育教育离不
目的了解国家级监测点居民土源性线虫感染及时段变化情况,为防治提供科学依据。方法采用改良加藤厚涂片法和透明胶纸肛拭法对监测点居民土源性线虫感染情况进行调查。结果200
当前,我国对中职教育的建设与发展越来越关注,使得中职院校规模不断扩大,与此同时,对于班级管理与教学管理也更为重视。中职学生被称为"半只脚踏入社会的人",很多学生往往只