Modelo algebraico con precálculo de operaciones para la detección de situaciones peligrosas en grandes instalaciones ferroviarias

Resumen

Comprobar la seguridad de una instalación ferroviaria es un problema desde el punto de vista del coste computacional ya que es un proceso muy laborioso. Distintos autores han desarrollado diferentes enfoques para verificar automáticamente la seguridad de diferentes instalaciones ferroviarias que varían de tamaño, desde pequeñas a medias. A pesar de que esos enfoques son muy simples de implementar, tienen el inconveniente de que requieren un gran tiempo de computación para realizar dichas comprobaciones, lo que hace inviable su aplicación a estaciones de tamaño grande. En este trabajo se presenta un nuevo modelo capaz de I) detectar situaciones peligrosas en una estación ferroviaria cuando en ella circulan trenes ocupando una o varias secciones, y II) precalcular diferentes posibles situaciones de la instalación (trenes ocupando secciones, color de los semáforos o la conectividad de las secciones). Este precálculo permite reducir drásticamente el tiempo en el que se comprueba la seguridad de la instalación. Se implementará una estación real, compleja y de gran tamaño (Chamartín) para demostrar que, mejorando a sus modelos predecesores más cercanos, es capaz de realizar los cálculos inherentes a la comprobación de la seguridad en un tiempo adecuado para su puesta aplicación a un entorno real. ----------ABSTRACT---------- The safety of a railway station is a very important issue considered very labour-intensive. Different authors have developed different approaches in order to detect automatically the safety of small to midsize railway stations. Although these approaches are very simple to implement, they have the drawback of being unsuitable to large stations, since the algorithm takes large time to be run. The present PhD thesis has the objective of presenting a new logicalgebraic model able to: I) check the safety in large railway stations when trains are located in a one or more sections, and II) precalculate different states of the station (trains located in sections, colour of the semaphores, position of the switches, etc...). Once a precalculation is made for certain state, the time to check the safety in large railway networks is reduced dramatically. As a case study we provide a comparision between several models in a real large railway station (Chamartín) showing that the time results are suitable to check the safety of such a station.