Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2015-01-01

0% 100%

Participantes

UDL

Lider

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

Últimas noticias

30-11-2024: Cataluña Gestión For... Se ha cerrado la línea de ayuda pública: Gestión Forestal Sostenible para Inversiones Forestales Productivas para el organismo:

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

Líder del proyecto

UNIVERSITAT DE LLEIDA CCT

Sin perfil tecnológico

Presupuesto del proyecto 2K€

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

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores