基于SPN的无线闭塞中心切换过程中的故障分析
Failure analysis in process of RBC switching based on Stochastic Petri Nets(SPN)
-
摘要: 分析在RBC2(接收无线闭塞中心(RBC))不同时段故障工况下,对RBC切换的影响,选取形式化描述语言随机Petri网(SPN),分别建立RBC2在不同时段故障下RBC的切换模型,采用SPN数学建模,通过SPNP6.0分析RBC故障对切换的影响以及对行车安全和行车效率等方面的影响.分析结果可使人们对实际情况中RBC切换有更真实的认识,并对设备的改进、协议的完善等有一定的借鉴意义.
下载: