pdf download - Software and Computer Technology - TU Delft

More documents

Recommendations

Info

C.3 The Models Constructed for the Case Study Lydia Models C.3.5 Model of the MBD-2 Implementation (not compositional) This subsection lists same model as listed in Section C.3.4, but not specified by using compositional components. / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / ( c ) P h i l i p s Medical Systems / TU D e l f t / / / / / / / / Author : W.M. Lindhoud / / / / Filename : bpm−mbd2−uc . s y s / / / / V e r s i o n : MBD−2, n o t c o m p o s i t i o n a l / / / / Date : june , 2 0 0 6 . / / / / D e s c r i p t i o n : Model of t h e 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 , i m p l e m e n t a t i o n MBD−2, / / / / as p r e s e n t e d i n t h e MSc t h e s i s / / / / ” Automated F a u l t D i a g n o s i s a t PMS” / / / / Note : This u n c o m p o s i t i o n a l v e r s i o n / / / / i s used d u r i n g development / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / system ( ) { FS Beam Propeller Movement bool e pos , bool CURRENT ERROR, SPEED ERROR , POSITION ERROR , bool POSVAL ERROR, c t r s p e e d , bool h EXT , h MVR , h MBU , h Stand , h PEU / / d e c l a r a t i o n s 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 ; bool e s p ; / / 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 pos , c t r s p e e d ) = 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 ; 108
Lydia Models C.3 The Models Constructed for the Case Study 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 f i n i t i o n b e h a v i o r ( h EXT and h MVR and h MBU) => ( I a c t = I s e t ) ; ( h EXT and h MVR and h MBU and h S t a n d ) => ( Vact = Vset ) ; ( h EXT and h MVR and h MBU and h S t a n d and h PEU ) => ( P a c t = P s e t ) ; h EXT => ( I s e t = e s p ) ; } / / d e f i n i t i o n e r r o r s i g n a l s CURRENT ERROR = ( I a c t != I s e t ) ; SPEED ERROR = ( Vact != Vset ) ; ( 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 c t r s p e e d = ( I s e t != e s p ) ; / / d e f i n i t i o n d e r i v a t i v e c t r s p e e d h EXT => ( POSITION ERROR => ( e p o s or ! h PEU ) ) ; POSVAL ERROR => ! h PEU ; C.3.6 Model of the MBD-3 Implementation This subsection lists the compositional model of the target system referred to as the beam propeller movement of the frontal stand, implementation MBD-3, as described in Section 5.6. / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / ( c ) P h i l i p s Medical Systems / TU D e l f t / / / / / / / / Author : W.M. Lindhoud / / / / Filename : bpm−mbd3−c . s y s / / / / V e r s i o n : MBD−3, n o t c o m p o s i t i o n a l / / / / Date : june , 2 0 0 6 . / / / / D e s c r i p t i o n : Model of t h e 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 , i m p l e m e n t a t i o n MBD−3, / / / / as p r e s e n t e d i n t h e MSc t h e s i s / / / / ” Automated F a u l t D i a g n o s i s a t PMS” / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / 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 , 109
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 67 and 68:
Page 69 and 70:
Page 71 and 72: 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

Create successful ePaper yourself

Delete template?

Save as template?