CBTC系统通信协议的设计和形式化分析_毕业论文范文网-论文范文

搜索高级搜索

原创毕业论文

CBTC系统通信协议的设计和形式化分析

作者: 浏览:6次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
理工科专业论文
心理学论文范文
学前教育论文范文

毕业论文范文题目：CBTC系统通信协议的设计和形式化分析，论文范文关键词：CBTC系统通信协议的设计和形式化分析
CBTC系统通信协议的设计和形式化分析毕业论文范文介绍开始：
【论文摘要】：在基于通信的列车运行控制(Communications-basedTrainControl,CBTC)系统中,各子系统间可靠的数据通信是保证整个系统安全的基础。为了达到数据传输安全的目的,论文设计实现了一个相对完备的通信协议供自主开发的CBTC（略..）系统使用,并且引入形式化方法对其进行分析,证明了该协议的安全性。论文阐述了CBTC系统通信协议的设计原理。首先根据自主开发的CBTC系统在数据传输安全方面的需要,详细分析了通信协议的安全需求及性能指标;然后引入了安全传输规范,利用规范中提供（此处忽略..）的安全防护措施分层次地设计了CBTC系统通信协议。论文选择形式化语言CPN(ColouredPetriNet)和它的支持工具CPNTools对CBTC系统通信协议进行“自上而下”的建模。首先给出了CBTC系统通信协议的顶层模型;而后深入研究了单（本文此处忽略..）链路协议模型的建立过程,从基本模型着手,逐步加入安全防护机制,最后得到完善的协议模型。基于所建模型,使用CPNTools对CBTC系统通信协议进行验证和性能分析。根据安全通信协议的分析方法,首先对模型进行必要的分解和简化,通过状态空间分析验（本文此处忽略..）证模型的有界性、活性等动态特性;而后考虑影响系统安全的各种危险因素,对通信协议的性能进行分析,并得出各种性能参数的均值;最后将这些性能参数的均值和既定的性能指标进行比较,证明所设计的通信协议是符合我们的CBTC系统安全传输需求的。

以上为本篇毕业论文范文CBTC系统通信协议的设计和形式化分析的介绍部分。

本论文在电子专业论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
热能与动力设计论文
教育管理专业论文
日语专业论文
德语专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：彩铃平台中经营分析系统抽取转换..

下一篇：片上网络通信架构的测试方法研究