pdf download - Software and Computer Technology - TU Delft

More documents

Recommendations

Info

B.5 Discretization of Implementation MBD-2 Case Study Details 90
Appendix C Lydia Models This appendix lists the Lydia models that are discussed in this thesis. C.1 The Synthetic Models that are Used in this Thesis C.1.1 Structural Model of the 3-inverter Example system i n v e r t e r ( b ool i , h , o ) { 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 ; } / / I f h e a l t h y , a c o r r e c t i n p u t r e s u l t s i n a c o r r e c t o u t p u t h => ( i = o ) ; system i n v e r t e r s 3 ( bool c o r r e c t w , / / i n p u t bool hA , hB , hC , / / h e a l t h s bool c o r r e c t y , c o r r e c t z / / o u t p u t s ) { / / D e c l a r a t i o n i n t e r n a l v a r i a b l e s bool c o r r e c t x ; / / 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 ( c o r r e c t y , c o r r e c t z ) = t r u e ; / / D e c l a r a t i o n i n v e r t e r s system i n v e r t e r invA , invB , invC ; / / i n p u t i s assumed t o be c o r r e c t 91
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 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?