Theoretical lattices and formal concept analysis, tools for metatheoretic structuralism

We propose to take advantage of the computational methodologies of formal concept analysis and network visualization to represent and study the internal structure of axiomatized theories. This exercise was put into practice by comparing more than 44 theoretical models of space-time and gravitation. The lattices can be explored with interactive visualizations known as macroscopes that highlight relations of specialization, theorization, hierarchical orderings, communities and classes of components. In this text we exemplify with the reconstruction of classical particle mechanics, theories of space-time and gravitation

Sistema electrónico y método para la mitigación de ferroresonancias en transformadores de tensión

Sistema configurado para la mitigación de ferroresonancias en transformadores de tensión, conectado al triángulo abierto de protección formado por los devanados de protección del conjunto de transformadores de tensión conectados a una red eléctrica de potencia, que comprende: a) un bloque de decisión, y b) un bloque emulador de resistencia, que comprende a su vez un convertidor de potencia y un procesador del valor de la tensión de entrada. Método para la mitigación de ferroresonancias en transformadores de tensión.Solicitud: 201800244 (25.10.2018)Nº Pub. de Solicitud: ES2756923 (27.04.2020)Nº de Patente: ES2756923B2 (16.02.2021)Corrección: ES2756923B8 (09.04.2021