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

Cerrado

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 227

Fecha límite participación Sin fecha límite de participación.

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%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UDG

Lider

Proyectos interesantes

TIN2012-33042

Software

Artificial Inte...

24K€ Cerrado

CertiFOX

Software

Data Analytics

2M€ Cerrado

TIN2013-48031-C4-1-P

Software

Data Science

53K€ Cerrado

TIN2013-48031-C4-4-P

Software

Data Science

31K€ Cerrado

PID2019-109137GB-C21

Software

Data Science

79K€ Cerrado

TIN2010-20967-C04-02

Software

Data Science

10K€ Cerrado

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

Líder del proyecto

UNIVERSITAT DE GIRONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 227

Presupuesto del proyecto 22K€

Fecha límite de participación Sin fecha límite de participación.

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