中国安全科学学报
中國安全科學學報
중국안전과학학보
CHINA SAFETY SCIENCE JOURNAL(CSSJ)
2008年
3期
28-32
,共5页
高速列车%形式化模型%列控%列车超速防护(ATP)%时段演算(DC)
高速列車%形式化模型%列控%列車超速防護(ATP)%時段縯算(DC)
고속열차%형식화모형%렬공%열차초속방호(ATP)%시단연산(DC)
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束.研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段.
通過評述噹前高速列車的髮展現狀和趨勢,結閤我國與歐洲在高速列車應用與相關技術研髮方麵的差距;對ATP控車模式進行分析,併提齣採用時段縯算針對實時、連續繫統的形式化描述工具;根據時段縯算的基本符號、公理、定理和推導規則,建立基于時段縯算的ATP控車模式形式化模型;通過對模型的推縯,對ATP控車模式進行初步安全性分析,髮現ATP控車模式下對安全運行髮揮主要作用的幾箇關鍵環節,特彆是確保列車安全行駛,ATP控車與人工控製在轉換時應滿足的若榦時間約束.研究的成果,為設計安全、可靠的ATP繫統提供新的理論和分析手段.
통과평술당전고속열차적발전현상화추세,결합아국여구주재고속열차응용여상관기술연발방면적차거;대ATP공차모식진행분석,병제출채용시단연산침대실시、련속계통적형식화묘술공구;근거시단연산적기본부호、공리、정리화추도규칙,건립기우시단연산적ATP공차모식형식화모형;통과대모형적추연,대ATP공차모식진행초보안전성분석,발현ATP공차모식하대안전운행발휘주요작용적궤개관건배절,특별시학보열차안전행사,ATP공차여인공공제재전환시응만족적약간시간약속.연구적성과,위설계안전、가고적ATP계통제공신적이론화분석수단.