教育论文网

基于时间自动机的RBC控车流程研究

硕士博士毕业论文站内搜索    
分类:教育论文网→交通运输论文→铁路运输论文铁路通信、信号论文铁路信号论文区间闭塞与机车信号系统论文列车运行自动化论文
基于时间自动机的RBC控车流程研究
[硕士毕业论文]
论文目录
 
摘要第1-7 页
Abstract第7-11 页
第1章 绪论第11-16 页
  · 研究背景第11-13 页
    · 欧洲列车控制系统现状第11-12 页
    · 中国列车控制系统现状第12-13 页
  · CTCS-3级RBC控车系统建模的目的和意义第13-14 页
  · 论文的主要工作和章节安排第14-16 页
第2章 形式化描述方法第16-27 页
  · 形式化方法第16-19 页
    · 形式化方法概述第16-17 页
    · 形式化方法选择第17-18 页
    · 形式化模型验证第18 页
    · 形式化建模优点第18-19 页
  · 时间自动机第19-27 页
    · 自动机概述第19-20 页
    · 时间自动机第20-23 页
    · 时间自动机简例第23-24 页
    · 时间自动机可达性分析第24-25 页
    · 时间自动机优点第25-27 页
第3章 RBC控车流程分析与设计第27-45 页
  · CTCS-3级列控RBC系统介绍第27-31 页
    · CTCS-3级列控系统第27-28 页
    · 地面RBC子系统第28-31 页
  · RBC子系统功能需求分析第31-33 页
  · RBC系统控车流程分析与设计第33-45 页
    · 消息重新发送流程第35-37 页
    · 列车登陆流程第37-38 页
    · 正常控车流程第38-40 页
    · RBC移交流程第40-43 页
    · 列车注销流程第43-45 页
第4章 基于UPPAAL的RBC控车流程建模第45-64 页
  · 时间自动机建模工具UPPAALL介绍第45-50 页
    · UPPAAL结构简介第46-47 页
    · UPPAAL理论模型第47-50 页
  · RBC控车流程建模第50-60 页
    · 消息重发模型第50-52 页
    · 列车登陆模型第52-54 页
    · 正常控车模型第54-56 页
    · RBC移交模型第56-59 页
    · 列车注销模型第59-60 页
  · 其他子系统简单建模第60-64 页
    · 车载模块简单模型第60-62 页
    · 地面其他模块简单模型第62-64 页
第5章 RBC控车模型功能验证第64-75 页
  · 在UPPAAL中构造时间自动机的积第64-65 页
  · 消息重发流程系统模型验证第65-68 页
    · 模型仿真第65-66 页
    · 模型仿真结果验证第66-68 页
  · RBC控车系统流程模型验证第68-75 页
    · 模型仿真第68-72 页
    · 模型仿真结果验证第72-75 页
结论第75-76 页
致谢第76-77 页
参考文献第77-80 页
攻读硕士学期间发表的学术论文及科学实践第80 页

本篇论文共80页,点击这进入下载页面
 
更多相关论文
基于时间自动机的RBC控车流程研究
低频重复经颅磁刺激对锂—匹鲁卡品
高校思想政治教育必须坚持实事求是
榕城监狱办公自动化网络平台的设计
青藏铁路运营期可持续发展评价研究
理财业务管理系统的设计与实现研究
低频重复经颅磁刺激对癫痫大鼠行为
高校辅导员队伍专业化建设研究
脑损伤后认知功能障碍作业治疗方案
包头市财经学校网络题库与考试系统
大学生网络自主学习个案研究
扶正抗癌方联合NP方案治疗中晚期非
榕城监狱管教数字化办公系统
路堤桩板墙地震动力分析
CT肺癌TNM分期与肺癌组织内骨桥蛋白
从顶岗实习看高师院校教师教育课程
成都地铁盾构施工对周边环境的影响
煤矿安全管理信息系统设计与实现
大学生社区感研究
从视网膜神经纤维层及黄斑区神经上
信息化水平对高校创新能力的影响研
共同性斜视手术前后视觉三级功能的
西部地方师范大学实行免费师范生教
TTT治疗视网膜静脉阻塞的初步研究
新时期推动大学生健康成长的精神动
栏 目 导 航
 
 
版权申明:目录由论文网www.LW52.net制作,本站并未收录论文原文,如果你是作者,需要删除这篇论文目录,请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved