4.2 进路锁闭    24
    4.2.1 进路锁闭流程分析    24
    4.2.2 进路锁闭模型    25
    4.2.3 进路锁闭模拟仿真    26
  4.3 信号开放和保持    27
    4.3.1 信号开放和保持流程    27
    4.3.2 信号开放和保持模型    28
    4.3.3 信号开放和保持模拟仿真    30
  4.4 正常解锁    33
    4.4.1 正常解锁流程分析    33
    4.4.2 正常解锁模型    34
    4.4.3 正常解锁模拟仿真    35
  4.5 延时解锁    38
    4.5.1 延时解锁流程分析    38
    4.5.2 延时解锁模型    39
    4.5.3 延时解锁模拟仿真    40
  4.6 各模块间的消息处理流程、建模以及模拟仿真    41
    4.6.1 消息处理流程分析    41
    4.6.2 消息处理模型    42
    4.6.3 消息处理模拟仿真    44
5 结论    47
致谢    48
参考文献    49

1      绪论
1.1    中国铁路的发展背景和现状
1.1.1    中国铁路的发展背景
为了提高列车运行速度，使铁路适应社会发展，从20世纪初至50年代，德法日等过都已经对高速铁路做了大量的研究和试验。我们都知道铁路是运输的主力军，在我国一直处于一种垄断的地位。但是由于汽车、航空等快速发展，铁路也不断受到许多的冲击。
中国内陆面积大，人口达13亿，经济发展跨度大，而铁路作为重要的基础设施，国民经济大动脉，将整个国家和国民经济统统联系起来。他最显著的特点就是运载量大、运行成本低、耗能少，特别是客运，在大流量长距离时有着绝对优势。
我国自1876年出现第一条铁路，至今已有120多年了。遗憾的是，我国由于起步较晚，同其他发达国家相比，我国铁路相对还是落后的，主要是运营里程、运输效率、技术水准、装备质量等方面。但我国铁路的现状是运能与运量的矛盾比较突出，一些主要干线的能力利用程度已经趋于饱和，铁路负荷水平居于世界首位，而一些支线的能力利用却完全相反。
兴建高速铁路的建议早在20世纪80年代中期就被踢出，十多年来，国家有关部门组织了数以百计的专家学者从各个方面对告诉铁路项目进行详细的考察和研究。经过多次论争，现各方面已经大致趋同。1998年3月，全国人代会“十五”计划纲要草案中提出建设高速铁路。
1.1.2    中国铁路发展现状
高速铁路是当代的发展方向已经成了共识。在此前提下，中国的高铁正飞速发展。中国高铁“思聪四横”在中国地图上形成了一道美丽的风景线。
“四纵”是指四条纵向铁路客运专线：纵贯京津沪和冀鲁皖苏四省，连接环渤海和长江三角洲两大经济区，全场1318公里的北京到上海客运专线；连接华北、华中和华南地区，全长2260公里的北京武汉、广州到深圳的客运专线；连接东北和关内地区，全长约1700公里的北京经沈阳、大连到哈尔滨的客运专线；连接长江、珠江三角洲和东南沿海地区，全长约1600公里的杭州经宁波、福州到深圳客运专线。
“四横”则连接西北和华东地区，全长约1400公里的四条横向铁路客运专线：徐州经郑州到兰州的客运专线；连接华中和华东地区，全长约880公里的杭州经南昌到长沙的客运专线；连接华北和华东地区，全长约770公里的青岛经石家庄到太原的客运专线；连接西南、华中和华东地区，全长约2078公里的上海经南京、合肥、武汉、重庆到成都的客运专线。 车站联锁系统UPPAAL建模+时间自动机模型进行模拟仿真(2):http://www.youerw.com/shuxue/lunwen_767.html