文档介绍：劣臻交博士学位论文形式化建模与验证方法研究高速铁路列车运行控制系统的导师:唐涛教授穆建成教授北京交通大学作者:曹源—年
唬#————’。’’’●,。甼■鯬
/㈣⋯⋯虢蛹签字魄沙∥年∥月加签字日期:沙阥月沙日◆学位论文版权使用授权书授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特提供阅览服务,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得导师签名:~.,—。
一●
北京交通大学博士学位论文高速铁路列车运行控制系统的形式化建模与验证方法研究作者姓名:曹源导师姓名:唐涛/穆建成学位类别:工学学职称:教授学位级别:博士学科专业:交通信息工程及控制研究方向:列控系统形式化年号:—中图分类号:学校代码:密级:公开
■/一
致谢漫长的努力化作了感恩的心情,无限的惆怅霎时变为珍惜,虔诚的祈祷也终于得以荣赐,一个细雨绵绵的深夜给人一种莫名的平和与安逸:感谢我的导师唐涛教授悄N掖丛炝艘桓錾钤斓幕您用国际化的视野,深湛的学术造诣,严谨的治学风格,不断教育着我、感化着我、激励着我;导与谆谆教诲,这让我懂得了如何做人、做一个什么样的人。您的言传身教和无感谢我的副导师穆建成教授,昵暗乃妒垦芯可媸缘那榫叭岳谀浚您引领我步入了铁道信号领域,为我的打下了坚实的专业基础。一个年过半百的人,能够依然保持着:科研时,那份勤奋和严谨:授课时,那份慈祥和儒雅;交足的经费支持以及许多锻炼和施展才华的机会;团队的那种协作精神和开放的学感谢我的父母,你们是我最温暖的避风港,无论海上再大风浪,我都停泊在心投入学业;你们永远坚定地站在我身后,默默无私地奉献着爱与宽容。十年前,感谢妻子徐丽这许多年来历久弥坚的爱恋。感谢你与我携手走过甑募杩■回首往事,昵埃佳懈聪笆保蛔闳鲈碌母聪笆奔湟约懊咳詹蛔小时睡眠,使得我身心俱疲,但依然坚持;昵埃佳泄蚁吖ú嫉牡蓖碚玖艘徽的火车,只身一人来京准备复试,无依无靠,四处碰壁;昵埃A松聘ü孩子做家教,每次来回四个小时的路程,使得我总是在睡梦中一次又一次的错过学校的车站;昵埃蔽揖龆üザ敛┦浚捎诳缱ㄒ档脑倒剩沟梦颐壳敖徊都要比别人付出更大的努力⋯⋯回首求学路上的点点滴滴,虽然经历辛苦艰辛,但我无悔于昵翱佳械木裨瘢藁谟年前提前攻读博士的决心,无悔于在交大的寒窗苦读。因为我的每一步成长离不开恩师、家人和亲友们的鞭策与帮助。在这里衷心感谢你们是您一次次审思并斧正我的研究思想和学术方向,是您一次次不厌其烦地悉心指私奉献让我深深感受到了交通大学那深邃与博大的饮水思源的精神,这将不断激励我奋勇向前。我所取得的每一点成绩都凝聚着您的心血,您对我的关心和爱护,是我用任何言语都表达不尽的流时,那份谦虚和自信;打球时,那份执着和冷静⋯⋯在您的身上,我体会到了慈爱、真挚的人格魅力,我懂得了生命的从容与恬淡,我更学会了为人处世的忍耐与宽容乇鸶行荒湍耐哦游N业难昂涂蒲写丛炝肆己玫难盎肪场⒊术氛围时刻影响着我并不断的激励着我。你们的怀抱中:你们是我最坚强的后盾,我得以在这学习的廿二年中,能够全身当我离家求学时,还不时的对着你们任性撒娇,但是十年后当我发现你们的行动已经渐缓,身材愈发臃肿,白发布满发梢时,却还在为儿子的终身大事忙前跑后。你们的养育之恩,无以回报卓越的旅程,感谢你对我的包容,总是在发生争执时永远都是你隐忍着我的固执与恼怒;感谢你每天晚上静静地守候,归来时你那望穿秋水的双眼是我一生中忘不了的温存。程荫杭老师、蒋大明老师、蔡伯根老师、郜春海老师、李开成老师、马连川~
给予我精心的指导,而且在生活上也给予极大的帮助,我的“茁壮沙な怯肽们的无私的“奉献植豢5模辉谘肮讨校H濉⒐毒丁⒙兰潭ā⒘醭⒊大学电气学院方攸同教授和谭平博士,清华大学研究院孟祥利老师,武汉局动车段主任李波,唐车公司技术中心黄振晖博士和蒋大旺工程师,四方厂技术中心主任马云双博士、主任设计师金泰木、工程师郝刚,四方所电气研发中心副主任郭秀伟、工程师王亮,中国铁道科学院机辆所宋冠群,二七机车厂科管部罗丹,中铁电化局王建源高工,中科院力学所赵桂林研究员、王曦研究员、王伟,中科院软件所任涛,株洲所赵巍和彭辉水,浦镇海泰厂崔巍,长客厂张皓以及所未提到名字的二二六办公室的兄弟姐妹们,感谢你们在低落时给我以勉励,懈怠时给我以鼓舞,迷茫时给我以警醒,和你们的相识是我巨大的人生财富。国家科技支撑计划项目、高等学校博士学科点专项科研基金资助汇员韭畚牡淖手老师、刘波老师、张建明老师、赵林海老师、赵会兵老师、徐田华老师、周达天老师、燕飞老师、王剑老师、郭保青老师、马琳老师、上官伟老师不仅在学术上磊、肖硕等同学也都是我良师益友,你们的帮助也使我受益