[发明专利]基于逻辑相容性的数字电路故障诊断方法及系统

摘要

本发明公开了一种基于逻辑相容性的数字电路故障诊断方法及系统，用户通过数字电路图形化建模单元搭建一个被诊断的数字电路系统，然后使用描述配置单元设定该电路的参数并用AD2L语言表示数字电路图形以文件的形式存储；用户通过AD2L语言解析单元读取描述配置单元存储的数字电路描述文件，定理证明单元应用用户提供的参数进行前后传播，记录该冲突；利用诊断算法单元利进行诊断求解；再利用故障定位单元在图形化的数字电路上突出显示可疑组件，并生成诊断测试报告。该系统具有从冲突识别到候选产生和探测，整个操作过程简单、用时短，系统对故障点的判别定位不依赖于操作人员或专家的经验。

主权项

一种基于逻辑相容性的数字电路故障诊断系统，其特征在于包括：数字电路图形化建模单元，用于图形化的组件拖放方式搭建一个被诊断的数字电路系统；描述配置单元，使用AD2L语言表示数字电路图形化建模单元所建立的数字电路系统并以文件的形式存储，同时用户输入诊断系统输入端的输入值、输出端的实际观测值、诊断个数上限以及诊断算法选择；AD2L语言解析单元，用于读取描述配置单元存储的数字电路描述文件，经过单词扫描和语法解析，将该描述文件在计算机内部表示为约束网络这样的数据结构，其中结点就是组件，边就是电路上的连线；定理证明器单元，用于对AD2L语言解析单元创建的约束网络进行冲突识别，即在描述文件的约束网络上进行前向式的推导算法和后向式的推导算法；诊断算法单元，采用用户选择的算法：HS‑树、BHS‑树或布尔代数方法对定理证明器单元的冲突识别进行诊断，以产生诊断候选；故障定位单元，把诊断算法单元产生的诊断结果对应到电路中的组件，并在图形化的数字电路上突出显示该组件以示可疑。