Identificación eficiente de componentes fuertemente conexas en la causalización de grandes modelos orientados a objetos

Resumen

Este artículo describe un algoritmo para encontrar componentes fuertemente conexas (CFC) de grafos dirigidos que presentan patrones repetitivos en su estructura. Dichos grafos pueden ser definidos de manera compacta utilizando Set-Based Graphs (SBG). Aprovechando esta representación, el costo computacional del algoritmo propuesto no varia al incrementar la cantidad de vértices y aristas presentes en el mismo patrón.
Su principal aplicación es la detección de lazos algebraicos durante la causalización de modelos orientados a objetos que cuentan con arreglos de variables y ecuaciones. De este modo el algoritmo propuesto preserva y retorna un resultado compacto, lo cual es útil para generar código de simulación eficiente.
Además de presentar el algoritmo en cuestión, el artículo incluye resultados teóricos relativos a su complejidad computacional. Por último se analiza el rendimiento real del algoritmo en dos modelos con distintos tipos de lazos algebraicos.