Detalles del proyecto
Descripción
La cadena de suministro humanitaria desempeña un papel importante para mitigar los daños producidos tras una catástrofe. El éxito de cualquier operación humanitaria es directamente atribuible a la eficiencia de la cadena de suministro en términos de hacer llegar las personas y los suministros necesarios al lugar adecuado, en el momento apropiado. Teniendo en cuenta los múltiples factores que afectan el modelamiento y ejecución de planes de logística humanitaria, actualmente existen soluciones de optimización (multiobjetivo) para analizar situaciones específicas. Sin embargo, las aproximaciones utilizando problemas de optimización se limitan a un campo de solución y son aplicables únicamente a problemas específicos debido a la incertidumbre intrínseca al problema bajo estudio (e.g., afectación de la población, la infraestructura física y los sistemas de apoyo). Por esta razón es necesario actualizar el enfoque utilizado una propuesta que capture dicha incertidumbre de forma general, manteniendo la eficacia para modelar y ejecutar redes de distribución con distintas tipologías. A pesar de los importantes avances que se registran en la literatura científica, es bien sabido que cada escenario es construido a la medida. Por ende, es difícil extenderlos o combinarlos con otros para establecer propiedades cuantitativas más robustas dentro de un marco unificador y suficientemente general para ser aplicable a los diferentes intereses asociados a responder a un desastre desde la perspectiva de logística humanitaria en función de sus redes de distribución. Este trabajo de investigación propone contribuir atendiendo este reto al tratar de responder la siguiente pregunta de investigación: ¿Cómo identificar infraestructura crítica para el transporte y distribución de suministros humanitarios en zonas afectadas por desastres naturales? El enfoque de este proyecto se basará en modelar de manera formal las redes de distribución como grafos en el lenguaje formal de la lógica de reescritura, una lógica computacional sencilla que puede expresar naturalmente ejecución concurrente de procesos. El modelo será ejecutable en el sistema Maude, bajo ciertas suposiciones algorítmicas asociadas –en este caso- a los grafos. Esta configuración tiene la ventaja de permitir el desarrollo de algoritmos complementarios enfocados en atender necesidades específicas como, por ejemplo, la optimización del espacio de búsqueda para detectar errores. Además, Maude viene equipado con una plétora de herramientas de verificación con diferentes propósitos. Entre ellas, se destacan una extensión probabilística del lenguaje denominada PMaude y con tiempo denominada Realtime Maude, y la posibilidad de evaluar propiedades cuantitativas de especificaciones en estas extensiones. Esta será la principal apuesta de esta propuesta al contar con un marco matemático y computacional lo suficientemente flexible y útil para analizar redes de distribución con ayuda de algoritmos sofisticados de simulación y verificación.
Estado | Finalizado |
---|---|
Fecha de inicio/Fecha fin | 05/07/23 → 04/01/25 |
Palabras clave
- Lógica de reescritura
- Lógica temporal probabilística
- Logística humanitaria
- Modelos computacionales
- Propiedades cuantitativas
- Redes de distribución
Financiación de proyectos
- Interna
- Pontificia Universidad Javeriana