Tesis:
Un modelo para la resolución de sistemas dinámicos con restricciones en el marco CLP
- Autor: FORRADELLAS MARTINEZ, Raimundo
- Título: Un modelo para la resolución de sistemas dinámicos con restricciones en el marco CLP
- Fecha: 1995
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA INFORMACION
- Acceso electrónico:
- Director/a 1º: ARRIAGA GOMEZ, Fernando de
- Resumen: Se presenta una metodología para la representación y resolución de problemas dinámicos con restricciones, y el correspondiente modelo de representación y su marco operacional. La problemática de la dinamicidad se genera a partir de dos situaciones: cuando la instancia de un problema ya resuelto es modificada por algún evento externo, y cuando por el mencionado evento se generan inconsistencias en la instancia del problema. Este tipo de problemas se encuentran habitualmente en tareas de planificación y control, donde por causas externas es necesario replanificar, resolviendo los conflictos generados. El modelo propuesto se limita al estudio de restricciones lineales sobre variables de dominio finito, y presentan diferentes estrategias y algorítmos para el tratamiento de situaciones dinámicas en sistemas con restricciones