文档介绍：浙江大学计算机学院
硕士学位论文
轨道交通联锁软件的计算机辅助开发工具的研究与实现
姓名:倪璐舟
申请学位级别:硕士
专业:计算机应用
指导教师:郑扣根
20080515
摘要随着城市规模的发展,城市轨道交通系统在城市中的角色也越来越重要。城市轨道交通信号系统是保证列车运行安全,实现行车指挥和列车运行现代化,提高运输效率的关键系统设备,它能实现对信号、轨道电路、道岔的严格控制。但是由于传统的信号系统实施开发方法的落后,导致了几乎所有的开发、审核、比较工作都是完全由人工来完成的,不仅效率低下,而且比较容易引入各种错误。本文就是针对在联锁软件开发过程中遇到的问题,从一个软件开发者的角度对问题进行了重新思考,提出了计算机辅助开发联锁软件的方法,并着手相关系统的研发。本文所做的主要工作包括以下几个方面。K碜远伞Q芯亢褪迪至送悸壑形尴蛲嫉募虻ヂ肪恫檎宜惴ǎ连锁表的编制规则进行了总结,实现了相应的联锁表自动生成算法。在对轨道交通的规律进行深入研究后,设计了能抽象表示平面信号示意图的数据结构,使得后续的进路搜索工作能比较方便的开展K绦虻谋冉稀Q芯亢褪迪至肆K绦虻慕馕銎鳎猿绦蛭募蟹析,并转为结构化的表示方法,比较结果用可视化的方式呈现出来。K槟饣纳杓朴胧迪帧Q芯苛肆K璞傅挠布匦裕杓撇⑹迪至联锁软件的虚拟机,能解释执行联锁程序。对单机的联锁设备进行模拟。关键词:联锁简单路径解析器文法逻辑表达式定时器浙江大学硕士学位论文
..,.,、.—瓸瑃痵甀瓸瓹:,琹,
图目录图站场图图例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..嗟睦喽ㄒ濉图城市轨道交通信号系统功能图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图列车控制系统关系图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图δ芸蚣芡肌图刂浦行纳璞浮图简化平面布置图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图餍惺疽馔肌图餍薪吠肌图薪吠肌图K绦虻慕峁埂图表达式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表达式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图系统功能框架图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图站场图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图道岔⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图K肀冉稀峁埂图输入输出板的定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图赋值表达式语法结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图槟饣δ芸蚣芡肌图词法文件图史ㄎ募⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图识别注释的有限自动机⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图识别正整数的有限自动机⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图识别空格的有限状态自动机⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯侗鹇呒泶锸降奈姆ㄎ募图侗鸪绦蚵呒糠值挠锓ㄍ肌图侗鸬ジ龈持当泶锸降挠锓ㄍ肌图侗鸬ゲ级泶锸降挠锓ㄍ肌图侗餬泶锸降挠锓ㄍ肌侗餬表达式的语法图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图创敕治隽鞒獭类的定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯嗟亩ㄒ濉睦喽ㄒ濉浙江大学硕士学位论文
图泶锸浇诘愕睦喽ㄒ濉图槟饣峁雇肌图匝返母持当泶锸健图ㄊ逼鞅淞康亩ㄒ濉图颖泶锸健图ㄊ逼鞅淞看シ⒘鞒獭图咝阅诖婺P汀图媸髂诖婺P汀浙江大学硕士学位论文图目录
学位论文作者签蝴学位论攀躲膨蝴签字吼硝年么月厂日镟年郅签字日妒苫月夕浙江大学研究生学位论文独创性声明学位论文版权使用授权书表或撰写过的研究成果,也不包含为获得逝鎏盘堂或其他教育机构的学位或本学位论文作者完全了解迸鎏盘堂有权保留并向国家有关部门或机构送交本论文的复印件和磁盘,允许论文被查阅和借阅。本人授权迸姿盘堂可年‘。除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。以将学位论文的全部或部分内容编入有关数据库进行检索和传播,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。C艿难宦畚脑诮饷芎笫视帽臼谌ㄊ导师签名:日
第滦髀课题背景城市轨道交通信号系统设备是城市轨道交通的主要技术设备。它的主要任务是指挥列车运行、保证行车安全、提高运输效率。随着城市的现代化,城市轨道交通系统的任务也越来越重,必须要采取现代化的方法来应对目前的需求【俊A锁设备和软件是城市轨道交通信号系统中的重要组成部分,它关系到地铁系统运行的安全性,高效性,而通常联锁软件的开发都是由人工开发的,怎样利用计算机提高联锁软件开发的效率是本文将要深入探讨的问题。城市轨道交通系统的安全、速度、运输能力和效率与信号系统密切相关,以速度控制为基础的列车自动