人工智能交换与服务标准IEEE1232研究及其故障推理机工程实现

摘要

故障诊断是模拟电路自动测试的关键环节，是评定一个自动测试系统的重要依据。而传统故障诊断系统诊断模块可移植性差，诊断知识难以移植，使故障诊断系统的开发效率难以提高。
　　为实现诊断知识的可共享性和诊断模块的可移植性，本文利用IEEE1232标准对诊断数据和诊断模块进行规范，开发了基于IEEE1232标准的故障诊断软件，使得诊断数据和诊断模块能够在支持IEEE1232标准的系统间进行共享和移植。本文开发的故障诊断软件主要有三个部分构成，分别是故障树的自动建立模块，模型文件生成模块和故障推理模块。
　　首先，在对故障电路进行深入分析的基础上，采用基于元件小故障树的自动建树方法，确定系统顶事件和故障结构，使用数据库建立元件小故障树，并利用故障系统元件的逻辑关系建立起整个系统的故障树。
　　诊断数据的可共享性是通过将诊断数据转换成符合标准的交换文件实现的。IEEE1232标准为交换文件指定了两种文件格式标准，分别是ISO10303-21:1994标准和ISO10303-28:2007标准。为进一步实现诊断知识的共享性，本文对两种标准的交换格式都进行了实现。
　　为完成故障诊断，本文按照IEEE1232标准对故障推理机的定义，开发了故障推理模块，利用上一步生成的标准格式的交换文件，对故障系统进行诊断，定位出故障信息。并开发了推理客户程序，实现与测试环境的交互。
　　最后，通过将故障诊断系统整合到自动测试系统中，利用人为设置故障的电路对系统进行验证。经验证发现，本文开发的系统能够正确建立系统的故障树图，生成有效的交换文件，并利用故障推理模块成功地定位出故障信息。故障诊断的各个功能部分都达到了预期的目标。

目录

声明

第一章 绪论

1.1 研究背景及国内外现状

1.2 研究的目的及意义

1.3 本文研究内容及结构安排

第二章 软件功能需求和整体设计

2.1 软件基本功能

2.2 软件功能需求

2.3 软件总体结构设计

2.4 软件使用技术标准及性能指标

2.5 本章小结

第三章 故障树建立模块的设计与实现

3.1 故障树分析方法概述

3.2 故障树建立模块整体设计

3.3 基于元件小故障树的自动建树方法实现

3.4 故障树数据库的维护和管理功能实现

3.5 本章小结

第四章 模型文件生成模块的设计与实现

4.1 交换文件的格式和选择

4.2 ISO 10303-21格式文件的分析与实现

4.3 ISO 10303-28格式文件的分析与实现

4.4 本章小结

第五章 诊断推理模块的设计与实现

5.1 故障推理模块的设计

5.2 故障推理服务的研究

5.3 诊断推理模块的内部设计与实现

5.4 DCM模块的设计与实现

5.5 客户程序的设计与实现

5.6 本章小结

第六章 验证

6.1 故障树建立工具验证

6.2 模型文件有效性验证

6.3 故障推理服务验证

第七章 总结与展望

致谢

参考文献

攻读硕士学位期间获得的成果