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



基于时间自动机的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治疗视网膜静脉阻塞的初步研究
新时期推动大学生健康成长的精神动
安全生产自动化数据管理软件设计与
视网膜分支静脉阻塞发生黄斑水肿的
我国高校后勤集团人力资源管理研究
自体血清疗法联合中医治疗慢性荨麻
独立学院师资队伍建设的研究--基于
基于UML的财务信息管理系统的设计
自血疗法治疗慢性荨麻疹60例临床观
民办高校兼职教师管理探索--以TY学
美国师范学院的转型研究
川牛膝品质评价研究
兖矿集团公司全面预算管理系统的设
青黛生产工艺与质量控制研究
论班导师制的实施
首乌妇康胶囊的工艺和质量标准研究
自动考试系统的设计与实现
艺术院校思想政治理论课实效性研究
新制度经济学视野下美国社区学院教
成膜材料在中药复方片剂包衣中的适
水底输气隧道二次衬砌可靠性研究
硅藻土复合微滤膜用于丹参水提液除
物料采购系统软件设计与实现
三塔部分斜拉桥地震反应分析及减震
中国电信西充分公司物流管理系统设
柴丹解郁颗粒的药学部分研究
独立学院学费标准制定的问题研究
顶部开孔地铁区间隧道自然通风计算
基于Linux的数据备份与恢复系统的设
黄藤中黄藤素提取纯化工艺研究
我国高校周边经济发展研究--以成都
连续刚构桥的施工控制分析
华夏银行信贷管理信息系统的设计与
黑木耳口服液的制备及质量标准的研
矮塔斜拉桥斜拉索结构和受力行为研

铁路信号论文 RBC论文形式化语言论文时间自动机论文 UPPAAL论文建模
版权申明：目录由用户沧海**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved