导读:本文包含了信息传输子系统论文开题报告文献综述及选题提纲参考文献，主要关键词:CTCS-3级地车安全通信,SimEvents,概率模型检验,安全连接建立
信息传输子系统论文文献综述
全宏宇[1]（2014）在《CTCS-3级列控系统地车安全信息传输子系统的建模与分析》一文中研究指出摘要：为了满足铁路运输高速度、高密度的需求,需要列车运行控制系统(简称列控系统)来对列车进行速度和间隔控制,以保证行车安全和运营效率。由于无线通信具有实时、双向、大容量等优点,CTCS-3级列控系统采用GSM-R进行地面设备和车载设备之间的信息交互,实现了基于通信的列车控制。无线通信比有线通信的可靠性要低,而列控系统地车信息传输的性能影响行车安全和运营效率,因此很有必要对CTCS-3级地车安全信息传输系统进行建模和分析,为解决铁路安全通信的实际应用问题提供理论依据,从而有助于减少铁路信号安全事故和提高铁路运营效率。本文在深入了解CTCS-3级列控系统地车信息传输子系统结构和功能的基础上,针对其的分布式、随机性、实时性等特点,采用仿真与模型检验相结合的方法对地车通信系统进行建模和分析。仿真方法可以更好地模拟系统的行为,形式化方法可以严格地分析系统的性能,仿真与模型检验相结合的方法综合了仿真方法和形式化方法的优势。论文的主要工作如下：(1)介绍CTCS-3级地车通信系统的分层模型及通信流程,分析了地车通信系统对行车安全和运营效率的影响。(2)综述了通信系统建模和分析方法,提出了仿真与模型检验相结合的地车通信系统进行建模和分析方法,比较并选取了仿真和形式化建模工具,介绍了离散事件仿真和概率模型检验的基础知识。(3)利用matlab SimEvents对地车通信进行建模和分析,研究了地车通信系统SimEvents建模实现,清晰地模拟了地车通信系统的信息交互流程,并统计分析了通信协议的安全连接建立时间以及不同长度无线消息传输延迟时间。(4)针对仿真方法不能严格地验证系统的性能,利用概率模型检验方法对地车通信进行建模,基于概率模型检验工具PRISM分析了通信协议的安全连接建立时间以及不同长度无线消息传输延迟时间概率分布,并与SimEvents方法进行比较。(5)在地车通信系统模型的基础上,采用SimEvents和PRISM分别对列控系统应变时间进行分析,得到了列控系统发送位置报告到接收MA的应变时间及其概率分布,表明了方法具有很好的扩展性和应用价值。基于SimEvents和PRISM的CTCS-3级地车通信系统的建模与分析,实现了地车通信系统的仿真和形式化验证分析,地车通信系统的建模与分析方法以及得到的结果可以进一步应用到列控系统性能分析。(本文来源于《北京交通大学》期刊2014-03-28）
王立军[2]（2008）在《防空兵群首长决策支持系统信息传输子系统及安全性研究》一文中研究指出本文针对“防空兵群首长决策支持指挥系统信息传输子系统”的整体设计问题,通过对系统的结构、通信的基本要求及现有相关技术的分析,设计出传输子系统的总体框架,这在我防空兵领域内实属首次应用,对同类系统的建设具有一定的参考价值。论文在第二章中简单介绍了系统的结构。第叁章中在给出了通信的基本需求和XML消息服务的基本内容的基础上,提出了SOAP的消息通信模型,给出了SOAP消息的模式定义和SOAP/HTTP绑定规范,设计了XML消息服务的实现框架及框架中各模块的实现方案。在第四章中对消息安全通信层中传输层安全性和XML安全性进行了探讨,提出了消息通信的安全模型,设计了公文的加密流程。并对其进行可靠性分析。论文中应用多种目前较为先进的建模技术及成熟技术,解决了现有防空兵信息化建设中的大部分具体问题,具有很强的实用价值。(本文来源于《吉林大学》期刊2008-10-01）
龙玉章,刘志强[3]（2008）在《智能交通系统中的信息传输子系统的设计》一文中研究指出回顾了智能交通系统(ITS:Intelligent Transport System)中的信息传输系统发展历程,介绍了弹性分组环(RPR:Resilient Packet Ring)的特点,提出了现代智能交通系统传输子系统解决方案,即以RPR环组建汇聚层和多业务传送平台(MSTP)组建接入层的光纤传输网络。(本文来源于《光通信技术》期刊2008年09期）
信息传输子系统论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文针对“防空兵群首长决策支持指挥系统信息传输子系统”的整体设计问题,通过对系统的结构、通信的基本要求及现有相关技术的分析,设计出传输子系统的总体框架,这在我防空兵领域内实属首次应用,对同类系统的建设具有一定的参考价值。论文在第二章中简单介绍了系统的结构。第叁章中在给出了通信的基本需求和XML消息服务的基本内容的基础上,提出了SOAP的消息通信模型,给出了SOAP消息的模式定义和SOAP/HTTP绑定规范,设计了XML消息服务的实现框架及框架中各模块的实现方案。在第四章中对消息安全通信层中传输层安全性和XML安全性进行了探讨,提出了消息通信的安全模型,设计了公文的加密流程。并对其进行可靠性分析。论文中应用多种目前较为先进的建模技术及成熟技术,解决了现有防空兵信息化建设中的大部分具体问题,具有很强的实用价值。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
信息传输子系统论文参考文献
[1].全宏宇.CTCS-3级列控系统地车安全信息传输子系统的建模与分析[D].北京交通大学.2014
[2].王立军.防空兵群首长决策支持系统信息传输子系统及安全性研究[D].吉林大学.2008
[3].龙玉章,刘志强.智能交通系统中的信息传输子系统的设计[J].光通信技术.2008
标签：CTCS-3级地车安全通信; SimEvents; 概率模型检验; 安全连接建立;