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 c l a r a t i o n components system Component peu ; } / / d e f i n i t i o n b e h a v i o r ( ! CURRENT ERROR and !SPEED ERROR) = P s e t ; h S t a n d => ( P s e t => r e a l p o s i t i o n ) ; peu ( r e a l p o s i t i o n , P a c t a n a l o g , h PEU ) ; h EXT => ( e p o s = ! P a c t a n a l o g ) ; / / 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 I a c t , I s e t , bool Vact , Vset , bool e pos , bool Imvr , I t o m o t o r , I f r o m m o t o r , I a c t a n a l o g , bool Vmvr , V to motor , t o r q u e , r e a l s p e e d , V a c t a n a l o g , bool r e a l p o s i t i o n , P a c t a n a l o g , bool CURRENT ERROR, SPEED ERROR , POSITION ERROR , bool POSVAL ERROR, c t r s p e e d , bool h EXT , h MVR , h MotorBrake , 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 Pact , P s e t ; 112 / / d e f i n e v a r i a b l e s t h a t a r e a l r e a d y o b s e r v e d / / c u r r e n t l y d e f i n e d : F a u l t s c e n a r i o C1 ( c u r r e n t e r r o r ) CURRENT ERROR = t r u e ; SPEED ERROR = f a l s e ; e p o s = f a l s e ; c t r s p e e d = f a l s e ; POSITION ERROR = f a l s e ; POSVAL ERROR = f a l s e ; / / d e c l a r a t i o n a d d i t i o n a l 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 ( I mvr , I t o m o t o r , I f r o m m o t o r ) = t r u e ; a t t r i b u t e o b s e r v a b l e ( r e a l 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 ( Vact , Vset ) = t r u e ; a t t r i b u t e o b s e r v a b l e ( I a c t , I s e t ) = 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 ;
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 MotorBrake ) = 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 MotorBrake ) = h MotorBrake ? 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 u r r e n t l o o p c u r r e n t l o o p ; system S p e e d l o o p s p e e d l o o p ; system P o s i t i o n 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 , Imvr , I t o m o t o r , I f r o m m o t o r , I a c t a n a l o g , I a c t , h EXT , h MVR , h MotorBrake ) ; s p e e d l o o p ( Vset , Vmvr , V to motor , t o r q u e , r e a l s p e e d , V a c t a n a l o g , Vact , h EXT , h MVR , h MotorBrake , h S t a n d ) ; p o s i t i o n l o o p ( Pset , CURRENT ERROR, SPEED ERROR , r e a l p o s i t i o n , P a c t a n a l o g , e pos , h Stand , h PEU , h EXT ) ; } / / 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 , c t r s p e e d , I s e t , Pset , Pact , POSITION ERROR , h PEU , h EXT ) ; peu (POSVAL ERROR, h PEU ) ; C.3.7 Model of the MBD-3 Implementation (not compositional) This subsection lists same model as listed in Section C.3.6, 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−mbd3−uc . 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 . / / 113
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:
Page 73 and 74:
Page 75 and 76: 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?