Un modelo de integración de técnicas de CLAUSURA y CSP de restricciones temporalesaplicación a problemas de Scheduling

Resumen

En un problema de scheduling, existen un conjunto de restricciones (sobre las tareas, objetos del problema, uso de recursos compartidos, etc,), que deben satisfacerse para poder obtener una solución. Las principales propuestas contenidas en esta Tesis consisten en: * Un marco de representación flexible y expresivo para especificar problemas de scheduling mediante un conjunto de restricciones temporales métrico-disyuntivas basadas en puntos de tiempo. De esta forma se extienden especificaciones previas que no permiten captar diversas restricciones típicas existentes en problemas de shedulin reales. * Un nuevo modelo de integración de los procesos de CSP y clausura para la resolución de problemas de restricciones temporales. Esta integración extiende y es más efectiva que la colaboración típica previa (separada y meramente secuencial) de estos procesos. Adicionalmente, se introduce un proceso de clausura total (completo y correcto), de forma alternativa y más potente que el proceso de clausura parcial. Este modelo de integración se aplica para la resolución de problemas de shceduling. * Nuevas heurísticas orientadas para su aplicación en el modelo de resolución prouestos, enbase a la nueva información disponible debido a la integración obtenida de los procesos de clausura y CSP. Adicionalmente, se han adaptado diversas heurísticas previas para su utilización de forma combinada con estas nuevas heurísticas propuestas en esta Tesis. El modelo propuesto ha sido evaluado empíricamente, mostrando su capacidad para especificar distintos tipos de problemas de shceduling, así como el carácter incremental y eficiencia del mismo. Asímismo, también se ha experimentado con las heurísticas propuestas, comprobando sus efectos en los resultados obtendios. Esta sevaluaciones permiten finalmente concluir la novedad y aplicabilidad de los métodos y procesos desarrollados en amplios dominios de aplicación correspondientes