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

下载本文档

5
0
约1.93万字
约 6页
2017-08-30 发布于安徽
举报
版权申诉

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

1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

1 8 3 Vol. 18No. 3 2 0 0 8 3 Ch ina Safety Science Journal M ar . 2 0 0 8 * ATP 承向军1 讲师应志鹏2 副研究员杜鹏1 讲师 ( 1 北京交通大学交通运输学院, 北京 1000 2 中国铁道科学研究院通信信号研究所, 北京 100081) : 620. 2030 : X913. 4; U298 : A : ()( 2008K003) = 通过评述当前高速列车的发展状和趋势, 结合我国与欧洲在高速列车应用与相关技术研发方面的差距; 对ATP控车模式进行分析, 并提出采用时段演算针对实时连续系统的形式化描述工具; 根据时段演算的基本符号公理定理和推导规则, 建立基于时段演算的 ATP控车模式形式化模型; 通过对模型的推演, 对ATP控车模式进行初步安全性分析, 发 ATP控车模式下对安全运行发挥主要作用的几个关键环节, 特别是确保列车安全行驶, ATP控车与人工控制在转换时应满足的若干时间约束研究的成果, 为设计安全可靠的ATP系统提供新的理论和分析手段 = 高速列车; 形式化模型; 列控; 列车超速防护(ATP); 时段演算( DC) Formalization Model ofH igh Speed Trains in ATP Control and Its Safety Analysis 1 2 1 CHENG Xiang-jun, L ctur r YING Zh-i p ng , Assoc. R s arch F llow DU P ng , L ctur r ( 1 School ofTraffic Transportation, Beijing Jiaotong Un iversity, Beijing 1000 , China 2 Signal Commun ication Research Institute, ChinaAcademy of Raiwl ay Science, Beijing 100081, China) Abstract: Control of h igh speed train is the key technique for the safety of train. Through review ing the state of arts and developm ent trend of h igh speed train, the difference bewt een China and Europe in the application and technology of h igh speed train is discussed. The train control pattern inATP, wh ich w ill bew idely applied in the future, is analyzed. TheDuration Calculus, wh ich is a formalizatio