1绪论

1。1课题的研究背景

国内有一句俗语：“要想富，先修路”，交通和运输是经济和社会发展的命脉,交通运输业的发展一直以来都是国家非常重视的，甚至在科学技术发展规划中被确立为国家重点发展的对象。轨道交通由于有着速度快、运载量大等特点，对于人口众多且国土辽阔的我国，在交通运输业中的重要性可以说是首屈一指。也正因此，在国家的大力支持下我国铁路发展迅速。

轨道交通的快速发展使得越来越多的人将铁路作为长途出行的第一选择。为了保证乘客的安全，现在铁路对信号设备的可靠性和安全性的要求更为苛刻，如不能尽快发现出现故障的设备并及时处理就可能影响列车安全行驶[2]。铁路信号微机监测作为一种稳定性能和可靠性能的有利保障已经在我国的铁路运输过程中拥有了非常重要的地位[3]。

信号微机监测系统集合了现代最新技术,能够实时采集设备的模拟量或者开关量,并将这些数据提供给车站中的工作人员以便于分析设备的故障原因。除此之外,系统拥有一定的智能,能够在设备处于不正常的工作状态时立刻发送警报,从而防止因设备出现故障或不正确操作影响到列车运行安全性和准时性[4]。本文针对铁路信号微机监测系统中采集机和站机的通信过程进行分析，通过建立仿真模型来对该通信过程进行描述并为系统以后的发展提供一定的技术基础。论文网

1。2 微机监测系统的发展和现状

1。3 本文研究内容及篇章结构安排

1。3。1 研究内容

本文主要内容是基于对微机监测系统监测站机和采集处理机之间的通信流程的分析，通过实时系统分析软件UPPAAL对其进行时间自动机建模，然后分析模型的特性并进行验证，使模型能在软件中无死锁运行。 

1。3。2 文章组织结构

本文主要内容分5章，组织结构如下：

第1章 绪论。该章节主要介绍了本文的研究背景、目标以及国内外发展现状。

第2章 微机监测系统通信过程分析。该章节简单介绍了微机监测系统的基本结构，分析微机监测系统中监测站机和采集处理机的通信过程。

第3章 基于时间自动机的微机监测系统通信过程建模。该章节简单介绍了时间自动机和形式化方法，并使用UPPAAL软件对微机监测系统通信过程进行时间自动机建模。

第4章 信号微机监测系统通信过程的仿真与验证。该章节使用UPPAAL的仿真功能和验证功能对建立的时间自动机模型进行仿真，并验证模型的正确性和各种不同功能的完整性。

第5章 总结与展望。对本文所做研究做出总结，并对研究的后续做了展望。

2微机监测系统通信过程分析

微机监测系统的采集机需要实时监测包括轨道电路数据、电动转辙机状态数据、信号电源系统数据、站内电码化数据、区间自动闭塞数据以及部分开关量等数据并将数据传送至监测站机，而且还要及时响应站机发来的命令。这就要求采集机和站机之间的通信不出现问题。本章就主要对采集机和站机之间的通信过程进行分析，为第3章的通信过程建模以及第4章的仿真运行和验证奠定理论基础。

2。1信号微机监测系统的结构

按铁道部 《铁路信号集中监测系统技术条件》 的要求，监测系统层次结构为三级四层[13]。

三级为：铁道部、铁路局、电务段。

四层为：铁道部电务监测子系统、铁路局电务监测子系统、电务段监测子系统、车站监测网。体系结构如下图2-1：

图2-1 系统体系结构图

1)铁道部电务监测子系统配置通信管理机、铁道部监测终端。 UPPAAL铁路信号微机监测系统通信过程仿真(2):http://www.youerw.com/zidonghua/lunwen_94133.html