PDF《液体火箭发动机故障诊断的命题逻辑方法》

6 为氧化剂喷注器阻塞, Mode

7 为推力室喉部烧蚀. 其子句的表示形式为: S= { Pocl D mO l D mf h D nh D Pf l h D Mode1, mf l D Pf l l D mOh D nh D Poch D Mode2, mOh D Pf l l D Pocl D mf h D nh D Mode3, mOl D Pf l lD mf l D nh D Pocl DMode4, mf l D Pf l l D nl D mO l D Pocl DMode5, mOl D Pf l l D mfh D nh D Poch D Mode6, mf l C Pf l l C nl C mO l DMode6, mOh D Pf l l D mfl D nl D Pocl D Mode7, mfh C Pf l h C nh C mOh D Mode7} 系统的故障集合为 F0= {Mode1,Mode2, Mode3, Mode4,Mode5, Mode6,Mode7 } , 因此, 根据方法 ( 3) , 判断公式Ri 在O0 条件下的真值 { i= 1, ,,

7} ( T= True, F= False) , 其结果为 表1;

根据方法 ( 1) , 对Si G O0{i= 1, ,,

9}进行归结, 其结果为表 2;

根据方法 ( 2) , 证明结论<

Si G O0, fj >

{i= 1, ,,

9, j=

1 ,7}, 其结果为表 3. ( t 表示空子句, . 表示非空子句) 表1假言推理结果 Tab11 Inference result of modus ponens 诊断序号 系统观测值 ( O0) R1 R2 R3 R4 R5 R6 R7

1 Pocl, mO l, mfh, P l fh, nh T F F F F F F

2 Poch, mOh, mfl, Pf l l, nh F T F F F F F

3 Pocl, mO l, mfh, Pf l l, nh F F T F F F F

4 Pocl, mOl, mfl, Pf l l, nh F F F T F F F

5 Pocl, mOl, mfl, Pf l l, nl F F F F T F F

6 Poch, mOl, mfh, Pf l l, nh F F F F F T F

7 Pocl, mOh, mfl, Pf l l, nl F F F F F F T

4 结论 通过以命题逻辑公式和子句的形式建立定性诊断模型, 然后利用演绎推理检测模型与系统实际行 为的一致性的方法, 为液体火箭发动机诊断知识的表达和组织提供了一种简洁有效和易于处理的方 式, 能用于系统故障诊断, 且具有较强的诊断能力.但由于命题逻辑对知识的表达能力有限, 因此, 为了能对系统的动态行为进行检测和诊断, 必须结合系统的时间信息来作进一步的诊断.同时, 对系 统状态的定性描述中所包含的模糊概念进行处理, 这些都是液体火箭发动机逻辑故障诊断方法进一步 研究所需要解决的问题. 参考文献: [ 1] 杨叔子等. 基于知识的诊断推理[M] . 北京. 清华大学出版社, 1993. [ 2] 吴建军........