Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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... ver más

01/01/2018

UDG

22K€

Presupuesto del proyecto: 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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2018-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UDG

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TIN2012-33042 HERRAMIENTAS LOGICAS PARA PROBLEMAS COMBINATORIOS 24K€ Cerrado

TIN2015-66293-R LOGICA PARA PROBLEMAS COMBINATORIOS 67K€ Cerrado

TIN2013-48031-C4-1-P TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 53K€ Cerrado

TIN2013-48031-C4-4-P TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 31K€ Cerrado

RED2018-102687-T SATISFACTIBILIDAD Y PROGRAMACION CON RESTRICCIONES 15K€ Cerrado

TIN2016-76573-C2-1-P TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 23K€ Cerrado

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

Presupuesto del proyecto 22K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores