基于随机Petri网的CTCS3级RBC系统控车流程建模与分析.pdf

北京交通大学
硕士学位论文
基于随机Petri网的CTCS-3级RBC系统控车流程建模与分析
姓名:梁楠
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:王海峰
20090601
中文摘要要,铁路部门提出了发展适于我国国情的中国列车控制系统正在研究之中。.读锌叵低呈锹阍擞K俣/募际跗教ㄌ逑担系统的性能是最近一段时期轨道交通运行控制领域研究的一个重点问题。心设备一无线闭塞中心关键词:.叮晃尴弑杖行模凰婊鶳网;:摘要:中国高速铁路已进入了快速发展时期,为适应我国高速铁路快速发展的需,牟呗浴D壳埃视诳驮俗ㄏ叩腃级技术规范和关键技术统的性能指标是列控系统的赖以正常运行、保证行车安全的关键,,作为分析对象。选择随机网琒庖恍问交镅远訰控车进行研究。利用网分层技术,以随机7治鋈砑魑F教ǎ玆系统模型分为顶层模型和底层模型,其中以甊故障系统模型和消息模型作为底层模型,以各控车场景模型作为顶层模型。在建立底层模型时,本文根据疎牟慰际荩酆闲诺劳环⒔抵省链路中断等故障因素,建立了甊故障系统模型。随后,本文根据低与车载系统通信重发机制分别建立了低持芷谛韵⒑头侵芷谛韵⒌腟模型,分析了甊通信环境下低车氖凳毙阅埽诓煌低持芷诓问列车交互数量参数下得出了低称骄邮笔奔淝摺在建立顶层模型时,本文在底层模型的基础上,根据低彻δ苌杓疲立了列车注册与启动、列车注销、正常行车等多个咛蹇爻党【暗腟模型,分析了每个场景的模型完成成功率。在不同系统周期参数和列车速度参数下得出各场景模型的完成成功率曲线。在论文最后,以需求规范为参考,根据模型分析后的系统平均延时时间曲线和模型完成成功率曲线得到低车闹芷谘∪》段вυ~阅诘慕论。ê拖低晨7⒕哂幸欢的借鉴意义。
.甌瑃甌:一籖.,瓽—琣甊琣;籈/;/甌瑃—..—瓵疎猰瑃,
图索引⑾P偷牧谐邓俣纫怀晒β是摺图一断低彻钩赏肌图问交椒ㄊ疽馔肌疢/恿心P汀图婊鶳网的顺序结构及其等价模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图婊鶳网的并发结构及其等价模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图婊鶳网的选择结构及其等价模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图婊鶳网的循环结构及其时间性能等价模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一低彻δ苄枨蟆擞3【胺掷嗤肌猂链路故障模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图周期性消息P汀图非周期性消息P汀图列车注销场景应答器分布⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图注销信息流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⑾鶶模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图注销模型的刃Щ蛲肌图新的位置报告为条件所触发的模式信息流图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图新的区段占用状态为条件所触发的模式信息流图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..渴有谐礢模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.?爻礢模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图调车许可的信息流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..鞒礢模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.鞒登肭蠹蚧疭模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⒉嵊肫舳畔⒘鞒掏肌⒉嵊肫舳疭模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⒉嵊肫舳疭化简模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯芷谛韵⒛P拖低称骄邮鼻摺侵芷谛韵⒛P拖低称骄邮鼻摺渴有谐的P统晒β是摺P谐的P屯瓿沙晒β是摺鞒的P偷某晒β是摺⒉嵊肫舳P统晒β是摺
表索引表侵芷谛韵⒛P椭斜淝ǖ姆⑸渌俾屎蜕诤表团哦勇鄣挠湃钡惚冉稀低彻收献幽P偷谋淝ǚ⑸渌俾省表芷谛韵⒛P捅淝ǖ姆⑸渌俾屎蜕诤表蚝笞⑾P捅淝ǖ姆⑸渌俾屎蜕诤模型变迁的发射速率和哨函数⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表?爻的P捅淝ǖ姆⑸渌俾屎蜕诤表鞒祷蚰P捅淝ǖ姆⑸渌俾屎蜕诤表⒉嵊肫舳蚧P捅淝ǖ姆⑸渌俾屎蜕诤
弘穹粱确翻年易月学位论文版权使用授权书矽月≯授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,签字日期:本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得学位论文作者签名:导师签名:签字同期:
致谢力深深影响着我,他所倡导的严谨求实的治学态度、一丝不苟的钻研精神、勤于感谢轨道交通控制与安全国家重点实验室的唐涛老师、郜春海老师在学业上作给予的热情帮助。感谢李伟、秦玲、李莹莹等同学给我的很多意见和建议。还最后向多年