| 基于SPN的CTCS无线通信形式化建模与分析 |
| |
| 引用本文： | 陈永,王晓明,党建武,胡晓辉.基于SPN的CTCS无线通信形式化建模与分析[J].铁道学报,2011,33(8):63-68. |
| |
| 作者姓名： | 陈永 王晓明 党建武 胡晓辉 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院,甘肃兰州,730070 |
| |
| 基金项目： | 国家自然科学基金(10771091) |
| |
| 摘 要： | CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h。最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求。
|
| 关 键 词： | 铁路无线通信 随机Petri网 中国列车运行控制系统4级 故障定位 |
Formal Modeling and Analyzing of CTCS Radio Communication Based on Stochastic Petri Nets |
| |
| CHEN Yong,WANG Xiao-ming,DANG Jian-wu,HU Xiao-hui.Formal Modeling and Analyzing of CTCS Radio Communication Based on Stochastic Petri Nets[J].Journal of the China railway Society,2011,33(8):63-68. |
| |
| Authors: | CHEN Yong WANG Xiao-ming DANG Jian-wu HU Xiao-hui |
| |
| Institution: | CHEN Yong,WANG Xiao-ming,DANG Jian-wu,HU Xiao-hui (School of Electronic and Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China) |
| |
| Abstract: | The wireless communication system of CTCS-4 is a dynamic,complex and distributed system.It is significant to implement formal verification of properties and final realization of the CTCS communication system.The paper gives careful consideration to formalized modeling and reliability analysis of the wireless communication system of CTCS under the condition of moving blocks with high-speed trains.Then two models are established,one is for the mechanism of wireless communication with the Stochastic Petri Net,... |
| |
| Keywords: | GSM-R stochastic petri nets china train control system 4(CTCS-4) fault location |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
