Examinando por Autor "Díaz Frias, Juan Francisco"

Mostrando 1 - 6 de 6
  • Miniatura
    PublicaciónAcceso abierto
    An Approach to formal Modeling of grid Computing.
    (Universidad del Valle, 2016) Ramírez Restrepo, Carlos Alberto; Díaz Frias, Juan Francisco; Aranda Bueno, Jesús Alexander
    Grid computing (GC) is a large-scale computational paradigm and infrastructure that comprises a massive poolofresources. Users interact with the gridby concurrently adding new challenging tasks
  • Miniatura
    PublicaciónAcceso abierto
    Applying Learning Techniques in SABIO, a Constraint Programming Application for Soccer Analysis.
    (Universidad del Valle, 2016) Duque Agudelo, Robinson Andrey; Díaz Frias, Juan Francisco; Arbeláez, Alejandro
    El fútbol es uno de los deportes más importantes en el mundo, con un gran impacto en los medios masivos de comunicación y seguido por millones de personas. Una competencia de fútbol consiste en n equipos jugando en un sistema de todos contra todos, ya sea en un torneo o liga. Estas competencias ofrecen una excelente oportunidad para modelar problemas relacionados con preguntas que los hinchas frecuentemente tienen sobre sus equipos favoritos. Por ejemplo, en determinado momento, los hinchas pueden estar interesados en determinar si un equipo aún tiene posibilidades de ganar la competencia, es decir, quedar de primero en la liga o finalizar dentro de los primeros k equipos en un tornero para clasificar al sistema de eliminación. Esta pregunta se denomina el problema de la eliminación, el cual es NP-Completo para el sistema actual de puntos determinado por la FIFA (0, 1, 3). Cero puntos cuando se pierde, un punto cuando se empata, tres puntos cuando se gana. La programación por restricciones (CP), es un paradigma que ha desarrollado diversas técnicas para abordar problemas combinatorios y en los últimos años, un creciente interés en combinar CP con aprendizaje de maquina (ML) ha sido estudiado con el fín de mejorar la eficiencia de CP en la búsqueda de soluciones. SABIO es acrónimo de Soccer Analysis Based on Inference Outputs, una plataforma desarrollada bajo el paradigma de CP con el soporte académico de AVISPA, un grupo de investigación de la Universidad del Valle (www.sabiofutbol.com). SABIO puede ser usado para descubrir información y responder preguntas relacionadas con equipos de fútbol en una competencia particular. La plataforma ofrece interfaces gráficas para establecer preguntas en forma de restricciones. Para encontrar soluciones, SABIO utiliza estrategias de búsqueda que incluyen selección estática de variable/valor que funcionan bien para ciertas instancias. Sin embargo, pruebas empíricas sobre la aplicación, permitieron identificar una familia de instancias donde SABIO presenta bajo rendimiento para encontrar soluciones y los tiempos de ejecución son muy largos (más de 30 segundos) para ser ofrecidos en una aplicación web o móvil. Para afrontar esta dificultad, hemos combinado el uso de programación por restricciones, aprendizaje de máquina y programación entera mixta (MIP) para proponer 2 modelos que resuelvan preguntas relacionadas con fútbol en cualquier momento de la competencia. El primer modelo (CP-ML) combina una serie de nuevas restricciones que incrementan la poda en el árbol de búsqueda, además de un clasificador para selección de valores. El segundo modelo (MIP) es una versión de programación entera mixta de SABIO. Nuestros experimentos demuestran que estos nuevos modelos mejoran el rendimiento de SABIO. Encontramos también que si ambos modelos se combinan en una ejecución mixta, se convierten en un solver muy robusto y rápido
  • Miniatura
    PublicaciónAcceso abierto
    Comprobación probabilística de resultados de programas.
    (2011-10-13) Díaz Frias, Juan Francisco; Maca, Mauricio; Uzuriaga, Vivian
    Este artículo presenta una visión global del tema comprobación probabilística de resultados de programas, resaltando la necesidad introducir la noción de comprobación en el contexto de desarrollo y depuración de software e ilustrando con un ejemplo sencillo la utilidad de esta teoría.
  • Miniatura
    PublicaciónAcceso abierto
    Crear : consejero para la repartición de artículos y evaluadores en eventos académicos,
    (2011-10-13) Aranda Bueno, Jesús Alexander; Díaz Frias, Juan Francisco; Ortíz, James J.
    Este artículo presenta crear, una aplicación computacional desarrollada para realizar más eficientemente el proceso de distribución de los artículos candidatos para participar en el evento del Clei . Para su desarrollo se diseñó un modelo computacional del problema, utilizando el paradigma de programación por restricciones y se implementó utilizando Mozart, un lenguaje de programación apropiado para este paradigma. El paradigma y el modelo computacional también se describen en este artículo.
  • Miniatura
    PublicaciónAcceso abierto
    Implementación de los mecanismos de búsqueda para la nueva máquina virtual de Mozart
    (Universidad del Valle, 2013) Villanueva Sanclemente, Miguel Ángel; Díaz Frias, Juan Francisco; Gutiérrez Sabogal, Gustavo
    La programación por restricciones presenta estrategias de solución a problemas de optimización y combinatorios. La estrategia general para su uso es mediante la especificación de las variables del problema y las relaciones (restricciones) que entre ellas se deben mantener. Después de dicha especificación el usuario hace uso de motores de búsqueda predefinidos que se encargan de recorrer el espacio de soluciones del problema. Gecode es un componente de software que implementa el paradigma de programación por restricciones de manera eficiente. Sin embargo su utilización es compleja para usuarios por el lenguaje de programación. Oz es un lenguaje de programación inventado en la década de los 90 que soporta entre otros el paradigma de programación por restricciones. Debido a su concepción multiparadigma ha sido adoptado por una comunidad de investigación importante. Este lenguaje interpretado ofrece mejores abstracciones y provee un ambiente de trabajo más confortable. Su implementación, Mozart hasta ahora ha carecido de soporte en la adopción de los avances en la investigación en esta ´área. Por esta razón se ha diseñado una nueva máquina virtual con Gecode como motor de restricciones, para tomar ventaja de estos avances. En este documento se propondrán los mecanismos para la interacción de los motores de búsqueda implementados en Gecode con Mozart, como también los mecanismos que permitan al usuario implementar sus propios motores de búsqueda en Oz y utilizarlos. Esto es de gran importancia para los usuarios porque permitirá sacar ventaja del conocimiento que este posee sobre el problema obteniendo búsquedas más eficientes.
  • Miniatura
    PublicaciónAcceso abierto
    Visir : software de soporte para la toma de decisiones de vertimiento de agua en la represa del Alto Anchicayá usando programación concurrente por restricciones.
    (2011-10-13) Díaz Frias, Juan Francisco; Rueda, Camilo
    Este artículo presenta Visir, una aplicación computacional desarrollada para ayudar a la empresa EPSA a resolver el problema de la toma de decisiones de vertimiento de agua en la represa del Alto Anchicayá. Para su desarrollo se diseñó un modelo computacional del problema utilizando el paradigma de programación concurrente por restricciones, y se implementó utilizando Mozart ([Vh99]) un lenguaje de programación adecuado para este paradigma. El paradigma y el modelo computacional también se describen en este artículo.