文档介绍：北京交通大学
硕士学位论文
基于有色Petri网的无线闭塞中心子系统切换建模与验证
姓名:李伟
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:郜春海
20090601
分;在此基础上,引入有色煌切换功能的顶层模型与各子模块模型,中文摘要摘要:无线闭塞中心荂级列控系统的地面核心系统,主要实现行车许可的下达与列车间隔控制。谢还δ苁荝系统的关键功能之一,⑿屎涂煽啃浴踩缘闹匾R蛩亍1疚姆治了谢坏墓δ苄枨螅杓屏薘切换的流程并对谢还δ芙心?榛首先,研究了低车牡鼻把芯肯肿矗谰軨级列控系统划分,得出低吃贑级列控系统中的重要性和研究的迫切性,分析了谢在低持械闹匾5匚弧其次,根据安全苛求系统的设计要求,提出谢还δ艿摹癡’’字型软件开发框架,分析了谢坏墓δ苄枨螅杓屏薘切换功能的软件流程;并依据该需求,将谢还δ芑殖刹煌δ艿淖幽?椋桓莞髯幽?楣δ埽纳出切换过程中的重要信息。再次,引入有色訰切换进行形式化建模。依据有色网的层次化建模方法,首先建立了低车腃模型;继而针对两种不同的换策略,分别建立不同策略下系统的顶层模型;并根据该策略的顶层模型和功能需求,按照切换功能的模块划分,建立了谢桓髯幽?榈耐暾P停挥氪送时,结合谢还痰闹匾P畔ⅲ⒘薘的赋时切换模型。最后,将姆抡娣治鲇胱刺占浞治龇椒ㄓτ糜谒杓频腞切换模型的验证中。以状态空间报告中的内容为依据,参照亩粜缘亩ㄒ澹取车载装备砍翟氐缣ㄇ谢坏墓丶P停橹じ媚P偷墓δ懿⒎治隽薘切换在不同的网络质量下的成功率;并从通信延时的角度,讨论了两种切换策略的差异,提出该设计方案的合理化建议。关键词:.读锌叵低常籖切换;有色;建模与验证分类号:并验证和分析了模型的功能和性能。
;,:一瑃’,’腞瓸猰.,—甊·甀琭一,瑃玛琌..
:;甋;
图索引图车载装备鯩他的赋时模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图车载装备縈的顶层模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..幽车载装备縈的顶层模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图混合计算模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图模型仿真运行图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一图模型仿真运行图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图模型状态空间可达图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯淖刺占湫畔ⅰ淖刺占溆薪缧浴淖刺占涠嘀丶粜上界淖刺占涠嘀丶粜下界淖刺占浠钚浴淖刺占涔叫一淖刺占涔叫图肫渌璞附涌凇谢蝗砑7⒖蚣堋图踩ḿ扑慊教ǖ慕峁埂璴谢弧谢涣鞒掏肌饕9δ堋谢还δ苣?橄富酉低扯ゲ隳P汀图翟刈氨竘部那谢涣鞒獭图车载装备縈的步骤⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图列车最大安全前端到达切换预告点的模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图列车最大安全前端到达切换点的模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图列车最小安全后端到达切换点的模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图移交牧谐倒芾砟P汀图接管牧谐倒芾砟P汀图相邻换ツP汀图车载装备鯩的赋时模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图模型检验过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图模型刺占浼姨浴图切换成功率和网络质量关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图车载装备縈时的通信延时对切换时间的影响⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一图车载装备縈时的通信延时对切换时间的影响⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
表索引表街智谢徊呗缘谋淝ㄋ得鳌表谐底刺曛疚缓逅得鳌表低衬P偷目馑得鳌低衬P偷谋淝ㄋ得鳌表街智谢徊呗缘目馑得鳌表平籖的列车管理模型库所说明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表平籖的列车管理模型变迁说明⋯⋯表庸躌的列车管理库所说明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表庸躌的列车管理模型变迁说明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表相邻换ツP涂馑得鳌表相邻换ツP捅淝ㄋ得鳌表赋时模型的库所说明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表赋时模型的变迁说明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表网络质量和切换成功次数对应表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..
靴做储戤:斜签字日期:秒“月夕日独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的研究成果,除了文中特别加以标注和致谢之处外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得北京交通大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。
卞签字醐:■年鸯月学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通