RT info:eu-repo/semantics/bachelorThesis
T1 Revisión y adaptación de la herramienta para el cálculo de Posibles Conflictos
A1 Domínguez Prieto, Manuel
A2 Universidad de Valladolid. Escuela Técnica Superior de Ingeniería Informática
K1 Lenguajes de programación
K1 Algoritmos
K1 Diagnóstico basado en modelos
AB 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.
YR 2014
FD 2014
LK http://uvadoc.uva.es/handle/10324/7901
UL http://uvadoc.uva.es/handle/10324/7901
LA spa
DS UVaDOC
RD 28-abr-2024