診断結果を論理式で表現した故障診断システム

摘要

診断結果を論理式を用いて表現する自己rn診断システムのアルゴリズムを提案する．従来の故障rn診断システムは故障数に対する上限あるいはグラフのrn形状に制限を設けていたが，このアルゴリズムはそのrnいずれにも制限を設けなくても解析可能である．時間rn計算量は頂点数nに対して0（n~6）である．