Algebraic Reliability. Monomial ideals applied to multi-state system reliability stars

Resumen

En esta tesis se estudia la fiabilidad de sistemas multi-estado mediante un acercamiento algebraico basado en ideales monomiales. Consideramos un sistema como un conjunto de componentes junto con una función de estructura. Tanto las componentes como el sistema se dicen binarios si u ́nicamente pueden alcanzar dos niveles o estados de funcionamiento diferentes: 0 es fallo y 1 es funcionamiento; mientras que se dicen multi-estado si pueden alcanzar más de dos estados diferentes. El estado o nivel de funcionamiento de un sistema está determinado por el estado de sus componentes por medio de su función de estructura. La fiabilidad (respectivamente no fiabilidad) de un sistema se define como la probabilidad de que el sistema se encuentre en un estado de funcionamiento (o en un estado de fallo, respectivamente). Para sistemas binarios, la fiabilidad representa la probabilidad de que el sistema se encuentre en estado 1, mientras que para los sistemas multiestado tenemos diferentes niveles de fiabilidad dependiendo del número de estados del sistema. La relación entre algebra y teoría de la fiabilidad viene dada por los ideales monomiales: ideales libres de cuadrados en el caso de sistemas binarios e ideales monomiales con exponentes en el caso multi-estado. Por ello, necesitamos estudiar con detenimiento la relación existente entre los ideales monomiales libres de cuadrados y los monomiales con exponentes. Para investigar esta relación, se exploran las operaciones polarización y depolarización. La polarización es una operación que transforma un ideal monomial con exponentes en un ideal monomial libre de cuadrados. Para cada ideal monomial existe una única polarización. La depolarización es la operación inversa, pero el resultado no es único: al depolarizar un ideal monomial libre de cuadrados podemos obtener más de un ideal monomial con exponentes. Con el objetivo de encontrar todas las posibles depolarizaciones de un ideal monomial, hemos desarrollado una herramienta combinatoria llamada support posets. Las operaciones polarización y depolarizacioón son interesantes porque los ideales originales y su polarización o depolarización comparten algunas propiedades importantes como pueden ser los númerosde Betti o la serie de Hilbert y, en muchas ocasiones, es más sencillo calcular estas propiedades en un caso determinado, es decir, a veces es más sencillo calcularlas en el caso libre de cuadrados y, otras, en un caso monomial con exponentes. En esta tesis hemos visto qué otras propiedades se comparten entre ambos ideales. Además, hemos investigado bajo qué condiciones un poset es support poset de un ideal monomial. Una vez tratadas las relaciones entre los ideales monomiales citados, comenzamos a analizar la fiabilidad de un sistema multi-estado. Existen diferentes métodos para calcular la fiabilidad de un sistema, incluso los hay que son muy eficientes para sistemas específicos y bajo ciertas condiciones. Hemos estudiado con especial detalle los sistemas multi-estado k-entre-n, para los que revisamos las diferentes definiciones que se han dado en la literatura y las interpretamos en términos de ideales monomiales. Para ciertas variantes de los sistemas k-entre-n multi-estado (sistemas binarios k-entre-n con componentes multi-estado, sistemas damos sus estructuras algebraicas asociadas y fórmulas explícitas para calcular sus números de Betti. El método algebraico que proponemos para calcular la fiabilidad es general y ofrece un buen rendimiento, aunque no es tan rápido como los métodos específicos. Además, hemos comprobado cómo se comporta, en algunos casos, el método en términos computaciones. Para ello, hemos desarrollado una clase en C++ con CoCoALib. La clase no solo nos va a permitir realizar experimentos computacionales con ella, sino que, además, está disponible para cualquier persona que la necesite.