基于GSM电路交换的数据传输系统协议栈的设计、验证和实现

来源 :北京交通大学 | 被引量 : 0次 | 上传用户:cn1976
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
GSM-R作为铁路综合通信平台,能够在列车高速移动时提供可靠的信息传输能力,在该论文中,将详细设计并实现一种基于GSM电路交换技术的数据采集传输应用系统——JTS908数据传输系统.JTS908数传系统需要一个可靠稳定并且有效的协议栈软件支持.由于GSM-R系统在国内还是处于试验阶段,基于GSM-R的数据采集传输系统其协议栈软件没有成熟的产品可以利用,需要根据这个系统的功能需求从无到有进行开发.该文将按照协议工程的方法,实施一个专用于铁路数据传输的协议栈工程.论文将就协议工程的三个重要阶段即协议设计和形式化描述、协议验证、协议实现做出论述.首先在文章的第二章分析协议规范设计需要考虑的主要问题;第三章给出协议栈设计的结果;第四章首先给出协议栈系统的形式化描述,之后利用形式化方法对所设计的协议栈进行验证.第五章分析在该协议栈实现中需要重点解决的问题,以及在windows平台上的实现.
其他文献
软件无线电技术由于其自身的特点正引起人们极大的兴趣,它使人们可以在统一的硬件平台上,用不同的软件来处理不同的通信体制。本文的主要目的是结合软件无线电的思想研究多载波
本文首先介绍了OBS网络结构、OBS部分关键技术以及目前国内外的研究现状。其次文章分析了进入OBS网络的现代通信网业务量具有突发性,即自相似性(长程相关性)和重尾特性,这种突发
本文引入了双层蜂窝网络结构,该双层系统由一个伞状宏小区覆盖若干个下层微小区的区群构成。在不影响系统容量的前提下,为解决降低高速移动终端切换次数的问题,本文提出的解