Examinando por Autor "Arboleda, Orlando"

Mostrando 1 - 2 de 2
  • No hay miniatura disponible
    PublicaciónSólo datos
    Actualización de CPGraph, un framework para resolver CSPs (Problemas de Satisfacción de Restricciones), que involucran grafos, de Gecode 1.0.0 a Gecode 2.1.1
    (Universidad del Valle, 2009) Pulido Burbano, José Luis; Przybilla, David Alejandro; Arboleda, Orlando
    Este Trabajo de Grado consistió en una investigación realizada durante un año. El objetivo fue acturizar una libreria de clases cuyo nombre es CP(Graph), ademas de alcanzarse los objetivos planteados al comienzo de la investigación, se presentan resultados extra alcanzados. El documento impreso describe entre otros, los cambios realizados para alcanzar la actualización y los resultados obtenidos a partir de la experimentación con nuevos conceptos del estado del arte de la programación por restricciones. Palabras Clave: Programación Por Restricciones, CP(Graph), Gecode, Teoría de Grafos, Recuperación de Secuencias de Reacciones Metabólicas, Programación Orientada A Objetos, Propagación Incremental, Ciencias de la Computación
  • No hay miniatura disponible
    PublicaciónSólo datos
    Sistema para la planificación de los docentes, horarios, salones, laboratorios y salas de cómputo de la Universidad del Valle Sede Tuluá
    (Universidad del Valle, 2009) Marín Fernández, Carlos Mario; Yepes Marín, Cristian Humberto; Arboleda, Orlando
    El problema de asignación de cursos, horarios y recursos es un problema de planicación que ha sido enfrentado con distintas técnicas de programación, desde el punto de vista de la programación por restricciones un problema de satisfacción de restricciones consiste en un conjunto de variables acotadas en un dominio discreto o continuo y una serie de restricciones que acotan los valores que las variables pueden simultáneamente tomar. El objetivo de este tipo de problemas es encontrar una asignación de valores a las variables de manera que se satisfagan todas las restricciones. La complejidad de este problema es NP-completo, por lo que es necesario el uso de técnicas ecientes que resuelvan estos problemas en un tiempo razonable. En este documento se presentará un modelo de solución al problema men-cionado y se mostrarán los aspectos más importantes de la implementación de la solución hecha bajo el lenguaje de programación c++ usando la librería Gecode para todo lo referente a la programación por restricciones además de otros lenguajes como java para la implementación de una aplicación la cual será la herramienta para crear el archivo de entrada para el motor de restricciones.