...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Intelligent Transportation Systems Magazine, IEEE >Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System
【24h】

Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System

机译：基于格式的基于图的列车控制系统列车控制系统

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The train control data is crucial for the safe operation of trains. However, the correctness of train control data relies too much on expert experience in the field of railways due to the complex railway line situations. To address this problem, a graph theory based data model is proposed to describe the signals and track sections of critical train control route information. Then, the correctness verification theorems for route data are proposed by applying the mathematical formalism representation. Furthermore, a verification theorem is proposed to check the correctness of the single route data. In addition, another theorem is proposed for ensuring the correctness of invasion insulated track sections data. Theorems for different kinds of conflicting routes are also proposed to verify the conflict relations between routes. Finally, a case study is presented to illustrate our proposed modeling and verification method. The results show that the proposed verification method is feasible to CTCS-3, which can implement the data verification process in a formal way.
机译：火车控制数据对于火车的安全操作至关重要。然而，由于复杂的铁路线路情况，火车控制数据的正确性对铁路领域的专家体验依赖于专家体验。为了解决这个问题，提出了一种基于图基础的数据模型来描述关键列车控制路由信息的信号和轨道部分。然后，通过应用数学形式主义表示提出了路线数据的正确性验证定理。此外，提出了验证定理来检查单路径数据的正确性。此外，提出了另一个定理，以确保入侵绝缘轨道部分数据的正确性。还提出了不同种类冲突路线的定理，以验证路线之间的冲突关系。最后，提出了一个案例研究以说明我们所提出的建模和验证方法。结果表明，该验证方法对CTCS-3可行，可以正式的方式实施数据验证过程。

著录项

  • 来源
  • 作者

    Zhang Yong; Wang Haifeng; Chai Ming; Cheng Ruijun;

  • 作者单位

    Beijing Jiaotong Univ Natl Engn Res Ctr Rail Transportat Operat & Contr Beijing 100044 Peoples R China|Beijing Lab Urban Rail Transit Beijing Peoples R China;

    Beijing Jiaotong Univ Natl Engn Res Ctr Rail Transportat Operat & Contr Railway Traff Informat Engn & Control Beijing 100044 Peoples R China|Beijing Lab Urban Rail Transit Beijing Peoples R China;

    Beijing Jiaotong Univ Natl Engn Res Ctr Rail Transportat Operat & Contr Railway Traff Informat Engn & Control Beijing 100044 Peoples R China|Beijing Lab Urban Rail Transit Beijing Peoples R China;

    Fuzhou Univ Coll Math & Comp Sci Fuzhou 350116 Peoples R China|Beijing Jiaotong Univ State Key Lab Rail Traff Control & Safety Beijing 100044 Peoples R China;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号