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

• Autor(a) principal: Firmino, Paulo Renato Alves
• Data de Publicação: 2004
• Outros Autores: Moreira, Pedro Igor Carvalho, Chikushi, Rohgi Toshio Meneses, Droguett, Enrique López
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Revista Produção Online
• Texto Completo: https://www.producaoonline.org.br/rpo/article/view/1848
• topic: Árvores de Falhas; Redundância; Diagramas Espirais.

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 é, queela 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.