2024-03-29T02:26:29Zhttp://uvadoc.uva.es/oai/requestoai:uvadoc.uva.es:10324/79012021-06-29T10:28:50Zcom_10324_38col_10324_852
Revisión y adaptación de la herramienta para el cálculo de Posibles Conflictos
Domínguez Prieto, Manuel
Pulido Junquera, José Belarmino
Universidad de Valladolid. Escuela Técnica Superior de Ingeniería Informática
Lenguajes de programación
Algoritmos
Diagnóstico basado en modelos
Este TFG analiza y mejora una herramienta para calcular posibles conflictos, realizada en el lenguaje de programación Java aprovechando las mejoras introducidas en las nuevas versiones de dicho lenguaje.
El objetivo de esta herramienta es, a partir de la definición de un sistema, detectar dónde pueden producirse conflictos; es decir, discrepancias entre valores observados y valores predichos. Estas tareas son previas a su utilización en el diagnóstico basado en modelos.
Esta herramienta usa algoritmos que, en sistemas medianamente complejos, requieren mucho tiempo para finalizar; principalmente debido a operaciones de búsqueda, inserción y borrado de elementos en listas considerablemente grandes. Este tiempo puede reducirse usando estructuras de datos ordenadas y aprovechando algoritmos de búsqueda que hacen estas operaciones más eficientes.
Existen múltiples versiones de estos algoritmos, añadiendo cada uno de ellos características adicionales que permiten diagnosticar sistemas más complejos, por ejemplo, sistemas híbridos donde cada ecuación del modelo tiene una condición que indica cuándo se puede utilizar. En este trabajo hemos modificado las versiones existentes y aplicado las nuevas estructuras ordenadas para hacerlos más eficientes.
Por otro lado, esta herramienta ofrecía también una función para representar gráficamente los posibles conflictos en forma de hipergrafos dirigidos; ésta tenía problemas de gestión de memoria (se quedaba bloqueada en sistemas muy grandes) y la representación no era demasiado clara; por lo que se tuvo que realizar una nueva versión.
2015-01-19
2015-01-19
2014
info:eu-repo/semantics/bachelorThesis
http://uvadoc.uva.es/handle/10324/7901
spa
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 International