[发明专利]基于逻辑相容性的数字电路故障诊断方法及系统无效
申请号: | 201110041818.4 | 申请日: | 2011-02-21 |
公开(公告)号: | CN102156772A | 公开(公告)日: | 2011-08-17 |
发明(设计)人: | 陈荣;高健;张维石;刘洪波;陈时非;林笠;徐俊洁;邓武;姜云飞 | 申请(专利权)人: | 大连海事大学 |
主分类号: | G06F17/50 | 分类号: | G06F17/50;G01R31/317 |
代理公司: | 大连东方专利代理有限责任公司 21212 | 代理人: | 李洪福 |
地址: | 116026 辽*** | 国省代码: | 辽宁;21 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于逻辑相容性的数字电路故障诊断方法及系统,用户通过数字电路图形化建模单元搭建一个被诊断的数字电路系统,然后使用描述配置单元设定该电路的参数并用AD2L语言表示数字电路图形以文件的形式存储;用户通过AD2L语言解析单元读取描述配置单元存储的数字电路描述文件,定理证明单元应用用户提供的参数进行前后传播,记录该冲突;利用诊断算法单元利进行诊断求解;再利用故障定位单元在图形化的数字电路上突出显示可疑组件,并生成诊断测试报告。该系统具有从冲突识别到候选产生和探测,整个操作过程简单、用时短,系统对故障点的判别定位不依赖于操作人员或专家的经验。 | ||
搜索关键词: | 基于 逻辑 相容性 数字电路 故障诊断 方法 系统 | ||
【主权项】:
一种基于逻辑相容性的数字电路故障诊断系统,其特征在于包括:数字电路图形化建模单元,用于图形化的组件拖放方式搭建一个被诊断的数字电路系统;描述配置单元,使用AD2L语言表示数字电路图形化建模单元所建立的数字电路系统并以文件的形式存储,同时用户输入诊断系统输入端的输入值、输出端的实际观测值、诊断个数上限以及诊断算法选择;AD2L语言解析单元,用于读取描述配置单元存储的数字电路描述文件,经过单词扫描和语法解析,将该描述文件在计算机内部表示为约束网络这样的数据结构,其中结点就是组件,边就是电路上的连线;定理证明器单元,用于对AD2L语言解析单元创建的约束网络进行冲突识别,即在描述文件的约束网络上进行前向式的推导算法和后向式的推导算法;诊断算法单元,采用用户选择的算法:HS‑树、BHS‑树或布尔代数方法对定理证明器单元的冲突识别进行诊断,以产生诊断候选;故障定位单元,把诊断算法单元产生的诊断结果对应到电路中的组件,并在图形化的数字电路上突出显示该组件以示可疑。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于大连海事大学,未经大连海事大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201110041818.4/,转载请声明来源钻瓜专利网。