论文部分内容阅读
在基于ＡＮＤ／ＯＲ故障树的数字系统诊断方法中，当电路规模变得越来越大时，所生成的命题数目将会急剧增加，从而使诊断的复杂性随之增加。为了有效地 这一问题，文章给出一种基于故障树的划分诊断方法，并对结合对具体电路的划分诊断，阐明该方法可显著降低诊断的复杂性，从而使基于ＡＮＤ／ＯＲ故障树的诊断方法变得切实可行。