CTCS--3级列控系统RBC行车许可生成的形式化建模与分析(可编辑).pdfVIP

CTCS--3级列控系统RBC行车许可生成的形式化建模与

分析

独创性声明

本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的

研究成

果,除了文中特别加以标注和致谢之处外,论文中不包含其他人已经发表或

撰写过的研

究成果,也不包含获得兰趔童通太堂或其他教育机构的学位或证书而使用过

的材料。

与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说

明并表示了

谢意。

乡月

日

学位论文作者签名:獬签字日期:≯降

学位论文版权使用授权书

本学位论文作者完全了解兰趔童通太堂有关保留、使用学位论文的规定。特

授权

兰趔童逼太堂可以将学位论文的全部或部分内容编入有关数据库进行检索,

并采用影

印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有

关部门或机

构送交论文的复印件和磁盘。

必威体育官网网址的学位论文在解密后适用本授权说明

学位论文作者签名:裂鲥芬兮

导师躲南謇扒、

签字日期:沙,年易月日

签字日期:窃年莎月悔日硕士学位论文

一级列控系统行车许可生成的

形式化建模与分析

一

作者姓名:

堂量玲

学科、专业:

交通信:垦王猩区控童』

学

号:??鲤鲻

指导教师:

堂建武数援

完成日期:

生垒旦旦

兰州交通大学

兰州交通大学硕士学位论文

摘要

一级列控系统是我国在引进国外新技术并不断消化吸收再创新的情况下,研

发出的适合本国国情的列控系统。目自仃我国铁路『大力应用和研究该系统,

它极大地提

高了铁路运输的可靠性、安全性。但是根据我国铁路的基本国情,列控系统

仍然需要不

断完善与研究,而需求规范是系统丌发的起点与基础,必须对列控系统规范

进行严格的

分析验证,消除规范的歧义性才能使列控系统朝着更安全更可靠的方向发

展。

行车许可生成管理是的主要功能之一,根据不同的运营场景计算不同的

行车许可并发送给列车,列车按照行车许可命令安全控车。因此根据需求规

范分析行车

许可的生成对列控系统的安全高效运行具有重要意义。

本文针对上述问题,首先,基于行车许可不同的功能需求设计不同的应用层

模块;

其次,研究不同运营场景下的行车许可生成过程;最后,根据一级列控系统行

车

许可的生成机制,设计了一种基于着色

理论的行车许可生成模型,运用

?仿真工具动态仿真了一级列控系统不同运营场景下的行车许可生成过

程,观察列车运行过程中的通信机制及信息传输,并通过状态空间分析法和

一工

月匕分析法

分析了模型的一些属性及时、白因素对行车许可生成的影响。

仿真结果表明,所建立的模型符合设计的要求,能够在不同的运营场景下完

成相应

的计算;通过生成的状态空间报告图分析验证系统的一些属性都符合列控系

统的规

范要求;最后加入参数对设计的模型进行优化,得出系统最合理的延迟范围。

为行车许

可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存

在的一些缺

陷,使列车运行更安全旷可靠。

关键词:一;行车许可;着色

网;建模

论文类型:应用技术研究.级列控系统行车许可生成的形式化建模与分析

’

.,.,

一,

..,,..,.

.,

;,

;一,

..

.

.

.

.

.

..

,

...

,

:一,,

兰州交通大学硕学位论文

录

目

摘要.

?????..?.??...。。。..

目录??..

绪论?

.论文的选题背景和研究意义.

.国内外研究现状??.

.论文研究的主要内容.

着色网理论及验征工具

.形式化建模语言一着色网

..

基本概念一

..着色定义.

.

?工具?