公开(公告)号：CN102156772A

公开(公告)日：2011-08-17

申请号：CN201110041818.4

申请日：2011-02-21

Applicant: 大连海事大学

Inventor： 陈荣 ,  高健 ,  张维石 ,  刘洪波 ,  陈时非 ,  林笠 ,  徐俊洁 ,  邓武 ,  姜云飞

IPC: G06F17/50 ,  G01R31/317

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