论文部分内容阅读
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。
By reviewing the current development status and trends of high-speed trains, combining with the gap between R & D of high-speed trains and related technologies in China and Europe, we analyze the ATP control modes and propose a formal description tool for the real-time and continuous systems ; Based on the basic symbols of bucket calculation, axioms, theorems and derivation rules, a formal model of ATP control mode based on bucket-time calculus was established. Through preliminary deduction of model, ATP control mode was initially analyzed, Under the safe operation of several key links play a major role, in particular, to ensure the safe driving train, ATP control and manual control in the conversion time to meet some of the constraints. The results of the research provide new theoretical and analytical tools for the design of safe and reliable ATP systems.