基于DSPN的高速磁浮车地通信系统可靠性及时延

为满足磁浮运行控制系统对于列车高速运行条件下通信实时、大容量的需求,基于确定与随机Petri网(deterministic and stochastic Petri nets, DSPN),根据38 GHz毫米波的影响因素,建立了其通信故障模型;按照信息帧的发送、冗余结构处理、双通道传输以及选择表决的整个传输过程,建立了车地下行链路数据传输模型.对磁浮车地通信系统的可靠性及系统延时进行了形式化分析,结果说明,磁浮38 GHz毫米波无线通信网络无故障概率达99.452%,故障平均修复时间达373.80 ms,满足高速磁浮车地通信的需求. 

Reliability and Delay of DSPN-Based Ground Communication System in High-Speed Maglev Vehicles

To achieve the real-time and large-capacity communication of maglev operation control system when the train runs at high speeds, a DSPN-based (deterministic and stochastic Petri nets) model was built according to the communication failure modes of 38 GHz millimeter wave. Further, a vehicle-ground downlink transmission model was established to cover the entire transmission process of sending information frame, processing redundant structure, transmitting in dual channel, electing and voting. Finally, the reliability and time delay of the maglev vehicle-ground communication system were verified by formal method. The results of formal verification show that fault-free probability of the 38 GHz millimeter communication system is 99.452%, and mean time for repairing fault is 373.80 ms, which satisfy the vehicle-ground communication requirement of high-speed maglevs.