A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
Tài liệu tham khảo
D. Cox, J. Little, D. O’Shea, Ideals, Varieties and Algorithms, Springer, Berlin, 1992.
A. Borälv, G. Stålmarck, Prover technology in railways, in: Industrial-Strength Formal Methods, Academic Press, New York, 1998.
J. Doppelbauer, Alcatel’s electronic interlocking systems, in: Proceedings of the 3rd Workshop on FMERail, Fachhochschule St. Pölten, St. Pölten, 1999.
K.M. Hansen, Modelling railway interlocking systems, Report ID-TR: 1996-167, Technical University of Denmark, Lyngby, 1995.
M. Losada, Curso de Ferrocarriles: Explotación Técnica, ETSI Caminos UPM, Madrid, 1991.
M. Montigel, Modellierung und Gewährleistung von Abhängigkeiten in Eisenbahnsicherungsanlagen, Ph.D. thesis, ETH Zurich, 1994.
S. Rı́os-Insua, Investigación Operativa. Programación lineal y aplicaciones, Centro de Estudios Ramón Areces SA, Madrid, 1996.
Roanes-Lozano, 1995, Maple V in AI: the Boolean algebra associated to a KBS, CAN. Nieuwsbrief, 14, 65
Roanes-Lozano, 1998, A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra, Math. Comput. Simulation, 45, 83, 10.1016/S0378-4754(97)00088-8
Roanes-Lozano, 1998, An applicable topology-independent model for railway interlocking systems, Math. Comput. Simulation, 45, 175, 10.1016/S0378-4754(97)00093-1
E. Roanes-Lozano, L.M. Laita, E. Roanes-Macias, An application of an AI methodology to railway interlocking systems using computer algebra, in: A. Pasqual del Pobil, J. Mira, M. Ali (Eds.), Tasks and Methods in Applied Artificial Intelligence, Proceedings of IEA-98-AIE, Vol. II, Springer LNAI 1416, Berlin, Heidelberg, 1998, pp. 687–696.
Roanes-Lozano, 2000, Railway interlocking systems and Gröbner bases, Math. Comput. Simulation, 51, 473, 10.1016/S0378-4754(99)00137-8
Villamandos, 1993, Sistema informático concebido por Renfe para diseñar los enclavamientos, Vı́a Libre, 348, 65
J. Westwood (Ed.), Trains, Octopus Books Ltd., London, 1979.
Anonymous, Proyecto y obra del enclavamiento electrónico de la estación de Madrid-Atocha. Proyecto Técnico, Siemens, Madrid, 1988.