基于时间自动机的CTCS3级列控系统建模方法与验证研究

《基于时间自动机的CTCS3级列控系统建模方法与验证研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、劣事未交硕士学位论文基于时间自动机的CTCS．3级列控系统建模方法与验证研究TheResearchonModelingMethodsandVerificationofChineseTrainControlSystemLevel3BasedonTimedAutomata作者：康仁伟导师：王俊峰教授北京交通大学2013年3月学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论

2、文的复印件和磁盘。(保密的学位论文在解密后适用本授权说明)岁年?月，／日孙扬、磊”轹阵登¨者珈惴一中图分类号：U283．4UDC：625学校代码：10004密级：公开北京交通大学硕士学位论文基于时间自动机的CTCS．3级列控系统建模方法与验证研究TheResearchonModelingMethodsandVerificationofChineseTrainControlSystemLevel3BasedonTimedAutomata作者姓名：康仁伟导师姓名：王俊峰学号：10120291职称：教授学位类别：工学学位级别：硕士学科专业：交通信息工程及控制研究方向：列车

3、运行控制系统北京交通大学2013年3月致谢不感慨时光多么飞逝，不感慨自己多么幸运，直奔主题，表达我的感恩之情：饮其流者怀其源，学其成时念吾师。王俊峰老师，三年前，谢谢您收留我做您的学生：三年问，谢谢您的苦心栽培。不知多少次，我上午八点来您办公室，共同讨论开题、小论文、项目申请书⋯⋯您公务缠身，却一次又一次耐心地审阅着我蹩脚的表述，一次又一次修正着我的学术研究方向。我纵想上天揽月，却恨铁不成钢。然而，您依然给了我多次锻炼的机会，学生明白，这是为鸿鹄之志做量的积累，为通往天空的阶梯添砖加瓦。学习工作之余，想我师徒二人去国家大剧院欣赏交响乐，去诬门二食堂吃米粉，外加一块饼

4、。聊聊家常，谈谈时局。既是往日兰院的学长，又是今日可亲可敬的导师。是什么关系倒也无妨，说说笑笑才最真。恩师潜心系统论，旨为列控保安全；学生多少受熏陶，也把安全刻心间。若要问我多感激，正如蜜蜂从花中啜蜜，离开时莹莹地道谢。祝语无限，谨以此为列控安全抛砖引玉的论文，代为所祝。实验室的生活总是最充实的。这里不仅有完善的实验设备，更有良师益友的耳濡目染。袁磊老师，他发散的思维时常一语中的，让我如醍醐灌顶，茅塞顿开。从初入实验室到参与C3样机组装，从906实验室搭建到理论研讨，从郑西线测试到撰写论文，是一次次的机会，更是一份份的信任。吕继东老师，我们都亲切地喊他师兄。亦师亦友

5、，少了一分拘谨，多了一分坦诚：少了一分规矩，多了一分清爽。无论是科学研究，还是工作意向，吕师兄都是竭心尽力，想方设法，殚精竭虑，鼎力相助。那份热忱，我久久难忘。周达天老师，有计划、有活力的做事方式深深影响了我。和周老师一起做事，是那种享受其中，如临仙境的感觉，感觉不到任务是一种负担，而是一种乐趣。每每和他聊天，总有如沐春风之感，更有相见恨晚之憾。此外，感谢李开成老师、魏国栋老师、付强老师、刘雨老师、朱力老师、陈建球师兄、李敏师姐、周晶晶、苏耀伟、冯康、杨绚、刘凌卉、毛扬、高鹏飞、李晔、宋海锋、易承龙、李辰岭、赵青鹤、左飞、陈莹等同学对我研究生生活的帮助。忆往昔，我们

6、萍水相逢。看今朝，我们相交甚欢。这期间，我能明显地感觉到自己的进步，能和大家共同分享进步的喜悦是我一直的心愿。吕璨，以往总是由“她”代替，现在直呼其名。纵然我那么认真地轻轻喊你，生怕打扰你，感觉却真的不一样了。你我苦恋八年，相互鼓励，彼此关照，默默守望。有环山绕水之恋，终究没能奏出高山流水之音。挥泪转身，心如刀绞，天地哭泣，山河呜咽。我站在黄土高坡，呼唤着你的名字，响彻云霄；我望着蓝天白云，想念着你的笑脸，灿烂如花；我走在漫漫黑夜，回味着你的双眸，望穿秋水；我顺着淡淡体香，追寻着你的足迹，渐行渐远。感谢你用最美妙的年华陪伴我走过了最黯淡的岁月，请接受我用最诚挚最真实

7、最纯粹的心颤之音送给你的幸福祝愿。你“此生得君之垂惜，冬荜海石之归田”的短信令我无比动容。我几度寻君君不遇，梦里依旧相眷顾。千言万语难再叙，一枝一叶你最知。当我写下这些的时候，我试图用平和的语句语气，缓解我难以平静的心绪，却发现欲盖弥彰，抽刀断水水更流。只是因为一生有你⋯⋯感谢李俊莉同学、王尔泓老师对我英文翻译的真诚指导和帮助。李俊莉都凌晨了还帮我很认真地翻译修改英文，全然是当作自己的事情尽职尽责，无怨无悔。把别人的事情看得甚至比自己的还重要，然后非常认真地做完，有这样的朋友，将是我永久的记忆和感动。王尔泓老师帮我修改完英文论文，晚上十一点多了，千里之外，电话那