pdf download - Software and Computer Technology - TU Delft

More documents

Recommendations

Info

C.2 Model of the Power Supply Example Lydia Models } system i n v e r t e r s 4 M a i n ( b ool h1 , h2 , h3 , h4 , x , a , b , c , y ) { a t t r i b u t e h e a l t h ( h1 ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h1 ) = h1 ? 0 . 9 9 : 0 . 0 1 ; a t t r i b u t e h e a l t h ( h2 ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h2 ) = h2 ? 0 . 9 9 : 0 . 0 1 ; a t t r i b u t e h e a l t h ( h3 ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h3 ) = h3 ? 0 . 9 9 : 0 . 0 1 ; a t t r i b u t e h e a l t h ( h4 ) = t r u e ; a t t r i b u t e p r o b a b i l i t y ( h4 ) = h4 ? 0 . 9 9 : 0 . 0 1 ; system i n v e r t e r s 4 i nv4 ; inv4 ( h1 , h2 , h3 , h4 , x , a , b , c , y ) ; a t t r i b u t e o b s e r v a b l e ( a ) = t r u e ; a t t r i b u t e o b s e r v a b l e ( b ) = t r u e ; a t t r i b u t e o b s e r v a b l e ( c ) = t r u e ; } x= t r u e ; y= f a l s e ; C.2 Model of the Power Supply Example This subsection lists the MBD model of the power supply example. The power supply example is introduced in Section 2.1.2. Section 4.6 presents the MBD implementation for this example subsystem of the Philips Cardio-Vascular X-Ray System. C.2.1 Weak Model of the Power Supply Example / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / ( c ) P h i l i p s Medical Systems / <strong>TU</strong> D e l f t / / / / / / / / Author : W.M. Lindhoud / / / / Filename : power supply −weak . s y s / / / / V e r s i o n : v1 . 0 ( weak model ) / / / / Date : june , 2 0 0 6 . / / / / D e s c r i p t i o n : Weak 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 / / 94
Lydia Models C.2 Model of the Power Supply Example / / ” 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 Cable system Cable ( bool p , bool q ) { / / 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 2 : 0 . 0 8 ; } / / d e f i n i t i o n b e h a v i o r h => ( q = p ) ; / / D e f i n i t i o n Fuse system Fuse ( bool p , bool q ) { / / 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 0 : 0 . 1 0 ; } / / d e f i n i t i o n b e h a v i o r h => ( q = p ) ; / / D e f i n i t i o n Low V o l t a g e Power Supply system L o w v o l t a g e p o w e r s u p p l y ( bool i n p u t , bool out1 , out2 ) { / / 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 6 : 0 . 0 4 ; } / / d e f i n i t i o n b e h a v i o r h => ( ( out1 = i n p u t ) <strong>and</strong> ( o ut2 = i n p u t ) ) ; 95
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 110 and 111: 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

Create successful ePaper yourself

Delete template?

Save as template?