pdf download - Software and Computer Technology - TU Delft

More documents

Recommendations

Info

C.2 Model of the Power Supply Example Lydia Models / / D e f i n i t i o n Power D i s t r i b u t i o n U nit system PDU ( bool s t a r t u p , bool out1 , out2 , o ut3 ) { / / 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 bool h ; a t t r i b u t e h e a l t h ( h ) = 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 ) = h ? 0 . 9 5 : 0 . 0 5 ; } h => ( ( out1 = s t a r t u p ) and ( o ut2 = s t a r t u p ) and ( o ut3 = s t a r t u p ) ) ; / / D e f i n i t i o n of one of a u n i t t h a t need v o l t a g e / / ( e . g . , c o l l i m a t o r , c h i l l e r ) system Unit ( bool i n p u t , bool on ) { / / 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 bool h ; a t t r i b u t e h e a l t h ( h ) = 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 ) = h ? 0 . 9 9 : 0 . 0 1 ; } / / d e f i n i t i o n b e h a v i o r h => ( on = i n p u t ) ; / / D e f i n i t i o n power s u p p l y example system system Power Supply ( bool s t a r t u p , / / i n p u t bool s t a t u s F D , status TBCB , status CRCB , / / o u t p u t s bool status COL , s t a t u s c h i l l e r / / o u t p u t s ) { / / 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 c a b l e A i n , c a b l e A o u t ; bool c a b l e B i n , c a b l e B o u t ; bool c a b l e C i n , c a b l e C o u t ; bool f u s e A i n , f u s e A o u t ; bool f u s e B i n , f u s e B o u t ; bool f u s e C i n , f u s e C o u t ; bool f u s e D i n , f u s e D o u t ; 96
Lydia Models C.2 Model of the Power Supply Example bool n o t c o n n e c t e d 1 , n o t c o n n e c t e d 2 ; / / 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 ( s t a r t u p , s t a t u s F D , status TBCB ) = t r u e ; a t t r i b u t e o b s e r v a b l e ( status CRCB , status COL , s t a t u s c h i l l e r ) = t r u e ; / / d e c l a r a t i o n components system Cable cableA , cableB , cableC ; system Fuse fuseA , fuseB , fuseC , fuseD ; system L o w v o l t a g e p o w e r s u p p l y LV PS1 , LV PS2 , LV PS3 ; system Unit FD , TBCB, CRCB, c o l l i m a t o r , c h i l l e r ; system PDU pdu ; } C.2.2 / / d e f i n i t i o n s t r u c t u r e power s u p p l y example pdu ( s t a r t u p , c a b l e A i n , c a b l e B i n , c a b l e C i n ) ; cableA ( c a b l e A i n , c a b l e A o u t ) ; LV PS1 ( c a b l e A o u t , f u s e A i n , n o t c o n n e c t e d 1 ) ; fuseA ( f u s e A i n , f u s e A o u t ) ; FD ( f u s e A o u t , s t a t u s F D ) ; cableB ( c a b l e B i n , c a b l e B o u t ) ; LV PS2 ( c a b l e B o u t , f u s e B i n , f u s e C i n ) ; fuseB ( f u s e B i n , f u s e B o u t ) ; TBCB ( f u s e B o u t , status TBCB ) ; fuseC ( f u s e C i n , f u s e C o u t ) ; CRCB ( f u s e C o u t , status CRCB ) ; LV PS3 ( c a b l e B o u t , f u s e D i n , n o t c o n n e c t e d 2 ) ; fuseD ( f u s e D i n , f u s e D o u t ) ; c o l l i m a t o r ( f u s eD o u t , status COL ) ; cableC ( c a b l e C i n , c a b l e C o u t ) ; c h i l l e r ( c a b l e C o u t , s t a t u s c h i l l e r ) ; Strong Model of the Power Supply Example / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / ( c ) P h i l i p s Medical Systems / TU D e l f t / / / / / / / / Author : W.M. Lindhoud / / / / Filename : power supply −s t r o n g . s y s / / / / V e r s i o n : v1 . 0 ( s t r o n g model ) / / / / Date : june , 2 0 0 6 . / / / / D e s c r i p t i o n : S t r o n g model of t h e power s u p p l y example , / / / / 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” / / 97
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 112 and 113: 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?