Component-based Design of Heterogeneous Reactive Systems in Prometheus
22
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Component-based Design of Heterogeneous Reactive
(3) Systems in Gregor Gössler. N° 6057 Décembre 2006 Thème COM. ISSN 0249-6399. apport de recherche.
(4)
(5)
(6)
(7)
(8) !" # %$&
(9)
(10) '(*)+
(11) ,- /. 103234 567 8!93:;=<?>A@(<CB D GE FIHKJMLNFOEGPMQIQSRTHKF U%VWYX3Z[
(12) \^]`_badcfehgiWYX3ZIekj lmX3XnopqjYrsoKgte u-vwlmxhZ g5u&lmy{z5vwg |5rmyyNlmvwgk}fZ?vwZSjtVZYvtjtVZ~oNK G_ IjYZYXvwZ sm _IyrsZIe. O IYmm kZSepmopoAZIXNZI}}ZI}ecfegwZIX3e pojYvwZSrmewpomc}fZYXrmo}e jYlmypoA
(13) pgwV!¡¢Y£¤¢ ¥w¦i§K¢ ¨M¢i¦s©dª^ewcfehgiZYXeY«poK¬lm¬dpo }fpMZYviZYoKg5X3ld}ZYqe%ls®jYlmX3ynfgtrgiplo4«j lXCXnopqjYrsgwplmo4«frso¯}OZY°dZSj nfgiplo4«flmo{}fpNZIvwZIoKg%ZY¬ZYqe#ls®rmegwvtrmj/giplo(rmo}(}p±MZYviZYoKg gipX3Z3ewjIrsZIeI²U%VZCj lmX3yNlmoZIoKgX3lf}fZY´³#µ¤u¶·³#ZIVr¸¬dplvI«¯µ¤ogiZYvtrmj gwplmoAX3lf}fZY¹«uºviplvwpghc»%VrmeNZYZYo¼}fZIewpmoZS} gwl(ewnyyNlmvwg giVZ
(14) j lmo¯ehgivwnj gwplmo lm®VZYgwZYvilmZYoZIlmnevwZSrmj gwp¬mZ½ewcfehgiZYXeI²µ¾g´ZYormZIeVZ giZYvilmmZIoZYlne4X3lf}fZIpo^Kc ewZYy¯rsvtrgwpo
(15) giVZ%olsgiploe lm®NZYVr¸¬dplmvS«dpoKgwZIvirj/giplo(X3lf}fZY¹«rso¯}(ZY°fZIj ngwplmo XClf}fZIT² ¿¼Z yviZIewZYoKg5VZIvwZ?giVZ}fZSepmo{gilKlÀkÁMÂÃkÄfÅÆ4ÄÇÈ«¯
(16) VpjtV{pX3yZIX3ZYoKgie5gwVZ³#µ¤uÉjYlmX3y¯loZYoKgkX3lf}fZIT«Nrslmo3
(17) pgwVr ewZ g lm®#rsmlvwpgwVX3e®Êlv j lmX3yNlewp±giplors&¬ZYvip±Ë¯jIrgiplo4²U%VZn¯eZ3ls®½gwVZÌjYlmX3yNlmoZIog?®ÊvtrsX3ZY #lmviÍ{pe?pnegwvtrgiZI}
(18) p±giV¼gh ½l jIrmewZ?egwn¯}fpZSe
(19) poK¬lm¬dpo3}fpNZIvwZIoKg%X3lf}fZIe
(20) lm®jYlmX3ynfgtrgwplmo{rso¯} jYlmX3XnopjIrgiplo4² ÎAÏKÐMÑwÒÓ Ôm jYlmX3yNlmoZIog%®ÊvtrsX3ZY #lmviÍM«dVZ giZYvilmmZIoZYlne½XClf}fZIpo¯«po¯j viZYX3ZYoKgirmpghcm«jYlmvivwZSj/gioZIeie-dcOjYlmoegwvinj gwplmo4². Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.
(21) $' ,º "42 56
(22) $
(23) ,- # %$
(24) (
(25) { $ /$ ,# .
(26) 8 93:¼;=<?>{@ <B D rj lmo¯j ZYygwplmoA}fZewcfehgiWYX3ZIe
(27) ZIXrmv KnSe
(28) }flmpgrmnxhlmnvt} Vdnp®·rspviZ ®·rmjYZ }fZIeecfegwWYX3ZSe¡Y£Y¥w¦i§ Y¨N¢ ª/«NjYlmX .
(29) yNlewIe}fZX3lf}fnZIenfgwppeirsoKg}fpMYviZYoKgieX3ld}WYZIek}ZjYrmjYn¹«N}fZCj lXCXnopqjYrsgwplmo{Z g?} ZY°fIj ngwplmo4 « O}fpMYviZYoKgiekop¬ZIrmnf° } rs¯ehgivirj/gwplmo Z gIjtVZIZIe
(30) }fZ?giZYX3yeI² Z XClf}fWI Z jYlmX3yNleirsoKg5³½µ¤u r3Ygw j l!o n{yNlmnvenyy¯lvgiZYv
(31) qrj lmo¯ehgivwnj gwplmo{}fZ ewcfehgiWYX3ZIe
(32) viIrj/gip±®·e%VYgwIvwlmWYoZIeI² rCXClf}fIpqeirgwplmo{VYgwIvwlmWYoZZSehg5viZYo}nZ y¯lKewewpZ?yrmv
(33) rewYy¯rsvtrgwplmo }fZIe5olsgiploe
(34) }fZ jYlmX3y¯lvgiZYX3ZYoKgS«}fZ X3ld}WYZ } poKgwZIvirj/gwplmo(Z gk}fZ X3lf}fWIZ } Z °fIjYnfgwplmo² "klmne-yvwSeZIoKgwlmo¯e´pjYp# lnfgwp¯}Zj loj ZIyfgwplmoÌÀÁNÂÃkÄfÅÆ4ÄÇ$ È Knp¯XCZYg½ZI&o % n¬dvwZ5Z5X3lf}fWY'Z jYlmX3yNleirsoKgieº³#µ¤u ZYg½no ZIoeZIXZ} rsmlvwpgwVXCZSe
(35) yNlmnvr¬Yvip±ËNjYrgiploAj lmX3yNlewp±giplooZIZm² nfgippeirgiploG}fnGjYr}fvi(Z j lXCyNleirsoKgte
(36) ZIegkpnegwviYZ yrmv5}fZYn°( gin}fZSe
(37) }fZ jYr$e np4nfgwppewZYoKg5}fpNIvwZIogte
(38) X3lf}fWYZIe
(39) }fZ jIrsqj nZYgk}fZ j lXCXnopqjYrsgwplmo4² )~Ó I Ñ * ( j lXCyNleirsoKgteY«fX3lf}fYpqewrsgwplmoOV gwIvwlmWIoZm«fpoj viYX3ZIogtrsp±gim«jYlmvivwZSj/gwplmo(yrsv
(40) jYlmoegwvinj/giplo4².
(41) ¦¦¨N¢Y¨£ ¸ªY¢
(42) C¢ ª ±§m¨¼¦¢Y£¾¢Y¥w¦i§¢Y¨N¢t¦s©dª¢ £¢ ¸ªt£¤¢ ª ¨ ÀÁNÂÃkÄfÅÆ4ÄÇÈ . $& '(,- ZIewpopoZIXNZI}}fZS} ewcfehgiZYXe poj viZIrepoc}fZYXrmo}eCj lmypo
(43) p±giV ¡¢Y£¤¢ ¥w¦i§K¢ ¨M¢i¦s©dª vwZSrmj/gip¬ZOewcdegwZIXe gwV¯rg3poKgwZIvirj/g jYlmoKgwpodnlmnewcÌ
(44) p±giV{gwVZIpvkZYod¬dpvilmoX3ZIogS²-U%VZ VZYgwZIvwlmZYoZYlmn¯e%orginvwZ jYlmX3ZIe%®ÊvilmX gwVZ oZYZI} gilpoKgiZYmvtrgiZ j lmX3yNlmoZIoKgie newpo }p±MZYviZYoKg X3ld}ZYqelm®#jYlmX3ynfgtrgwplmo ¶ ®Êlv^poegirmoj Z«rsnfgilmXrgtr«j loKgwpoKnlmne^}fcdorsX3pqj3ecfegwZYXet»/«4jYlmX3XnopjIrgwplmo ¶·lfjtÍdpo3lmv%olmo ¹lfjtÍdpod»/«frso¯}ÌZ °fZSj nfgiplo¼¶TrmewcKo¯jtVvwlolmn¯eY«Kvwno Tgil ¤j lXCyZYgwplmo4«dj loehgivirmpoKgtei» «Klo }p±MZYviZYoKg
(45) ZI¬mZIe#ls® rmehgivirj/giplo(rso¯} }p±MZYviZYoKg
(46) gwpX3Z ewjIrsZIeI² [½lXCyNlmoZYoKg ¾rmewZI} gwZSjtVop nZIe´rsviZ
(47) j vinj pqrsKgil l¬mZYvtj lX3ZºgwVZ5j lmX3yZ °fpghc ls®MZYX¯ZS}}fZI}3ewcfehgiZYXe´}fZIewpmo4²³½cZ Knpy ypo X3lf}fnZIeº
(48) p±giVOrs"o ¨£¤¢Y#¥ $ %t¢ «gwVZYcCpoKgwvilf}fnjYZ5r?olsgiplols®MZYojIrsyewnqrgwplmormo}3rsegwvtrmj gwplmo4«mrmpX3po rg½X3rmÍdpo?giVZ }fZSepmolm®#rAj lX3y¯loZYoKg po¯}fZYyNZYo}ZYoKgls®#p±gte }fZIylcdX3ZYoKgS'² &´°fpegwpoGj lX3y¯loZYoKg ®ÊvtrsX3ZY #lmviÍfe5®Êlv }fZIewpopo{VZ giZYvil ZYoZIlmneecfegwZYXekpojYn¯}fZÌ¥w ¢ %Y£ ¸(¢ )¦ s+© *¢ ª , . -¾0« /#£¾1¦ * ¢ 2,I -4_lmvipZIogiZI}(gwl %rsvt}e%giVZ}Z Ëopgwplmorso}AjYlmX3y¯lKepgwplmo lm®ºVZ giZYvilmmZIoZYlne5jYlmX3y¯loZYoKgte
(49) _ «Nrmo4} 3¢Y£T¥w ¦ 1¦ *5q6ª , .-¾«M}ZIewpoZI} gil(ewnyyNlmvwgkgwVZ}fZSepm8o 7¯l lm®ºZYX¯ZS}}fZI}GVZ giZYvil ZYoZIlmneCecfegwZIX3eI:² 9´ZYvip˯jYrsgwplmo!rmo} jYlmvivwZSj/gioZIeie dc j loegwvinj/giplo ls®kVZ gwZIvwlmZIoZYlneX3lf}fZIeCVreewl®·rmvNZYoZ ËgiZI} ®ÊvilmX*ZIeie%rggiZYoKgwplmo²ºz5o poKgwZIvwZSehgipoviZIj ZIoKg½®ÊlvwXrspqeX ®Êlv½giVZ?j lmX3yNlewp±giploOlm®VZYgwZYvilmZYoZIlmne-X3ld}ZYqe½pqe#gwV¯rg%ls®gtrs XrmjtVpoZS'e , . -¾«r}flmyfgipo{r{l #ZYv ZY¬mZIºls®
(50) }fZSewjYvwpyfgwplmo¼giVrsogiVZ®ÊvtrsX3ZY #lmviÍfeyvwZI¬Kplmn¯ecGX3ZYoKgwplmoZI}²A\kgwVZIv ®ÊlmviXrs jYlmX3y¯loZYoKgkX3lf}fZIeenjtVGre5poKgwZYvw®·rmjYZ rsnfgilmXrgt8r , . -¹ « & lmgwl;e , <1-¹«N>µ = ¤" , . -¾«Mar¸¬mZ¸[
(51) [#? ] ,$ -¾«Nrmo8} =vtrmj girm@ , . -¹«¯yvil¬Kpq}fZ ollv%lmocÌpX3pgwZI}AewnyyNlmvwg%®Êlmv
(52) VZYgwZIvwlmZYoZYlmn¯e½X3lf}fZIpo² U ½lpX3yNlmvwgirmogCvwZ KnpviZYX3ZIogte ®ÊlvCr¼j lX3y¯loZYoKg®ÊvtrsX3ZI ½lvwÍgwl¯Z{newZ ®Ên%po yvtrmj gwpqj Z«ºrsviZOpgie3enyy¯lvg®Êlmv3rso A ¨ ¥w ¢ ¢ ¨¯B£ 1*d}ZIewpCo 7l «rmo} p±gte^ª/£T¥/D© Y£T©f¥ *¢ EFM¥w¢ ªiFª ¢ ¨M¢/ªtª/²º³#lsgiV{rmvwZ?j lewZYcÌpoÍmZI}4² µ¤ojYvwZIX3ZYoKgirmpghcGls®½gwVZ(}fZIewpGo 7¯l pqe j vinj pqrs&gilAj lmyNZ
(53) pgwV¼gwVZÌjYlmX3yZ °fpghcGls®
(54) }fZIewpmorso}¼¬mZIvwp˯jIrgwplmo²Cµ¤o¯j viZ X3ZYoKgtrsp±ghc X3ZSrsoeCgiVrgÌrgÌrmoKc egirmmZ ls®^gwVZA}fZSepmo yvilfj ZIeieI«´gwVZAewnewcfehgiZYX jYlmoegwvinj/giZI} el®·rsvÌjIrso!¯ZA¬ZYvip±ËZS}« ewpXnqrgwZS}«lv
(55) mnrmvirmoKgwZYZS}(jYlmvivwZSj/g
(56) dc(jYlmoegwvinj/giplo4«rmo} oZY j lX3y¯loZYoKgie5¯Z r}}fZI}{
(57) pgwVlmnfgk¯rmjtÍ TgivirjtÍdpopo{giVZ }fZSepmo yvilfj ZIeie%po lvi}ZYv#gwl3X3lf}fp±®ÊcOgwVZ ZY°fpegwpoenecfegwZIX ² U%VZ^olmgwplmoOlm®egwvinj/ginvirm¯ZY°fyvwZSewewp¬mZYoZIeieºpqe½lvgiVlmlmormgilgiVZ^jYrewewpqjYrsNolmgwplmoOlm®Z °fyviZIeiewp¬ZYoZSewe¶Êmp¬mZIoOryvwly ZIvghc P «pqekgiVZYviZr j lX3y¯loZYoKg k enjtVGgwVrsg k P H »/«4rekpg j lmo¯epq}fZYvte %V¯rg jYrso¯ZCZ °fyviZIeieZS}AnewpoOlmocAZY°dpqegwpo jYlmX3y¯loZYoKgt e Imp¬mZYo¼rOyvwly¯ZIvghc P rmo}r eZYg K lm®½j lXCyNlmoZYoKgieI«pe^pg y¯lKewewpZgwl{}fZ ˯oZr(jYlmX3y¯lKepgwplmolmyNZYvtrgwplmo ¶·lmKv JmnFZ L» gilGrmeieZIXZ ewnjtV¼gwVrsg ) P H µ¤olsgwVZYv #lmvt}eI«rAehgivwn¯j/gwnvirmcGZ °fyviZIeiewp¬ZCjYlmX3y¯l oZIoKg ®ÊvirmXCZI ½gllvwÍ{
(58) p´VZYy¼r{K}fZS⊆epmKoZIvkgilAj lmo¯ehgivwngl(K j g r(jYlmvivwZSj/g ecfegwZYX`
(59) p±giVlmnfg X3lf}fp®ÊcKpo{Z °fpqehgipo{jYlmX3yNlmoZIogte^lmv }fZSepmopoOoZY ~loZIeI«¯rmo}{giVKn¯e5®·rj ppgirsgwZjYlmX3yNlmoZIog^vwZInewZm«Mrso}AZIorsZrmoGpoj viZYX3ZYoKgtrs}ZIewp8o 7l ²kUlÌgiVpeZYo¯}« egwvinj/ginvtrsZ °fyviZIeiewp¬ZYoZSewe½vwZ KnpviZIe%r3yNl ½ZIv®ÊnMjYlmX3yNlewp±giplo(ly¯ZIvirsgwplmo4² ¿¼Z^rmvwnZ
(60) giVrg^ªYB¢ D M¥ sN£ ·¦s¨>¦ t¦A¨ i¢Y¥/¨ªºpqe-gwVZ^ÍmZIcgilVZ gwZIvwlmZIoZYpghcm«Kehgivwnj gwnvtrsNZ °fyviZIeiewp¬ZYoZSeweI«rmo}poj viZYX3ZYoKgtrs jYlmoegwvinj/giplo4² [½ZIrmvwcm«ewZYy¯rsvtrgwplmo¼ls®
(61) j loj ZIvwo¯e?ZYof®ÊlvijYZIe r{eZIyrsvtrgiZrso}¼Z °fypqj pg}fZIeij vipygwplmo rso}jYlmX3y¯lKepgwplmo¼ls® }fpMZYviZYoKgkrmewy¯ZSj/gte%ls®gwVZ X3lf}fZY¹«rso¯}OgiVdne%ZYormZIe%VZYgwZYvilmZYoZIp±ghcÌrmo}{ehgivwn¯j/gwnvirmNZY°fyvwZSewewp¬mZYoZIeieY² =lmv
(62) j lXCyNlewpgwplmo ls®jYlmX3yNlmoZIogte½gwl3¯Z?poj viZYX3ZIogtrs¹«dgwVZ jYlmX3y¯lKepgwplmo lmyNZYvtrgiplo eVlmnq}ON2Z ¸ªtªY)¦ O £ ¢5poOgiVZ ewZYoewZÌgiVrg®Êlmv3rsodcj lmX3yNlmoZIoKgie K « K « K rmo} yrmvirmX3Z gwZIvwQp PIrsgwplmoe ls®
(63) gwVZ(j lX3y¯klKepgwplmo ly¯ZIvirsgwplmo gl « gl « giVZYviZ Z °fpqehg
(64) yrmvirmXCZYgwZIvwQp PIrsgwplmoe gl « gl ewnjtV(gwVrsg !. 0. 0. 1. 23. 2. 3. 12. 12,3. 1,23. (K1 kgl12 K2 )kgl12,3 K3 = K1 kgl1,23 (K2 kgl23 K3 ). da ZIyrsvtrgiplolm®4j lmo¯j ZYvioe&ZIorsZIe´gwVpqeºviZ KnpvwZIX3ZYoKg´ls®4rmeielfjYprsgwp¬Kpghcm«sewpoj Z5}fpMZYviZYoKg½rmewyNZIj/gteºjYrmoj lmX3yNlewZI}3ewZYyrmvirsgwZYc dclmoZ^ewpomZj lX3y¯lKepgwplmo(lmyNZYvtrgwplmo«po(jYlmoKgwvtrmeg-gilgh #lolo ¤j lmX3Xnfgwpoly¯ZIvirsgwplmoe-®Êlmv%j lX3y¯lKepgwplmo rso}OvwZSehgivwpqj giplo n¯eZS}Odc(ewlmX3Z^®ÊvtrsX3ZY #lmviÍfeY² U%VZj lmX3yNlmoZIoKgkX3ld}ZY³#µ¤u~¶T³½ZIVr¸¬dplvI«µ¤ogiZYvtrmj gwplmo{X3ld}ZY¹«¯uºviplmvip±ghc»#yviZIewZYoKgwZS}{p:o ,) « R1-Vre
(65) NZYZYo}fZIewpoZI} gil ewnyyNlmvwgpoj viZYX3ZIogtrs&j loehgivwn¯j/gwplmoAlm®-VZYgwZYvilmZYoZIlmne5vwZSrmj/gip¬ZewcdegwZIXeY²^µ¾g^ZIorsZSekVZYgwZIvwlmZYoZYlmn¯e
(66) X3ld}ZYpo(dc ewZYyrmvirsgwpoÌgiVZolmgwplmoe^ls®#¯ZIVr¸¬dplvI«MpoKgwZYvtrmj gwplmoXClf}fZIT«rso}Z °fZIjYnfgwplmoX3ld}ZY¹²¿¼Z3yvwZSeZIoKg?VZYviZgiVZ}fZIewpoGgilKl ÀÁNÂÃkÄfÅÆ4ÄÇÈ«N
(67) VpqjtVApX3yZYX3ZIogte5giVZ³#µ¤u jYlmX3yNlmoZIogXClf}fZIT«rmlo
(68) p±giVrÌewZ g^ls®ºrsmlvwpgwVXe%®ÊlvjYlmX3y¯lKepgwplmo¯rs ¬ZYvip±Ë¯jIrgiploOls®´}fpNZIvwZIoKg5yvwly¯ZIvgipZSe#pÍmZ }fZSrm}flfjt Í ¹®ÊviZYZI}lmX{«dp¬mZIoZIeieY«rmo}(vwZSrmjtVrmppghcm² U%VpqeCyrsyNZYv3pqe3ehgivwnj gwnviZI} rme®Êlml 5eI² adZIj gwplmo GpoKgwvild}nj ZSe giVZAj lmX3yNlmoZIoKg®ÊvtrsX3ZY #lmviÍM²afZIj/giplSo Z °fyqrspoe giVZ(y¯rsvwgClm®
(69) gwVZ ½lvwÍ }floZOdc ÀkÁMÂÃkÄfÅÆ4ÄÇÈÌ
(70) VpjtV pqe3j lXCX3lo gwlrs½pX3yZYX3ZYoKgwZS} ¬ZYvip±Ë¯jIrgiplo rso}!ecdoKgwVZSepqe rmlmvip±giVXeY²´adZIj gwplmTo R}fpqewjYneieZSeºgh #ljIrmewZegwn}fpZIe#pod¬mlm¬dpo}fpNZIvwZIog%X3lf}fZYqe#ls®jYlmX3ynfgtrgwplmo(rso}(j lmX3XnopqjYrgiplo4« rmo}AadZIj gwplmoAjYlmojYn¯}fZIeI². UVUXW1YDZF[F\$].
(71) %¥w¢¾§¦s¥ªtª *¢ ¥ R. (
(72) ( ' . µ¤oAgiVZ ®Êll
(73) po« #Z yviZIewZYoKgkrsoAZIoVrmoj ZS}(¬ZYvteplmo{lm®giVZjYlmX3y¯loZYoKgkX3lf}fZI³#µ¤u yviZIewZYoKgwZS}{po:,) f« R-¾²=lvrewZ g lm®¬rsviprmZSe X «KZ g V (X) }fZYolsgwZkgwVZ?ewZ g½lm®4¬rsnrgiploe-lm® X «KZYg P(X) = 2 ¯ZkgwVZ?eZYg½lm®yviZI}fpqjYrsgwZIe-lmo V (X) ² . V (X).
(74) . . z t ¦¦¨N¢Y¨£pe
(75) rgwnyZ K = (B, I, P ) j loepqegwpolm®&r8t¢t¡ ·¦¥ B «rso ¨£¤¢Y¥#$ %t¢ I «¯rso}{r3eZYg
(76) ls®i¦s¨ª/£¹¥M ¨¯£·ª P ² !#"$#" % 'Ï & ) (!* Ó U%VZ¯ZIVr¸¬dplv5ls®´rÌj lX3y¯loZYoKg5pqek}fZYËoZI}{po{gwZIvwXekls®´rA£T¥ ¨ªF £·¦¨ª ¸ª/£¤¢$C²%µ¤oGj logivirehg%gilgwVZmZYoZYvtrsjYlmX3y¯loZYoKg ®ÊvtrsX3ZY #lmviÍ
(77) VpjtV rml 5e?®Êlvrsvipgwvtrsvic}flXrspoeY«ºÀÁNÂÃkÄfÅÆ4ÄÇÈjYnvwviZYoKgicenyy¯lvgte loc ³#ldlmZIrmormo} Nlmno¯}fZI} olo ¾oZYKrgwp¬mZ^pogiZYZYv
(78) ¬rsviprmZIeI² + -Ï ,/. *Ê0 * $Ó . "2143 . 0 *Ê5 * 6Ó . Ð Y Ï 87:9 givirmoewp±giplo ewcfehgiZYX S q6ª £¹© *¢ (X, A, G, F ) ; ¡¢Y¥w¢ q6 ª ªY¢ £%>¦ F¥ O $*¢ =ª < • X qK ª ªY¢Y£´¦ K £ ·¦¨?ª >@ * ª ¦ **¢ ^yNlmvwgi@e > D ¥/£ £ ·¦¨N ¢ ¨£¤¦j lmoKgivwlqrs(Z s ¨ knojYlmoKgwvilmrm(Z %Y£ ·¦¨=ª < • A = A ∪A ªiªY¦ $O s£¾¢ ª ¨ ¨¦ ©f=¥ < ; £Ê¡ ¢ ¸¢YF¥ C %YN£ ·¦s¨ £Tª%mnrmvi}¼ª ¢ ¨K§ ; ¡¢ ¨£ ¡ ¢ £ ·¦: • G : A → P(X) t" ¦s¥ ¢ %t¡ £ ·¦¨ > *¢ £ ¢ D ¥/£ O *At©f ¨ YN£ ·¦s¨ #¢ B-D¨ ¨d§ s¨¼rewewpmoX3ZYoKg • A £¾¦ F¥ O $*¢ =ª >K m¢ ¢Ya ¨ 1∈ ¨KA§¦¨£ ¡F'¢ :©f¥/X¥i¢ ¨¯→£½ª/£ V£¤(X) 5¢ CEDN¡→C ¢ IBªiFª ∪±§mD¨ IN¢ ¨¯0£ t©f ¨ YN£ ·¦s4¨ qª£¤¦£ *GF #¢ B-¨N ¢ A¦¨ 1** *±D© £ ·¦¨ª c. u. a. HC + Ï-,/. *Ê0* Ó$. I14J V (X). Ó YS Ó$. Ô/*Ê0* Ó$. 7 ¸¢Y¨ G£T¥ ¨ªF £·¦¨ ª ¸ª/£¤¢$ A, G, F ) s¨ {ª/£ £¤¢ x ∈ V (X) >*¢Y£ post (x) t¢ £Ê¡¢^yNlegijYlmo}fpgwplmo ¦>LK ©f¨A m¢Y¥ a ∈ A >#£Ê¡ s£qª=> post (x) = x ª/(X, ©Dt¡£ ¡D £ x = F (x )(x) F (x ) qª' m¢MBº¨N¢ N> s¨ ¦ Ê £ ¡ Y ¢ ¥ qª ¢0C ; x =x + -Ï ,/. *Ê0 * $Ó .IO 1?P Ï . 5*· Ó$Q Y . 5*·5* Ó6. Ð Y Ï 87R9 £T¥M s¨ªF £·¦¨ ªF¸ª/£¤¢$ = (X, A, G, F ) m¢MBº¨M¢/ªT Ìgwvtrsoewp giplo viZYqrgiplo →: V (X) × A × V (X) ªtD© t¡{£Ê¡ s£ ∀x, x ∈ V (X) ∀a ∈ A . x → xS ⇐⇒ C G(a)(x) ∧ x = post (x) U%VZ%ewcKoKgtr° ls®Mrk¯rmewpj#j lXCyNlmoZYoKgI«
(79) VlKeZ#NZYVr¸¬dplmvpe´}fZYËoZS}dc rkgwvtrsoewp±giploewcfehgiZYX{«sjYrmoNZ½®Êlno}po3rsyy¯ZIo}fp° ³^²m² d²´kZSj qrsvtrgwplmo¯eºls®poKgwZImZIv-¬rsviprmZIeºXneg%ewy¯ZSj p®Êcm«dpoOyrmvwZIogiVZIewZIeI«rmoÌnyyNZYv%Nlmno¯}²ºz5odcrmeiepmoXCZIoKg-¯ZYgh ½ZIZYo poKgwZYZYv5¬rmvwpqrsZIe5poÀÁNÂÃkÄfÅÆ4ÄÇÈ^viZ KnpvwZSe%gwVrsgkNlsgwVA¬rmvwpqrsZIe5Vr¸¬mZ?giVZeirsX3Z nyyNZYv¯lno}²
(80) z
(81) j/giploekrmvwZ?ghcdyNZI} re%noj loKgwvilmrmZ^dcÌgiVZ SUT0V5W#X3ld}p±ËZIvI² XYK [Z* Ï "]\ ¢ mM¢ Bº¨M ¢ ^U_a`cbedgf@SU_i1¦ ¦¨M¢ ¨¯£ ; +¡ Oi¡ N¥i)¦ sD© i¢ 6ª ¨ 5¨ Bº¨ £¾¢ ªY=¢ h ©¢Y ¨ t¢¦ ¨£¤¢¾§¢Y¥tª ..., 41, 42, 0, 1, ... C a. 0. a. 0 i. a. 0 i. i. a. i. i. 0. a. 0. 0. a. i)jgkel j)men)mco2lcp j-q)rsi)ntp u j'j'vxwgq v-nzy w0mco{wgocngk
(82) |=}'~ey eiNo$wUj)m{w0mw0o!wN{wNq v-n )m qwgocngk$- Iq'j{wNqcv-n''cv )nzwgo n0kLc~zy eiNo$wUj)m{w0mw0o wN{wNq v-n )m qwgocngk) Iq'j{wNqcv-n''cv )nzwgo n0k$'y eiNo$wUj)m)n)mcq{wg mej)owgq v-nqcjxwNq v-n-o'p-r nzy n)m qy. Ï Q Ï U%VZ ¨¯£¾¢Y¥#$ %t¢&}fZYËoZIe
(83) Vrsg´yrsvwglm®Nr^j lmX3yNlmoZIoKgpqe¬KpqewpZ½®ÊvwlX lmnfgtepq}fZm«rso}Vl gwVZ
(84) jYlmX3y¯loZYoKg´jYrmopogiZYvtrmj g
(85) pgwV pgie
(86) ZIod¬KpvilmoX3ZYoKgS²ºz ®Êno}rmXCZIoKgirsp}fZSrCls®´j lmX3yNlmoZIoKg ¾rmewZI}(}fZIewpo(pqe%giVrgkjYlmX3y¯loZYoKgte
(87) rsviZ?}ZIewpoZI}(po¯}fZYyNZYo}ZYoKg lm®kgwVZGj lmoKgiZ °dgCpo
(88) VpjtV!gwVZYc rmvwZ mlpogwlNZA}fZYylcmZS} , s. -¾²É[½lmX3y¯loZYoKgteeVlnq} gwVZYviZ ®ÊlmviZ{rsl *®Êl"v ¨ N©f£Tª/« ¬rsvipqrsZIe^giVrg jYrmo¯ZnewZI}pogiVZÌj lX3y¯loZYoKgI«rso}¼j looZSj/gwZS}
(89) pgwV¬dpqepZ¬¸rmvwpqrsZSelm®#lmgwVZIv j lXCyNlmoZYoKgie?loj Z giVZ j lXCyNlmoZYoKg5pe%poKgwZImvtrgwZS}² =lmviX3rmcm«dgiVZ pogiZYvw®·rmjYZ^lm®&r3jYlmX3y¯loZYoKg
(90) pgwV{¯ZIVr¸¬dplv B = (X, A, G, F ) pqe5rgwnyZ I = (X , X , 3 , ) K jYlmoewpegwpo3ls® !#"$ . .. in. v. v. VU.
(91) ¦¦¨N¢Y¨£ ¸ªY¢
(92) C¢ ª ±§m¨¼¦¢Y£¾¢Y¥w¦i§¢Y¨N¢t¦s©dª¢ £¢ ¸ªt£¤¢ ª ¨ ÀÁNÂÃkÄfÅÆ4ÄÇÈ. . gwVZ ewZ g
(93) lm® ¨1N©f£ ¥FO $*¢/ª X ewnjtVOgiVrg X ∩ X = ∅ gwVZ ewZ g
(94) lm® qªFO$*¢ ¥FO $*¢ ª X ⊆ X • gwV'Z ¨¯£¾¢YM¥ £·¦¨ 3¦ m¢ * 3 = (C, , f ) • gwVZ ewZ g
(95) lm® qFª O$*¢ ¨¯£¾¢Y¥M %Y£·¦¨ª ⊆ I(C) = {α | ∃c ∈ C . ∅ 6= α ⊆ c} ² • U%V4Z ¨¯£¾¢YM¥ %Y£ ·¦¨ )¦ $¢ * 3 ewyNZIj pËZSe3Vl *gwVZ{ewn ¤j lX3y¯loZYoKgieClm® K poKgwZIvirj/g3
(96) p±giV!ZSrmjtV!lsgwVZYvS² µ¤oKgwnpgwp¬mZIc« pqe3rewZ g3ls(® t¦s¨¨N ¢ Y£¾¦s¥tª/:² &-rmjtV!ls®
(97) gwVZYXpqe3rGXr°fpX3rm
(98) eZYgClm®kj lmX3yNlmoZIoKg3rj/gwplmo¯e giVrgjYrmo NZ(ZY°dZSj nfgiZI} xhClpoK⊆gwcm2² U%VZewZ gOlm®j looZIj gwlvie C nop KnZIc }fZYËoZIeOgwVZewZ gOlm® poKgwZIvirj/giploe I(C) ² ⊆ I(C) pqeÌgiVZewZ g(ls® t¦ *¢ £¤ ¢ ¨£¤¢ M¥ £ ·¦¨ª/²½[½lmX3yZ gwZ?lv#Xrs°dpXrspoKgwZYvtrmj gwplmoe?¶ÊgwVrsg%pqeI«j looZIj gwlviet»-}lolmg5oZYZS}ÌgilecdojtVvilmop PIZ
(99) pgwV lmgwVZIv5rmj/giploe#gwlCgtrsÍmZ^yqrmjYZm«f
(100) VZIvwZSrme#olmo ¹Xr°fpXrsMpo¯j lmX3yZ giZ poKgiZYvtrmj/giploe%jYrmoolsg%lfjYjYnv5rslmoZ²-[½lmX3XnopjIrgwplmo NZ gh #ZYZIo jYlmX3y¯loZYoKg%lmocgtrsÍmZSe-yrj Z^gwVvilmnmVOpoKgwZIvirj/gwplmo¯eY«del3rme½gil3ewZYy¯rsvtrgwZ^j lXCXnopqjYrsgwplmoÌ®ÊvilmX j lmX3yngirgiplo4² &-rjtVÌj looZIj gwlv X3r¸cC}fZ ˯oZkr j lX3XnopqjYrsgwplmoC®Ênoj gwplmo f (c) : X → (V (X) → IB ∪ IN) XrmÍKpo rewewpoX3ZYoKgie gil¬¸rmvwpqrsZSe½lm®&jYclmX3∈yNClmoZIogte%poKgiZYvtrmj/gipopo c ² U%VZpoKgiZYvtrmj/giplo XClf}fZIpqeO®Êno}rmXCZIoKgirs®Êlmv(po¯j viZYX3ZYoKgirmjYlmoegwvinj/gipl0o I¼
(101) VpZewyNZIj p®Êcdpo
(102) VpqjtV poKgiZYvtrmj/giploe jIrso ldjIj nvÌrsgÌrsodc egirsZ(lm®?jYlmoegwvinj gwplmo4«½p±gOrmewlyvwl¬dpq}fZIeCpof®ÊlmviXrgwplmo rsNlmng3cZ gpoj lXCyZYgwZApogiZYvtrmj gwplmoegwV¯rg viZ KnpvwZGewcdojtVvilmoQp PIrsgwplmo
(103) p±giV ®ÊnvwgwVZIvOj lXCyNlmoZYoKgieI² =lmvÌpoegirmoj Z«%r olmo ¾Xr°fpX3rm5rso} poj lX3yZYgwZGpoKgwZIvirj/gwplmo «drsgwVlmnVCpg-Xr¸colsgºlfjYjYnv-rslmoZm«mXr¸c NZ5¬dpqepZ5polvi}ZYv&gwl rml !®Êlmv-rmoCpoKgwZIvirj/gwplmo α ∪ α α lo∈j Z^I(C) gwVZ j rlm(CX3yN∪lmo ZIoKg5)pe%poKgwZYvirsgwZS}Opo rmo{ZYod¬dpvilmoX3ZIog%yvilmyNlewpo α ² z Jhynvw$Z L³#µ¤u+jYlmX3y¯loZYoKg{rme{}fZ ˯oZI} po , f« R- pqe{r j lX3y¯loZYoKg (B, I, P )
(104) pgwV B = (X, A, G, F ) « I = 3 «¸rso} 3 «IgwVrsgpeI«r
(105) j lXCyNlmoZYoKg
(106) pgwVlnfgpoynfg¬rmvwpqrsZIeI«SVp}po¯«Srmo} j lX3XnopqjYrsgwplmo ®Ên∅,o¯X,j/gwplm o¯eY,² I(C) = (C, , ∅) !#"$ O $Ó . YI¸e * . I [½loehgivirmpoKgte5rsviZ newZI} gwlOXClf}fZI4giVZ ®·rj/g5giVrgky¯rsvwgkls®&gwVZ ¯ZIVr¸¬dplv5ls®ºrjYlmX3y¯loZYoKgkXr¸c(¯Z®Êlmvip}}fZYoG}fZIy¯ZIo}fpo loGgwVZegirgiZlm®ºlsgiVZYv?j lXCyNlmoZYoKgieI² =lmv^po¯ehgtrsojYZm«j loehgivirmpoKgte5Xr¸c(NZCneZS}AgilOZ °fyviZIeie5viZIegwvipqj/gwplmo¯e5lmogwVZCrmjIj ZIeie gilvwZSelnvijYZIeI«lv5ewjtVZI}fnpo3y¯lpqj pZIeI² + -Ï ,/. *Ê0 * $Ó . 1 6Ó . YI * . N 79 jYlmoegwvtrspoKg̦sS ¨ 8t¦ ¦s¨N ¢Y¨£ ; £Ê:¡ t¢t¡ ·¦¥ B = (X, A, G, F ) s ¨ " ¨¯£¾¢Y#¥ $ %t¢ I = q6 ª £¹© *¢ ; ¡¢ ¥i¢ U, (U ) (X , X , (C, , f ), ) q; ª N¥w ¢ 1O s£¾¢3¦s¨ X ∪ X ** ¢ ehgtrgiZ j lmo¯ehgivirmpoK@g < • U ¦ ¥ sD¨ α ∈ C ∪ > U q6ª N¥w ¢ O s£¾¢3¦¨ X ∪ X 1** ¢ poKgwZIvirj/giplo(j loegwvtrspoNg C • enrmcm«%giVZpoKgwZIvirj/gwplmo X3lf}fZIZY°dyvwZSewewZIeVl jYlmX3yNlmoZIogte t¦S¦ ¢ M¥ s£¾¢Y«k
(107) VpZjYlmoegwvtrspoKgieÌewy¯ZSj p®Êc Vl +gwVZIc t¦¨ª/£TM¥ 1 ¨ZIrjtV(lmgwVZIvI«d®Êlv
(108) poegirmoj Z?lo ewVrsviZI}(viZIewlmnvtj ZSeY² •. in. in. v. +. C. v. A. +. C. +. 0. 0. +. in. +. v. C. α. v. α∈C∪. +. in. +. α. in.
(109) z
(110) .
(111) . -rjtVAj lmX3yNlmoZIoKg%V¯rme
(112) rCnop KnZ eZIXrsoKgwpqjYe
(113) }fZYËoZS}(re#®Êlml 5eI² + Ï-,/. *Ê0* Ó$. 14J Ï Ó6. Ô/*Ê5* Ó6. 7 ¢Y¨4 O£T¥ ¨ªF £·¦¨ªF¸ªt£¤¢ (X, , G, F ) F ; ¡¢Y¥w¢£T¥M s¨ªF £·¦¨ª s¥w¢ * %t¢ *¢ ; £ ¡ ¨D £¤¢ ¥ %YN£ ·¦s¨ª H s ¨ S TN¥w ¢ 1O s£¾¢ P ∈ P(X) >6*¢Y£ pre (P ) t¢G£ ¡¢yviZIjYlmo}fpgwplmo~¦ P ©f¨A m¢Y¥ α ∈ >£ ¡D £ qª?> ∀x ∈ &. V (X) . preα (P )(x) ⇐⇒ P postα (x). C. α. + Ï-,/. *Ê0* Ó$. 1 XLK *TY Ï'. 5*·!*½f&IYs0* Ó$. 7 ¢ £ ¨A t¢^ªY¢Y£·ª^¦ . s¥FO % *¢/ª?ª/©Dt¡Ì£Ê¡ s£ > s¨ *¢ £ t¢; M¥w¢ O £¤¢3¦¨ X C \ ¢ ; ¥F £¾¢ P | ¦s¥ £ ¡¢5ZY°dpqegwZYoKgipXrmMrmegwvtXrmj/giploÌls® P lo X >º£ ¡D £ qª?>º£Ê¡¢ ªFX 1*⊆*¢/ª/X£ N¥w¢ 1O s£¾¢CP¦¨ X *5· ¢ " C P + -Ï ,/. *Ê0 * $Ó . 1?P Ï . 5 *· $Ó Q ¼ Ó [Z $Ó .'Ï . N 7 DM¡¢^ªY ¢ s¨£ O/ª?>¦ (t¦1¦¨M¢ ¨¯£ (B, I, P ) ; £Ê¡ B = (X, A, G, F ) > 3 > 3 = (C, , f ) >' A¨ P = (U, (U ) ) qªO1§ ¢Y¨ ¼£Ê¡¢ t¢i¡D ·¦¥ B = (X, C ∪ I = (X , X , , ) F ¡ Y ¢ w ¥
(114) ¢ ¹ £ M¥ ¨Fª N£ ·¦s¨ ª ¥w¢ *Q %t$¢ *¢ ; £ ¡ ¨£¤¢ M¥ £ ·¦¨ª H ; £Ê¡ F (α) = S F ∪f (α) ¦¥ s¨D α ∈ C ∪ > s ¨ , G , F ) V; C G (α) = G(a) ∧ U ∧ pre (U ) | "klsgwpqj ZgwV¯rg j lmo¯ehgivirmpoKgieklmoGnoj looZIj gwZS}Gpoynfg ¬rsviprmZIekrmvwZCrsegwvtrmj gwZS}Gr¸ #r¸c«¯ewl re5gilOlfgirmpo4«M®Êlv^rmodc{jYlm X yNlmoZIoKg5
(115) p±giV ly¯ZIo{poynfgieI«fgwVZ XClKehg
(116) viZIegwvipj gwp¬mZ?NZYVr¸¬dplmv%l¬mZIv ¤rsyyvwl¸°fpX3rsgwpo pgie
(117) NZYVr¸¬dplmv%lmo¯j Z^gwVZ jYlmX3yNlmoZIog
(118) pqe ®ÊnvwgwVZYv5poKgwZYvirsgwZS}Orso¯}OgiVZ poynfgte5rsviZ^jYlmooZIj/giZI}² 0. 0. . ∃ X0. in. +. 0. v. +. v. C. 0. α. 0. a∈α. UVUXW1YDZF[F\$]. 0. α. 0. 0. α∈A 0. a. a∈α. α. ∃ X. C. +.
(119) . %¥w¢¾§¦s¥ªtª *¢ ¥.
(120) . .
(121) 4L [ E . U%VZ rgilmXe lm®
(122) gwVZ j lmX3yNlmoZIoKgX3lf}fZY%rsviZG ¸ªFO t¦¦s¨N¢Y¨£Tª^_ rmepo Z °rsX3yZG3_ j loewpegwpoGlm®krA¯ZIVr¸¬dplvI«´r givwp¬dprmpoKgwZIv®·rj Z«rso} olj loegwvtrspogteY² + -Ï ,/. *Ê0 * $Ó . 14% 5 *T( Ó [Z 6Ó .'Ï . g 7:9 repqjÌjYlmX3y¯loZYoKg8qª 4t¦¦s¨N¢Y¨£ K = (B, I, P ) ; ¡¢ ¥w¢ B = (X, A ∪ > 3 > 3 = (C, , ∅) ; £Ê¡ {a} | a ∈ A ⊆ ⊆ C = {a} | a ∈ A ∪ A > s¨ ) A , G, F ) I = (∅, X , , ¹ £ / ¥ © ¢ T £ / ¥ © ¢ C P = ,( ) ! O #" Ó [Z Ó 0 *Ê5 * 6Ó . [½lXCyNlewpgwplmoOlm®j lX3y¯loZYoKgie#pqe%}fZ ËoZI}ÌdcÌrCj lXCyNlewpgwplmoOly¯ZIvirsgwplmoÌ
(123) VpjtV(pe#yrmvirmXCZYgwZIvwQp PYZS}3KcÌr3%§ * ©¢ ¨¯£¾¢Y¥M %Y£·¦¨ )¦ $¢ * 3 = (C, , f ) lmo(gwVZ jYlmX3yNlmoZIogte#gwl3NZ j lmX3yNlewZI}² + -Ï ,/. *Ê0 * $Ó . 1 * Ï * . Ï m5 * 6Ó . Ó Ô Ï * 7:9 nZ-pogiZYvtrmj gwplmo X3lf}fZY1¦ ¸¢Y¥ ^ªY¢ £¦ i1¦ ¦¨M¢ ¨¯£·ª K = (B , I , P ) > > £Ê¡ B = (X , A , G , F ) A¨ I = (X , X , 3 , ) qª s¨ ¨¯£¾¢YM¥ £ ·¦¨ )¦ $¢ * 3 i ∈ {1, . . . , n} ; = t ª © D t¡{£Ê¡ s£ (C, ,f ) 9 **t¦s¨¨N ¢ Y£¾¦s¥tª A¨ :t¦ *¢Y£¾8 ¢ ¨£¤¢ M¥ £ ·¦¨ª ¢Y ¨ t¦ ªtª{¦¨ *5 )qFª O *8¢ ¨¯£¾¢YM¥ %Y£ ·¦¨ª{>¦ (£ ¡¢ t¦ ¦s¨N¢Y¨£·ª ∀α ∈ • S > > s ¨. C A C∪ α⊆ α∩A ∈ ∪ {∅} ¦s6¥ D¨ %§ * ©6¢ ¨£¤¢ ¥ %YN£ ·¦s¨ α ∈ C ∪ £ ¡¢ ¥i¢¢ Eqªt£½£ ; T¦ t¦ ¦s¨N¢Y¨£Tª i 6= j ªtD© t¡{£Ê¡ s£ α ∩ A 6= ∅ 6= α ∩ A C • A ' 4 mM¢ Bº¨NG ¢ t1¦ C©fD¨ O £ ·¦¨ t©fA¨ £ ·¦¨ f (c) : X → (V (X) → IB ∪ IN) ¨d§ %t¡ t¦¨¯¨N ¢ £¤¦¥ • ¸ªtFª ±§s¨ 3¢Y¨£Tª £¾2 ¦ .c sF¥ ∈O % C*¢/ª¦ 6t¦ ¦s¨N¢Y¨£Tª ¨£¤¢ M¥ £ ¨K2§ ¨ c C £Ê¡ s£ q0ª D ¥/£¦ -£ ¦ t¦¨¯¨N ¢ £¤¦¥tª > > ©dª/£¯D¡ ¢ %t' ¡ t¦ *¢Y£¤¢-%§ * ©¢ ¨£¤¢ ¥ %YN£ ·¦s¨ • 3©fD ¨ #hY©;¢ t¦ (©f¨ O £ ·¦6¨ t©fA¨ £ ·α¦¨ ∈ ¦s6¥ rC ¨ 2t¦ ¦¨N¢Y¨£ i D¨ ;¦ * ¸ ¢ ' ¨ α > x c∈ ,Xc > ∈ A¨ C αc ⊆, x,c f∩c(c , x) ∈ f D ; ¢¡ 1¸¢ c , x, f (c C , x) ∈ f ; £Ê¡ f (c , x) = f (c , x) CDM¡d©d=ª > f (c ) ©fD¨ #hY©$¢ *5' mM¢ Bº¨M¢/ª f (α) CªY¢ £¹N£ ¨d§ f (α, x) = f (c , x) U%VZ¼eZYg(lm®j lmooZIj gwlmvte C «j lmX3yZ giZpoKgwZYvtrmj gwplmoe rmo}Éj lX3XnopqjYrsgwplmo ®Êno¯j/gwplmo¯e f rsviZ}fZ ˯oZI} Kc r ewZ KnZIoj Z?ls®´}fZSj qrsvtrgwplmo¯e½po gwVZ^®Êll
(124) po3ewcdoKgir° I . c. u. v. v. . +. u. c. u. +. α∈C∪. +. +. C. . i. +. i. i. i. i. i. i. in,i. v,i. i. i. v,i. i. i. glue. C. +. i. i. i. v,i. +. i. j. .
(125). C. +.
(126). 1. . 2 i. 2. C. C. C. 2. C. C. 1. C. 2. C. 1. 1. 1. 2. C. 1. C. C. 1. +. C. f ` T-TgS5f W`'_f ` ^ S@WS "!#$ %&('")bt`*!'+', -./0 1' 2. XYK [Z* Ï ¢ £ ©dª t¦s¨¨N¢ Y£ £ ¡¢6N¥w¦ ©Dt¢Y¥{¦ ¢E *¢43 ; £ ¡ 4t¦¨ª/©+3¢Y¥ ªF¨Ai¡f¥w¦¨ 65$ ¨d§ ^U_`cb dNf S)_87 94S)Tgb ; £Ê¡ f@` T$9 d&LSU_:7 _S5f@S$; VgSU>&ª/©Di¡{£ ¡D £-£Ê¡¢ ¦¥F¢Y¥ ¨£¤¢ ¥M £·¦¨Gqª;t¦1A*¢ £¤¢ > ; ¡¢Y¥w¢ ¸ª £ ¡¢* s£T£¤¢Y¥ C©dª/£@ ¨£¤¢Y¥M %Y£ C 9 ¨ ¨¯£¾¢Y¥M %Y£·¦¨ qª ¥F £¹£¤¢ ¨4 ¸ª C {a1 , a2 } ; a1 |a2 i)jgkel j)men)mco2lcp j-q)rsi)nt= p < <&<nUm qy i)jgkel j)men)mco i)j)ms0r)ksntp u j'j'viUj)msgr)kw0?m >y w0mco{wgocngk
(127) |=}'~ey eiNo$wUj)m p neiUn6$w @ nwNImej)oi)jUmsgr)k w5?m >Iqcjxi)j)m$gr)k w0 m >G-o'ptrenzy eiNo$wUj)m qcj)m nwg{i)jUmsgr)k w5?m >Iqcjxi)j)m$gr)k w0 m >G'c'v )n y n)m qy i)j)m'm neiNo jtp2lcp j-q)rsi)ntAp <?)n)m Cq Bi)j)m$0rUksnUAp < pcn iUn6$w @'ni)jgkel6vtnto n2lcpcj-qtrsi)n)Ap <=)n)mcq qcjxi)j)ms0r)ksntAp <=wgo ngkL- tl-p j-q)r$iUntDp < wgocn0k
(128) y. %¥M ¡ O 1**5g>Ci1¦ ¦¨M¢ ¨¯£·ª ¥i¢A¥w¢ N¥w¢ ªY¢ ¨¯£¾¢ ª8t¦)EK¢ ª £ ¡ £ ¡¢8 qª O *¢G. s¥FO % *¢ ª ¨ %Y£N·¦s¨ª@C ¦¨¯¨N¢ Y£¾¦s¥tª8 s¥w¢ ¥w¢ N¥i¢/ªY¢Y¨£¤¢ T$C 2*5 ¨N¢(t¢ £ ; ¢t¢ ¨G £·ª 3¢ 'i¢Y¥6 %Y£·¦¨ª@C ¦ ; *¢Y£¤¢( s¨ 2 ¨ t¦ *¢Y£¤¢; ¨¯£¾¢Y¥M %Y£·¦¨ª6 s¥w¢ ¥i¢BM¥w¢/ªY¢Y¨£¤¢ ; £Ê¡ B ** ¢ Ì£¹F¥ O ¨d1§ *(¢ A¨ C M¥ *¢ >½¥w¢/ª¢ £¸¢ *5)C VU.
(129) ¦¦¨N¢Y¨£ ¸ªY¢
(130) C¢ ª ±§m¨¼¦¢Y£¾¢Y¥w¦i§¢Y¨N¢t¦s©dª¢ £¢ ¸ªt£¤¢ ª ¨ ÀÁNÂÃkÄfÅÆ4ÄÇÈ. . producer send. receive consumer send|receive item consumer.item:=producer.item. item. pnvwZ3Iº[½looZSj/gwlv =. ^U_`'bedNf SU_:7 94SUTNb |f@` T$9 d&LSU_:7 _S5f@S$; VgS
(131) pgwVAjYlmX3yZ gwZ?poKgwZYvtrmj gwplmo. {producer.send}. ². Z 1¨ N©f£Tª/«¯XrsÍdpoOpgyNleiewpZ gil(}fZYËoZjYlmoegwvtrspoKgieklmo{gwVZCjYlmX3y¯loZYoKg . Z S [½lXCyNlmno}Gj lX3y¯loZYoKgiejYrmoGVr¸¬m' NZYVr¸¬dplmvk}ZYyNZYo}fpoÌloApoynfgk¬rsvipqrsZIeI«
(132) pgwVlnfgryviplmvip4Ídol
(133) ZS}fmZ?lm®&
(134) VZYviZ?gwVZpoynfgj lX3ZIe%®ÊvilmX{²%µ¤oynfgtekrmvwZ }fZSj qrsviZI}rme?rOpqehg ls®%}fZIjYrmvirsgwplmoels®-gwVZ3®ÊlvwX ´pogiVZj lmX3yNlmoZIoKg?}fZYËopgwplmo4²C¿ VZIogiVZj lmX3yNlmoZIoKg^pqe rewewZYXZS}«dgwVZ poynfgkjYrmo(NZ j looZIj gwZS}(n¯epoCgwVZ egirsgwZIXCZIoKg . . & ? . f `eTtTgS5f W. XYK [Z* Ï O. . !( !
(135) 2 . ¦ ¨K§ A£¾¦¢ ¢ t>#ª/© ¦ª ¢O£Ê¡ £k£ ¡¢ N¥i¦) s©Di¢Y¥Ft¦¨ªt©+¢Y¥ªF¸ª/£¾¢ qª3¥w¢=h ©+ ¥i¢ A£¾¦8 1qªt£ ¨K§m©+qªw¡ ¤£ ¢ ª¦ s¥/£ Y© ¥ ©¢ > ; ¡ t¡ m¢ ¢Y¨ ª¦¨É£Ê¡¢¦s©f£·ªFO m¢ ¦>{£Ê¡¢Gª ¸ª/£¤¢$ ¨A :' ¥F)C]DM¡ qª8qªG m¦s¨N¢4$ ¢ s¥ ¨K§ ¨ ¨ N©f£ ^US0f > ¨ Ê£ ¡¢Y¨ t¦ ¨¯¨N¢ Y£ ¨d§ £ ; £ ¡G ' qª O *¢( ¥FO $*¢3¦6 ¨M¦£Ê¡¢Y¥6i¦1¦¨M¢ ¨¯£. ( ME * $ > " NO +* G. 1* O * F 8 G 9 ; & A . N '. 8. $Nocngk lcp j-qei)j)msci)j)mco'pcj'v'v)n-q $go ngk lcp jtq6i)j)ms{|5w0mcoglen icwUcv/|?}'~6' i)j0kelej)menUmcolcp jtqtrsi)ntp < < < n)m qy i)j0kelej)menUmcoi)j)m$gr)ksntp < < < n)m qy i)jUm'meneiNocjtplcp jtqtrsi)ntp <=)n)m q B4i)jUm$0r)ksnUpA< pcn i)n6w @ n n)m qzy i)jgk lej)men)m'oi)j)mco-p jcv'v-n)p w0m'o @ 'vUren |=}-~6y < <&< n)m qzy i)j)m-meneiNoIlcpcj-q6i)j)m$ <=glen icwU'v i)j)mco-p jcv'v-n)Ap <:@ cvNrenzy n)m q. ty. < < <. + Ï-,/. *Ê0* Ó$. "I1 Ó$. 0*·I Ï'. Ð 7 ¢Y¨: ̪Y¢ £
(136) ¦>(t¦¦s¨N¢Y¨£Tª Ki = (Bi , Ii , Pi ) > i ∈ {1, . . . , n} ; £ ¡ Bi = (Xi , Ai > > 3 > s¨ 3 i = (Ci , +, fC,i) > C§%* ©¢ ¨£¤¢ ¥M £·¦¨ ¦) ¢$* 3 = (C, + , fC ) ¦¨ G , Xv,i , i , v,i ) Si , Fi ) Ii = (Xqªºin,i j l o e q p e w g Y Z K o g £Ê¡Ì£ ¡¢
(137) ªY¢Y£&¦i¦1 ¦¨M¢ ¨¯£·ª i F¾£ ¡¢Kt¦s¨¨N¢ Y£¾¦s¥tª m¦ ¨M¦£ m¢MBº¨M¢ ; (K ) dom(fC ) = ∅ v,i i=1,...,n s¨DCt¦(©f¨ O £·¦¨ t©f¨A £·¦¨ª >½¦s¥ £ ¡¢ ¦1**¦ ¨d§ £ ¡f¥w¢t¢ t¦s¨ i i=1,...,n ·¦¨ª^¡¦1* #. £ H ;. ¦ C©f¨DO s£N·¦s¨ t©f¨ Y£·¦¨ª^© £¤¢¦s¨D*5 ¥FO % *¢ ª¦> D ¥/£O$ D £ ¨K§ t¦¦s¨N¢Y¨£Tª V ¦¥6 s¨D c, x, f (c, x) ∈ f 1 ¨ C ¨£¤¢Y¥M %Y£N·¦s¨ > α ⊆ c >º£ ¡¢ ¥i¢;qª?ªY¦¢ t¦1¦¨M¢ ¨¯£ K ª/©Di¡A£ ¡D £ x ∈ X ¨ A ∩ α 6= ∅ C α∈C∪ ¦s¥3¢ %t¡G ¨£¤¢ ¥ %Y£N·¦s¨ α ∈ C ∪ ; £ ¡ α = α ∩ A 6= ∅ ¦s¥ªY¦¢ i = 1, ..., n ªt©Dt¡£ ¡D £ α qªD ¥/£k¦£ ; ¦ • A *)¦ 1* i¦s¨¨M¢ Y£¤¦¥tª FB#C 5¢ C α ⊆ c ∩ c H > α ©dª/£-¡ 1¸T ¢ ©f¨D#hY©¢(t¦1 C©f¨DO £·¦¨2t©f¨A £·¦¨ ¦¥' ¨D c ,c ∈ C s ¨. k ¢ ¡ 1¸¢ c , x, f (c , x) ∈ f c , x, f (c , x) ∈ f x∈X ; ; £ ¡ f (c , x) = f (c , x) C DM¡d©dª=> f © ¨ #h © ¢ *5C #¢ B-¨N¢ ª $3ªY¢Y£T£ ¨K§ C f (c ) f (α ) f (α , x) = f (c , x) ¦ 1 C©fD ¨ O sN£ ·¦s6 ¨ t©f ¨ YN£ ·¦s¨ª^¦ 3 s¥w; ¢ t ¦ ¦ ª % *¢ £Ê¡(£T¥ ¨Fª £ ·¦¨ A ¨ 't¦ (©f¨ O sN£ ·¦s;¨ t©f ¨ YN£ ·¦s¨ª^¦ £Ê¡¢t¦1 • ¦s¨N¢Y¨ £ t¢iD¡ ·¦¥tª ¦'¥ D¨ α ∈ C ∪ s ¨ a ∈ ; α ∩ A ¦¥ªY¦ ¢ i >#£ ¡¢ª ¢Y£Tª dom f (α) > dom(F ) > s ¨ s¥w ¢ 1 ¥ ; qª ¢ 1q ª Y1¦ ¨£ C dom f (α ∩ A ) U%VZÌjYlmX3XnopjIrgiplo®Ênoj/giploe ls®
(138) olo ¾X3rs°fpXrsºjYlmX3yZ giZmnZpoKgiZYvtrmj/giploe rmvwZÌ}ZYvip¬ZI}®ÊvwlXgwVZOj lXCXn opqjYrsgwplmo®Ênoj gwplmoe?lm®-gwVZ3jYlmooZIj/gilmvte?j lmoKgtrspopo α ²CU%VZÌeZSj lmo¯}rso¯}GgiVpvt}¼j lmo¯}fαp±giplorm¯l¬ZXrsÍZCewnviZCgwVrsg^giVZ jYlmX3XnopjIrgwplmo(®Ênoj gwplmo{ls®&mnZ?pogiZYvtrmj gwplmoe#pqe
(139) ½ZI4}Z ËoZS}² [½loepqegwZYo¯j cpqeºrmnfgwlX3rsgwpqjYrmcjtVZSjtÍmZI}dc3ÀÁNÂÃkÄÅMÆÄÇÈs²µ¤o3yrmvgipjYnrmvI«KÀkÁMÂÃÄfÅÆ4ÄÇÈ#pqeienZSeºrso3ZIvwvilmv´X3ZIeieirsmZ p®&gwvtrsoewp±giplo ®Ênoj/giploe5rmo}{j lmX3XnopqjYrgiplo ®Ênoj/giploek}Z ËoZ jYlmoKgwvtrm}pj gwlmvicÌrmeiewpoX3ZYoKgie#®ÊlvkelX3Z ZIrsº¶Tj lXCyZYgwZ lv
(140) X3rs°fpXrs »½poKgiZYvtrmj/giplo4² XYK [Z* Ï ¦¨ ª O ¢ ¥{£Ê¡¢ ¨£¤¢ M¥ £ ·¦¨ ¦ m ¢ * 3 = {a , a , a }, {a , a , a }, {a , a }, {a , a }, {a } , {x := mM¢ Bº¨M ¢ C x , x := x }. •. C. +. i. +. 1. i. C,i. 1. C,i. 1. i. 1. 1. 0. 3. UVUXW1YDZF[F\$]. 1. 0. i. 2. C,i. . C,i. 2. 0. C,i. +. C,i. 1. C,i. C,i. 2. 1. i. a i. C. i. 1. 1. C. i. 0. 2. C,i. C,i. C,i. 2. 0. 0. v,i. 2. 3. 1. 2. 3. 1. 2. 1. 3. 1. 2.
(141) . %¥w¢¾§¦s¥ªtª *¢ ¥ f@` T-T0S0f W`'_. f@` &^ S WS a1|a2|a3, a1|a2, a1|a3 , a1 b)` x2 := x1 > x3 := x1 2 > > -> ª/©Dt¡A£Ê¡ s£ ¨ m¢Ed¢/ª¦; ¥FO $*¢ ª s¨ " %Y£·¦¨ª ¥i¢O ¢Y¥£¤¦Ì£Ê¡¢ ¥¦ ; ¨N¢Y¥tª C 3 qª t¢Y£ ¢t¢Y¨£Ê¡d¥w¢t¢ t¦¦s¨N¢Y¨£Tª K K K ; t¦¨ªFqªt£¤¢Y¨£ £Ê¡G£Ê¡¢C£Ê¡d¥i¢i¢'t¦11¦¨M2¢ ¨¯£·ª63 ¨N¦s¨N¢¦£Ê¡¢C£Ê¡d¥w¢t¢' £·¦¨ª© £¤¢/ª ¨DA¦>£Ê¡¢( ¥FO % *¢ ª > > CRDM¡¢ ; x 1 x2 x3 t¦ *¢ £¤¢ ¨£¤¢ ¥M £·¦¨ Ê £ ¡ Y ¢ ¨ Y ¢ t¦ ªtª ¢ ª £Ê¡¢( ¸ªtªF±§s¨ 3¢Y¨£ ¨ C {a1 , a2 } x2 := x1 + Ï-,/. *Ê0* Ó$. "$" 1 Ó [Z Ó 5*·5* Ó$. Ó$Q S5* . Ï'. IN7 ¢ ¨ £ ; ¦ D ¥/£O *At©f¨ Y£N·¦s¨ª f, g : X → (V (X) → IB ∪ IN) ª/©Dt¡ £ ¡D £ dom(g) ∩ dom(g) = ∅ 6> *¢Y£ f ∪ g t¢A£Ê¡¢ ¥Gt¦¦ªF £N·¦s¨Éª/©Di¡ £ ¡D £ dom(f ∪ g) = dom(f ) ∪ dom(g) > > ¨A (f ∪ g)(x) = g(x) x ∈ dom(g) C (f ∪ g)(x) = f (x) x ∈ dom(f ) + Ï-,/. *Ê0* Ó$. " 1 Ó [Z Ó 5·* 5* Ó$. k 7 ¢Y£ Ki = (Bi , Ii , Pi ) > i ∈ {1, . . . , n} > t¢ t¦¦s¨N¢Y¨£Tª ; £Ê¡ D ¥ ; qªY¢8 1qª Y¦1 ¨£ ¥FO $*¢ ªG ¨A : %Y£N·¦s¨ª=> > > s¨ Pi = (Ui, (U α ) ( C ¢Y£ 3 Bi = (Xi , Ai , Gi , Fi ) Ii = (Xin,i , Xv,i , i , v,i ) α∈C ∪ 3 i C ¢ 8. i s ¦ ¨ F ª q / ª ¾ £ Y ¢ ¨ º £ % § * © ¢ ¯ ¨ ¾ £ Y ¢ M ¥ %. Y £ · ¦ : ¨ ) ¦ . $ ¢ º * ¦ Y ¢ ¥ C f © / ¥ £ ¡ ¢ F ¥ ¦ w ¥ ¢ > *¢ £ + glue fglue ) {K | i = 1, ..., n} A S = (CglueS, glue ,i¢( D ¥/£O *ª/©D/ª/£ £T©f£·¦¨¦ ¨M©f£ ¥FO $*¢ ª £Ê¡8 qªFO$*¢ i ¥FO $*¢ ª@C σ : i Xin,i → i Xv,i MD ¡¢ t¦¦¸ªF £N·¦s¨¦?£ ¡¢ t¦1¦¨M¢ ¨¯£·ª Ki ©f¨A m¢Y¥ 3 glue s¨ σ qª ; £Ê¡¢(t¦¦s¨N¢Y¨£ [ [ 3 K = k Bi , (Xin , Xv,i , , v ), P ,σ {Ki | i = 1, ..., n} = a1 |a2 |a3. . + i. i. ; ¡¢ ¥w¢. . glue. i. i. £ ¡¢ ©f¨ ·¦¨¼¦?£ ¡¢ t¢t¡ 1)·¦s¥tª6qª6 m¢MBº¨N¢ T$. •. <. ª/© i¡ £Ê¡ £ ¦¥?ªY¦ 3¢. Bi ∪ Bj = (Xi ∪ Xj , Ai ∪ Aj , Gi ∪ Gj , Fi ∪ Fj ). S • Xin = i Xin,i r dom(σ) S S D. 3 + • = (C, + , fC ) = i I(Ci ) ∪ = i S I(Cglue ) C = max 1 fC (α) = fC,i (α) α ∈ Ci i fC (α) = i fC,i (α ∩ Ai ) ∪ fglue (α) α ∈ Cglue S • v = v,i ∪ glue i V @ • P = ( i Ui )[σ], (U α [σ])α∈C∪ + Uα = α ∈ glue. . . . . <. . >. >. > . <. C. + i. ∪. . + glue. >. s¨. . ; ¡¢ ¥i¢. ¹£ ¥/©¢ ¦¥ C Ó Z Ð Ó$. YI s Ó U%VZ j lyKc jYlmoegwvinj/gilmv pqe3ecdoKgirj/gipjÌewnKrsvn¯eZY®Ên#®Êlmv3j lmX3yrj/gX3lf}fZIpo¼ls®kewcdegwZIXe
(142) pgwV XrsodcÌpq}fZIogipjIrsjYlmX3yNlmoZIogt e I f ` U^ ` TgSUT0W . . & ? . 2. µ¾g?j viZIrgiZIeI«poAgwVZj nvwviZYoKgkeij lmyNZm«MroZI ~j lXCyNlmoZYoKgk
(143) pgwVGormX3Z b)S)T5W5rekrÌjYlmydc(lm®&gwVZCj lmX3yNlmoZIoKg btSUT0W ²5µ¾gte5newZ pqe
(144) pnegwvtrgwZS}Opo{Z °rsX3yZ rso} poOgiVZ Z °rsX3yZ?ls®´eZSj/giploTR¯² d² ! O OÏ YIN *·s0 * $Ó . + -Ï ,/. *Ê0 * $Ó . " O 1 (Ï IYN *Ts5 * 6Ó . 7 ¢Y£ K = (B, I, P ) i¢ t¦ ¦s¨N¢Y¨£ ; £Ê¡ B = (X, A, G, F ) > I = (X , X , (C, > £Ê¡ > s ¨ P = U, (U ) ; C f ), ) ) C DM¡¢ÌviZIegwvipj gwplmo~>¦ K ; £Ê¡ i¦s> ¨ª/¡£¹¥M¢Y ¥w ¢ ¨¯£ ¢kP ª ¢Y=£ U , (U qª5£Ê¡ ¢ t ¦ ¦s¨N¢Y¨£ ¹ £ / ¥ © 0 ¦s¥ ¢ U ∈ P(X ) K/P = B, I, U ∧ U , (U ∧ U ) U = α ∈ / ; ; U%VZ jYlmojYvwZYgwZ ecdoKgirs°Ols®&ehgtrgiZ rso}(poKgiZYvtrmj/giplo jYlmoegwvtrspoKgieI«dvwZSeyNZIj gw p ¬mZYcm«dpqe c. ;. ;. c. C. α. v. 1. +. α∈C∪ 1. v. 1. α. α 1 α∈C∪. +. 1. α 1. in v α 1 α∈. +. v. v. 9 SU_aW &,!& $2 b ; 9 S? !# % ; | dtT& S 9+9 &,!& 2 XYK [Z* Ï ¦( ¨K§ % £¤¦ ¢E 1A*¢ N> ª/© ¦ª ¢£Ê¡ £ £¾¢ ª ; ¡¦¸ªY¢ *±©¢ qªG¢=h ©D 1*5£¾¦ 9 U^ S5f$; & >( ¥i¢A©dªY¢ £¾¦ ¥w¢$ ªF¨ t¡d¥i¦¨D65S¢N¥i¦) s©Di¢Y¥ s¨ Ct¦s¨ª/©+3¢Y¥=> ¨A 2' ¨M¦£t¢ 1qª$ s¥M m¢ {¢$¢Y¨G £Ê¡¢(t¦¨ª/©+¢ ¥qª ¨M¦£#¥w¢ % )C DM¡+qª;qª; ¦¨M¢ Ì¥w¢ ª/£T¥FOY£N ¨d§ ^U_`cb dNf S)_87 94S)Tgb ; £ ¡G ¨ ¨£¤¢ ¥M £·¦¨4t¦¨ª/£¹¥M ¨¯£ ¢B¢ ¨A ¨d§ ¦s¨ 9@^US5f ; &6. $Nocngk lcp j-qei)j)ms|@w0mcoglenei'wUcv/|=}-~6Nc~6 i)jgk lej)men)m'olcp j-q)rsi)ntp <&< < n)m qy i)jgk lej)men)m'oi)j)ms0r)ksntp <&< < n)m qy i)j)m-meneiNo j)plcp j-q)rsi)ntAp <?)n)m Cq BiUj)m6gr)k$n)p < p nci)new @cn < < <ty q$w-U u v-n8lcpcj-qtrsi)n)Ap <=)n)mcq wNIlcpcj-qtrsi)n)Ap < wgo n0k$6 -m6i y n)m qy $9. . . . VU.
(145) ¦¦¨N¢Y¨£ ¸ªY¢
(146) C¢ ª ±§m¨¼¦¢Y£¾¢Y¥w¦i§¢Y¨N¢t¦s©dª¢ £¢ ¸ªt£¤¢ ª ¨ ÀÁNÂÃkÄfÅÆ4ÄÇÈ producer send. receive consumer send|receive consumer.item:=producer.item. item. item=special special. <. controller. item. value. prodcons. pmnviZ +I&µ¤oKgwZIvirj/gwplmo{j loegwvtrspog%lmoE^U_`cb dNf S)_ 4S)Tgb¯² =. 87 9. %¥M ¡ O 1**5g>
(147) £ ¡¢?ªF¸ª/£¾¢ t¦1¦¸ªY¢ (¦ ^U_`'b-f `eT ( ¨ f `eT5W _` S)_ qª ¥w¢ N¥w¢ ªY¢ ¨¯£¾¢ 2 ª^ªw¡¦ ; ¨ ¨ A ±§s©f¥i¢ 'C /#¥F·¦s¥F £N·¢ ª^rmvwZCr(ewyNZIj pqrs&jYreZCls®½vwZSehgivwpqj/giplo4«M
(148) VZYviZpoKgwZYvtrmj gwplmoe^rsviZ}peirsZI}}fZYyNZYo¯}fpo(lo
(149) VpqjtVrj/gwplmo¯ermvwZ ZIorsZI}4²´uºvwplmvipgwpZIe#rsviZrCj lmod¬ZYopZYoKg% #r¸cCgwlCX3lf}fZYj ldlvi}fporsgwplmoOrmo}OV¯r¸¬mZewlmX3ZpoKgwZIvwZSehgipoyvilmyNZYvwgwpZIeI«f}fpqewjYnewewZI} p4o ,) R-¹² + -Ï ,/. *Ê0 * $Ó . " 1J N * Ó N *Ê Ð 7 ¸¢YG ¨ "¨ ¨¯£¾¢YM¥ %Y£ ·¦"¨ 3¦ m ¢ * 3 = (C, , f ) 1¦ ¸¢Y ¥ ªY¢Y£->¦ %YN£ ·¦s¨ª A > ^yvwplmvip±gh8c qª Ì¥w$¢ *Q £ ·¦¨ C ≺⊆ (C ∪ )×2 ¢ NF¥ ·¦sF¥ N£ )C DM¡¢jYlKenvwZ¦ qª3£Ê¡C¢ * ¢ ¸ª/£ NF¥ ·¦sF¥ N£ ≺ i¦s¨£ ¨ ¨K§ ≺ ªtD© t¡ + -Ï ,/. *Ê0 * $Ó . " 1 * Ó Ï 7 ¢Y£ ≺ tT £Ê¡ s£ α ≺ A s ¨ α ≺ A >º£ ¡¢ ¨ α ≺ (A ∪ A ) r α C ≺ XYK [Z* Ï A ¦¥£Ê¡¢Ì$ª m¢{¦ ¥w ¢ % % *5 N£ g> ; ¢ ; F¥ £¾¢ ¥i¦ É£ ¡¢ªY¢Y£ t1¦ * % ¢/Kª ¦s¥Ì£Ê¡C ¢ ¨£¤¢ M¥ £ ·¦¨ª(¦¨!£ ¡2¢ *N¢ t£ T¡ A¨ Fª O mT ¢ A¨ {£ ¡¢CªY¢ £Tª3¦ ' %YN£ ·¦s¨ªÌ¦¨ £Ê¡¢3F¥ ±§¸¡d£ T¡ s ¨ {Fª O 5¢ C A ¦¥ ≺= {a ≺ bc, b ≺ ad} > ≺ = {a ≺ bc, b ≺ ad, a ≺ C acd, a ≺ cd, b ≺ bcd, b ≺ cd} z=yviplmvip±ghc ≺ pe5rmnfgwlXrgwpqjYrmc3gwvtrso¯eqrgiZI}(poKgwlCgiVZ j loehgivirmpoKg ( £¹¥/©¢ , (U ) )
(150) VZYviZ 9. . +. +. C. A. +. 1. +. 1. 2. +. 2. +. 1. 1. 2. 2. . +. +. +. α. Uα = ¬. _. ^. +. +. α∈C∪. +. G(ai ). XYK [Z* Ï \ ¢;** ©dª/£T¥ £¤¢ £Ê¡¢(t¦¦ª £·¦¨: ¨A ©dªY¢¦ N¥F·¦s¥F £N·¢ ª ; £Ê¡{£Ê¡d¥w¢t¢ N¥w¦ t¢/ªtªY¢/ª i)jgkel j)men)mco ie u j'j' v 6wgosw0m > p-r'm-mw0m?>y eiNo$wUj)m tp'p$w$@ nwNmejto |eewgosw0m?>jtp ptr'm'mw0m >s[qcje6wgo$w0m?>Gto'p-renzy eiNo$wUj)ml wN 6wgosw0 m >qc j e6wgosw5?m >G''cv )nz p-r-m'mw0?m > -o'p-r nzy eiNo$wUj)m @wN ptr'm'mw0 m >qcjp-r'm'mw5?m >G''cv )nzy n)m qy i)jgkel j)men)mco i) {iesy i)jgkel j)men)mco i {i) y ie < lxi)D <:@ i D<:@. y Iq$w-) u v-n ie < l wg{i) )mcq{i tpcnmej)owgq v-n i)D < lxie <:@ i D<:@y i D< lxie <:@ i)D <:@y i D< lxi)D < ly:i)D < lxie < l
(151) y 6w n-qlcp$wUjtpswgo x'i en-q)r6vew0?m > α≺+ A0 ai ∈A0. ! O O. +. +. *·Ô/* .. ªw¡D ¥F ¨K§O£ ; ¦¥w¢ ªY¦©f¥Mt¢ ª C. kp}fpoAZIZIXCZIoKgie^ls®%r jYlmX3yNlmoZIog?pqe rO®ÊZSrginvwZ3X3leg j lmX3yNlmoZIoKg^®ÊvtrsX3ZI ½lvwÍfelsMZYvS² =vilmX r(ewls® gh %rsviZZIompoZYZIvwpo yNlmpoKgkls®´¬dpZI «Vpq}fpoÌZIorsZIekZYojIrsyewnqrgiplo4«rso¯} gwVdnekrjYlmojYZYyfginrsrsegwvtrmj gwplmo(®ÊvwlX pX3yZYX3ZYoKgirsgwplmoG}fZYgirmpqe
(152) ls® r3j lX3y¯loZYoK)g I&Vpq}}fZIo(¬rmvwpqrsZIe#rso¯}OpoKgwZYvtrmj gwplmoe#rsviZ^lmoc¬dpewpZ rso¯}OneirsZ^
Documents relatifs
We also show that mimi compares favorably to existing methods, in particular when the main effects are significantly large compared to the interactions, and when the proportion
1) La recherche des victimations dans les établissements scolaires, à commencer par la Martinique et la Guadeloupe (territoires français d’Amérique), puis sur les
Repérer les signes, les traces et les discours de la commande au sein des espaces de l’édition professionnelle, comme nous l’avons fait pour le cas particulier des éditions du
Dans ce contexte, afin de venir en aide aux différentes parties prenantes présentes sur le terrain de la collabora- tion et afin d’appuyer les décideurs dans leur
can observe that it is composed of three layers: (i) service instance layer, which represents the services, denoted by a service instance; (ii) network slice instance layer,
Les deux indicateurs précédents (encadrés 1 et 2) donnent la synthèse des asymétries existant entre les structures d’exportation, par branche et par destination, d’un PECO et
Para um diagnóstico preliminar do nível de resíduos presentes nos frutos de mamão comercializados no atacado de São Paulo se montou uma parceria entre os projetos “Otimização
34 Although the radical cyclization route was a useful approach for the synthesis of helicenes due to the facile preparation of the stilbene-type starting material and
