基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析.pdfVIP

第 34卷第 7期 铁 道 学 报 Vo1．34 NO．7 2012年 7月 JOURNAL 0FTHE CHINA RAILW AY S0CIETY July 2012 文章编号 ：1001—8360(2012)07—0049—07 基于有色 Petri网的CTCS一3级列控系统 RBC切换的建模与形式化分析 张友兵， 唐 涛 (北京交通大学 轨道交通控制与安全 国家重 点实验室 ，北京 100044) 摘 要 ：在 CTCS-3级列控系统 中，车载设备在执行 RBC切换过程 中所用时间的长短和切换成功概率 的大小 ，严 重影响着列车的运行效率 。本文利用有色 Petri网对车载设备进行 RBC切换 的两种方式分别建模 ，模型中引入 GSM—R故障模型和非周期消息模型，模拟在 GSM—R网络中消息的传输过程和重发机制。研究结果表明：基于 两部车载 电台的RBC切换方式 比基于一部车载 电台的RBC切换方式所用时间更少 ，效率更高 。列车速度 、消息 重发时间间隔都会影响列车执行 RBC切换 的时间。消息重发时间间隔和 RBC重叠范围又会影响车载设备进行 RBC切换的成功概率 。 关键词 ：CTCS；有色 Petri网；RBC切换 ；车载设备 中图分类号 ：TP393；U283 文献标志码 ：A doi：10．3969／j．issn．1001—8360．2012．07．008 TheM odelingandFormalAnalysisofRBC Handoverfor CTCS--3TrainControlSystem BasedonColoredPetriNets ZHANG You—bing， TANG Tao (StateKeyLaboratoryofRailTrafficControlandSafety，BeijingJiaotongUniversity，Beijing100044，China) Abstract：IntheCTCS一3train controlsystem ，thetimespentintheRBC handoverprogressand thesuccess rateofRBC handoverseriouslyinfluencethetrafficefficiency．Inthispaper，twodifferentwaysofRBC han— doveraremodeledwiththeColoredPetriNetsrespectively．In ordertosimulatethetransmissionprocessand theretransm issionmechanismsofthemessagesin theGSM—R network。theGSM—R faultmodelandnon—peri— odicmessagemodelareintroduced into thetWO modelsmentioned above．TheanalysisprovesthattheRBC handoverbasedontwoMT2takes1esstimeandoperatesmoreefficientlythan thatbesedononeMT2．Both thespeedofthetrainandthetimeintervalofmessageretransmissionaffecttheRBC handovertime．M oreover， thetimeintervalofmessageretransmissionandtheRBC overlapinfluencethesuccessrateofRBC handover． Keywords：Chinesetraincontrolsystem (CTCS)；coloredpetrinets(CPN)；RBC handover；on—board