Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System

被引:2
|
作者
Roanes-Lozano, Eugenio [1 ,2 ]
机构
[1] Univ Complutense Madrid, Fac Educ, Inst Matemat Interdisciplinar, Madrid, Spain
[2] Univ Complutense Madrid, Fac Educ, Dept Didact Ciencias Expt Sociales & Matemat, Madrid, Spain
关键词
Railway interlocking systems; Routes; Railway station layout; Graphs; Computer algebra systems; DECISION; MODEL;
D O I
10.1007/978-3-030-60026-6_31
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The author has a long experience in railway engineering software development, mainly using computer algebra systems. Now a software package that allows the user to obtain compatible routes in an overtaking station of any number of tracks and any topology, based in dealing with cycles, has been developed. It has been implemented in the computer algebra system Maple and takes advantage of its GraphTheory package. There are two main uses of such a package. One is complementing topology independent railway interlocking systems, providing alternative routes. The other is to easily explore alternative track layouts. The package can only deal with overtaking stations (the most common ones in double track lines). Note that the latter use is important: for instance, the Spanish infrastructure administrator is nowadays remodeling the track layouts of the main railway stations of Madrid, Seville and Barcelona.
引用
收藏
页码:528 / 542
页数:15
相关论文
共 50 条
  • [31] COMPUTERIZED INTERLOCKING SYSTEM FOR RAILWAY SIGNALING CONTROL - SMILE
    AKITA, K
    WATANABE, T
    NAKAMURA, H
    OKUMURA, I
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 1985, 21 (03) : 826 - 834
  • [32] Model-in-the-Loop Testing of a Railway Interlocking System
    Scippacercola, Fabio
    Pietrantuono, Roberto
    Russo, Stefano
    Zentai, Andras
    MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 375 - 389
  • [33] Architecture and safety requirements of the ACC railway interlocking system
    Amendola, AM
    Impagliazzo, L
    Marmo, P
    Mongardi, G
    Sartore, G
    IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM - IPDS'96, PROCEEDINGS, 1996, : 21 - 29
  • [34] Novel Online Safety Observer for Railway Interlocking System
    Wang, Haifeng
    Xu, Tianhua
    Yuan, Tangming
    JOURNAL OF TRANSPORTATION ENGINEERING, 2013, 139 (07) : 719 - 727
  • [35] Digitalization of Interlocking System to Optimize Logistics in Railway Transportation
    Nzama, Sipho
    Telukdarie, Arnesh
    INTERNATIONAL JOURNAL OF BUSINESS ANALYTICS, 2020, 7 (01) : 24 - 36
  • [36] Strategies and guidelines for using a computer algebra system in the classroom
    Allen, G. Donald
    Herod, Jim
    Holmes, Mark
    Ervin, Vince
    Lopez, Robert J.
    Marlin, Joe
    Meade, Douglas
    Sanchez, David
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 1999, 15 (06) : 411 - 416
  • [37] Generating numerical algorithms using a computer algebra system
    Walter Gander
    BIT Numerical Mathematics, 2006, 46 : 491 - 504
  • [38] Generating numerical algorithms using a computer algebra system
    Gander, Walter
    BIT NUMERICAL MATHEMATICS, 2006, 46 (03) : 491 - 504
  • [39] Computer Algebra System as Test Generation System
    Hattori, Satoshi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (05) : 1006 - 1017
  • [40] A TYPE SYSTEM FOR COMPUTER ALGEBRA
    SANTAS, PS
    JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (1-3) : 79 - 109