高速列车ATP控车模式的形式化模型与安全性分析  

Formalization Model of High Speed Trains in ATP Control and Its Safety Analysis

作　　者：承向军[1] 应志鹏[2] 杜鹏[1] 

机构地区：[1]北京交通大学交通运输学院,北京100044 [2]中国铁道科学研究院通信信号研究所,北京100081

出　　处：《中国安全科学学报》2008年第3期28-32,共5页China Safety Science Journal

基　　金：轨道交通控制与安全国家重点实验室(北京交通大学)开放课题基金(2008K003)

摘　　要：通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。Control of high speed train is the key technique for the safety of train. Through reviewing the state of arts and development trend of high speed train, the difference between China and Europe in the application and technology of high speed train is discussed. The train control pattern in ATP, which will be widely applied in the future, is analyzed. The Duration Calculus, which is a formalization tool aiming at real-time and continuous system, is creatively used to set up the formalization model of train control pattern in ATP based on the notation, axiom, theorem and the rules of deduction of duration calculus. A primary safety analysis of train control pattern in ATP control is given by the inference of the model. Some key fac- tors that play important role in ATP control pattern are found. Especially, time restrictions satisfied during the transition between ATP control and man control are discovered. The achievements provide a new theory analysis method for the design of safe and reliable ATP system.

关 键 词：高速列车 形式化模型 列控 列车超速防护(ATP) 时段演算(DC) 

分 类 号：X913.4[环境科学与工程—安全科学] U298[交通运输工程—交通运输规划与管理]