Innovating Works

RTI2018-095609-B-I00

Financiado
SATISFACTIBILIDAD PARA PROGRAMACION DE TAREAS, PLANIFICACION Y OPTIMIZACION
EN ESTE PROYECTO PRETENDEMOS ABORDAR LA RESOLUCION DE PROBLEMAS COMBINATORIOS Y DE OPTIMIZACION, Y EN ESPECIAL LOS DE PLANIFICACION DE TAREAS (SCHEDULING), PLANIFICACION Y CALIDAD DEL SOFTWARE, MEDIANTE TECNICAS DE SATISFACTIBILID... EN ESTE PROYECTO PRETENDEMOS ABORDAR LA RESOLUCION DE PROBLEMAS COMBINATORIOS Y DE OPTIMIZACION, Y EN ESPECIAL LOS DE PLANIFICACION DE TAREAS (SCHEDULING), PLANIFICACION Y CALIDAD DEL SOFTWARE, MEDIANTE TECNICAS DE SATISFACTIBILIDAD BOOLEANA (SAT) Y DE SATISFACTIBILIDAD MODULO TEORIAS (SMT), PARA ELLO NOS PROPONEMOS CUATRO OBJETIVOS: NUEVAS CODIFICACIONES PARA PROBLEMAS COMBINATORIOS Y DE OPTIMIZACION: PRETENDEMOS DESARROLLAR CODIFICACIONES MAS EFICIENTES DE RESTRICCIONES DE PROPOSITO GENERAL COMO LAS PSEUDOBOOLEANAS O LAS LINEALES ENTERAS APROVECHANDO RESTRICCIONES COLATERALES COMO LAS DE CARDINALIDAD YA SEAN EXPLICITAS O MEDIANTE SU IDENTIFICACION AUTOMATICA, ADEMAS, PRETENDEMOS APLICARLAS EN DIFERENTES ESCENARIOS COMO LA PROGRAMACION DE REUNIONES B2B, LA OPTIMIZACION DE CADENAS DE TRASPLANTES RENALES CON DONANTES VIVOS, ETC,APLICACION DE TECNICAS SAT Y SMT A SCHEDULING: PRETENDEMOS APLICAR LAS TECNICAS Y METODOS QUE HEMOS APLICADO CON EXITO LOS PROBLEMAS DE SCHEDULING DE MRCPSP Y MRCPSP/MAX A OTROS PROBLEMAS DE SCHEDULING, ADEMAS, QUEREMOS INCIDIR EN ALGUNOS HEURISTICOS DE LOS RESOLUTORES, TANTO EN EL CONTROL DE LAS CLAUSULAS APRENDIDAS COMO EN EL CONTROL DE LA PROPAGACION DEL RESOLUTOR DE TEORIAS EN EL CASO DE SMT,PROFUNDIZACION EN LA TECNICA PLANNING AS SMT Y PLANNING AS CSP PARA PROBLEMAS DE PLANIFICACION: PRETENDEMOS UTILIZAR, POR UN LADO, LA POTENCIA EXPRESIVA DE SMT Y DE LA PROGRAMACION CON RESTRICCIONES Y, POR OTRO LADO, SU EFICIENCIA EN RESOLVER PROBLEMAS COMBINATORIOS DIFICILES, PARA RESOLVER PROBLEMAS DE PLANIFICACION CON CIERTA COMPLEJIDAD EN LAS ACCIONES, ESTA COMPLEJIDAD PUEDE SER DEBIDA, POR EJEMPLO, A TENER PRECONDICIONES O EFECTOS COMPLEJOS COMO LOS RELACIONADOS CON POSICIONAMIENTOS DEL AGENTE O LOS OBJETOS EN UN GRAFO,DESARROLLO DE METODOS FORMALES PARA EL ANALISIS DE DISTINTOS PARAMETROS DE CALIDAD DEL SOFTWARE: PRETENDEMOS EXTENDER LAS TECNICAS QUE DESARROLLAMOS PARA DEMOSTRACIONES DE TERMINACION, ADAPTANDOLAS PARA DEMOSTRACIONES DE COMPLEJIDAD DE LOS PROGRAMAS, TANTO EN LO QUE RESPECTA A DETERMINAR SU COSTE COMPUTACIONAL COMO ENCONTRAR COTAS SUPERIORES DE LOS VALORES DE LAS VARIABLES,CONTAMOS CON LA COLABORACION DEL GRUPO DE DECISION-MAKING AND OPTIMISATION DE LA UNIVERSIDAD DE ST ANDREWS Y DEL GRUPO DE CONSTRAINT PROGRAMMING DE LA UNIVERSIDAD DE YORK, ESTAS COLABORACIONES SE HAN ESTABLECIDO Y PROYECTADO DURANTE LA ESTANCIA DEL IP DEL PROYECTO (DOCTOR VILLARET) EN ST ANDREWS DURANTE ESTE VERANO EN EL MARCO DE UNA BECA SALVADOR DE MADARIAGA, INTERESANTEMENTE, DICHO GRUPO ESTA TRABAJANDO EN INCORPORAR PROBLEMAS DE PLANIFICACION EN SU PIPELINE DE RESOLUCION DE PROBLEMAS COMBINATORIOS,TAMBIEN DESTACAMOS QUE LOS DOCTORES VILLARET Y BOFILL FORMARAN PARTE DEL CONVENIO QUE ESPEREMOS SE FIRME PARA LOS 3 AÑOS SIGUIENTES CON LA ORGANIZACION NACIONAL DE TRASPLANTES, Y QUE EL GRUPO ESTA EN NEGOCIACIONES PARA FIRMAR UN ACUERDO DE COOPERACION CON UNA EMPRESA AMERICANA EN EL AMBITO DE SCHEDULING,A PARTE DEL ESPERADO IMPACTO CIENTIFICO QUE ESPERAMOS SUPONGAN LOS OBJETIVOS CONSEGUIDOS, TAMBIEN ESPERAMOS QUE ESTOS TENGAN IMPACTO A NIVEL SOCIO-ECONOMICO, POR EJEMPLO, MEJORANDO EL NUMERO Y CALIDAD DE TRASPLANTES RENALES A REALIZAR, Y MEJORANDO LA COMPETITIVIDAD DE LAS EMPRESAS GRACIAS A QUE LOS OBJETIVOS PROPUESTOS RELACIONADAS CON SCHEDULING PERMITIRIAN OPTIMIZAR LOS PROCESOS PRODUCTIVOS, SAT\SMT\PROBLEMAS DE SATISFACCIÓN DE RESTRICCION\PROGRAMACIÓN DE TAREAS\PLANIFICACIÓN\CALIDAD DEL SOFTWARE ver más
01/01/2018
UDG
22K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2018-01-01
Presupuesto El presupuesto total del proyecto asciende a 22K€
Líder del proyecto
UNIVERSITAT DE GIRONA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 226