教育论文网

基于时间自动机的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