基于TCPN的CTCS-1级列控系统RDC形式化建模与分析

声明

致谢

摘要

1．1 研究背景

1．2 国内外研究现状

1．2．1 既有线普速铁路列控系统研究现状

1．2．2 列控系统建模方法研究现状

1．3 CTCS-1级列控系统概述

1．4 论文研究目的及意义

1．5 论文的研究内容及结构

2 RDC需求分析与模块功能设计

2．1 RDC系统功能需求分析

2．1．2 CTCS-1级RDC系统交互功能分析

2．1．3 CTCS-1级RDC系统内部功能分析

2．2 基于需求的RDC功能模块设计

2．2．1 RDC总体功能设计

2．2．2 RDC通信管理功能设计

2．2．3 RDC行车数据计算与发送功能设计

2．2．4 RDC等级转换功能设计

2．2．5 RDC列车移交功能设计

2．3 本章小结

3 基于TCPN的RDC形式化建模与仿真

3．1 TCPN形式化建模与分析方法研究

3．1．1 基于ML语言的TCPN形式化建模方法

3．1．2 形式化仿真及验证工具CPN-Tools

3．2 RDC交互功能建模

3．3 RDC主体功能建模

3．3．1 RDC主体功能顶层模型

3．3．2 RDC主体功能子模型

3．4 RDC特殊场景建模

3．4．1 RDC级间切换场景模型

3．4．2 C1车与既有车站前追踪运行场景模型

3．4．3 RDC列车移交场景建模

3．5 本章小结

4 RDC形式化模型验证

4．1 RDC主体功能模型验证

4．1．1 RDC主体功能模型逻辑功能验证

4．1．2 RDC主体功能模型状态空间分析

4．2 RDC特殊场景模型验证

4．2．1 RDC级间切换模型验证

4．2．2 C1车与既有车站前追踪运行模型验证

4．2．3 RDC列车移交模型时间性能验证分析

4．3 本章小结

5 RDC仿真软件设计与实现

5．1 RDC仿真软件设计

5．2 功能实现

5．3 联调与仿真结果

5．4 本章小结

6．1 论文总结

6．2 研究展望

参考文献

图索引

表索引

作者简历及攻读硕士学位期间取得的研究成果

学位论文数据集