CBTC区域控制系统中列车管理的建模与分析
摘要
随着无线通信技术的飞速发展,无线通信的可靠性、可用性大大提高,基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)成为当今轨道交通列车运行控制系统的发展趋势。CBTC系统是连续的自动列车控制系统,它通过高精度的列车定位技术和不间断的车地通信,通过提供更精确的列车控制、持续的列车安全分隔和超速防护,使得列车可以在更短的运行间隔内实行安全运行。
在CBTC系统中,轨旁设备区域控制中心在保证列车安全运行方面发挥着重要作用,它能够实时的与其它子系统进行进行交互,通过为列车提供移动授权来管理列车的运行。因此区域控制中心对于列车进行合理的安全的管理具有非常重要的意义。
本文从研究区域控制中心的列车管理入手,依照系统功能需求,从结构、状态和流程等多角度详细阐述了列车运行管理的原理。根据管理列车的目的重点介绍了多车运行管理的具体过程。
本文采用基于层次时间有色Petri网的形式化建模方法,分析了系统建模的可行性并对区域控制中心列车管理过程构建了顶层,数据信息交互层和MA计算层的三层模型。在对系统模型进行改进与简化的基础上对模型予以仿真运行,通过基于状态空间的分析方法从不同角度验证了模型设计的合理性与数据传输的正确性,有助于构建功能更加完善的区域控制中心系统模型,也为区域控制中心系统的软件实现提供了理论依据。
Accompany with the progress of wireless communication technology, the reliability and availability of wireless communication are highly improved. Communication Based Train Control (CBTC) has become the trend of urban railway traffic control system in modern times. CBTC system is independent of railway circuit, applying high resolution train location determination and continuous, high capacity, bi-directional train-to-wayside data communications, controlling train through train-borne and wayside processors.
CBTC wayside Zone Controller plays an important role in assuring safty of train management. ZC contributes real-time data transmission with other subsystems and controls trains with moving authority (MA). There is great meaning of studying Zone Controller train management.
The paper starts with the research of Zone Controller train management, according to requirement of system function, analyzes system principle in architecture, resource and flow. The author introduces process of multi-train management based on the purpose of manage.
In this paper, we use formal modeling method based on Hierarchal Time Colored Petri Net, analyses the feasibility of modeling and models CPN with Top layer, data transmission layer and MA calculate layer. Improve and simplify the CPN, then simulate the model. We use state space analyze method to validate rationality of system design and correctness of data transmission. This work can help us to construct a more consummate system model of Zone Controller, and provide theory proof of Zone Controller System software realizing.
在CBTC系统中,轨旁设备区域控制中心在保证列车安全运行方面发挥着重要作用,它能够实时的与其它子系统进行进行交互,通过为列车提供移动授权来管理列车的运行。因此区域控制中心对于列车进行合理的安全的管理具有非常重要的意义。
本文从研究区域控制中心的列车管理入手,依照系统功能需求,从结构、状态和流程等多角度详细阐述了列车运行管理的原理。根据管理列车的目的重点介绍了多车运行管理的具体过程。
本文采用基于层次时间有色Petri网的形式化建模方法,分析了系统建模的可行性并对区域控制中心列车管理过程构建了顶层,数据信息交互层和MA计算层的三层模型。在对系统模型进行改进与简化的基础上对模型予以仿真运行,通过基于状态空间的分析方法从不同角度验证了模型设计的合理性与数据传输的正确性,有助于构建功能更加完善的区域控制中心系统模型,也为区域控制中心系统的软件实现提供了理论依据。
Accompany with the progress of wireless communication technology, the reliability and availability of wireless communication are highly improved. Communication Based Train Control (CBTC) has become the trend of urban railway traffic control system in modern times. CBTC system is independent of railway circuit, applying high resolution train location determination and continuous, high capacity, bi-directional train-to-wayside data communications, controlling train through train-borne and wayside processors.
CBTC wayside Zone Controller plays an important role in assuring safty of train management. ZC contributes real-time data transmission with other subsystems and controls trains with moving authority (MA). There is great meaning of studying Zone Controller train management.
The paper starts with the research of Zone Controller train management, according to requirement of system function, analyzes system principle in architecture, resource and flow. The author introduces process of multi-train management based on the purpose of manage.
In this paper, we use formal modeling method based on Hierarchal Time Colored Petri Net, analyses the feasibility of modeling and models CPN with Top layer, data transmission layer and MA calculate layer. Improve and simplify the CPN, then simulate the model. We use state space analyze method to validate rationality of system design and correctness of data transmission. This work can help us to construct a more consummate system model of Zone Controller, and provide theory proof of Zone Controller System software realizing.
引文
铩颷1]Kurt Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods andPractical Use.Volume 1.Springer-Verlag.1992.
[2]赵波波.基于UML的CBTC轨旁设备的建模及实现[D].北京交通大学.2007:2-6.
[3]谢凡.城市轨道交通的CBTC系统DCS子系统的研究[D].北京交通大学.2007:2-3.
[4]高晶晶,陈霞,谈振辉.高速铁路智能交通系统中的CBTC技术[J].电气化铁道.2006.6.
[5]黄悦.移动闭塞新概念[J].铁道知识.2005.6.
[6]陈锋华.浅谈移动闭塞的基本原理[J].铁道通信信号.2005.2
[7]傅世善.闭塞与列控概论第十讲移动闭塞概述[J].铁路通信信号工程技术.2006.8.
[8]王宇凡.形式化描述和验证理论与方法的研究[D].中国科技大学.2005.5:4-8.
[9]祖旭.基于Petri网理论的产品开发过程建模方法研究[D].大连理工大学.2005.3:80-83.
[10]吴少智.基于虚电路的微通信元系统架构的拥塞控制研究与建模[D].电子科技大学.2005.5.
[11]袁崇义.Petri网原理[M].电子工业出版社.1998.
[12]CPN Tools help.http://wiki.daimi.au.dk:8000/cpntools-help
[13]步兵,汪希时,程荫航.CBTC中无线通信的可用性分析.北京:北京交通大学[D],2001:1-20.
[14]王铁安译.阿尔卡特TAS公司在巴黎地铁试验以通信为基础的列车控制系统(CBTC).<>.2001.10:1-2.
[15]阿尔卡特无线CBTC服务香港地铁[J].世界轨道交通.2005.6.
[16]王洁译.北美CBTC系统通用技术标准的开发[J].1998.
[17]唐涛,郜春海,李开成.基于通信的列车运行控制技术发展战略探讨[J]城市轨道交通.2005.12:1-4.
[18]刘会明.基于通信的列车控制系统工程设计中需注意的几个问题[J].城市轨道交通.2006.
[19]丁正庭.区间信号自动控制[M].中国铁道出版社.1994。
[20]路飞,宋沐民,李晓磊.基于移动闭塞原理的地铁列车追踪运行控制研究[J].系统仿真学报.2005.8.
[21]吴汶麒.城市轨道交通信号与通信系统[M].中国铁道出版社.2001.
[22]杨捷.安全软件体系结构的形式化方法研究[D].武汉大学.2004.4.
铩颷23]胡瑜.基于有色Petri网理论的并行自动测试系统建模研究[D].电子科技大学.2003.4.
[24]李航宇.基于微通信元系统构架的可靠数据传输的研究[D].电子科技大学.2004.12.
[25]梁炯达.着色Petri网及其仿真工具Design/CPN在通信网络建模和分析中的应用[D].上海交通大学.2000.1.
[26]缪军海.基于着色Petri网的系统建模与分析[D].上海交通大学.2002.1.
[27]吴瑞龙.一种基于有色Petri网模型的安全协议检测技术的研究[D].广西大学.2005.5.
[28]A.Abouaissa,A.Benslimane.A Grouping Model for Distributed Real Time CausalOrdering.IEEE.0-7803-5794-9/99.1999.
[29]S.B.Hong,Kapsu Kim.A Reliability Analysis of Distributed Programs WithColored Petri Nets.IEEE.0-7803-4053-1/97.1997.
[30]Robert G,Hassan Gomaa.Analyzing Behavior of Concurrent Software Designsfor Embedded Systems.Object and Component-Oriented Real-Time DistributedComputing.IEEE.2007.
[31]Jianli Xu.Evaluating and Balancing Reliability and Performance Propertiesof Software Architecture Using Formal Modeling Techniques.IEEE/NASA SoftwareEngineering Workshop.2006.
[32]Dou Liqian,Zong Qun,Wei Lijian.Modeling and Analysis of Elevator SystemBased on Timed-Colored Petri Net.第五届全球智能控制与自动化大会.2004.6.15.
[33]Jonathan Billington,Chris Janczura.State Space Analysis of a RailwayNetwork.IEEE.0-7803-3280-6-96.1996.
[34]Abani B.Mandal.Performance Evaluation of a Flexible Manufacturing Cell UsingColored Petri Nets[D].University of Windsor.Canada.2002.
[2]赵波波.基于UML的CBTC轨旁设备的建模及实现[D].北京交通大学.2007:2-6.
[3]谢凡.城市轨道交通的CBTC系统DCS子系统的研究[D].北京交通大学.2007:2-3.
[4]高晶晶,陈霞,谈振辉.高速铁路智能交通系统中的CBTC技术[J].电气化铁道.2006.6.
[5]黄悦.移动闭塞新概念[J].铁道知识.2005.6.
[6]陈锋华.浅谈移动闭塞的基本原理[J].铁道通信信号.2005.2
[7]傅世善.闭塞与列控概论第十讲移动闭塞概述[J].铁路通信信号工程技术.2006.8.
[8]王宇凡.形式化描述和验证理论与方法的研究[D].中国科技大学.2005.5:4-8.
[9]祖旭.基于Petri网理论的产品开发过程建模方法研究[D].大连理工大学.2005.3:80-83.
[10]吴少智.基于虚电路的微通信元系统架构的拥塞控制研究与建模[D].电子科技大学.2005.5.
[11]袁崇义.Petri网原理[M].电子工业出版社.1998.
[12]CPN Tools help.http://wiki.daimi.au.dk:8000/cpntools-help
[13]步兵,汪希时,程荫航.CBTC中无线通信的可用性分析.北京:北京交通大学[D],2001:1-20.
[14]王铁安译.阿尔卡特TAS公司在巴黎地铁试验以通信为基础的列车控制系统(CBTC).<
[15]阿尔卡特无线CBTC服务香港地铁[J].世界轨道交通.2005.6.
[16]王洁译.北美CBTC系统通用技术标准的开发[J].1998.
[17]唐涛,郜春海,李开成.基于通信的列车运行控制技术发展战略探讨[J]城市轨道交通.2005.12:1-4.
[18]刘会明.基于通信的列车控制系统工程设计中需注意的几个问题[J].城市轨道交通.2006.
[19]丁正庭.区间信号自动控制[M].中国铁道出版社.1994。
[20]路飞,宋沐民,李晓磊.基于移动闭塞原理的地铁列车追踪运行控制研究[J].系统仿真学报.2005.8.
[21]吴汶麒.城市轨道交通信号与通信系统[M].中国铁道出版社.2001.
[22]杨捷.安全软件体系结构的形式化方法研究[D].武汉大学.2004.4.
铩颷23]胡瑜.基于有色Petri网理论的并行自动测试系统建模研究[D].电子科技大学.2003.4.
[24]李航宇.基于微通信元系统构架的可靠数据传输的研究[D].电子科技大学.2004.12.
[25]梁炯达.着色Petri网及其仿真工具Design/CPN在通信网络建模和分析中的应用[D].上海交通大学.2000.1.
[26]缪军海.基于着色Petri网的系统建模与分析[D].上海交通大学.2002.1.
[27]吴瑞龙.一种基于有色Petri网模型的安全协议检测技术的研究[D].广西大学.2005.5.
[28]A.Abouaissa,A.Benslimane.A Grouping Model for Distributed Real Time CausalOrdering.IEEE.0-7803-5794-9/99.1999.
[29]S.B.Hong,Kapsu Kim.A Reliability Analysis of Distributed Programs WithColored Petri Nets.IEEE.0-7803-4053-1/97.1997.
[30]Robert G,Hassan Gomaa.Analyzing Behavior of Concurrent Software Designsfor Embedded Systems.Object and Component-Oriented Real-Time DistributedComputing.IEEE.2007.
[31]Jianli Xu.Evaluating and Balancing Reliability and Performance Propertiesof Software Architecture Using Formal Modeling Techniques.IEEE/NASA SoftwareEngineering Workshop.2006.
[32]Dou Liqian,Zong Qun,Wei Lijian.Modeling and Analysis of Elevator SystemBased on Timed-Colored Petri Net.第五届全球智能控制与自动化大会.2004.6.15.
[33]Jonathan Billington,Chris Janczura.State Space Analysis of a RailwayNetwork.IEEE.0-7803-3280-6-96.1996.
[34]Abani B.Mandal.Performance Evaluation of a Flexible Manufacturing Cell UsingColored Petri Nets[D].University of Windsor.Canada.2002.