C A T (计算机辅助测
试 )技术
▲测控技术基础知识讲座▲
c AT
(计算机辅助测试 )技术
第六讲
CA T
的发展
南京航空肮天大学
郑叔芳
cAT
的一个主要优势是具有几乎是无限的技术
。
糊推理或随机模糊推理的故障诊断专家系统
。
发展潜力
cAT
,
充足的软资源与日俱增的计算速度
,
飞机机械故障诊断专家系统是模糊推理故障诊断
和内存容量日新月异的输入输出设备为
,
C AT
发展
的最
系统的典型实例[
’飞
。
模糊推理的关键是建立知识库和
。、
提供了有效的物质基础结合我们的工作本讲将着重介绍几项
,
。
推理机
CA T
A
。
为此需先分析故障诊断知识的特点
,
飞机机械故障诊断的三个基本要素是征兆中间
新发展模糊测试自适应测试
:
、
、
C A
/ T
C AD
C/
M
信息
结果和故障成因其属性参数是隶属度
,
,
。、
,
。
集成
1
。
中间结果由成因引起并产生征兆也可能没有中
间结果由成因直接产生征兆成因中间结果征兆三者关系是多种多样的可能一个成因引起一个征兆也
,
。、
。
模糊测试
故障测试从逻辑结构上可分为两类
。
:
可能一个成因引起多个征兆或多个成因引起一个征
,
,
¹基于形式逻辑推理的故障检测系统抽象为确定模型或随机模型本讲座第一讲中介绍的飞机电缆自动检测系统是其典型实例º基于经验推断的故障诊断如地勤维修人员对
,
。
兆
。
中间结果与成因和征兆的关系也是如此
,
、
。
在大多数情况下成因中间结果征兆之间的定
、
量关系可以模糊矩阵描述
。
。
有少量表现为一定的逻辑
。。
推理关系不同知识特点采用不同结构的知识库前
,
飞机故障的诊断医生对疾病的诊断其故障诊断过程不能抽象为形式逻辑模型因为故障征兆和成因的概
,
、
。
者采用框架式知识库后者采用产生规则式知识库
,,
、
)是飞机故障诊断知飞机机械故障诊断框架 (图 l
念及其关系均是模糊的
19 6 5
,
。
年扎德提出了模糊集及其关系的数学模型
。
,
识的系统分类框架包括冷气系统防水系统等各系统又有下一级子框架子框架由各征兆子框架组成征
。。
。
开创了模糊数学为建立经验推断的
模型提供了有效
兆子框架内容为该征兆对应的各成因或中间结果及其
的数学工具
基于经验推断的故障诊断发展为基于模
一
隶属度
。
征兆子框架是一种模糊矩阵
框架名
。
…陀万……鹰瑟…匹了
}}
故障原因士号
2
}
征。匕,子框架隶属系统统
60
10
号
…胜
10 0
图
!
飞机机械故障诊断框架
推理机的推理策略有正向推理反向推理混合推理等
。
、
、
¹单征兆成因
规则为
IF刃 T H E N H
l‘ q了崔 l
知识搜索方法有宽度优先法深度优先法启发
。
、
、
式方法等
、/ .
,
对于框架式知识的推理不但得出定性结论还可
,
,
式中
c
,
尸
为征兆
,
H
为成因
。
则此成因隶属度为
C H ( 11
.
得出定量的结果即成因及其隶属度隶属度的计算方
,
。
CF ( H )=
E)
。
法取决于征兆和成因的关系
:
( H
H
,
心由征兆子框架中模糊矩阵查得