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

TIN2015-69175-C4-3-R

Financiado

Cerrado

SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA

PARA ABORDAR LOS RETOS REQUERIDOS POR LOS SISTEMAS SOFTWARE ACTUALES, SON NECESARIAS SOLUCIONES EFECTIVAS, MUCHOS RETOS EN TECNOLOGIA INFORMATICA PARA LA SOCIEDAD DIGITAL SUPONEN EL ANALISIS DE SISTEMAS COMPLEJOS, P,EJ, PROBLEMAS... ver más

01/01/2015

UPC

87K€

Presupuesto del proyecto: 87K€

Líder del proyecto

Universidad Politécnica de Cataluña No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 9

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

UPC

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

TIN2015-69175-C4-1-R SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA 110K€ Cerrado

TIN2015-69175-C4-2-R SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA 81K€ Cerrado

SPANDO Self organizing Performance Prediction and Optimization for... 222K€ Cerrado

TIN2008-06045-C02-01 DESARROLLO DE TECNICAS PARA AUTONOMIC COMPUTING 110K€ Cerrado

VERGE AI-powered eVolution towards opEn and secuRe edGe architEctu... 5M€ Cerrado

AMADEOS Architecture for Multi criticality Agile Dependable Evolutio... 3M€ Cerrado

Líder del proyecto

Universidad Politécnica de Cataluña No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 9

Presupuesto del proyecto 87K€

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

Descripción del proyecto PARA ABORDAR LOS RETOS REQUERIDOS POR LOS SISTEMAS SOFTWARE ACTUALES, SON NECESARIAS SOLUCIONES EFECTIVAS, MUCHOS RETOS EN TECNOLOGIA INFORMATICA PARA LA SOCIEDAD DIGITAL SUPONEN EL ANALISIS DE SISTEMAS COMPLEJOS, P,EJ, PROBLEMAS DE PLANIFICACION EN FABRICAS INTELIGENTES, ANALISIS DE RECURSOS Y SEGURIDAD EN SISTEMAS DISTRIBUIDOS, PROBLEMAS DE PROTECCION EN PROGRAMAS MULTIHILO, ASIGNACION DINAMICA DE RECURSOS EN SISTEMAS EN LA NUBE, ETC, ESTOS SISTEMAS INTERDEPENDIENTES Y COMPLEJOS ESTAN CADA VEZ MAS PRESENTES EN CIUDADES INTELIGENTES, EN EL AREA DE SANIDAD PUBLICA, O EN EL TRANSPORTE SOSTENIBLE, MUCHOS DE ESTOS SISTEMAS DEPENDEN DE PROPIEDADES DE SEGURIDAD Y PROTECCION VITALES PARA LA ECONOMIA, SIN EMBARGO, LA CREACION DE HERRAMIENTAS ROBUSTAS PARA ANALIZARLOS ES TODAVIA UN HITO SIGNIFICATIVO,NUESTRA APROXIMACION SE CENTRA EN LOS SIGUIENTES PASOS: (1) UN SISTEMA COMPLEJO Y REAL SE REPRESENTA EN UN MODELO ABSTRACTO; (2) LOS PROBLEMAS SE EXPRESAN EN UN DETERMINADO MARCO LOGICO Y; (3) SE APLICAN POTENTES TECNOLOGIAS BASADAS EN LA LOGICA PARA ANALIZAR Y RESOLVER LOS PROBLEMAS, EL PROYECTO LOBASS CONTRIBUYE EN LAS TRES DIRECCIONES: MODELAR PROBLEMAS REALES, EXPRESAR PROBLEMAS EN MARCOS LOGICOS Y DESARROLLAR TECNICAS Y HERRAMIENTAS PARA SOLUCIONARLOS U OPTIMIZARLOS, LA APROXIMACION EN CONJUNTO PERMITE APLICAR LAS MISMAS TECNICAS A DISTINTOS DOMINIOS (P,EJ, COMPUTACION EN LA NUBE, FABRICAS INTELIGENTES, ANALISIS DE PROTOCOLOS DE COMUNICACIONES), HACIENDO EL DESARROLLO DE HERRAMIENTAS PARA RESOLVER PROBLEMAS REALES SIGNIFICATIVAMENTE MAS SENCILLO Y RAPIDO,COMO BASE DEL PROYECTO UTILIZAREMOS EXTENSIONES Y COMBINACIONES DE LA LOGICA PROPOSICIONAL, DE PRIMER ORDEN Y ESTRUCTURAS ALGEBRAICAS, EN CONCRETO, CONSIDERAREMOS: SAT (SATISFACCION DE FORMULAS PROPOSICIONALES), SMT (SAT MODULO TEORIAS), PROGRAMACION CON RESTRICCIONES (CP), LOGICA DIFUSA (FL),LOGICA DE REESCRITURA (RWL), PROGRAMACION LOGICA (LP), PROGRAMACION LOGICA DIFUSA (FLP) E INTERPRETACION ABSTRACTA (AI), EN ESTE PROYECTO, NOS CENTRAREMOS EN LA COMBINACION Y EXTENSION DE ESTOS LENGUAJES FORMALES PARA OBTENER LA EXPRESIVIDAD NECESARIA EN NUESTRAS APLICACIONES PRACTICAS, NOS GUIAREMOS POR LOS RETOS ACTUALES EN TECNOLOGIA INFORMATICA PARA PLANIFICACION, SEGURIDAD, APRENDIZAJE AUTOMATICO, ANALISIS DE SISTEMAS COMPLEJOS, BIO-INFORMATICA O MANIPULACION DE XML, ASI COMO PARA EL DESARROLLO DE ALGORITMOS Y HERRAMIENTAS EFICIENTES PARA GENERAR Y RESOLVER LOS PROBLEMAS DESCRITOS, COMO APLICACIONES CONCRETAS, CONSIDERAMOS: (A) PLANIFICACION DE ACTIVIDADES DEPORTIVAS CON KNVB, HOLANDA, (B) OPTIMIZACION Y PLANIFICACION EN COLABORACION CON BARCELOGIC SOLUTIONS Y EL INTERES DE COMPAÑIAS COMO SIMO Y E2F, (C) ANALISIS DE SISTEMAS COMPLEJOS EN COLABORACION CON MICROSOFT RESEARCH EN CAMBRIDGE Y EL INTERES DE COMPAÑIAS COMO IBM, THALES, CLEARSY, VOSSLOH, EDICOM Y SEMANTIC SYSTEMS, (D) SEGURIDAD EN COLABORACION CON LA UNIVERSIDAD DE ILLINOIS EN URBANA-CHAMPAIGN Y EL LABORATORIO DE LA MARINA EN WASHINGTON, (E) PLANIFICACION DIFUSA DE RECURSOS EN CENTROS DE DATOS EN LA NUBE CON LA UNIVERSIDAD DE UMEA Y (F) EVALUACION DE SECUENCIAS DE TRANSCRIPCION EN COLABORACION CON EL INSTITUTO HOSPITAL DEL MAR DE INVESTIGACIONES MEDICAS (IMIM),NUESTRO PROYECTO CUBRE TODAS LAS ETAPAS DE DESARROLLO Y APLICACION DE TECNOLOGIAS INFORMATICAS, DESDE LA TEORIA BASICA HASTA LOS RETOS ACTUALES EN TECNOLOGIAS DE LA INFORMACION PARA LA SOCIEDAD DIGITAL Y EL TRANSPORTE INTEGRADO, INTELIGENTE Y SOSTENIBLE, LÓGICAS\RESOLUCIÓN DE RESTRICCIONES\SATISFACIBILIDAD DE FÓRMULAS\ANÁLISIS Y VERIFICACIÓN DE PROGRAMAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores