Presenting Compilation of Redesign Plans and Diagnosis Rules

Intro ] 01-slide ] 02-slide ]
03-slide ] 04-slide ] 05-slide ]
06-slide ] 07-slide ] 08-slide ]
09-slide ] 10-slide ] 11-slide ]
12-slide ] 13-slide ] 14-slide ]
15-slide ] 16-slide ] 17-slide ]
[ 18-slide ] 19-slide ]

Up: Presentations ]

Compiling Diagnostic Rules

  • Example fault-localization rule:
    
    R1:	If	Reading of SENi is Abnormal
    	and	( forall k <> i | influences ( SRCk, SENi ) )
    		Reading of SENk is Normal
    	then	set Malfunction of SRCi to True.
    
    
    R1.5:	If	Temperature of RCE-BEARING-SENSOR-22 is High
    	and	( forall k <> i | influences ( SRCk, RCE-BEARING-SENSOR-22 ) )
    		Reading of SENk is OK
    	then	set Malfunction of RCE-BEARING-6 to True.
    
    
    R2:	If	Temperature of RCE-BEARING-SENSOR-22 is High
    	and	Temperature of RCE-SENSOR-34 is OK
    	and	Temperature of TUNNEL-SENSOR-101 is OK
    	then	set Malfunction of RCE-BEARING-6 to True.
 

by: Keith A. Pray
Last Modified: August 14, 2004 5:58 PM
© 2004 - 1975 Keith A. Pray.
All rights reserved.