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

EUIN2015-62402

Financiado

APROXIMACIONES BASADAS EN SAT PARA PROBLEMAS REALES DE OPTIMIZACION COMBINATORIA

LOS PROBLEMAS DE OPTIMIZACION COMBINATORIA SURGEN EN MUCHOS AMBITOS: PLANIFICACION, VERIFICACION DE SOFTWARE Y HARDWARE, COMPILACION DE CONOCIMIENTO, MODELOS PROBABILISTICOS, BIOINFORMATICA, SISTEMAS DE ENERGIA, CIUDADES INTELIGEN... ver más

01/01/2015

UDL

2K€

Presupuesto del proyecto: 2K€

Líder del proyecto

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

Sin perfil tecnológico

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 2015-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

UDL

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

BES-2013-062658 APLICACIONES DE OPTIMIZACION COMBINATORIA: DISEÑO, IMPLEMENT... 84K€ Cerrado

TIN2009-07727 METAHEURISTICAS MONO- Y MULTI-OBJETIVO PARA APLICACIONES REA... 147K€ Cerrado

PID2021-126605NB-I00 NUEVA METODOLOGIA HOLISTICA PARA LA CONFIGURACION, COMPARACI... 127K€ Cerrado

PID2019-110886RB-I00 MATHEMATICAL OPTIMIZATION FOR DATA-DRIVEN DEICSION-MAKING 97K€ Cerrado

TIN2015-65460-C2-1-P OPTIMIZACION COMBINATORIA II: METODOS Y ESTRATEGIAS 56K€ Cerrado

PID2019-109137GB-C21 SISTEMAS DE DEMOSTRACION PRACTICOS MAS ALLA DE RESOLUCION 79K€ Cerrado

Líder del proyecto

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

Sin perfil tecnológico

Presupuesto del proyecto 2K€

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

Descripción del proyecto LOS PROBLEMAS DE OPTIMIZACION COMBINATORIA SURGEN EN MUCHOS AMBITOS: PLANIFICACION, VERIFICACION DE SOFTWARE Y HARDWARE, COMPILACION DE CONOCIMIENTO, MODELOS PROBABILISTICOS, BIOINFORMATICA, SISTEMAS DE ENERGIA, CIUDADES INTELIGENTES, REDES SOCIALES, SOSTENIBILIDAD COMPUTACIONAL, ETC, SI BIEN HA HABIDO UN ENORME PROGRESO EN LA ULTIMA DECADA EN LA RESOLUCION DE LOS PROBLEMAS DE DECISION A TRAVES DE TECNICAS DE PROGRAMACION CON RESTRICCIONES, COMO LOS RESOLUTORES DE SATISFACIBILIDAD, TODAVIA NO HEMOS EXPERIMENTADO UNA REVOLUCION SIMILAR EN LA RESOLUCION DE PROBLEMAS DE OPTIMIZACION, POR LO TANTO, UN CLARO DESAFIO PARA LA PROXIMA DECADA ES LLEVAR LAS TECNICAS DE OPTIMIZACION AL MISMO NIVEL DE EXITO, EN ESTE PROYECTO, TRABAJAREMOS EN LA PROXIMA GENERACION DE APROXIMACIONES BASADAS EN TECNICAS DE SATISFACIBILIDAD PARA PROBLEMAS DE OPTIMIZACION, EN PARTICULAR, ESTUDIAREMOS NUEVAS NOCIONES DE APRENDIZAJE DE CLAUSULAS DIRIGIDO POR CONFLICTOS (CDCL) EN EL CONTEXTO DE LA OPTIMIZACION, LA GESTION EFICIENTE DE RESTRICCIONES ARITMETICAS, SOLUCIONES HIBRIDAS DE CDCL Y TECNICAS INVESTIGACION OPERATIVA Y, FINALMENTE, TECNICAS DE BUSQUEDA INCOMPLETA, TAMBIEN ESTUDIAREMOS COMO EXPLOTAR LA ESTRUCTURA DE PROBLEMAS DE OPTIMIZACION DEL MUNDO REAL, REPRESENTADOS COMO GRAFOS, MEDIANTE LA APLICACION DE TECNICAS DE LA COMUNIDAD DE REDES COMPLEJAS, ESTO TIENE UN PROPOSITO DOBLE: CARACTERIZAR MEJOR LOS CASOS MEDIANTE LA EXTRACCION DE CARACTERISTICAS SIGNIFICATIVAS, Y ESTUDIAR COMO LAS TECNICAS BASADAS EN SAT PUEDEN EXPLOTAR ESTA ESTRUCTURA, POR ULTIMO, CON EL FIN DE AMPLIAR EL ALCANCE PRACTICO DE NUESTRAS TECNICAS DE RESOLUCION, PARALELIZAREMOS LOS ALGORITMOS SECUENCIALES, QUE GRACIAS A SU DISEÑO SON CANDIDATOS NATURALES, TAMBIEN VAMOS A ESTUDIAR COMO APLICAR ALGORITMOS DE SELECCION Y CONFIGURACION AUTOMATICA EN BASE A LAS CARACTERISTICAS EXTRAIDAS, CREEMOS FIRMEMENTE QUE LA RESOLUCION DE LAS CUESTIONES PLANTEADAS POR ESTE PROYECTO TENDRA UN IMPACTO IMPORTANTE EN LAS AREAS DE CIENCIAS DE LA COMPUTACION Y OTROS CAMPOS CIENTIFICOS DONDE LA RESOLUCION EFICIENTE DE LOS PROBLEMAS DE OPTIMIZACION COMBINATORIA ES UNA PIEZA CLAVE, EFICIENCIA\SOSTENIBILIDAD\OPTIMIZACIÓN COMBINATORIA\SATISFACTIBILIDAD.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores