Publication: An Algebraic Approach to DC Railway Electrification
Verification
Loading...
Full text at PDC
Publication Date
2019-09
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Citations
Exportar
Abstract
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 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.
Description
UCM subjects
Unesco subjects
Keywords
Citation
1.Alonso-Jiménez, J., Aranda-Corral, G., Borrego-Díaz, J., Fernández-Lebrón, M., Hidalgo-Doblado, M.: A logic-algebraic tool for reasoning with knowledge-based systems. J. Log. Algebr. Methods Program 101, 88–109 (2018). https://doi.org/10.1016/j.jlamp.2018.09.001
2.Bhargava, B.: Railway electrification systems and configurations. In: 1999 IEEE Power Engineering Society Summer Meeting. Conference Proceedings (Cat. No.99CH36364), vol. 1, pp. 445–450 (1999). https://doi.org/10.1109/PESS.1999.784389
3.Boralv, A.: Case study: formal verification of a computerized railway interlocking. Form. Asp. Comput. 10, 338–360 (1998). https://doi.org/10.1007/s001650050021
4.Buchberger, B.: Bruno Buchberger’s PhD thesis 1965: an algorithm for finding the basis elementals of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3–4), 475–511 (2006). https://doi.org/10.1016/j.jsc.2005.09.007
5.Buckhardt, W.: First Steps in Maple. Springer, New York (1994)CrossRefGoogle Scholar
6.Burke, R.: Knowledge-based recommender systems. Encycl. Libr. Inf. Sci. 69(32), 180–200 (2000)
7.Chang, C.S., Wang, W., Liew, A.C., Wen, F.S., Srinivasan, D.: Genetic algorithm based bicriterion optimisation for traction substations in DC railway system. In: Proceedings of 1995 IEEE International Conference on Evolutionary Computation, vol. 1, pp. 11–16 (1995). https://doi.org/10.1109/ICEC.1995.489111
8.Chazarain, J., Riscos, A., J.A., A., Briales, E.: Multi-valued logic and Gröbner bases with applications to modal logic. J. Symb. Comput. 11, 181–194 (1991). https://doi.org/10.1016/S0747-7171(08)80043-0
9.Corless, H.: Essential Maple. An Introduction for Scientific Programmers. Springer, New York (1995)
10.de Fontgalland, B.: The World Railway System. Cambridge University Press, Cambridge (1984)
11.de la Fuente, E.P., Mazumder, S.K., González-Franco, I.: Railway electrical smart grids: an introduction to next-generation railway power systems and their operation. IEEE Electr. Mag. 2(3), 49–55 (2014). https://doi.org/10.1109/MELE.2014.2338411
12.Heck, A.: Introduction to Maple. Springer, New York (2003)
13.Laita, L., de Ledesma, L.: Knowledge-based systems verification. In: Kent, A., Williams, J.G. (eds.) Encyclopedia of Computer Science and Technology, vol. 36, pp. 253–280. Marcel Dekker Inc., New York (1997)
14.Losada, M.: Curso de ferrocarriles. E.T.S. Ingenieros de Caminos. Canales y Puertos, Madrid (1987)
15.Maplesoft: Maple User Manual. Maplesoft, Waterloo Maple Inc., Waterloo, Canada (2018)
16.Olaizola-Elordi, J.: La electrificación de los ferrocarriles de vía estrecha. Vía Libre 616, 22–25 (2017)
17.Pecharromán, R.R., López-López, A., Cucala, A.P., Fernández-Cardador, A.: Riding the rails to DC power efficiency. IEEE Electrif. Mag. 2(3), 32–38 (2014). https://doi.org/10.1109/MELE.2014.2333684
18. A. R.: Electrificación: Catenaria en la red española. Vía Libre 616, 15–21 (2017)
19. Roanes-Lozano, E., González-Martín, R.: Matrix approach to DC railway electrification verification. Procedia Comput. Sci. 108, 1424–1433 (2017). https://doi.org/10.1016/j.procs.2017.05.226
20. Roanes-Lozano, E., González-Martín, R., Montero, J.: A knowledge-based system for DC railway electrification verification. In: Book of Abstracts ESCO2018 6th European Seminar on Computing, p. 140 (2018)
21. Roanes-Lozano, E., Laita, L., Hernando, A., Roanes-Macías, E.: An algebraic approach to rule based expert systems. Rev. R. Acad. Cien. Serie A. Mat. (RACSAM) 104/1, 19–40 (2011). https://doi.org/10.5052/RACSAM.2010.04
22. Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M.: Railway interlocking systems and Gröbner bases. Math. Comput. Simul. 51(5), 473–481 (2000). https://doi.org/10.1016/S0378-4754(99)00137-8
23. Roanes-Macías, E., Roanes-Lozano, E.: Cálculos Matemáticos con Maple V.5. Ed. Rubiños, Madrid (1999)
24. Wester, M. (ed.): Computer Algebra Systems: A practical Guide. Wiley, Chichester (1999)