高速磁浮分区切换的CPN建模研究
|
摘要
摘要：磁浮列车是一种运行时速为400-500km/h的高效运输陆地交通工具。列车高速运行中需要采用性能优越,安全可靠的列车运行控制系统来保证列车的安全、高效运行。分区切换是高速磁悬浮列车运行控制系统的重要功能之一。高速磁浮分区切换的效率直接影响列车运行效率和安全。目前,关于高速磁浮分区换的研究较少,因此建立高速磁浮分区切换的CPN模型并分析影响切换效率的关键因素至为重要。
论文首先分析了和分区切换有关的高速磁浮列车控制系统的组成结构和工作原理,其中包括分区运行控制系统、车载运行控制系统。然后分析了磁浮分区切换的流程以及功能模块,主要包括分区切换的DSC功能模块、安全速度防护计算模块、停车点步进等。然后介绍了petri网原理, CPN建模方法和CPN建模在轨道交通列车控制系统中得应用。
在这些基础上,采用自顶向下的建模方法建立了高速磁浮分区切换的CPN顶层模型、38GHZ无线信道CPN模型、相邻磁浮分区通信CPN模型、生成最大速度曲线的CPN模型、车载运控系统和分区运控系统建立通信的CPN模型、停车点步进模型等。
最后分析了高速磁浮分区切换的CPN模型验证方法,对建立的分区切换模型进行状态空间分析验证,并分析了影响分区切换效率的关键因素。重点仿真分析了38GHZ无线通信系统、DSC交换报文效率、列车速度对分区切换效率的影响,并得出了在不同列车速度下的高速磁浮分区切换的用时分布,为磁浮列车控制系统的工程应用提供一定的参考。
ABSTRACT:The Maglev is an efficient land transport vehicle which running at a speed up to400-500km/h. Safe and reliable train operation control system should be adopt to ensure train safety, efficient operation. The switch function of high speed Maglev is an critical function of Maglev train operation control system and the efficiency of high speed Maglev's operation and safety has largely depends on the efficiency of switch. As there's hardly any research about the Maglev's switch function, so it's important to model the switch function of Maglev and analyze the key factors which determine the efficiency of it.
Firstly, the structure and operation principle of high speed Maglev's train operation control system which mainly includes the discrete operation control system, vehicle on board operation control system was introduced. Then, the process and function of Maglev's switch was designed, of which include the DSC function module, safety velocity compute module,stop point step in module etc, Also, the principle of petri net and the CPN model method and the using of CPN in the rail transportation control system area were introduced.
In the base of above research, the CPN model of high speed Maglev's switch function's,38GHZ's radio communication channel, Max velocity curve, the session between train and DCS, step in function were modeled. Finally, the verification method of high speed Maglev switch function's CPN model of was introduced, then the key factors which determine the efficiency of maglev's switch function were researched, include the failure of38GHZ radio communication channel, DSC transfer efficiency, and train speed.Also, the distribution of high speed Maglev's switch timed consuming was researched.
论文首先分析了和分区切换有关的高速磁浮列车控制系统的组成结构和工作原理,其中包括分区运行控制系统、车载运行控制系统。然后分析了磁浮分区切换的流程以及功能模块,主要包括分区切换的DSC功能模块、安全速度防护计算模块、停车点步进等。然后介绍了petri网原理, CPN建模方法和CPN建模在轨道交通列车控制系统中得应用。
在这些基础上,采用自顶向下的建模方法建立了高速磁浮分区切换的CPN顶层模型、38GHZ无线信道CPN模型、相邻磁浮分区通信CPN模型、生成最大速度曲线的CPN模型、车载运控系统和分区运控系统建立通信的CPN模型、停车点步进模型等。
最后分析了高速磁浮分区切换的CPN模型验证方法,对建立的分区切换模型进行状态空间分析验证,并分析了影响分区切换效率的关键因素。重点仿真分析了38GHZ无线通信系统、DSC交换报文效率、列车速度对分区切换效率的影响,并得出了在不同列车速度下的高速磁浮分区切换的用时分布,为磁浮列车控制系统的工程应用提供一定的参考。
ABSTRACT:The Maglev is an efficient land transport vehicle which running at a speed up to400-500km/h. Safe and reliable train operation control system should be adopt to ensure train safety, efficient operation. The switch function of high speed Maglev is an critical function of Maglev train operation control system and the efficiency of high speed Maglev's operation and safety has largely depends on the efficiency of switch. As there's hardly any research about the Maglev's switch function, so it's important to model the switch function of Maglev and analyze the key factors which determine the efficiency of it.
Firstly, the structure and operation principle of high speed Maglev's train operation control system which mainly includes the discrete operation control system, vehicle on board operation control system was introduced. Then, the process and function of Maglev's switch was designed, of which include the DSC function module, safety velocity compute module,stop point step in module etc, Also, the principle of petri net and the CPN model method and the using of CPN in the rail transportation control system area were introduced.
In the base of above research, the CPN model of high speed Maglev's switch function's,38GHZ's radio communication channel, Max velocity curve, the session between train and DCS, step in function were modeled. Finally, the verification method of high speed Maglev switch function's CPN model of was introduced, then the key factors which determine the efficiency of maglev's switch function were researched, include the failure of38GHZ radio communication channel, DSC transfer efficiency, and train speed.Also, the distribution of high speed Maglev's switch timed consuming was researched.
引文
[1]龙华,李剑锋.中低速磁浮列车运行控制系统的方案及其实现[J].北京：城市轨道交通研究2006,(4)：38-40.[2]徐家镇,徐洪泽.磁悬浮列车运行控制系统仿真环境研究[J].北京：微型机与应用.2005,(12)：44-46.
[3]赵剑华,肖培龙.城市轨道交通中磁悬浮列控系统方案探讨[J].北京：铁路通信信号工程技术.2011,(2)：45-47.
[4]杨光,唐祯敏.高速磁浮列车运行控制系统体系结构研究[J].北京：中国铁道科学,2006,27(6)：69-71.
[5]徐洪泽,郑伟,刘湘黔,岳强,仲维锋.高速磁浮列车分区运行控制系统的设计与实现[J].北京：高技术通讯,2007,17(9)：958-961.
[6]Abbaneo, C.; Flammini, F.; Lazzaro, A.; Manno, P.; Mazzocca, N.; Sanseviero, A.; UML Based Reverse Engineering for the Verification of Railway Control Logics Dependability of Computer Systems,2006. International Conference on Digital Object.2006, Page(s):3-10.
[7]王悉.基于UML的城轨列车运行控制仿真系统设计和实现[D]北京：北京交通大学.2006,3：15-18：7-10.
[8]王婷.基于UML的城市轨道交通列车运行控制系统仿真模型研究[D].北京：北京交通大学.2005,3：30-33.
[9]陆启进.基于有色Petri网的CBTC车载设备应用软件的建模与分析[D].北京：北京交通大学,2007,12：50-54.
[10]牛儒,曹源,唐涛ETCS-2级列控系统RBC交接协议的形式化分析[J].铁道学报,2009,31(4)：52-58.
[11]Zimmermann, A.; Hommel, G.A train control system case study in model-based real time system design; Parallel and Distributed Processing Symposium,2003. Proceedings. Publication Year:2003 Cited by:2:20-22.
[12]Marko Bago, Nedjeljko Peri'c, Sini'sa Marijan. Simulation of a Train communication System Using Timed Colored Petri Nets Industrial Technology,2009. ICIT 2009. IEEE International Conference on Digital Object Identifier:10.1109/ICIT.2009.4939591 Publication Year:2009, Page(s):1-6.
[13]Michael Meyer zu Horste. Modelling and Simulation of Train Control Systems using Petri Nets.
[14]徐田华,赵红礼,唐涛.基于有色Petri网的ETCS无线通信可靠性分析[J].北京：铁道学报,2008,30(1)：38-41.
[15]朱迪.基于有色Petri|网的区域控制器子系统切换功能建模[D].北京：北京交通大学2007,12：14-15：17-19.
[16]单振宇CTCS-3级车地通信协议设计与验证[D].北京：北京交通大学2009,4：15-17.
[17]牛儒,唐涛.基于CPN的CBTC地面数据通信系统仿真和分析[J].北京：系统仿真学报,2008,20(17)：45-47.
[18]李伟.基于有色Petri网的无线闭塞中心子系统切换建模与验证[D].北京：北京交通大学,2009,6：2-5.
[19]徐田华,唐涛.基于有色Petri网的ETCS通信系统与列车间隔分析[J].北京：系统仿真学 报,2007,19(21)：5038-5041.
[20]叶俊.基于Petri Net的故障诊断理论研究及其在磁浮列车上的应用[D].湖南：国防科学技术大学,2005,11：33-35.
[21]杨海生,虞翊,林辉,陈峙,王绍银.一种跨系统的磁浮交通运行控制分区交接方法.中国.B61L27/00(2006.01)I,B,B61,B61L,B61L27 CN201010290371.X.2011,1.6-9.
[22]江亚,吴汶麒,刘进,磁浮列车运行控制系统二维速度防护曲线仿真[J].上海：同济大学学报,2004,32(3)：397-400.
[23]杨光,唐祯敏.高速磁浮列车的安全速度防护问题研究[J].北京：北京交通大学学报.(31)2：38-41.
[24]陈飞,徐洪泽.德国高速磁浮列车安全防护速度曲线研究[J].北京：中国科技信,2006(17)：248-249.
[25]赵斌.磁悬浮车载安全防护及控制仿真系统的设计与实现[D].北京：北京交通大学2009,6.
[26]陈华全.基于有色Petri网的网格任务调度模型研究[D].湖南：中南大学2006,4：35-37.
[27]张乐伟.基于赋时分层着色Petri网的工作流建模与性能评价[D].中国石油大学(华东),2009,5：30-32.
[28]P. Egner, L. Bruhl, J. Dangelmeyr & M. Schienbein Multi Service Radio Communication for MAGLEV and Train Systems.TELEFUNKEN Radio Communication Systems GmbH & Co. KG.
[29]李壮.磁浮列车感应无线通信系统研究[J].电子测量与仪器学报,2006.
[30]周民立.上海磁悬浮列车无线电通信系统分析研究[J].2009年信息通信网络技术委员会年会征文.
[31]刘涛.磁悬浮列车车地通信系统数字化接收及仿真[D].成都：电子科技大学2009,4：22-25.
[32]黄珊.磁浮列车运控系统双网冗余通信的研究[D].成都：西南交通大学,2007,5：11-16.
[33]王亚菊,吴江娇CTCS-3级列控系统RBC切换过程分析[J].北京：铁道通信信号,2010,46(4)：12-14.
[34]吴哲辉等Petri网导论[M].北京：机械上业出版社,2006年4月.
[35]G. Bucci, M. Campanai, and P. Nesi. Tools for specifying real-time systems. Real-Time Systems,8:117-172,1995.
[36]G. Bucci and E. Vicario. Compositional validation of time-critical systems using communicating time petri nets. IEEE Transactions on Software Engineering,21(12):969-992, 1995.
[37]"1EC 61375-1 Ed.2:Electric railway equipment-Train bus-Part1:Train communication network", IEC 61375-1, The International Electrotechnical Commission,2006.
[38]C.-H. Cho, J.-D. Lee, J.-H. Lee, K.-H. Kim, Y.-J. Kim "Design of the train network simulator based on Train Communication Network", Proceedings of the IEEE International Symposium on Industrial Electronics-ISIE, Pusan, Vol.1, pp.343-347,2001.
[39]K. Jensen, M.L. Kristensen, L. Wells, "Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems", International Journal on Software Tools for Technology Transfer, Vol.9, No.3-4, pp.213-254,2007.
[40]A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with TimeNET 3.0. In 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 188-202, Schaumburg, Illinois, USA, 2000.
[3]赵剑华,肖培龙.城市轨道交通中磁悬浮列控系统方案探讨[J].北京：铁路通信信号工程技术.2011,(2)：45-47.
[4]杨光,唐祯敏.高速磁浮列车运行控制系统体系结构研究[J].北京：中国铁道科学,2006,27(6)：69-71.
[5]徐洪泽,郑伟,刘湘黔,岳强,仲维锋.高速磁浮列车分区运行控制系统的设计与实现[J].北京：高技术通讯,2007,17(9)：958-961.
[6]Abbaneo, C.; Flammini, F.; Lazzaro, A.; Manno, P.; Mazzocca, N.; Sanseviero, A.; UML Based Reverse Engineering for the Verification of Railway Control Logics Dependability of Computer Systems,2006. International Conference on Digital Object.2006, Page(s):3-10.
[7]王悉.基于UML的城轨列车运行控制仿真系统设计和实现[D]北京：北京交通大学.2006,3：15-18：7-10.
[8]王婷.基于UML的城市轨道交通列车运行控制系统仿真模型研究[D].北京：北京交通大学.2005,3：30-33.
[9]陆启进.基于有色Petri网的CBTC车载设备应用软件的建模与分析[D].北京：北京交通大学,2007,12：50-54.
[10]牛儒,曹源,唐涛ETCS-2级列控系统RBC交接协议的形式化分析[J].铁道学报,2009,31(4)：52-58.
[11]Zimmermann, A.; Hommel, G.A train control system case study in model-based real time system design; Parallel and Distributed Processing Symposium,2003. Proceedings. Publication Year:2003 Cited by:2:20-22.
[12]Marko Bago, Nedjeljko Peri'c, Sini'sa Marijan. Simulation of a Train communication System Using Timed Colored Petri Nets Industrial Technology,2009. ICIT 2009. IEEE International Conference on Digital Object Identifier:10.1109/ICIT.2009.4939591 Publication Year:2009, Page(s):1-6.
[13]Michael Meyer zu Horste. Modelling and Simulation of Train Control Systems using Petri Nets.
[14]徐田华,赵红礼,唐涛.基于有色Petri网的ETCS无线通信可靠性分析[J].北京：铁道学报,2008,30(1)：38-41.
[15]朱迪.基于有色Petri|网的区域控制器子系统切换功能建模[D].北京：北京交通大学2007,12：14-15：17-19.
[16]单振宇CTCS-3级车地通信协议设计与验证[D].北京：北京交通大学2009,4：15-17.
[17]牛儒,唐涛.基于CPN的CBTC地面数据通信系统仿真和分析[J].北京：系统仿真学报,2008,20(17)：45-47.
[18]李伟.基于有色Petri网的无线闭塞中心子系统切换建模与验证[D].北京：北京交通大学,2009,6：2-5.
[19]徐田华,唐涛.基于有色Petri网的ETCS通信系统与列车间隔分析[J].北京：系统仿真学 报,2007,19(21)：5038-5041.
[20]叶俊.基于Petri Net的故障诊断理论研究及其在磁浮列车上的应用[D].湖南：国防科学技术大学,2005,11：33-35.
[21]杨海生,虞翊,林辉,陈峙,王绍银.一种跨系统的磁浮交通运行控制分区交接方法.中国.B61L27/00(2006.01)I,B,B61,B61L,B61L27 CN201010290371.X.2011,1.6-9.
[22]江亚,吴汶麒,刘进,磁浮列车运行控制系统二维速度防护曲线仿真[J].上海：同济大学学报,2004,32(3)：397-400.
[23]杨光,唐祯敏.高速磁浮列车的安全速度防护问题研究[J].北京：北京交通大学学报.(31)2：38-41.
[24]陈飞,徐洪泽.德国高速磁浮列车安全防护速度曲线研究[J].北京：中国科技信,2006(17)：248-249.
[25]赵斌.磁悬浮车载安全防护及控制仿真系统的设计与实现[D].北京：北京交通大学2009,6.
[26]陈华全.基于有色Petri网的网格任务调度模型研究[D].湖南：中南大学2006,4：35-37.
[27]张乐伟.基于赋时分层着色Petri网的工作流建模与性能评价[D].中国石油大学(华东),2009,5：30-32.
[28]P. Egner, L. Bruhl, J. Dangelmeyr & M. Schienbein Multi Service Radio Communication for MAGLEV and Train Systems.TELEFUNKEN Radio Communication Systems GmbH & Co. KG.
[29]李壮.磁浮列车感应无线通信系统研究[J].电子测量与仪器学报,2006.
[30]周民立.上海磁悬浮列车无线电通信系统分析研究[J].2009年信息通信网络技术委员会年会征文.
[31]刘涛.磁悬浮列车车地通信系统数字化接收及仿真[D].成都：电子科技大学2009,4：22-25.
[32]黄珊.磁浮列车运控系统双网冗余通信的研究[D].成都：西南交通大学,2007,5：11-16.
[33]王亚菊,吴江娇CTCS-3级列控系统RBC切换过程分析[J].北京：铁道通信信号,2010,46(4)：12-14.
[34]吴哲辉等Petri网导论[M].北京：机械上业出版社,2006年4月.
[35]G. Bucci, M. Campanai, and P. Nesi. Tools for specifying real-time systems. Real-Time Systems,8:117-172,1995.
[36]G. Bucci and E. Vicario. Compositional validation of time-critical systems using communicating time petri nets. IEEE Transactions on Software Engineering,21(12):969-992, 1995.
[37]"1EC 61375-1 Ed.2:Electric railway equipment-Train bus-Part1:Train communication network", IEC 61375-1, The International Electrotechnical Commission,2006.
[38]C.-H. Cho, J.-D. Lee, J.-H. Lee, K.-H. Kim, Y.-J. Kim "Design of the train network simulator based on Train Communication Network", Proceedings of the IEEE International Symposium on Industrial Electronics-ISIE, Pusan, Vol.1, pp.343-347,2001.
[39]K. Jensen, M.L. Kristensen, L. Wells, "Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems", International Journal on Software Tools for Technology Transfer, Vol.9, No.3-4, pp.213-254,2007.
[40]A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with TimeNET 3.0. In 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 188-202, Schaumburg, Illinois, USA, 2000.