pdf download - Software and Computer Technology - TU Delft

More documents

Recommendations

Info

C.3 The Models Constructed for the Case Study Lydia Models / / D e f i n i t i o n s o f t w a r e e r r o r system E r r o r ( bool A, B , bool ERROR ) { / / s o f t w a r e i s assumed t o be c o r r e c t , / / so t h e r u l e i s i n d e p e n d e n t of any h e a l t h ERROR = (A != B) ; } / / D e f i n i t i o n P o t m e t e r / Encoder Unit system PEU ( bool POSVAL ERROR, bool h ) { } / / d e f i n i t i o n b e h a v i o r POSVAL ERROR => ! h ; / / D e f i n i t i o n LUC Extension system LUC Extension ( bool e pos , bool Pset , Pact , bool POSITION ERROR , bool h PEU , bool h ) { } / / d e f i n i t i o n b e h a v i o r ( P a c t != P s e t ) => POSITION ERROR ; e p o s = ( P a c t != P s e t ) ; / / by d e f i n i t i o n h => ( POSITION ERROR => ( e p o s or ! h PEU ) ) ; / / D e f i n i t i o n beam p r o p e l l e r movement of t h e f r o n t a l s t a n d . system FS Beam Propeller Movement ( bool e pos , bool CURRENT ERROR, SPEED ERROR , POSITION ERROR , bool POSVAL ERROR, bool h EXT , h MVR , h MBU , h Stand , h PEU ) { / / d e c l a r a t i o n i n t e r m e d i a t e v a r i a b l e s bool I a c t , I s e t , Vact , Vset , Pact , P s e t ; 102
Lydia Models C.3 The Models Constructed for the Case Study / / d e c l a r a t i o n o b s e r v a b l e s a t t r i b u t e o b s e r v a b l e (CURRENT ERROR) = t r u e ; a t t r i b u t e o b s e r v a b l e (SPEED ERROR) = t r u e ; a t t r i b u t e o b s e r v a b l e ( e p o s ) = t r u e ; a t t r i b u t e o b s e r v a b l e ( POSITION ERROR ) = t r u e ; a t t r i b u t e o b s e r v a b l e (POSVAL ERROR) = t r u e ; / / d e c l a r a t i o n h e a l t h v a r i a b l e s a t t r i b u t e h e a l t h ( h EXT ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h EXT ) = h EXT ? 0 . 9 7 : 0 . 0 3 ; a t t r i b u t e h e a l t h (h MVR) = t r u e ; a t t r i b u t e p r o b a b i l i t y (h MVR) = h MVR ? 0 . 9 8 : 0 . 0 2 ; a t t r i b u t e h e a l t h (h MBU) = t r u e ; a t t r i b u t e p r o b a b i l i t y (h MBU) = h MBU ? 0 . 9 9 : 0 . 0 1 ; a t t r i b u t e h e a l t h ( h S t a n d ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h S t a n d ) = h S t a n d ? 0 . 9 5 : 0 . 0 5 ; a t t r i b u t e h e a l t h ( h PEU ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h PEU ) = h PEU ? 0 . 9 6 : 0 . 0 4 ; / / d e c l a r a t i o n components system C o n t r o l l o o p c u r r e n t l o o p , s p e e d l o o p , p o s i t i o n l o o p ; system E r r o r c u r r e n t e r r o r , s p e e d e r r o r ; system PEU peu ; system LUC Extension l u c e x t e n s i o n ; / / d e f i n i t i o n s t r u c t u r e c o n t r o l l o o p s c u r r e n t l o o p ( I s e t , h EXT , h MVR and h MBU , I a c t ) ; s p e e d l o o p ( Vset , h EXT and h MVR and h MBU , h Stand , Vact ) ; p o s i t i o n l o o p ( Pset , h EXT and h MVR and h MBU , h S t a n d and h PEU , P a c t ) ; } / / d e f i n i t i o n s t r u c t u r e e r r o r s i g n a l s c u r r e n t e r r o r ( I a c t , I s e t , CURRENT ERROR) ; s p e e d e r r o r ( Vact , Vset , SPEED ERROR) ; l u c e x t e n s i o n ( e pos , Pset , Pact , POSITION ERROR , h PEU , h EXT ) ; peu (POSVAL ERROR, h PEU ) ; C.3.3 Model of the MBD-1 Implementation (not compositional) This subsection lists same model as listed in Section C.3.2, but not specified by using compositional components. 103
Page 1:
Automated Fault Diagnosis at Philip
Page 4 and 5:
© 2006 W.M. Lindhoud. Document gen
Page 7:
Preface The work presented in this
Page 10 and 11:
CONTENTS 4.4 Modeling . . . . . . .
Page 13:
List of Tables 3.1 Evaluation appro
Page 16 and 17:
1.1 Fault Diagnosis Introduction Fi
Page 18 and 19:
1.2 Automated Fault Diagnosis Intro
Page 20 and 21:
1.5 Outline of the Thesis Introduct
Page 23 and 24:
Chapter 2 State-of-the-Practice Fau
Page 25 and 26:
State-of-the-Practice Fault diagnos
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Chapter 3 Automated Fault Diagnosis
Page 35 and 36:
Automated Fault Diagnosis 3.1 Overv
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Automated Fault Diagnosis 3.3 Off-l
Page 43 and 44:
Automated Fault Diagnosis 3.5 Model
Page 45:
Automated Fault Diagnosis 3.6 Evalu
Page 48 and 49:
4.1 Fundamentals Model-Based Fault
Page 50 and 51:
4.2 Model-Based Diagnosis with LYDI
Page 52 and 53:
4.3 Basic Assumptions Model-Based F
Page 54 and 55:
4.4 Modeling Model-Based Fault Diag
Page 56 and 57:
4.4 Modeling Model-Based Fault Diag
Page 58 and 59:
4.5 Entropy Gain Model-Based Fault
Page 60 and 61:
4.6 MBD on the Power Supply Model-B
Page 63 and 64:
Chapter 5 Diagnosing the Beam Prope
Page 65 and 66: Diagnosing the Beam Propeller Movem
Page 83 and 84: Chapter 6 Conclusions and Recommend
Page 85: Conclusions and Recommendations 6.2
Page 88 and 89: BIBLIOGRAPHY [12] Johan de Kleer an
Page 91 and 92: Appendix A Glossary of terms In thi
Page 93 and 94: Glossary of terms • Diagnostic Pe
Page 95 and 96: Glossary of terms • Model: an abs
Page 97: Glossary of terms • System: an en
Page 100 and 101: B.2 System Data Case Study Details
Page 102 and 103: B.4 Full List of Examined Fault Sce
Page 104 and 105: B.5 Discretization of Implementatio
Page 106 and 107: C.1 The Synthetic Models that are U
Page 108 and 109: C.2 Model of the Power Supply Examp
Page 114 and 115: C.3 The Models Constructed for the
Page 131 and 132: Appendix D State-of-the-Future Faul
show all

pdf download - Software and Computer Technology - TU Delft

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?