| Resumen | Muchos de los programas usados para toma de decisiones complejas (NP) se apoyan en "solvers" de programación lineal entera. En el Grupo de Arquitectura de Computadores usamos dichos solvers para resolver problemas de planificación de flujos en redes sensibles al tiempo (TSN). Existen varios solvers de código libre, cada uno con sus propias características y rendimiento.
El objetivo de este trabajo es estudiar varios de estos solvers y su adecuación a la resolución de problemas de planificación TSN. Para ello será necesario en primer lugar estudiar los distintos formatos disponibles para la representación de problemas de programación lineal y sus soluciones, así como la traducción entre ellos. Posteriormente deberá realizarse un estudio de rendimiento, intentando explotar el paralelismo cuando sea posible.
Como resultado, sería deseable disponer de un sistema automatizado capaz de traducir una representación pseudomatemática a un formato entendible por el solver seleccionado, obtener las opciones que proporcionen el mayor rendimiento del solver y adecuar la solución proporcionada en caso necesario. |
|---|