Tesis doctoral de Raimundo Forradellas Martinez
Se presenta una metodología para la representacion y resolucion de problemas dinamicos con restricciones, y el correspondiente modelo de representacion y su marco operacional la problematica de la dinamicidad se genera a partir de dos situaciones: cuando la instancia de un problema ya resuelto es modificada por algun evento externo, y cuando por el mencionado evento se generan inconsistencias en la instancia del problema. Este tipo de problemas se en cuentran habitualmente en tareas de planificacion 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 algoritmos para el tratamiento de situaciones dinamicas en sistemas con restricciones.
Datos académicos de la tesis doctoral «Un modelo para la resolucion de sistemas dinamicos con restricciones en el marco clp«
- Título de la tesis: Un modelo para la resolucion de sistemas dinamicos con restricciones en el marco clp
- Autor: Raimundo Forradellas Martinez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- Arriaga Gomez Fernando De
- Tribunal
- Presidente del tribunal: Carlos Vega Vicente
- Carlos Sancho Cuenca (vocal)
- José María Torralba Martínez (vocal)
- Gabriel Alejandro Valiente Feruglio (vocal)