modelizaci´on y métodos para la optimizaci´on y eficiencia

14 1. Introducción
1. Definir formalmente el problema de generación y optimización de horarios
ferroviarios, considerando las variables, restricciones y criterios que subyacen
en el contexto real de aplicación.
En primer lugar, es necesario identificar el problema como un problema de
scheduling Job Shop. Posteriormente, se deberán incorporar nuevas restric-
ciones a las comúnmente contempladas en los problemas genéricos de schedul-
ing Job Shop. Para ello, deberán identificarse y formalizarse las específicas
y complejas restricciones que subyacen en el problema de generación y opti-
mización de horarios ferroviarios.
La identificación del problema como un problema de scheduling tipo Job Shop
nos permitirá evaluar las aproximaciones realizadas para la modelización y res-
olución de problemas Job Shop genéricos. Es necesario identificar las ventajas
e inconvenientes de su aplicación, analizando su viabilidad y adecuación. Ello
nos permitirá además justificar la necesidad de desarrollar nuevos modelos y
métodos más adecuados a la tipología del problema planteado.
2. Diseñar y desarrollar nuevos métodos de solución para el problema de gen-
eración y optimización de horarios ferroviarios.
El objetivo es desarrollar un método que permita obtener soluciones opti-
mizadas de forma eficiente. Para ello, será necesario diseñar nuevas heurísticas
capaces de guiar el proceso de búsqueda hacia soluciones que optimicen la
función objetivo. Se deberán desarrollar heurísticas, para una adecuada or-
denación de variables, valores de instanciación y generación eficiente de solu-
ciones. El objetivo es obtener las mejores soluciones en el menor tiempo posible.
Como paso previo, se deberán analizar las técnicas CSP y de programación
matemática, revisando su adecuación y/o aplicabilidad al problema.
3. Evaluación de los métodos desarrollados. Diseño de casos de prueba.
La evaluación de los métodos desarrollados se debe llevar a cabo utilizando
instancias reales del problema considerado, más que problemas-tipo de labo-
ratorio. Ello requerirá el desarrollo de un sistema software que incorpore los
métodos diseñados y facilite la parametrización de los casos de pruebas y la
evaluación de los resultados obtenidos.