基于时间自动机的列控中心建模与半实物仿真

	载入中...

基于时间自动机的列控中心建模与半实物仿真

分类：教育论文网→交通运输论文→铁路运输论文→铁路通信、信号论文→铁路信号论文→区间闭塞与机车信号系统论文→列车运行自动化论文

基于时间自动机的列控中心建模与半实物仿真

论文目录
致谢	第1-6页
摘要	第6-7页
ABSTRACT	第7-12页
1 引言	第12-18页
1.1 研究背景及意义	第12-13页
1.2 国内外研究现状	第13-15页
1.2.1 国外研究现状	第13-14页
1.2.2 国内研究现状	第14-15页
1.3 高速铁路CTCS-3级虚拟仿真实验系统介绍	第15-16页
1.4 论文研究内容及体系架构	第16-18页
2 列控中心系统概述	第18-24页
2.1 CTCS-2级列控中心概述	第18-19页
2.2 车站列控中心	第19-21页
2.2.1 系统概述	第19-20页
2.2.2 系统功能	第20-21页
2.2.3 系统接口	第21页
2.3 本章小结	第21-24页
3 形式化描述方法	第24-32页
3.1 形式化方法	第24-26页
3.1.1 形式化方法概述	第24-25页
3.1.2 形式化建模方法的优点	第25-26页
3.2 时间自动机	第26-28页
3.2.1 时间自动机概述	第26页
3.2.2 时间自动机定义	第26-28页
3.2.3 时间自动机的优点	第28页
3.3 建模工具UPPAAL	第28-31页
3.3.1 UPPAAL简介	第28-30页
3.3.2 UPPAAL的语法、语义与验证	第30-31页
3.4 本章小结	第31-32页
4 基于时间自动机的列控中心系统建模	第32-56页
4.1 应答器报文编制流程设计	第32-41页
4.1.1 相关接口通信分析	第35-38页
4.1.2 报文编制的场景层分类	第38页
4.1.3 报文编制的编码层分类	第38-39页
4.1.4 报文编制的计算实现	第39-41页
4.2 报文编制流程分层模型的建立	第41-48页
4.2.1 通信层模型(包含辅助层)	第41-45页
4.2.2 场景层模型	第45-46页
4.2.3 编码层模型	第46页
4.2.4 计算层模型	第46-47页
4.2.5 逻辑层模型	第47-48页
4.3 模型验证	第48-55页
4.3.1 时间自动机网络构建	第48-49页
4.3.2 模型验证	第49-55页
4.4 本章小结	第55-56页
5 列控中心实验系统总体设计与软件实现	第56-84页
5.1 列控中心实验系统总体需求分析	第57-58页
5.2 列控中心实验系统通信设计	第58-60页
5.3 列控中心实验系统数据库设计	第60-64页
5.3.1 站场图信息	第61-62页
5.3.2 无源应答器报文	第62-63页
5.3.3 有源应答器报文	第63页
5.3.4 通信接口信息包	第63-64页
5.4 列控中心实验系统人机界面设计	第64-65页
5.5 轨道电路编码功能设计与实现	第65-73页
5.5.1 区间轨道电路编码	第65-67页
5.5.2 站内轨道电路编码	第67-73页
5.6 应答器报文编制功能设计	第73-78页
5.6.1 应答器报文介绍	第75页
5.6.2 无源应答器逻辑报文编制	第75-76页
5.6.3 有源应答器逻辑报文编制	第76-78页
5.7 列控中心实验系统软件测试	第78-83页
5.7.1 站场图界面展示	第78-79页
5.7.2 列控中心软件测试	第79-83页
5.8 本章小结	第83-84页
6 总结与展望	第84-86页
6.1 结论	第84页
6.2 展望	第84-86页
参考文献	第86-90页
附录A	第90-92页
附录B	第92-94页
图索引	第94-98页
表索引	第98-100页
作者简历及攻读硕士学位期间取得的研究成果	第100-104页
学位论文数据集	第104页

本篇论文共104页，点击这进入下载页面。

更多论文
基于时间自动机的列控中心建模与半
第三方整车物流企业乘用车运输网络
基于异质驾驶行为的交通流微观建模
基于绿色度的冷链物流配送路径优化
公交车辆到站时间预测方法研究
BMS中SOC估算与主动均衡控制策略的
基于洗出滤波算法的六自由度汽车驾
碳配额交易机制下汽车供应链产品定
基于BIM的房建工程的多层级工程量清
碳减排视角下的绿色建筑成本效益评
电池柔性成组储能系统能量利用率分
一种新型高频链逆变器控制方法
基于CAN通讯燃气发电机组并机控制系
飞轮储能发电系统用变换器的研究
基于模块化多电平变流器的电池储能
毛泽东民主政治思想及其当代价值研
北京某地铁站的火灾和人员疏散模拟
人口老龄化背景下北京市低龄老年人
二元经济下山东省最低工资的就业效
高压大功率GaN器件开关过程振荡问题
基于光电振荡器的光学频率梳生成技
基于多代理的认知卫星通信架构及频
泛在环境下的无线定位优化技术研究
D2D通信的协作激励机制研究
大规模天线波束赋形的到达角估计研
Ad Hoc网络试验床模拟仿真技术的研
基于物联网的蔬菜质量追溯系统设计
直/跳扩信号跟踪算法的研究与实现
分布式移动社交网络中移动模型和路
可见光通信中的天线布局研究
基于有线链路的Ad Hoc网络路由协议
用于相控阵雷达T/R模块的宽带移相器
基于WiFi的数字集群调度终端视频传
基于端口编址的数据中心网络路由方
面向推广与用户黏性的PhpBb论坛用户
基于分区的倒排索引压缩算法研究
低对比度线段检测及应用
融合多维签到信息的LBSN链接预测研
层次短语模型的日语时态翻译研究
基于轻量级虚拟化环境的多级安全容
铁路客运旅游大数据平台架构设计与
特定领域汉语分词标准制定方法的研
基于SDN的保证QoS的网络资源分配和
磁性液体微压差传感器的理论及实验
全向轮驱动球形机器人的机构分析与
基于时空视角的电商物流“最后一公
异质品线上双渠道价格及物流服务水
2B&2C模式下城市冷链共同配送路径优
基于聚类方法的我国重点发展城市类
中俄物流竞争力比较研究
货币政策对企业现金持有冲击效应的
基于心理契约的微信公众号顾客忠诚
中国短期国际资本流动动因研究
阳光私募基金与股市波动的关系研究
运营中断条件下城市轨道交通乘客出
冻融循环条件下路基粉质粘土力学特
面向基础教育的自适应学习服务系统
磁性液体加速度传感器的理论及实验
双边平台环境下用户生成内容对在线
FT公司分销渠道研究
中国海外并购溢价的影响因素
时滞非线性系统的分支分析
城市轨道交通大小交路列车开行方案
车轮踏面滚动接触疲劳损伤研究
面向节能的城市轨道交通列车运行图
隧道支护体系的承载特性及协同作用
低碳经济下中国汽车制造企业绿色竞
高中播音主持特长生古典诗歌教学策
非参数变系数混合效应模型及其估计
圈长的一些极值问题
贝叶斯自适应Lasso分位数回归及其在
校本课程开发提高药学英语教学实效
元认知策略在初中英语词汇教学中的
动态评价模式在高中英语写作教学中
体验式教学在初中英语语法教学中的
高中生英语学习焦虑与自我调节策略
象似性理论提高高中英语词汇教学实

列控中心软件论文时间自动机论文 UPPAAL论文建模验证论文实验系统论文
版权申明：目录由用户liupeiy**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved