pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lydia Models<br />
C.3 The Models Constructed for the Case Study<br />
a t t r i b u t e h e a l t h ( h PEU ) = t r u e ;<br />
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 ;<br />
/ / d e f i n i t i o n b e h a v i o r<br />
( h EXT <strong>and</strong> h MVR <strong>and</strong> h MBU) => ( I a c t = I s e t ) ;<br />
( h EXT <strong>and</strong> h MVR <strong>and</strong> h MBU <strong>and</strong> h S t a n d ) => ( Vact = Vset ) ;<br />
( h EXT <strong>and</strong> h MVR <strong>and</strong> h MBU <strong>and</strong> h S t a n d <strong>and</strong> h PEU ) => (<br />
P a c t = P s e t ) ;<br />
h EXT => ( I s e t = e s p ) ;<br />
}<br />
/ / d e f i n i t i o n e r r o r s i g n a l s<br />
CURRENT ERROR = ( I a c t != I s e t ) ;<br />
SPEED ERROR = ( Vact != Vset ) ;<br />
( P a c t != P s e t ) => POSITION ERROR ;<br />
e p o s = ( P a c t != P s e t ) ; / / by d e f i n i t i o n<br />
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<br />
c t r s p e e d<br />
h EXT => ( POSITION ERROR => ( e p o s or ! h PEU ) ) ;<br />
POSVAL ERROR => ! h PEU ;<br />
C.3.6<br />
Model of the MBD-3 Implementation<br />
This subsection lists the compositional model of the target system referred to as the beam propeller<br />
movement of the frontal st<strong>and</strong>, implementation MBD-3, as described in Section 5.6.<br />
/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /<br />
/ / / /<br />
/ / ( c ) P h i l i p s Medical Systems / <strong>TU</strong> D e l f t / /<br />
/ / / /<br />
/ / Author : W.M. Lindhoud / /<br />
/ / Filename : bpm−mbd3−c . s y s / /<br />
/ / 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 / /<br />
/ / Date : june , 2 0 0 6 . / /<br />
/ / 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 / /<br />
/ / 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, / /<br />
/ / as p r e s e n t e d i n t h e MSc t h e s i s / /<br />
/ / ” Automated F a u l t D i a g n o s i s a t PMS” / /<br />
/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /<br />
/ / D e f i n i t i o n s o f t w a r e e r r o r<br />
system E r r o r<br />
(<br />
bool A, B ,<br />
bool ERROR<br />
) {<br />
/ / s o f t w a r e i s assumed t o be c o r r e c t ,<br />
109