Métodos para a remoção de redundâncias de árvores de falhas

A análise de árvores de falhas é uma importante ferramenta de apoio às inferências quanto à confiabilidade que, por sua vez, é uma das bases da engenharia de produção. O método de BDDs (Diagramas de Decisão Binária) tem sido citado como uma alternativa às técnicas convencionais, que alia tanto maior precisão quanto menor esforço computacional. O grande problema para a aplicação de BDDs reside na necessidade de conversão da árvore de falhas para o seu formato. Os métodos de diagramas espirais, que assumem a função de conversores da árvore em BDD, requerem que não haja redundâncias na árvore; isto é, que ela esteja isenta de cortes não-mínimos. Neste artigo sugere-se, uma série de métodos de remoção de redundâncias de árvores de falhas, a princípio coerentes, inicialmente inspirada no método de redução de Faunet