数字系统故障检测

摘要

数字系统故障诊断的基础理论是用布尔差分法生成测试矢量，本文所介绍的线段布尔基分法解决了布尔差分公式法的计算复杂性和占用大量存空间的缺点。根本原因在于线段布尔代数揭示了布尔代数的物理结构特点，具有鲜明的物理意义。同时城段布尔代数与计算机存贮结构相吻合，非常适合于计算机运算．由于布尔线段有序性和对称性的结构，引入对称法来贯穿全部运算和求解过程．因此显示出高效、快捷的优越性。 本文对布尔线段法电路化化作了描述．对组合、同步、异步时序电路化简方法作了阐述并将同步、异步时序电路化简法统一起来了。对逻辑故障测试矢量的生成法作了较详细的分析，对单固定性故障、多故障测试矢量生成，以及求解方法给出了解决措施。...