列控系慢统混成行为的建模与验证方法分析.docxVIP

III J I I III U l IIII I II I II Y260262 1 学位论文版权使用授权书 本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特 授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索， 提供阅览服务，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。 同意学校向国家有关部门或机构送交论文的复印件和磁盘。 (保密的学位论文在解密后适用本授权说明) 学位论文作者签名： 椎锄驾 导师签名： ．特 ．． I昭 签字日期：矽I峥年印月‘中日 签字日期。加f眵 年午月／尹日  中图分类号：U238 学校代码：10004 UDC：625 密级：公开 北京交通大学 硕士学位论文 列控系统混成行为的建模与验证方法 The Modeling and Verification Method for Hybrid Behavior of Train Control System 作者姓名：程瑞军 学 号：ll 120252 导师姓名：赵林 职 称：讲师 学位类别：工学硕士 学位级别：硕士 学科专业：交通信息工程及控制 研究方向：列控系统建模与验证 北京交通大学 2014年3月  H  致谢 首先我要衷心地感谢我的导师赵林老师对我论文的指导。两年多来，老师严 谨的治学态度、精益求精