D É S A R M E R U N E P A R T I T I O N; D É S A R M E R S O U S C O N T R A I N T E - RISCO Group Wisdom Manuel Utilisateur

D é s a r m e r u n e p a r t i t i o n
a ¨ ë ~ ê ã É ê = ì å É = é ~ ê í á í á ç å = î ç ì ë = é É ê ã É í = Ç É = Ç ¨ ë ~ ê ã É ê =
á å Ç á î á Ç ì É ä ä É ã É å í = Ç É ë = é ~ ê í á í á ç å ë = Ç ~ å ë = ì å = ë ó ë í ≠ ã É = Ç á î á ë ¨ = É å =
é ä ì ë á É ì ê ë = é ~ ê í á í á ç å ë K =
D é s a r m e r P a r t i t i o n ( s ) :
1 )
p ¨ ä É Å í á ç å å É ò = ä É = å ì ã ¨ ê ç = Ç É = ä ~ = é ~ ê í á í á ç å = è ì É = î ç ì ë = ë ç ì Ü ~ á í É ò =
Ç ¨ ë ~ ê ã É ê K = ^ é é ì ó É ò = Ç Û ~ Ä ç ê Ç = ë ì ê = ä ~ = í ç ì Å Ü É =
å ì ã ¨ ê ç = Ç É = ä ~ = é ~ ê í á í á ç å = î á ~ = ä É ë = í ç ì Å Ü É ë = x
2 )
b å í ê É ò = î ç í ê É = Å ç Ç É = ì í á ä á ë ~ í É ì ê = ë ì á î á = Ç É = ä ~ = í ç ì Å Ü É =
ã É ë ë ~ Ö É = Ç É = Å ç å Ñ á ê ã ~ í á ç å = ë ì á î ~ å í = ë É ê ~ = Ç ç å å ¨ = W = =
" { L e s y s t è m e d ' a l a r m e / [ P a r t i t i o n x ] } e s t d é s a r m é
3 )
o ¨ é ¨ í É ò = ä É ë = ¨ í ~ é É ë = Å á J Ç É ë ë ì ë = ë á = î ç ì ë = ë ç ì Ü ~ á í É ò = Ç ¨ ë ~ ê ã É ê =
Ç Û ~ ì í ê É ë = é ~ ê í á í á ç å ë K =
E x e m p l e :
= é ç ì ê = Ç ¨ ë ~ ê ã É ê = ä ~ = é ~ ê í á í á ç å = P = ~ î É Å = ä É = Å ç Ç É = ì í á ä á ë ~ í É ì ê =
N O P Q I = î ç ì ë = Ç É î É ò = É å í ê É ê = ä ~ = Å ç ã Ä á å ~ á ë ç å = ë ì á î ~ å í É = W =
3 1 - 2 - 3 - 4
=
N O T E :
A r m é
p á = ä ~ = i b a =
è ì á = ç å í = é ê ç î ç è ì ¨ = ì å É = Å ç å Ç á í á ç å = Ç Û ~ ä ~ ê ã É F = ~ î ~ å í = Ç Û ~ ä ä É ê = é ä ì ë = ä ç á å K =
D é s a r m e r s o u s c o n t r a i n t e
p á = î ç ì ë = Æ í É ë = Å ç å í ê ~ á å í ë = Ç É = Ç ¨ ë ~ ê ã É ê = î ç í ê É = ë ó ë í ≠ ã É I = î ç ì ë = é ç ì î É ò =
ê ¨ é ç å Ç ê É = ~ ì ñ = ë ç ì Ü ~ á í ë = Ç É = ä Û ~ ë ë ~ á ä ä ~ å í = É í = É å î ç ó É ê = ì å É = ~ ä ~ ê ã É =
ë á ä É å Å á É ì ë É = ~ ì = Å É å í ê É = Ç É = í ¨ ä ¨ ë ì ê î É á ä ä ~ å Å É K = m ç ì ê = ê ¨ ~ ä á ë É ê = Å É ä ~ I =
î ç ì ë = Ç É î É ò = ì í á ä á ë É ê = ì å = Å ç Ç É = Å ç å í ê ~ á å í É ? = ë é ¨ Å á ~ ä K = n ì ~ å Ç = Å É ä ì á J Å á =
É ë í = ì í á ä á ë ¨ I = ä É = ë ó ë í ≠ ã É = ë É = Ç ¨ ë ~ ê ã É = Ç É = Ñ ~ ´ ç å = å ç ê ã ~ ä É = í ~ å Ç á ë =
è ì Û É å = ã Æ ã É = í É ã é ë I = ì å É = ~ ä ~ ê ã É = ë á ä É å Å á É ì ë É = E Ç ¨ ë ~ ê ã É ã É å í = ë ç ì ë =
Å ç å í ê ~ á å í É F = É ë í = É å î ç ó ¨ É = ~ ì = Å É å í ê É = Ç É = í ¨ ä ¨ ë ì ê î É á ä ä ~ å Å É K =
m ç ì ê = ì í á ä á ë É ê = ì å = Å ç Ç É = Å ç å í ê ~ á å í É I = ~ à ç ì í É ò =
î ç í ê É = Å ç Ç É = ì í á ä á ë ~ í É ì ê I = Å ç ã ã É = ã ç å í ê ¨ = Ç ~ å ë = ä É = í ~ Ä ä É ~ ì = ë ì á î ~ å í = W =
C o d e u t i l i s a t e u r
N J O J P J Q =
R J S J T J U =
S J T J U J V =
=
O S =
=
= Å ä á Ö å ç í É = ~ é ê ≠ ë = ä É = Ç ¨ ë ~ ê ã É ã É å í I = Å ç å í ê ∑ ä É ò = ä É ë = ò ç å É ë = ~ Å í á î ¨ É ë = E ò ç å É ë =
W i s D o m M a n u e l U t i l i s a t e u r
1 / 2 / 3
1
= ~ ì = Ç É ê å á É ê = Å Ü á Ñ Ñ ê É = Ç É =
C o d e c o n t r a i n t e
N J O J P J R =
R J S J T J V =
S J T J U J M =
=
= ë ì á î á É = Ç ì =
z K = =
K = i É =
=
=