Access the full text.
Sign up today, get DeepDyve free for 14 days.
E. Roanes-Lozano, R. González-Martín (2017)
Matrix Approach to DC Railway Electrification Verification
B. Fontgalland (1984)
The World Railway System
RR Pecharromán, A López-López, AP Cucala, A Fernández-Cardador (2014)
Riding the rails to DC power efficiencyIEEE Electrif. Mag., 2
Jacques Chazarain, Agustín Gonzáles, J. Jimenez, Emilio Morales (1991)
Multi-Valued Logic and Gröbner Bases with Applications to Modal LogicJ. Symb. Comput., 11
(2017)
La electrificación de los ferrocarriles de vía estrecha
Arne Borälv (1998)
Case Study: Formal Verification of a Computerized Railway InterlockingFormal Aspects of Computing, 10
B. Bhargava (1999)
Railway electrification systems and configurations1999 IEEE Power Engineering Society Summer Meeting. Conference Proceedings (Cat. No.99CH36364), 1
Robert Corless (1995)
Essential Maple: An Introduction for Scientific Programmers
J. Alonso-Jiménez, Gonzalo Aranda-Corral, J. Borrego-Díaz, M. Fernández-Lebrón, M. Hidalgo-Doblado (2018)
A logic-algebraic tool for reasoning with Knowledge-Based SystemsArXiv, abs/1809.00508
M. Wester (1999)
Computer algebra systems: a practical guideThe Mathematical Gazette, 84
(2018)
Maple User Manual
C. Chang, W. Wang, A. Liew, F. Wen, D. Srinivasan (1995)
Genetic algorithm based bicriterion optimisation for traction substations in DC railway systemProceedings of 1995 IEEE International Conference on Evolutionary Computation, 1
(1987)
Curso de ferrocarriles
E. Roanes-Lozano, Luis Laita, Antonio Hernando, E. Roanes-Macías (2010)
An algebraic approach to rule based expert systemsRACSAM - Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 104
R. Pecharromán, Á. López-López, A. Cucala, A. Fernández-Cardador (2014)
Riding the Rails to DC Power Efficiency: Energy efficiency in dc-electrified metropolitan railways.IEEE Electrification Magazine, 2
(2017)
Electrificación: Catenaria en la red española
B. Buchberger (2006)
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial idealJ. Symb. Comput., 41
W. Burkhardt (1994)
First Steps in Maple
(1999)
Cálculos Matemáticos con Maple V.5
L Laita, L Ledesma (1997)
Encyclopedia of Computer Science and Technology
E Roanes-Lozano, L Laita, A Hernando, E Roanes-Macías (2011)
An algebraic approach to rule based expert systemsRev. R. Acad. Cien. Serie A. Mat. (RACSAM), 104/1
A. Heck (1993)
Introduction to Maple
E. Roanes-Lozano, E. Roanes-Macías, Luis Laita (2000)
Railway interlocking systems and Gröbner basesMathematics and Computers in Simulation, 51
M Losada (1987)
Curso de ferrocarriles. E.T.S. Ingenieros de Caminos
E. Fuente, S. Mazumder, Ignacio Franco (2014)
Railway Electrical Smart Grids: An introduction to next-generation railway power systems and their operation.IEEE Electrification Magazine, 2
R. Burke (2000)
Knowledge-based recommender systems
Gröbner bases have been applied to a number of problems related to the verification of Knowledge-Based Systems (KBS) and other problems within graph theory. In particular, the authors have developed in previous papers algebraic approaches to decide whether a situation in a railway interlocking system is safe or not. These algebraic approaches stand out because of the briefness of the code (as they use implementations of well-known algorithms for solving linear or algebraic systems provided by computer algebra systems). The authors have also developed a matrix-based computer tool that helps an expert to check whether a proposed railway electrification scenario (given through the topology of the railway station and the position of the isolation devices and the position and state of the “electrical bypasses” and feeders) fulfills the mandatory requirements of the Spanish railway infrastructure administrator (ADIF) for 3000 V railway electrifications or not. The second author works in the field of railway electrifications and he compares the present-day methods for verification of railway electrifications with the way KBS were verified in the past (manually by experts). In this article we approach this latter problem using algebraic techniques. The new computer tool is based on an algebraic translation of the problem (instead of based on the use of matrices) and is really simple and fast. Determining which electrification sections are under electric tension is computed solving linear systems (because in this case the graph is undirected and no polynomials of degree $$>\,1$$ > 1 arise in the algebraic translation, so it is not necessary to use Gröbner bases, unlike in the two problems mentioned in the beginning of the Abstract). Therefore far bigger railway facilities can be addressed than if non-linear systems were involved.
Mathematics in Computer Science – Springer Journals
Published: Jul 4, 2019
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.