A library in CoCoA for implementing railway interlocking systems

IF 2.1 2区数学 Q1 MATHEMATICS, APPLIED

Journal of Computational and Applied Mathematics Pub Date : 2025-02-24 DOI:10.1016/j.cam.2025.116594

Antonio Hernando , José Luis Galán–García , Yolanda Padilla–Domínguez , María Ángeles Galán–García , Gabriel Aguilera–Venegas

{"title":"A library in CoCoA for implementing railway interlocking systems","authors":"Antonio Hernando , José Luis Galán–García , Yolanda Padilla–Domínguez , María Ángeles Galán–García , Gabriel Aguilera–Venegas","doi":"10.1016/j.cam.2025.116594","DOIUrl":null,"url":null,"abstract":"<div><div>In this paper, we propose a user-friendly library in CoCoA to address and completely resolve the challenges posed by the highly efficient and intriguing mathematical model introduced in Hernando et al., (2023) for implementing railway interlocking systems. Although the algebraic model (Hernando et al., 2023) allows for fast performance, it requires implementers and users to have a high level of mathematical knowledge, mastering concepts such as Gröbner bases, ideals, rings, and polynomials. This expertise is necessary to manually define ideals generated by numerous complex polynomials in multiple variables, which depend on the railway station’s topology, a process that can be both tedious and error-prone. To completely resolve these challenges, we have developed a CoCoA library that streamlines the implementation of interlocking systems using our mathematical framework, effectively eliminating manual errors. Consequently, thanks to the library we have developed and presented here, even users without mathematical knowledge can easily implement and manage a railway interlocking system.</div></div>","PeriodicalId":50226,"journal":{"name":"Journal of Computational and Applied Mathematics","volume":"466 ","pages":"Article 116594"},"PeriodicalIF":2.1000,"publicationDate":"2025-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computational and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0377042725001098","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}

引用次数: 0

Abstract

In this paper, we propose a user-friendly library in CoCoA to address and completely resolve the challenges posed by the highly efficient and intriguing mathematical model introduced in Hernando et al., (2023) for implementing railway interlocking systems. Although the algebraic model (Hernando et al., 2023) allows for fast performance, it requires implementers and users to have a high level of mathematical knowledge, mastering concepts such as Gröbner bases, ideals, rings, and polynomials. This expertise is necessary to manually define ideals generated by numerous complex polynomials in multiple variables, which depend on the railway station’s topology, a process that can be both tedious and error-prone. To completely resolve these challenges, we have developed a CoCoA library that streamlines the implementation of interlocking systems using our mathematical framework, effectively eliminating manual errors. Consequently, thanks to the library we have developed and presented here, even users without mathematical knowledge can easily implement and manage a railway interlocking system.

查看原文本刊更多论文

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Computational and Applied Mathematics 数学-应用数学

CiteScore

5.40

自引率

4.20%

发文量

437

审稿时长

3.0 months

期刊介绍： The Journal of Computational and Applied Mathematics publishes original papers of high scientific value in all areas of computational and applied mathematics. The main interest of the Journal is in papers that describe and analyze new computational techniques for solving scientific or engineering problems. Also the improved analysis, including the effectiveness and applicability, of existing methods and algorithms is of importance. The computational efficiency (e.g. the convergence, stability, accuracy, ...) should be proved and illustrated by nontrivial numerical examples. Papers describing only variants of existing methods, without adding significant new computational properties are not of interest. The audience consists of: applied mathematicians, numerical analysts, computational scientists and engineers.