CTCS3级列控系统等级转换运营场景智能形式化分析.doc

-- 硕 士 学 位 论 文 CTCS-3级列控系统等级转换运营场景 智能形式化研究 Intelligent Formal Research on Level Transition Operation Scenario of CTCS-3 作 者 姓 名： 王振强 学科、专业 ： 计算机应用技术 学 号 ： 0211744 指 导 教 师： 胡晓辉 完 成 日 期： 2014.04 兰 州 交 通 大 学 Lanzhou Jiaotong University 万方数据 独创性声明 本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的研究成 果，除了文中特别加以标注和致谢之处外，论文中不包含其他人已经发表或撰写过的研 究成果，也不包含获得 兰州交通大学 或其他教育机构的学位或证书而使用过的材料。 与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了 谢意。 学位论文作者签名： 签字日期： 年 月 日 学位论文版权使用授权书 本学位论文作者完全了解 兰州交通大学 有关保留、使用学位论文的规定。特授权 兰州交通大学 可以将学位论文的全部或部分内容编入有关数据库进行检索，并采用影 印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机 构送交论文的复印件和磁盘。 (保密的学位论文在解密后适用本授权说明) 学位论文作者签名： 导师签