pdf download - Software and Computer Technology - TU Delft

C.1 The Synthetic Models that are Used in this Thesis Lydia Models
c o r r e c t w = t r u e ;
}
C.1.2
/ / Connect t h e 3 i n v e r t e r s
invA ( c o r r e c t w , hA , c o r r e c t x ) ;
invB ( c o r r e c t x , hB , c o r r e c t y ) ;
invC ( c o r r e c t x , hC , c o r r e c t z ) ;
Weak 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 ;
}
h => ( i = ! o ) ; / / I f h e a l t h y , o u t p u t e q u a l s i n v e r s e of
t h e i n p u t
system i n v e r t e r s 3
(
bool w,
)
{
/ / i n p u t
bool hA , hB , hC , / / h e a l t h s
bool y , 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 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 (w, y , 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 ;
}
C.1.3
/ / Connect t h e 3 i n v e r t e r s
invA ( w, hA , x ) ;
invB ( x , hB , y ) ;
invC ( x , hC , z ) ;
Strong 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 ;
92