EPspectra: A Formal Approach to Developing DSP Software Applications
23
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. EPspectra: A Formal Approach to Developing DSP Software Applications Hahnsang Kim — Thierry Turletti — Amar Bouali. N° 4293 Octobre 2001. ISSN 0249-6399. ISRN INRIA/RR--4293--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5) "!# $%'&()+*-, . $0/1 2/ 34 657 8 +-*- 9: *) , ; <>=?@A<>?BDCFEHGI"J1=ELKNM4MPOQJSRMPTLKVU4UAEWIYX GD<>M[Z]\>R"<>THE ^'_a`-b2c2dfehg iPjkcPlVmonc)pSjkqojrps`-b2cPj t"usvxwrc-p tYyzlV{|`)psc g(lx}a}6vNuWp(~ocuscP_|cPus_ac{> VV ef)pkvVaukcxN|d(edP]}alVVcPj P-|VV0 vxpr'lxuscflV}|}|usvNlN_[pkv1~ocPVcPyvN}|{a2zVpslxy N{alxy t"usvo)c4jkjk{a+¡L t
(6) ¢ lx}a}|y£-lxpkzvV{aj aukz{|Nj jWvNb]c{ pkcPukc4jrps{aF¤cPlxpkm|uscPjP¥jkma_¦lNj§ac-n¨z|zyprqV¥usc)©ªmajslx|zyprqvV ukc4jWvNm|us-cPjlV{a~«cPlNjWq m|}o© NuslN~ocPjvx(lx}|}ay£-lxpkzvV{ajP¬F(v®c-VcPuP¥p¯uscP° m|zukc4jyvN{|+pkc4jrpj¯lV{a~±VcPuk²6PlpkzvV{±}|_6lVjkcPj ~|m|c1pkvpk_|c z{a-ukc4lVjk{|F-vVb2}|yzc)no³prq vx(jkvxpr'lxuscV¬´µ{±ps_|£jusc-}>vVukpP¥9c[}aukc4jWcP{Npps_|c ¶·¸P¹|ºa»6¼¾½À¿Ápkv¨vVyz¨³p4¥lV{ ¶f¸)¼¾º|½¾ºaéªalVjkcP~]~ocPVc-yzvV}ab]cP{ p
(7) VcPuk²6-lxpkzvV{]c-{¨¨usvV{ab]cP{ p"pslxusVc-pkc4~psv ~oc-Nc-yzvV}1 t¦lx}a}|y£-lxpkzvV{aj vN{Nc-{|cPuslVy}|mauk}>vNjkc]-vVb2}|mopsc-uj-¬ Ä c2zyyzmajWpkulpkc¯pk_ac2~|cPjs)us}opsvN{ pk_±lx{Åc)n|lxb2}|yzc]vx9 tÆb]© }aycPb]cP{ pslpsvN{ Ç"ps_|cuslN~ozv]z{ pkcPuWHlN)c}alVuWp vx"l[È |É alNjWcjWpslxpkzvV{ ¬ ma_Ê tËlx}|}|yz£-lpsvN{aj'_alANc -vVb2}|yzc)n -vV{ pkusvVy©ª}alps_aj9jkz{a)c:ps_|c-q _alAVcpkv2vV>c-q jrpsuk£Ìp(js_|cP~|m|yz{|2usm|yc4j-¬ ^'_|cF}am|uk}>vNjkc+vxfpk_|cʶf¸)¼¾º|½¾º|ñ¤vVusb2lVy b2c)pk_av¨~Á£j]pkv«c4lVjkc ps_|cF}|usvVNuslVb]b2z{|vVf-vVb2}|yzc)n -vV{ pkusvVy©ª}alps_aj
(8) lV{a~[ps_|cfVc-us²6-lxpkzvV{[vVjsl¤c)prq1}aukvN}6cPuWpsc4j
(9) vV pk_|c4jWc-vV{ pkusvVy©Í}6lpk_6j-¬´µ{ps_|zj'usc-}>vVukpP¥ ®c2jW_|v_avÎ9c]VcPuk¤qÊjkc-VcPuslVy-ukpk£-lVy"jklx¤c)prqF}|usvV}>c-ukpkzcPjvxYps_|c2uslN~ozv z{ pkc-ukHlV-c vV9vVmauÈ aÉ m6jWz{|2pk_ac ¶¸-¼Àºa½¾º|Ã2VcPuk²6PlpkzvV{ c-{¨¨zukvN{|b2c-{ pP¬ {a-c:pk_|c b]vo~ocPy majkcP~ ¤vVu(pk_|cc-n¨c4)moplx|yzc)vo~oc Nc-{|cPuslxpkzvV{Ïlx{a~Á¤vNu1pk_acF¤vVusb1lxy(Nc-us³²6PlpsvN{Á£j1ps_|cjslxb2cV¥®ps_|c ¶S·f¸-¹aºa»6¼À½À¿Æpsv¨vVyz p lN_|cPVc4j ps_|c+Hlxpk_|¤m|ySNc-us³²6PlpsvN{Dvxfpk_ac+pslxusVc-pkc4~ÐlV}|}|yzzPlpkzvV{¬ÏÑ®qÐmajWz{|¦¶S·f¸-¹aºa»6¼À½À¿Y¥®®c+vVoplxz{Ál _aN_|c-u')vN{o²6~ocP{a)c{pk_|cf²a{alVy6zb2}|yzc-b2c-{ pslxpkzvV{ jWz{a)cpkulV~|³psvN{alxy>VcPuk²6-lxpkzvV{2pscP_|{|£° m|cPj®alNjWc4~ vN{«jWzb m|y£lpsvN{ÅlV{a~Åpkc4jrps{aÊ-lx{±vN{|yq }alxukpk£lxyzyzqÊVcPuk¤qFpk_ac[}|usvVVulxb+¬ É vNukcPvVcPuP¥Àps_|c ¶S·f¸-¹aºa»aÒ ¼¾½À¿Álx}|}aukv lV_F_alNjjW_|v {Êpk_|c[~oulVjWpk£¯ukc4~omaÌpsvN{vV9VcPuk²6PlpkzvV{ÀÓ4pkc4jrps{a1pkzb2c] _ayzc2ukc4°Nmaus{a usc-y£lpsNc-yzq2¤c-Æc)no}>c-ukpk£jWc:z{ ¤vNukb1lVy¾yzlV{|VmalVVcVc-us²6-lxpkzvV{ b]c-pk_|vo~|jP¬ ÔFÕ ÖÀ×sØ Ù ÚV jkq¨{a_|usvV{|vNmaj®yzlV{|VmalVVcN¥o¶f¸)¼¾º|½¾ºaÃ|¥o¤vNukb1lVy¾b]c-pk_|vo~|jP¥o¤vNukb1lxy¾Nc-us³²>-lpsvN{ ¥ojWvVpW© 'lxusc:jklx¤c)prqV¥ }|usvVNuslVbÛ-vVusukc4Ìps{|cPjsj-¥o tÏlx}|}ay£-lxpkzvV{ajP¥aÈ |É alVjkcjrplpsvN{. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.
(10) Q Y ,0 1 ! 0 (P) $'&(- . +-*- 9: *) , ).¯*) '*)(-- $0/1
(11) pkzy£jWcPu m|{|c:lx}|}aukvo_|cfyvNV£)zc-yzyc}6vNm|u ~oi-Nc-yzvV}|}>c-u ~oc4j'lx}|}|yz£-lpsvN{aj'~ocpkulxpkc-b2cP{Np ~|mQjWzV{alVySlx}a}6vNuWpscÊ~ocF{|vVb¯|usc-monÏlAAlV{ pslxNcPjP¥9-vVb2b2cÊyzl±}>vNjsjk|zyz³psi~ocÊ~oiPVc-yzvV}a}6cPu~ocPj lxyzVvV© uspk_|b2cPj®}|yzmaj®§ac-no|yzcPjP¥oc)p(~oc:yzcPj'b2c)pkpkuscSwrvNm|u'}|yzmaj®HlV-yzc-b2c-{ p4¬9c-}>c-{a~|lV{ pP¥oy£l b2£jWc:c-{m|¨usc ~|c¯)c4jfyvNV£)zc-y£j({|i4)cPjsjk³psc¯~oc]yvN{|VmacPj}|_alVjkcPjf~oc¯Vi-us²6-lxpkzvV{Ê~omÅ)vo~oc]c)p~ocpscPjWpsjfc-{ uslVzjkvV{Ê~oc y£l-vVb2}|yzc)nopki lN--ukm|c ~om¦yzvVV£)zc-yͬ flx{6j]-culx}|}>vVukpP¥{|vNmaj¯}|uki4jWcP{ pkvV{6j|us`PVcPb]cP{ p yzlÊpkv¨vVyz¨³p ¶·¸P¹|ºa»6¼¾½À¿"¥>m|{Fc-{¨¨usvV{a{|c-b2c-{ pSyzvVNz-cPy alNjWi jkm|uyc¯yzlV{|NlVVc:¤vVusb2c-y¶¸-¼Àºa½¾º|Ã1}>vVm|uf~oi-Nc-yzvV}o© }>c-u~ocPjlx}|}|yz£-lpsvN{aj tYjSjkm|uS~|cPjSjWpslxpkzvV{ajSt )y£lVjsjW£° m|cPjP¬(vNmaj zyyzmajWpkusvV{ajS)c)pkpkc ~|cPjs)us}opsvN{ lANcP -vVb2b2cSc)nocPb]}aycf~ lV}|}|yzzPlpsvN{ ¥¨yzl}6lxukpkzc ¾¼¾º|½ s¿ »>ºÊ½À¿ !~ m|{|cfjrplpkzvV{ ~ocSalNjWcfÈ |É ¬ 9cfprq¨}>c~ lV}|}|yzzPlpsvN{ ~ovN³p(vN6iPu"2~oc4j'uk`PVyzcPj ~ vVu~ovN{|{alx{6)c-b2cP{Np jWpkusz)pkcPjP¬ # z{ pki-u%$)p"~oc'y& mopsyz£jklxpkzvV{¯~|m¯y£lx{| lxNcY¤vVusb2c-y|¶¸-¼¾º|½¾º|ÃcPjWpY~oc9HlV)zyz³psc-uyzlb2zjkc'c-{'m|¨ukc®c)pyzl Ni-us³²>-lpsvN{1~ lVyNvVus³ps_|b2cPj9~oc-vV{ pku%(VyzcS)vNb2}|yc-nocPjP¬flx{aj®)cuslV}|}>vVukpP¥ {|vVmaj
(12) b2vV{ pkusvV{aj9)vNb]b2cP{Np N`-us³²6c-u]m|{Ïc-{ajkc-b¯|yc+~oc+}|usvV}|uszi)pki4j2~oc ²6lx|zyz³psi+° m|(jkvV{ p1)us³psz° m|c4j2}6vNm|u2y) lx}a}|y£-lxpkzvV{ÏÈ |É ¬ #cPj2pscP_|{az° m|c4j~ocÊNi-us³²>-lpsvN{DpsuslN~opkzvV{|{|cPyyzcPj[alVjki-c4j[jWmauy£l«jWzb m|y£lpsvN{Q~omQ)vo~occ)pyzcFpkc4jrp {acF}6cPukb2c)pkpkcP{Np °Nm m|{acFVi-us²6-lxpkzvV{Á}alxukpkzc-yzycF~omQ-vo~ocV¬*# cP{¨ zusvV{|{|cPb2c-{ p[~ocÊ~oi-Nc-yzvV}|}>c-b2cP{Np ¶·¸P¹|ºa»6¼¾½À¿}>c-usb]c-p ma{|cNi-us³²6PlpsvN{ËyvNV£)zc-yzyc }|ym6j -vVb2}|yz`)pkcÅ}alVus-c° m+ zy:mopkzyzzjkcyzc b,$Pb]c b2vo~o`Pyc®¤vVusb2c-yo}>vVm|u"Ni-{|iPukcPuyc(-v¨~|c®c-noiP)m|pslxayc'c)pY}>vVmau"Vi-us²ac-uyzcPj}|usvV}|uszi)pki4j~oc y) lx}a}|y£-lxpkzvV{ ¬ Svxpsukc'lx}|}aukvo_|c®}6cPukb2c-p
(13) lxz{ajWo~oc usiP~|m|usc®yc4jpkc-b2}aj"~|c®Ni-us³²>-lpsvN{ c-p"~|c'pkcPjWpY~oc ~oi-Nc-yzvV}|}>c-b2cP{Np ~|mfyzvVNz-cPypkvNmopcP{f{acY{|iP-cPjsjWpslV{ p¾° m|c
(14) ukcPyzlxpkzVc-b2cP{Np¾}>c-m~ c)no}>c-ukpk£jWc"cP{:b]i-pk_|vo~oc4j~oc"Ni-us³²>-lpsvN{ ¤vNukb2cPyyzcPjP¬ - Ù 4 × /. Q yzlV{|NlVVcFjkq {6_|ukvN{|cV¥ ¶¸-¼¾º|½¾º|Ãa¥ b2i)pk_av¨~|cPj2¤vNukb2c-yzyzcPjP¥®Ni-us³²>-lpsvN{D¤vNukb2cPyyzcV¥ 0 }|}|yzzPlpsvN{aj t¥ pslxpkzvV{+~ocalNjWc~oc È |É ¬.
(15)
(16) . . ,
(17) *)¯, ´ªp'£j'9cPyyÀ¨{|v {1ps_alp'pk_acf{¨m|b¯6cPu'vx psuslV{ajW£jWpkvVujY}>c-u z{ pkcPVulpkc4~[)zu)m|p®usvVmaV_|yzq1~ovVm|ayc4j9cPVcPukq db2vV{ ps_aj9lN--vVu~o{apkv É v¨vVusc/ j
(18) y£lA 4¬Y^'_|£j®yzlAË_6lVj96cPc-{b1lV{ pslV{acP~lV{a~jWpkzyzy>_avVy£~|jYpsukmac¨q b1lVukÂNc)pHlVÌpsvVuj-¬ 9vV{ajkcP° m|cP{ pkyzqV¥x}|usvVNuslVb2b]z{|c-{¨¨usvV{|b2cP{Npj¤vVuY t«lx}|}ay£-lxpkzvV{ajlxusc'{|v:b2vVusc uscP° m|zuscP~]pkv ukcPyq]vV{jk}>cP)£lxyz£jWc4~1 tD_alxu~o'lxusc lVj
(19) pk_|c}6cPuW¤vNukb1lx{6)c vx Nc-{|cPuslVy³©ª}|m|us}>vNjkc®}aukvo)c4jr© jkvVu lV{a~}>c-usz}|_|c-ulxy¾c4° m|}ab]cP{ p'z{a-ukc4lVjkcflVyvN{|¯ pk_ ps_|c_|zV_o©Ípkc4_ -m|ukNcPjP¬´ªp({6lpkmauslVyyzq[~oc-uszVcPj ps_|cjk_|³pvx_alxu~o'lxusc)©ªvV}>c-ulpkzvV{2¤ma{aÌpsvN{aj(z{ pkv[jkvxpr'lxuscV¬ 0 jkvxpr'lxuscflV}|}|usvNlV_pkv[~ocPVcPyvN}|{a tÏlx}a}|y£-lxpkzvV{aj®lxyzyzv(jYps_|cf¤vVyzyv z{|2lV~olx{ plxVc4j-Çukc-©Ím6jklV|yzprq1vxc-n¨£jWpkz{|¯_6lxu~o®lVukcN¥Nc4lVjkcvV ma}|VulV~oc4j-¥ab]vNukc:§6c)noayc lV}|}|yzzPlpsvN{aj-¥6c)px¬S{+pk_|c vxpk_ac-uS_6lx{a~¾¥6³pfb1lxÂVc4j'pk_acb2}|yzc-b2cP{NplpsvN{ vV>jkvxpr'lxusc®lV}|}|yzzPlpsvN{ajb2vVusc'-vVb2}|yzc)n v z{|pkvuscP° m|zukz{|fb m|ypk©µ~ozjs)z}|yz{6lxusq¨{|v yc4~oVcN¥xjWm6_ lNj'jWvVpr®lVukc:lxu_|pkcP)pkm|uscV¥ojkN{alxy¾}aukvo)c4jkjkz{|a¥¨uscPlxy©Ípkzb]c:js_|cP~omayz{|a¥o{ac)pr®vVus z{|¯}|ukvVpkvo)vNyzjP¥¨lxyz³© ~alpkzvV{¥ c-psV¬ |m|ukpk_|cPukb2vNukcN¥Np ukc4°NmauscPj®lx{ lx}|}|usvV}auk£lpsc~ocPVc-yzvV}ab]cP{ p9c-{¨¨zukvN{|b2c-{ p'lN--cPjsjWz|yzc(pkv }aukvNVulxb2b2c-uj-¬ g c4)cP{NpsyqN¥®c2_alAVc1~ocPVcPyvN}6c4~ lV{Åc-n¨pkc-{6jWzvV{Åvx®pk_|c ·¸P¹|ºa»6¼¾½À¿Á~|c-VcPyvN}|b2c-{ pc-{¨¨usvV{ab]cP{ p _az_]_alVj>c-cP{1~oc-Nc-yzvV}>cP~¯ q pk_|c }6c4Ìpkusm|bÄÅlVukc'}|usvxwrc4Ì p 'lxp É ´r^:¬N·¸P¹|ºa»6¼¾½À ¿ Ñ®vNjsV¨¥ YlVjsV" ! 'lVj~ocPjkN{|cP~ÁpsvDzb2}|ycPb2c-{ p jkvxpr'lxusc+uslN~ov¦lV}|}|yzzPlpsvN{aj[vN{ËVc-{ac-ulxy©Í}|mauk}>vNjkc+9vNukÂojWpslpsvN{ajP¬ ^'_ac ¶¸-¼Àºa½¾º|Ã2c)n¨psc-{ajkvN{ vV"·f¸-¹aºa»6¼À½À¿Y¥>¶S·f¸-¹aºa»6¼À½À#¿ S^ |
(20) d !£j(l2)vVb2}>vV{|cP{ pW©ªalVjkcP~ ~oc-Nc-yzvV}o© b2cP{NpfVcPuk²6-lxpkzvV{+c-{¨¨zukvN{|b2c-{ pS _|£_F{ psc-VulpscPj~oc-|maVVz{|[lV{a~FVcPuk²6PlpkzvV{+}|_6lVjkcPj( pk_a{l -vVb2}>vV{|cP{Npk©Í6lVjkcP~±lxu_|pkcP)pkm|uscV¬´ªp¯b1lxÂNcPjp¯}>vNjsjk|yzc[psvÊHlN)zypslxpkc1ps_|c ~|c-VcPyvN}|b2c-{ p vVS t jkvxpr'lxusc:lx}|}|yz£-lpsvN{aj'lx{a~ Nc-us³¤q2ps_|c-zuS)vNukuscP)pk{|c4jkjP¬ ´µ{Ïps_|zjukcP}6vNuWp4¥'9cÊ}aukc4jWcP{Np ¶·¸P¹|ºa»6¼¾½À¿"¥ l¦~ocPVc-yzvV}ab]cP{ p[Vc-us²6-lxpkzvV{Ác-{¨¨usvV{|b2cP{Np1ps_alp lVyyzv(j®pk_acb2}|yzc-b2cP{NplpsvN{ vVY tjWvVpr®lVukc:lx}|}ay£-lxpkzvV{aj(lV{a~ pk_|c Vc-us²6-lxpkzvV{+vxpk_|cPufjklx¤c)prq }aukvN}6cPuWpsc4j-¬ 0 jlx{c-nolVb2}|yc®vx6¶·¸P¹|ºa»6¼¾½À¿lV}|}|yzzPlpkzvV{6j-¥A®c9~oc4jk-ukz6c®lfÈ aÉ Ñ'lVjkc
(21) ^uslV{ajk-c-zVcPu pslpsvN{Å¡LÑ'^ $¢ ÉÉ V" !ª¬"´µ{ }alxukpk£)m|y£lxu4¥¨9cf¤vo)m6j'vV{ pk_|culV~ozv]{ pkcPuWHlN)cf}alxukp vx"È |É ¬>{ pkvN} vV pk_6lpP¥¨®cf~|cPjs)us>cjsl¤c-prq]}aukvN}6cPuWpsc4j
(22) vV pk_|cfzb]}aycPb]cP{ pslpsvN{z{ lN-)vNus~alx{a-c( ³ps_[ps_|cf-vV{a-c-}op vV6psc-b2}>vVulxy|yzvVNz9¤vVuYpk_|c(Nc-us³²>-lpsvN{ }|_6lVjkcPj"vV¾¶·¸P¹|ºa»6¼¾½À¿"¥NlV{a~2~ozjs)m6jkjps_|c(uscPjkm|ypsjvV|pslxz{|c4~ ¤usvVb pk_|cNc-us³²6PlpsvN{vx"jsl¤c)prq1}aukvN}6cPuWpsc4j-¬ ^'_|c9¤vVusb1lxy yzlV{|Vm6lxVc®¶¸-¼Àºa½¾º|%à Ѯc-uV" !¨£jljWq¨{a_aukvN{|vVmaj}|usvVVulxb2b2z{| yzlV{|Vm6lxVc9~ocP~o£-lxpkc4~ psv±ukc4lVÌpsNc jkqojrpsc-b1jP¬Ë¶f¸)¼¾º|½¾ºaÃÅ}|ukvNVulxb1j¯}6cPuW¤vNukb lV{Ðz{|}|m|pW©µ~oukzVcP{Á-vVb2}|moplpsvN{ Ç+®lV³p]¤vVu z{|}|m|psj2lx{a~D)vVb2}|m|pkc+)vVususcPjk}6vN{a~oz{|FvVmops}|mopj¯z{Ðl )qo)yz£[b1lx{|{ac-u4¥"ukc-¤c-usukc4~±pkvÅlVj]lÊuscPlV)pkzvV{ ¬ ¶f¸)¼¾º|½¾ºaë}|usv¨z~oc4j2}6v®c-uk¤m|yf)vV{6jrpsukma)psjPÇ jkcP° m|cP{a)z{|a¥'}alVuslVyyzc-yz£jWb+¥'}|usc-c-b2}opsvN{ ¥ c)px¬z¥ _|£_ lVukc1jkm|pkcP~ ¤vNu}|usvVVulxb2b2z{| jkvxpr'lxusc1lx{a~ _alxu~o'lxusc]-vV{ pkusvVyzyzc-uj _ac-usc2pk_|c[-vV{ pkusvVy©Í_6lx{a~oyzz{| }6lxukpsj
(23) lVukc }aukc4~ovVb2z{alx{ pP¬ÄÅcS}|uscPjkc-{ pYps_|cf¶f¸)¼¾º|½¾º|à b2c)ps_|vo~ovVyzvVNq¯ _|£_1}|usv¨z~oc4jYjk}6c4)²6-lxpkzvV{ ¥ jkzb m|y£lpsvN{ ¥|lxmopsvVb1lpsz:-v¨~|cfNc-{|cPuslxpkzvV{ ¥olV{a~ Vc-us²6-lxpkzvV{ ¬ ^c-b2}>vVulxy"yzvVV£& (' 0 N !
(24) jkm|}|}>vVukpsjfps_|c1jW}>cP-³²>-lpsvN{ vV
(25) psc-b2}6vNuslVy"6cP_alA¨vNusjflx{6~}|usvV}>c-ukpkzcPj uscP° m|zuscP~ ¤vVu(uscPlNÌpsNcjWqojWpkc-b1jP¬9´ªpflxyzyv(j vN{|c:¤vVu(pk_|c ¤vVusb2lVy£jslpkzvV{ pk_ÊuscPjk}6c4Ìp psv1pk_|c¯jW}>cP-³© ²>-lpsvN{FvxY}|usvV}>c-ukpkzcPj(ukc4°NmauscP~ ¤vNu(pk_ac }|usv¨vx"vxpk_ac¯)vNukuscP)pk{|c4jkjP¬ ´µ{+pk_azjukcP}6vNuWp4¥6®c jk_|vÆpk_|c ¶f¸)¼¾º|½¾ºaïpkulx{ajkyzlxpkzvV{aj®vVjsl¤c-prq[}|usvV}>c-ukpkzcPj9pk_alxpS-lV{ >cc)no}|uscPjsjWc4~z{ pkcPb]}>vVulxyÀyzvVNzV¬ . . )*,+-+/.100243 565787879 :(;
(26) 0+-<=9 >@?6AB5 CD+-EF+@G CD>.H5 EF:(<(:(>-?6;H5 AI?
(27) ?6CD+@E<JG@79 .10FA K ,* +-+/.100243 565787879 EFL"E@9 <(>@E@9 AI: 09 +-L"MN56*,2H+@>O0CMAQPRG C+5. STS ;NUWV1X6Y6Z.
(28) .
(29) F
(30) . É v jrpvV
(31) pkulV~|³psvN{alxyVcPuk²6PlpkzvV{b]c-pk_|vo~|j lxusc]-vV{a-c-us{|cP~ ³ps_ }|usv¨{a}|usvV}>c-ukpkzcPjfvV{ayqÊvV b2vo~ocPyzj1vV}|ukvNVulxb1j]uslxpk_|cPu2pk_alV{Ë}|usvVVulxb1j¯pk_ac-b1jWcPyNcPjP¬Æ^'_acPjkcFb]vo~ocPyzjP¥'{Ïps_|cFpsuslN~o³psvN{alxy Nc-us³²>-lpsvN{Fpkc4_|{|£° m|cPjP¥lxusc2lxajWpkulV)pkcP~m|{a~ocPu)c-ukpslV{Åyzb2pkcP~Å)vN{a~opkzvV{ajlV{a~Ê uspWpkcP{ z{Åpk_|c y£lx{aVmalVVc2~ocP~o£-lxpkc4~psv pk_|c1}|usv¨vx jWqojWpkcPb ¬[^'_ac-usc)¤vVuscV¥ pk_|cPqb1lAqÊ{|vVpfHlV³ps_o¤m|yzyqÅusc-}|uscPjkc-{ p:pk_|c }aukvNVulxb7pk_alxp® zyyÀ>cl²a{alVy>pslxusVc-pkc4~1}|usvVVulxb+¬"{[pk_acvVpk_|cPu®_6lx{a~¾¥ ps_|c:¶f¸)¼¾º|½¾ºaà b2c-pk_|vo~ovNy³© vNVqlVyyzv(j®vV{|c:psv1~ouscP)pkyzqNc-us³¤q1ps_|c lNÌpkm6lxy )vo~ocvV"¶f¸)¼¾º|½¾ºaÃ]}|ukvNVulxb1j9pk_alxpS)vNukuscPjk}6vN{a~|j9pkv ps_|c¯lNÌpsmalxypslVukNc)pkc4~Fzb]}aycPb]cP{ pslpsvN{ ¬f´ªpVm6lxulx{ pkcPcPj'ps_alpfpk_|c1¶¸-¼¾º|½¾º|Ã}|usvVVulxb1j(jslpszjW¤q pk_|c }aukvN}6cPuWpsc4j®pkv26c}aukvNcP~ lVj®Hlxu(lNj lxyzyjkvVm|u)c:)vo~oc£j()vNukuscP)pkyzq[)vNb]}ayzcP~pkv2ps_|c:pslVukNc)pkc4~ -vo~ocV¬ ´µ{ #
(32) N ,!ª¥a-lNjWcjWpkma~|c4j'_alAVcf6cPc-{F~ovN{|c ³ps_Fl¯Nc-us³²>-lpsvN{b2c)ps_|vo~ ³ps_F¶f¸)¼¾º|½¾ºaÃ|¬ ^'_|£jukcP}6vNuWpfzjfjrpsukm6Ìpkmaukc4~FlVjS¤vVyzyv(jPÇ jWc4ÌpkzvV{[VzVc4jSlx{vVc-us¨cP vVYvVm|ub2}|yzc-b2cP{NplpsvN{ cP{¨ zusvV{|b2c-{ p4¥
(33) _|£_Ðz{a-yma~|cPj]pk_acÊjWc4°Nmac-{a-c vVvN}6cPuslxpkzvV{aj¯¤vVu2ps_|c+uslN~ozvÅz{ pkcPuWHlN)c }alxukp1vxfl È aÉ Ñ'^ lV{a~2pk_ac¶·¸P¹|ºa»6¼¾½À¿Êjkvxpr'lxusc(c-{¨¨usvV{ab]cP{ pP¥ { }alxukpk£)m|y£lxu4¥N¤v¨-majk{|]vV{³pj®-vV{ pkusvVy }6lxukpP¬´µ{ÁlV~|~|³psvN{ ¥"9c ~ocPjs)us>c[ps_|c Vc-us²6-lxpkzvV{«}|usvV}>c-ukpkzcPjpk_alxp]jk_|vVm|y£~«>c jslpszjW²ac4~±¤vVu¯pk_|c -vVusukc4Ìps{|cPjsjfvx
(34) ps_|cÈ |É jkvxpr'lxusc]lV}|}|yzzPlpsvN{ ¬ cP)pkzvV{« }|ukc4jWcP{ psjf¤vVusb1lxy"Nc-us³²6PlpsvN{ alNjWc4~ vN{1b2v¨~|c-y©ª_|c4¨{|¤vVu z{|pkc pslxpkc É lV_|z{|c ¡ aÉ ¢Yb2vo~ocPy>lV{a~ c4ÌpkzvV{1]~ocPjs)usz6c4j9¶¸-¼¾º|½¾º|à psuslV{ajkyzlxpkzvV{aj'vVps_|c )vNukuscPjk}>vV{a~oz{|1jsl¤c)prq }|usvV}>c-ukpkzcPjP¬ É vVusc-vNc-u4¥¨pk_|c-vVb¯|{6lpkzvV{+vV>vxps_+pk_|c psuslV{ajkyzlxpkzvV{ vx"}|usvV}>c-ukpkzcPj(lV{a~ pk_|c b2}|yzc-b2c-{ plpkzvV{FvV"}|ukvNVulxb1j'£jSjk_|v { ¬ cP)pkzvV{ 1lV{alxyzqojWc4j ps_|c}>c-uk¤vVusb2lV{a)c:uscPjkm|ypsj'vxpk_acVcPuk²6-lxpkzvV{ }|ukvo-cPjsj lx{a~+~o£jk-majsjWc4j lV~olx{ plxVc4j'lx{a~+~o [)m|ypkzcPj vVps_|zjSlx}|}|usvNlN_ ¬ cP)pkzvV { |¥¨²a{6lxyzyqN¥|)vV{6)yzma~ocPj®ps_|£j ukcP}6vNuWp(lV{a~z{ pkusvo~oma)c4j®¤mopkmaukc®vVusÂÀ¬ ! & &[*)®5 3Ð ! -((, : *- , , &[*- , (, ^'_azj(jkcP)pkzvV{ |usc-§aq~oc4jk-ukz6c4j®pk_|c uslN~ov]z{Npsc-ukHlV-cfzb2}|yzc-b2c-{ pslxpkzvV{+vx"l1È |É Ñ'^ m6jWz{|[¶S·(Ò ¸P¹|ºa»6¼¾½À¿"¬Ê´ªp2lVP)vVma{Npj-¥{|vVpSwrmajWp ¤vNupk_ac )vN{|{|c4ÌpkzvV{«vV(vV}>c-ulpsvN{ajz{ NvVyzVc4~ z{«ps_|c jkvxpr'lxusc lV}|}|yzzPlpsvN{ÅvV'pk_|c uslN~ovFz{ pkcPuWHlN)cV¥|mop2lxy£jWv+¤vNups_|c)vN{ pkusvVyY}alVuWp¯vxS¶S·f¸-¹|º6»a¼¾½À¿ËlNj®c-yzy9lVj Nc-us³²>-lpsvN{}|usvV}>c-ukpkzcPj®vVps_|cb2}|yzc-b2cP{NplpsvN{ ¬ "$#&%. '(*)+,(*-/.0(2143 5768(:9<;>=<?@1A-BC3D149E;GF'H. ICJ7'. ^'_ac jkcP° m|cP{a)c vxfvV}>c-ulpkzvV{6j¤vNu¯ps_|c+uslN~ozv z{ pkc-ukHlV-c vVl±È |É Ñ®^ zj1jk_|v {¦z{ zVmaukcÅdV¬ Ñ'lNjW£-lVyyzqV¥(lxpkc-u _alA¨z{|¦psuslV{ajr¤vNukb2c4~ËjW}>c-c4_z{NpsvÐ-vVb2}|uscPjsjWc4~Ë~|lpl¦|yzvo¨jP¥S_alV{|{|cPyf-v¨~|{| lN~|~|j"uscP~|m|{a~|lV{a)q pkv:pk_acS~|lpl:|yzv¨ÂojP¬^'_acS~|lpl:|yzv¨Âoj"lVukc z{ pkc-usyzcPlAVc4~¯lV{a~2jW}aukc4lV~]{ psv}|c4)c4j-¥ _az_ÊlVukc-vVb a{|c4~+ ³ps_F§6lVNj'psv[|m|zyz~Êm|}Fpk_ac|m|ujrpj-¬ 9z}|_|cPukz{|[£jSlV}|}|yzc4~ pkv1ps_|cPjkc|mausjWpsj lV{a~Fps_|c-{pk_|c]uscPjkm|y³ps{a ~|lxpslzjfmajkcP~Êpkv b]vo~omayzlxpkc¯pk_|c2-lVukuscPusjP¬:^'_|c¯usc-Nc-ujWcpkulx{ajW¤vVusb1lpkzvV{6j lVukcf}>c-uk¤vVusb]c4~vN{ pk_|cuscP-c-zVc-u'jkz~ocN¬ c Un|)pslxpkzvV{Q pk_*#vV{|¦^c-usb KML:N Õ Õ O Ù >Ú PRQTS lVyNvVus³ps_|b+¥ g(4t U9Ó #o^ t%¡Hg(c-VmayzlVut"m|y£jWV t"uscP~o£ÌpsvN{6$¢ VVc4x" !}|usvo~oma-cPj ~|lxpsl]|yzv¨Âoj'vV N a³pj c-Nc-usqxxb1jP¬ KMW OX Q>Q Õ .1 Ù >Ú PRQ*S { pkusvo~oma-cPj]ukc4~om|{a~alx{a-q¦{ psv ps_|cÊ~|lxpsl §av¥
(35) z{a-ukc4lVjk{|Åpsj1ulpsc ¨q lV~|~|{|{o¤vNukb1lxpkzvV{«-lVyz-m|yzlxpkc4~¤usvVb%pk_|c jWvNm|us-c1~|lpl|¥{«vNus~ocPupkvÊlVyyzv7pk_|c~|c)pkc4ÌpsvN{ Y[ZQS:Y\.
(36) .
(37) . [Sender]. [Receiver]. Speech. Speech. Speech Coding. Speech Decoding. Channel Coding. Channel Decoding. Interleaving. Deinterleaving. Ciphering. Modulation. Nm|usc]dNÇ. Deciphering. RF Signal. Demodulation. cP° m|cP{a)cvVvV}>c-ulpsvN{aj9¤ukvNb jk}6cPcP_ pkv2ulV~ozv2®lANcPj®lx{a~ alNÂ2pkv[jk}6cPcP_. vVu'ps_|c)vNukuscP)pkzvV{[vVjkN{alxyÀcPukusvVuj
(38) z{ pkusvo~oma)c4~ ~|m|ukz{|]pkulx{6jWb2£jkjkvN{ ¬´ªp'¤vVusb2j l2-vVb2}|yzc)pkc )vo~oc4~ jk}>c-cP_ ¤ulxb2c:vx ¯|psjP¬ K Q> Õ . Õ :PRQ*S )vN{ajkzjWpsj9{ b2³noz{|2m|} pk_|c:|psj'vVjkc-VcPuslVy6-v¨~|cf®vVu~|jP¥N _az_ { pk_acfb2vo~¨© m|y£lpkc4~ÊjkN{alxylxusc jW}aukc4lV~+vVcPuSjkc-VcPuslVy)vo~oc¯9vNus~aj-¬È aÉ )vo~oz{|ayvoÂojSlVukcz{ pkcPukyzcPlANcP~ vV{ ]|m|ujrpj'cPlN_ vV _|£_F)vV{6jW£jrpj®vx4 |psjP¬ { fg7¡¤c-no-ym6jWzVcfvVuÌ¢YvN}6cPuslxpkzvV{[>c)pr®c-cP{+ |m|ujWpsj®vxc4lV_[ayvo KMW P N O Õ PRQ*S }6cPuW¤vNukb1j®lx lx{a~+l2jkcP)usc)p uscP-}>c: {av { vN{|yq q[pk_|cb2vVayzcjrplpsvN{ lV{a~ Ñ'^ ¬ K -ÎÙ Ú .Ho P Ù Q pkulx{ajW¤vVusb1jps_|c a{alVukq±jkN{alxy9{ pkvÅl È ÉÊ ¡LÈ:lVmajkjk£lx{ É z{|zb m|b _a³p c-q¨z{| ¢ Vb1j a6d !ª¬ K {a)c'ulV~ozvS'lAVc4jlVukc'-lV}opkmaukc4~¨qpk_ac'lV{ pkc-{a{al|¥Aps_|c'}6vNuWpsvN{¯vV|pk_|c uscP-c-zVc4~jWzV{6lxy¨ _|£_ zjvx|z{ pkcPukc4jrppkv(ps_|c
(39) uscP-c-zVcPu zj~oc-pkc-usb2{acP~¨qfpk_|c®b may³ps}|yzc9lN--cPjsj usm|yc4j- ¬ Õ Ù Ú .¤o P Ù Q pslVÂVcPj'}ayzlN)c:{ ps_|zj(}6vNuWpsvN{ ¬ K Õ P N O Õ PRQ*S }6cPuW¤vNukb1j®ps_|cjklVb2cfvN}6cPuslxpkzvV{aj®¨q[usc-Nc-ujWz{|¯pk_|c-}|_ac-us{|1lVyNvVus³ps_|b+¬ K Õ PRQ> Õ . Õ :PRQTS b]cPukNcPj9pr®v2~|
(40) Àc-usc-{ p ©ª|m|ujrp |yzvoÂoj'{ pkv1l] ©ª|p -vo~oc:9vNus~¾¬ KMW OX Q>Q Õ .:Ú Õ Ù >Ú PRQTS z{¨VvNyNcPjukc4)vV{6jrpsukma)pkz{|[ps_|c[jkvVm|u)c¯{o¤vNukb1lxpkzvV{ʤusvVb ps_|c2vVmops}|mop vx9pk_|c1~ocPb]vo~omayzlxpkvVu4¥Àmajk{| pk_ac2lN~|~oc4~uscP~oma{a~|lx{6)q pkvF~oc-pkcP)pfvNu)vVususcPÌpf}6v jkjkz|yc]c-ususvVuj { ps_|cvVmops}|mop ¤usvVb ps_|c~ocPb]vo~omayzlxpkvVu4¬ STS ;NUWV1X6Y6Z.
(41) .
(42) F
(43) . Õ Õ OÐÚ Õ Ù ÚTPRQTS ukc4)vN{ajrpsukm6ÌpsjYpk_|c:jk}6cPcP_[¨q2}alVjsjk{| pk_|cfuscPjkz~om6lxy>}|m|y£jWcS²ausjWp®pk_|usvVm|N_ pk_|cyzvV{ax©Ípkc-usb }|uscP~|z)pkzvV{ ²ay³psc-u4¥|lx{a~ ps_|c-{ pk_aukvNm|V_ pk_|cjk_|vNuWpk©Lpsc-usb }|ukc4~o£ÌpkvNuP¬. KML:N "$#
(44) ". J,( '143 =V; 9<( -$?&9<1 - (T- =. 0 kj vxpr'lxuscSzb]}aycPb]cP{ pslpsvN{vV pk_|c:lx>vVcvV}>c-ulpsvN{aj
(45) _6lVj'lxyzukc4lV~oq]>c-c-{+~oc4jk-ukz6c4~[z{ ^ SfVH!ͬ Sc-uscV¥|®c~oc4jk-ukz6c:ps_|c jkvxpr'lxusc:c-{¨¨usvV{|b2cP{Np majkcP~ psv1ukc-©ª~|cPjkN{ps_|culV~ozv2{ pkcPuWHlN)cvVlÈ aÉ Ñ'^ majk{|[¶·¸P¹|ºa»6¼¾½À¿"¬ # c-p(maj jWcPc%Nm|ukco¬ Control Part Component Package. Speech Coding Interleaving. EPspectra Environment. Data Part. Channel Coding Ciphering. Modulation. DMA. DMA. Communication (RF transceivers, networks etc). GuPPI & Operating System. Trans−Media. vxpr'lxuscU"{¨¨zukvN{|b2c-{ p {a-ym6~o{a UYtYjk}6c4Ìpkul zVm|uscÐË£jjk}|yz³p±z{NpsvˤvVmau}alVuWpj-ÇζS·f¸-¹aºa»6¼À½À¿Y¥pk_acÁÈfc-{ac-ulxy¯tYm|uk}>vNjkcÐt 9´F´µ{Npsc-ukHlV-c ¡ÍÈfmatYt"´W¢~|c-VcPyvN}6c4~ lxp É ´r^¦lxyzvV{|f pk_¯pk_|c'vV}>c-ulps{ajkq¨jWpkcPb+¥pk_|c'b2cP~|zlS¤vVupk_ac9psuslV{ajkb]£jsjWzvV{ ¥ lV{a~ pk_ac¯)vNb2}6vN{|c-{ psj(pkv[>c }|yzm|VNcP ~
(46) }|y£lAqVcP~+az{Npsv ¶S·f¸-¹aºa»6¼À½À¿Y¬S¶S·¸P¹|ºa»6¼¾½À¿±£j-vVb2}6v jWc4~ vVps_|c ¶¸-¼¾º|½¾º|Ãx©Í uspWpkcP{ -vV{ pkusvVy¾}6lxukp'z{a-yma~|{|2ps_|c js_|cP~|m|yz{|2vx" tËjWvVpr®lVukc:lx}a}|y£-lxpkzvV{aj lV{a~ pk_|c' Ó S©Í uspWpkcP{ ~|lxpsl]}alVuWp(z{¨VvVyzVc4~[z{Ê)vNb]}amopslxpkzvV{o©ª{ psc-{ajkNcS¤ma{aÌpsvN{aj usc-}|uscPjkc-{ pkc4~ lNjS-vVb2}6vN{|c-{ pj-¬ ´µ{jkm|ajkcP)pkzvV{|¬ a¥6®c²aujrpf~oc)plxzyzjSpk_|c¯b1lxz{Ê_alxulV)pkc-us£jrpszPj'vx"pk_ac]¶¸-¼¾º|½¾º|à b2c-pk_|vo~ovNyvNVqV¬^'_|c-{ ¥xpk_|c'~oc)plxzyc4~~oc4jk-ukz}opkzvV{¯vxops_|c®-vV{ pkusvVy }alVuWpzj}|usv¨z~oc4~:{]jWmaajWc4ÌpsvN{]o¬ a¬ ^'_ac]~|lxpsl }alxukp)vV{6jW£jrpjSvV
(47) |m Àc-usz{|Flx{a~ uslV}|}6cPusj _|£_cP{a-lV}ajWmayzlxpkc S©Í us³pkpkcP{)vNb]}>vx© {ac-{ psj(pkv[}|usv¨z~|c:pkulx{ajk}alxusc-{ pSlN-)c4jkj pkv1ps_|c-b ¤vVuSpk_|c])vN{NpsukvNy }alVuWp4¬"9vNb2}6vN{|c-{ psjlxuscukc-¤c-usukc4~ psvlVj¤m|{6ÌpkzvV{6j"{2 _|£_1lxyzVvNukpk_|b1j"lVukc'}>c-uk¤vVusb]c4~¾¬"ÈfmatYt"´"lxyzyzv(jpk_|c(jslxb2}|yzcP~2jkN{alxy|~|lxpslpkv >c~ozukc4Ìpsyqpkulx{ajW¤c-usukc4~[z{Flx{a~ vVm|p(vxb]cPb2vVusq[vxpk_|c®vVusÂojrplpsvN{¨zl1zukc4Ìp É cPb]vNukq 0 -)c4jkj ¡L É 0 ¢Ì¬ zVmaukcoÇY^'_ac. "$#. J,( B= (:9<(H ( =,1,1@1. ¶f¸)¼¾º|½¾ºaÃF>c-yzvV{| j:pkvFps_|c[HlVb2yzq vV(jWq¨{a_|usvV{avVmaj:uscPlNÌpkzVc1y£lx{aVmalVVcPjP¥jkma_¦lVj ¸-¼¾½¾ºÀ¥ !¾Ò ¿Ã|¥ 6¼V¿¨¼¾#º " $¾¿½N¼ ¸¥ ¤vVu:pk_ac]}aukvNVulxb2b2{| vx'ukc4lV)pkzVc¯jkqojrpsc-b1jjkma_ÅlNj:c-b¯6c4~|~ocP~Åjkq¨jWpkcPb1j-¥ Y[ZQS:Y\.
(48)
(49) . jkvxpr'lxusc:lx{a~ _alVus~o'lxusc:)vV{ psukvNyyzc-uj-¥¨b1lx{|©Íb1lV_a{|cfz{Npsc-ukHlV-cPjP¥|c)px¬z¥|ukc-¤c-u'psv lxy£V" !ª¬9¶¸-¼¾º|½¾º|à }aukv¨£~ocPj}6v®c-uk¤m|yY-vV{ajWpkusmaÌpjpkv+c)no}|uscPjsj:jWc4°Nmac-{a-{|6¥¾}alxulxyzyzc-y6cP_alA¨vNuP¥¾}aukcPc-b2}opkzvV{¬¯´ªplxy£jkv }aukv¨£~ocPjlF-vVb2b m|{azPlpkzvV{±b2cP_6lx{|£jWb ¨qb2cPlV{ajvx(jkN{alxy
(50) |ukv lV~|PlVjWpkz{|a¬ ^'_|cPjkc[)vN{ajrpsukm6Ìpsj lVukc}6lxukpk£)m|y£lxusyq jWma³pscP~+¤vNu(pk_ac}|usvVVulxb2b2z{|2vx
(51) )vN{ pkusvVy©ª~ovNb2{alxpkc4~}alVuWpvx"ukc4lV)pkzVcjkq¨jWpkcPb1j-¬ ^'_ac+¶f¸)¼¾º|½¾º|à y£lx{|NmalxNc_alNj2l -yc4lx{Db1lxpk_|cPb2lxpk£-lVy®jkc-b1lx{ pszPj ps_alp1z{ pkc-us}|usc)pj¯lV{Á¶¸-¼¾º|½¾º|à }aukvNVulxb lVjSl z{|pkc pslxpkc É lN_|{ac[D¡ |É ¢)¥>l1jWpslxpkc)©ªVulx}a_ b2vo~oc-y ³ps_FyzlV6cPyzj(vVc-u'ps_|cNuslV}|_ c4~oVc4j-¬^'_|c |É b2vo~ocPy>usc-}aukc4jWcP{NpjYc-n¨_6lxmajWpkzVcPyq1lxyzy6pk_|cf}6v jkjkz|yc:jWpslpscPj
(52) pk_alxp9ps_|c:}|usvVVulxb -lV{ >c[z{¦lx{a~±lVyy"ps_|c[>c-_alA¨zvVujfpk_alxppk_ac[}|usvVVulxb Plx{«}>c-uk¤vVusb%>c)pr®c-cP{ ps_|cjWpslxpkcPjP¬ ^'_ac[b1lxz{ ¤c4lpsm|ukc4j'|usvVm|N_Np'¨q1pk_ac ¶¸-¼Àºa½¾º|Ã2b2c)ps_|vo~ovVyzvVNq[lxuscVÇ KML:N Õ P Vo P Ù Q ÇF^'_|vVmaV_«ps_|cʶ¸-¼Àºa½¾º|à yzlV{|VmalVVc[£j]ukcPyzlxpkzVcPyq«jkb2}|yzcV¥Yp1zj]c-n¨}aukc4jkjkNc lx{a~+-vV{a-zjkccP{|vVmaV_ pkv1}|usvVNuslVbÛ-vVb2}|yzc)n -vV{ pkusvVyzyzc-uj-¬ KML P) .¤o P Ù Q ÇY^'_|cf¶f¸)¼¾º|½¾ºaÃjkq¨jWpkcPb7}aukv¨£~ocPj"jkq¨b >vVyzz(~|c-|m|NVz{|jkb¯m|yzlxpkzvV{1¨q b2c4lx{aj vx|ps_|c9jkq¨b >vVyzz9~oc-am|VN{|jWzb m|y£lpsvVu ]ºaB¸ È UYVN !ͬ^'_|c9jkzb m|y£lpsvN{c-{¨¨usvV{ab]cP{ pzjalNjWc4~ vV{±ps_|c |É b2vo~oc-y®lx{a~±£j:Hlxzusyq c [)zc-{ pP¬F^'_|c jWzb m|y£lpsvVu£j -vVm|}|yzcP~Å pk_«ps_|c1¤vNukb1lxy VcPuk²6-lxpkzvV{ c-{¨¨usvV{|b2cP{Np4¬ K Ù ±o PH Ù Ú Õ S Õ Q Õ A| P Ù Q ÇY^'_acf¶¸-¼¾º|½¾º|ïjWqojWpkcPbÛ-vVb2}|zyc4j9lV{ ¶¸-¼¾º|½¾º|à }|usvVVulxb { psv lV{c)noc4)moplx|yzc }|usvVVulxb pk_±l Æz{ pkcPuWHlN)c¯pk_alxpf£j:cPlNjWq pkv+)vN{|{|c4Ìp ³ps__alV{a~¨© ukpWpsc-{ )vo~ocV¬"^'_|c')vo~oc:zb2}|ycPb2c-{ psj c-n|lVÌpsyq[pk_|%c |É b2vo~oc-yͬ K Ù ± . Õ P Vo P Ù Q ÇY^'_|c |É b2vo~ocPy¨lVyyzv(jvV{|c9pkvf}6cPuW¤vNukbb2vo~oc-y©µ_|cP¨z{|(psvNc-us³¤q ³pj }|ukvN}6cPuWpsc4j-¬ ÄË_|cP{ l¦}aukvN}6cPuWprqÏ£j{|vVp+jslpszjW²ac4~¾¥ pk_ac Nc-us³²acPuNc-{|cPuslxpkcPj lD-vVm|{ pkcPuW© c)n|lxb2}|yzcf{|}amopW©µjWc4° m|c-{a-cV¬"^'_|£j')vVma{Npsc-uk©Íc-n|lxb2}|yzcS-lV{>cf}ayzlAqNcP~1alNÂ2{ ]ºa¸x¬Y^'_|cfb2vVusc ~oc)plxzyzj(vxb2vo~ocPy³©µ_|cP¨z{|]zj NNc-{pkv c4ÌpkzvV{+|¬ Sc-{a-cV¥¾ps_|c[¶¸-¼¾º|½¾º|à b2c)pk_av¨~|vVyzvVVqF£jf{|vxpvN{|yqÊl }|usvVNuslVb]b2z{|y£lx{aVmalVVcV¥À|m|plVyzjkv+l[¤vNukb1lxy b2c-pk_|vo~¾¥6 _|c-usc:pk_|cPukc zjS{|v1NlV} >c)pr®c-cP{ÊjW}>cP-³²>-lpsvN{ ¥ajkb¯m|y£lpkzvV{¥6lx{6~ c-nocP)m|pkzvV{ ¬ jk{a1pk_|c ¶f¸)¼¾º|½¾ºaÃ]b]c-pk_|vo~ovNyvNVqN¥¨pk_|c}|usvo)c4~om|uscNc-us³¤q¨z{|]pk_|c}|usvV}>c-ukpkzcPj®vVlV{+¶f¸)¼¾º|½¾º|Ã]}aukvNVulxb zyy >clVj®¤vNyyzv(jPÇ Í¬ ~ocPjs)usz6cpk_|c }|usvV}>c-ukpkzcPj jslpszjW¤q¨{aÊpk_ac )vNukuscP)pk{|c4jkjvxlV{ж¸-¼¾º|½¾º|Ã}|ukvNVulxb+¥ _|z_Dzj -lVyyzcP~F¶¸-¼¾º|½¾º|Ã]vNajWcPukNc-uj-¥ ͬ )vNb]}ayzc:pk_|c ¶f¸)¼¾º|½¾ºaÃ]}|ukvNVulxb z{ }6lxulxyzycPy¾ ³ps_ ps_|c ¶¸-¼¾º|½¾º|Ã]vNajWcPukNc-uj-¥¨lx{6~ zͬ _|cP¤vVu(jslpszjWHlV)pkzvV{+vVu ¨zvVy£lpkzvV{ vxps_|c}|usvV}>c-ukpkzcPj'majk{a2pk_|c¯¶f¸)¼¾º|½¾ºaÃ2b2v¨~|c-y©ª_|c4ÂVcPu ]º º Ñ®vVm6 "!ª¬ . . . . . . "$#. . J,(.
(53) . 1A- = 9<1 6/;>9<= 143 VB68(T. = 9X; . ^'_ac )vN{NpsukvNy }alVuWpSvV
(54) ¶S·¸P¹|ºa»6¼¾½À¿Å²aujrp{|pk£lxyz£jWc4jSlx{6~F)vV{a{|cP)psjS-vVb2}>vV{|cP{Npk©ª~|ukzVcP{ }aukvo)c4jkjkz{| b2vo~om|yzcPjflx{6~Fpk_ac-{ÊpsukzVNc-uj(jkvVm|u)c4j-¬ vVmaus-cPjSlVukc]jW}>cP-zlVy£jkcP~Fb2vo~om|yzcPjSpk_alxpf_6lAVc vNmopk}amop:-vV{o© {acPÌpsvN{}>vVukpsj® pk_ {|v¯z{|}|m|p'vN{|cPjP¬ z{|Âoj lxuscjk}6c4)£lxyzzjkcP~b]vo~omayc4j
(55) ps_alp _alANcSz{|}|mopS-vV{|{acPÌpsvN{ }>vVukpsj ³ps_«{|vÊvVm|pk}|mop¯vV{|c4j-¬ 0 yzy9lV}|}|yzzPlpkzvV{6jb2}|yzc-b2cP{NpscP~«¨q b]c4lx{ajvxS¶S·f¸-¹|º6»a¼¾½À¿Ïb¯majrp STS ;NUWV1X6Y6Z.
(56)
(57) F
(58) . _6lAVc(lp®yc4lVjWp
(59) vV{ac(vVu9b]vNukcjWvNm|us-cPjYlV{a~1lp®yc4lVjWp
(60) vV{ac(vVu9b]vNukcjWz{|Âoj
(61) lxpYpk_|c6cPVz{|{|z{|¯lV{a~1lp9pk_|c cP{a~ vxpk_|cjkcP° m|cP{a)c:vxvV}>c-ulpsvN{ajP¥ uscPjk}>cPÌpsNc-yzqV¬ 0 pkc-u(pk_|cz{|pk£lxyzzjslpsvN{ }|_6lVjkcV¥¨pk_ac}|ukvo-cPjsjWz{| yzv¨vV} {6)yzma~oz{|[lx{ 66 H
(62)
(63) :lV{a~ l DB
(64)
(65) (zj
(66) }6cPuW¤vNukb2c4~¾¬^'_acScPjWpkzb1lps{| b]c-pk_|vo~[jWpslV{a~|jY¤vVu9~|c)pkcPukb2z{|z{|pk_acSlxb2vVma{Np vV¨~alpslS)vVususcPjk}6vN{a~oz{|
(67) psv(m|{|psjlpl®psb2c"psv(>c
(68) )vNb]}amopkc4~: q}|usv¨-cPjsjWz{|'b2vo~om|yzcPjjkma_lVjjW}>c-c4_ -vo~o{aa¥6_6lx{|{|cPy)vo~oz{|6¥az{Npsc-usyc4lA¨{|6¥oc)px¬'´µ{ÊlV~|~|³psvN{ ¥apusc)©µ-lVyz-m|yzlxpkc4j®pk_|c lAlVy£lx|yzclxb2vVma{Np >c-z{|:}alNjkjkcP~ ¤ukvNb lf}|usv¨-cPjsjWz{|fb2v¨~|m|yc'psvfpk_|c'¤vNyyzv {af}aukvo)c4jkjkz{|b2vo~om|yzcPjz{2ukc-¤c-usc-{a-c9 pk_ >vxps_ps_|c~|lxpsl¯m|{|pSlx{a~pk_|cusc-b1lV{aj®vV~|lxpsl])vV{6jWm|b2c4~¨q1ps_|cf¤vVyzyv z{|]}|ukvo-cPjsjWz{|]b]vo~omayc4j-¬ ^'_acf-vVb2}|mops{|]b2c)ps_|vo~ lV}|}|yzc4jYps_|c)vVb2}|m|pslpsvN{ lVyNvVus³ps_|b1jYpsv ps_|cflAlVy£lx|yzc~alpsl¯¨q[-lVyyz{a ¤ma{aÌpsvN{ajSlNjkjkvo)£lpkc4~ pk_Êpk_|c -vVb2}>vV{|cP{Npj(lx{6~ pk_|cP{~o£jW}alxps_|c4j p(pkv1ps_|c¤vNyyzv {a1b]vo~omayc4j-¬ ´ªplxy£jkvz{o¤vVusb1jSps_|c]}|ukcP¨vNmajSb2vo~om|yzcPjfvV
(69) _alplxb2vNm|{ pvx®~|lpl_alNjS>c-cP{ }aukvo)c4jkjkcP~F¤vVupk_|cPu c4jrpsb1lxpkz{|2b]c-pk_|vo~¾¬ . . "$#. . . . (:9X? .0;>= ?&1 - 6/9<1468(:9<= ?&(*B
(70) . ´µ{FlN~|~opkzvV{ pkv2ps_|c}|usvo)cPjsjk{|]b2c)ps_|vo~|jS~oc4jk-ukz>cP~+lx>vVcN¥¨pk_|c È |É }aukvNVulxb1j®_alAVc]ukc4° m|usc)© b2cP{Npj pk_alxp+jk_|vVmayz~6c«jslpk£jW²acP~¾¬ Ñ'lNjW£-lVyyzqV¥SlVyy:}|usvo)c4jkjk{a¦b2v¨~|m|yc4j+~ovDps_|c-zu+6cP_alA¨vNusj z{ }6lxulxyzycPy {|vxpfjWc4°Nmac-{ pk£lxyzyqN¥|ps_alpS£jP¥6b2vo~om|yzcPj~ov[{|vVpS®lV³p ¤vNu(psc-usb]z{alxpkz{|1pk_ac _|vVyzc}|usvo)c4jkj vV vVpk_|cPu vV{|c4j-¬ #c)p(maj®plxÂVcl]yzv vNÂlp'ps_|c:¤vVyzyv z{|2c)n|lVb]}aycN¬ !" ### " $ " % &')(*+, -" $ /.00%21% 3 40& 506)0' 7 -" $%/108 !!% 32 40& 56 0')7 -" 932 :!"!8;3 40& 506)0' 7 -" $%32.10 "32 40& 506 0' 7 -" < 8:3 0& 506 0')7 -" $ 32 =0&>/?@ ### !A 0. 0 }|}alxusc-{ psyqN¥Nlxyzy|b2vo~om|yzcPj
(71) ukm|{2z{1}alxulxyzyzc-yͥx|mop
(72) ma{|yc4jkj
(73) -lxusc)¤mayyzq }|usvVNuslVb2b]z{|6¥Apk_|c(}aukvo)c4jkjvV l[b]vo~omayc¯b2lAq |yzvo ps_|c }aukvo)c4jkj(vx"pk_ac vxps_|c-uj ¤usvVb usm|{|{|z{|jkzb m|ypslV{|c-vNmajWyzq+~om|cpsv[b2zjsjk{| jkzV{alVyzj9pk_6lpSjk_|vVm|y£~ 6cuscP-c-zVcP~ ¬ #c)pm6jjkc-c zVm|usc¯a¬S^'_|c¯}6cPuW¤vNukb1lx{6)cvxY}6lxulxyzycPy£jWb -lV{F6c¯c-{|_6lx{a-cP~ÊlNj pk_ac }|usvo)cPjsj(vV lV{ z{ajkz~|c]b2vo~om|yzc2zj jWyzz-cP~ { psv pr®v }|c4)c4j1¡¤Í¬ cN¬¯ps_|c1cPjWpkzb1lps{|+b2c)ps_|vo~ lV{a~ pk_|c1-vVb2}|mops{| Y[ZQS:Y\.
(74) .
(75) . b2c-pk_|vo~a¢usm|{|{|z{|z{2}alxulxyzycPy|lVP)vVu~oz{|pkv:pk_ac b]vo~omayc j¤ma{aÌpsvN{alxyz³prqN¬´ªp9ukc4°NmauscPjpk_acS-lVmopkzvVmaj jkq¨{a_|usvV{|£jslpkzvV{6c-pr9cPc-{ pk_|c}ac4)cPj'vV}|usvo)c4jkj'vVvV{acfb2vo~om|yzclx{6~ps_|cvxps_|c-ujP¬ [ Speech Coding ]. [ Channel Coding ] module P_MOD : ... loop .... module P_MOD : ... loop ... emit take; loop ... await Ack_from_Down; run Estimate_Data;. emit take; loop ... await Ack_from_Down; run Estimate_Data; emit cancel; await S_Compute_from_Up; run Compute_Data;. emit cancel; await S_Compute_from_Up; run Compute_Data; run Rendez_Vous; emit E_Compute_to_Down; ... end loop emit Ack_to_Up; end loop. *. run Rendez_Vous; emit E_Compute_to_Down; ... end loop emit Ack_to_Up; end loop. N{alxy¾}alNjkjkz{|]~|zlVVulxb >c)pr®c-c-{ pr®v]lN~AwWlV-c-{ p b2v¨~|m|yc4j ^'_|c 0 Â'¤usvVb(Sv { jkzV{alVy(vx:pk_acjW}>c-c4_Ë)vo~oz{|«b2v¨~|m|yczj jWq¨{a_|usvV{azjkcP~D ³ps_Ëpk_|c. 0 Â'pkv }+¨jWzV{6lxy>c-b2³pkpkc4~¨q2pk_ac:_6lx{|{|cPy>-vo~o{a¯b2vo~om|yzcV¬ 0 j®jkv¨vV{ lVj 0  '¤usvVb (Sv { £j1uscP-c-zVcP~ ¥9ps_|cÊc4jrpsb1lps{a¦b2c)pk_av¨~Ï£j1}>c-uk¤vVusb2cP~ÏvV{Áps_|cjk}6cPcP_Q)vo~oz{|«b2vo~om|yzcD¡¤Í¬ cV¬ukma{ U
(76) jrpsb1lpsc(flplN¢Ì¬ ^'_|c 9vNb]}amopkc '©L¤usvV b } 9jkN{alxyvxpk_acÅ_alV{|{|cPy)vo~oz{|Ðb]vo~omayc zj jkq¨{a_|usvV{|£jkcP~± pk_ U 9vNb]}amopkc 'pkv (v {+jWzV{6lxy®c-b2³pkpkc4~D¨qÅpk_|cFjk}6cPcP_D-vo~o{a b2vo~om|yzcV¬ ^'_azj9jWq¨{a_|usvV{azjslpsvN{ yzcPlV~aj"pkv }6cPuW¤vNukb pk_|cS-vVb2}|mops{ab2c)pk_av¨~[vV{]pk_|cf_alx{a{|c-ya-vo~o{ab2v¨~|m|yc ¡HL¬ cV¬
(77) ukm|{ 9vNb]}amopkc (lxpslN¢)¬Y(v®c-Nc-u4¥ U
(78) jrpsb1lpsc (flpl1lx{a~ 9vVb2}|m|pkc (flpl]b]vo~omayc4j()vN{Nplxz{
(79) jWpslxpkcPb]cP{ psjf{6)yzma~oz{|F)vV{6jWm|b2z{|
(80) D ,1lV{a~ÊqNc)p:pk_|c2{¨m|b¯6cPuvx®-vV{ajkm|b2cP~Êpk£Âoj: yzy"6c ~|c)pkcPukb2z{|cP~Ðlp¯pk_|c ukma{¦pkzb2c c-nocP)m|pkzvV{ ¬±´ªp2b2lAq«Plxmajkc[ps_|c _6lx{|{|cPy®-vo~o{a b2vo~om|yzcpsvb2£jkj ps_|cFjWzV{6lxy')vVb2z{| ¤ukvNb0pk_|cFjk}6cPcP_Ð-vo~o{a b2vo~om|yzcF)vVususcPjk}6vN{a~oz{|FpkvÅps_|c 4©ªVzVc-{¦lVukusv z{ zVm|usc+|¬Ð¶f¸)¼¾º|½¾º|ÃÅ£j2l±jWq¨{a_|usvV{avVmaj yzlV{|VmalVVc |mop2pk_|cPukc+£j¯pk_|cF-lNjWc pk_6lp2pk_|c+{¨m|b¯6cPu]vV pszÂoj]>c-z{|«)vV{6jWm|b2c4~¦£j]jk_alN~ocP~D{Á¨cP vxSpk_|c+}|usvVNuslVb]b2cPusjP¬«^'_|c-usc)¤vNukcN¥YvV{Ð}|m|us}6v jWcN¥Y9c }amop]l
(81) D jkq¨{a_|usvV{|£jWz{|Fb2cP_6lx{|£jWb0-lVyyzcP~ B ̬ 0 j p]lV}|}6c4lxujz{ Nm|usc|¥ ps_| c pslxÂNc/ojkN{alxy¾lxyz£~|lpscP j B Yvxpk_|cjk}6cPcP_+)vo~oz{|2b2v¨~|m|yclV{a~pk_|cP!{ jkmajk}6cP{a~|j®ps_|cjWmaP)c4jkjkNcS}|usvo)c4jkj®vxpk_|cjk}6cPcP_+)vo~oz{|]b]vo~omaycN¥| _|£_yzcPlV~aj®pkv2~oc-y£lAq[c-b2pWps{| ps_|c U 9vVb2}|m|pkc 'psv (v {+|jkN{alxy vVps_|c jk}6cPcP_Ê-v¨~|{|1b2vo~om|yzcV¬ 0 psc-us®lVus~aj-¥|vN{+ukc4)c-z¨{a ps_|c Plx{a-c-y& jWzV{6lxy¤ukvNb pk_ac2_6lx{|{|cPyY)vo~oz{|+b2v¨~|m|ycN"¥ B (¨yzyzjfps_|£jjWmajk}>c-{a~oz{|6¬]´ªp lVyyzv(j®vV{|cfpsv[jWq¨{a_|usvV{azjkc(ps_|#c 4©ªb1lxusÂVcP~ lxusukv¬ zVmaukc|Ç. . . . . $ %
(82) &('*) :(;
(83) 0CD?,L"M>@+-LI:(;,+.-*/10321054 :(E0F.?6M766.
(84) 0 ?8 G E <(?966:(>@G <
(85) 0F:(AI+ 7 .":(>F. CD+@2C+-EF+-;10FE 0F."+ G >O0: :6G 0:(?6; >-<(?,><;?8 CD+G >O0: :1+. 2"C?966CG A 9. STS ;NUWV1X6Y6Z.
(86) d4.
(87) F
(88) . ^'_|c È |É }|ukvNVulxb1jf}|usv¨-cPjsjjklVb2}|yc[~alpsl ps_|c~|lxpsl+}|usvo)c4jkjkcP~ vV{Åpk_ac[jWvNm|us-cPj:®vVm|y£~Å6c - vVb2}|yzc)pscP~ vV{ pk_|cjkz{|Âoj'{ pk_acc-{a~¾¬ 0 yzy b2v¨~|m|yc4j()vN{ pslxz{ jrplpkcPb2c-{ psjP¥| _|£_ b2c4lx{aj'ps_alp ps_|c1}|usvVNuslVb2jfb1lAq jWpslVyy
(89) vVub1lAq>c[z{±lFjkpkmalxpkzvV{±{± _|£_¦jkvVb2c1)us³pszPlxy
(90) jWpslVVc2vx l pslNjW zj ma{alx|yzcfpkv2²a{azjk_ ¬Y^'_|c4jWc:b m6jrp(>cVcPuk²acP~[¤vVu'ps_|cjklx¤c)prq[vVps_|c}|usvVNuslVb2jP¬ Sc-usc-¨qV¥¨ps_|cukc4° m|usc-b2cP{Npj'vxlx>vVcfb]vo~ocPy¾pk_6lpSjk_|vVm|y£~ 6cjslpszjW²acP~ lxusclVj®¤vNyyzv(j-Ç gd±^'_|cjkzV{alVy6cPb]pWpscP~ q2lb2vo~om|yzcS£j®lxyz®lAqoj
(91) Plxm|N_ p
(92) ¨q¯ps_|cSvN}|}>vNjk³pscSb2vo~om|yzcPjf¡¤usc)¤c-ususcP~]pkv lV j W¢Ì¬ gSÐ^'_|c)vNb2}|mopkc4~+jklVb]}ayc~|lxpsl]vV{ pk_|cjkvVmaus-cPj® yzy cPVc-{ psmalxyzyq1>c)vN{ajkm|b2cP~ vV{ pk_|cjkz{|Âoj-¬ g(ÐÄË_|c-{D{|}amop¯jkN{alxy£jvV{«cPVcPukqÊb2vo~om|yzclVukc1uscP-c-zVcP~ ¥ps_|c)vNukuscPjk}>vV{a~oz{|+vVm|pk}|mop]jWzV{alVyzj lxusc:c-b2³pkpkc4~ pk_a{Fl pkzb2cV¬ * ®: *- , ´µ{¦pk_|£j¯jkcP)pkzvV{ ¥®c[c)no}|y£lxz{« _alxp ¤vVusb1lxy9Vc-us²6-lxpkzvV{±vx¶f¸)¼¾º|½¾º|ÃÊ}|usvVVulxb1jb2c4lx{ajP¬ 0 j 9c jslx£~¾¥|¶¸-¼¾º|½¾º|ï£j9>vxps_ l ¤vVusb1lxy>b]vo~ocPyz{|]yzlV{|Vm6lxVcflx{a~ l }aukvNVulxb2b2{|y£lx{aVmalVVcV¬"¶¸-¼¾º|½¾º|à >c-{ac)²|pj]lÅ)yzcPlVu¯b1lxpk_|cPb2lxpk£-lVy'jkc-b1lV{NpszPjps_alp1_alVuslNÌpkcPuk£jkcPjl }|usvVVulxb0lVj]lx{ |É b2vo~ocPyL¬ ^'_ac ¶¸-¼Àºa½¾º|à |É b2vo~oc-y £j(~oc-²a{|c4~FlVj(l1jWpkusmaÌpsm|us c
(93)
(94)
(95)
(96) Y _|c-usc £j(l1jkc)p(vxz{|}|mop jkzV{alVyzjP¥ ljWc-pvxYvNmopk}amop:jkzV{alVyzjP ¥ ÏljWc-pvx
(97) jWpslxpkc4j- ¥ pk_ac¯z{|pk£lxyjrplpkcN¥>lV{a ~ Îl[pkulx{ajk³psvN{ usc-y£lpsvN{ Ç Î£j:l jkc)p:vx9x©Ípkm|}|yzc !"
(98) $#
(99) %&
(100) '(®pk_alxpb]c4lx{ajSpk_6lp:pk_|cPukc]£jfl[pkulx{ajkpkzvV{ʤusvV) b ¯ps*v ' _ac-{|cPVc-ups_|c'{|}amopYc-Nc-{ p #zjpkusm|cN¥xVcP{|c-ulps{|pk_ac®vNmopk}amop"c-VcP{ +p %¨¬^'_|Ic |É b]vo~ocPyozjps_|c'vV{|c ps_alp£jfmajWc4~ʤvNujWzb m|y£lpsvN{ ¥¾c)noc4)mopsvN{ ¥lx{6~F¤vVusb1lxyVcPuk²6PlpkzvV{¬ 0 jrplpkc2vV
(101) pk_ac |É b2vo~oc-y £j:l jWpslV|yzc¯)vN{o²aNm|uslxpkzvV{ÊvVYpk_ac2-vV{ pkusvVy}6vN{ pjvV
(102) ps_|c¯}aukvNVulxb+¬ 0 psuslV{ajWpkzvV{¤ukvNb l jkqojrpsc-b jWpslxpkc(£j
(103) l:uscPlNÌpsvN{¯psv jkvVb2c(z{|}|mop®c-VcP{ pPÇ ps_|cSuscPlNÌpsvN{]yzcPlN~|jpsv l{|cPÏjWpslV|yzcSjWqojWpkcPb ¬^'_|Bc |É b2vo~ocPy¾_alVj®ps_|clV~olV{NplxNcvVc-n¨_6lxmajWpkzVcPyq1c-n¨_a|pkz{|2ps_|c}|usvVVulxbÛ>c-_alA¨zvVuj-¬ . . $#&%. . H 1 (-, ,(T./.$?&- . avVusb1lxyaNc-us³²>-lpsvN{1zj9ps_|clNÌpkz¨³prq2vV}|usv z{|}|usvV}>c-ukpkzcPj9vx }aukvNVulxb1jYlx{6~jkq¨jWpkcPb1jYz{ lb1lxpk_o© cPb1lpk£-lVy
(104) jkc-{ajkcV¬ ÄË_|c-{«p¯£jalNjWc4~ÅvV{±pk_ac |É b1lpk_ac-b1lpszPlxy
(105) b2vo~ocPyL¥pk_|c lVÌps¨prq £jPlxyzyc4~ b2vo~ocPy³©µ_|cP¨z{|a¬ É vo~ocPy³©µ_|c4 z{|:jrplxukpsj¤usvVbÎlfb2v¨~|c-yovx6pk_|c'}|usvVNuslVbvVu"jWqojWpkcPbÎ6cP_alA¨vNu"lx{a~¯lfjkc)p"vV6}|usvV}o© cPuWpsc4jc)no}|uscPjsjWc4~z{1l:b2lxpk_|cPb1lpk£-lVyoyzlV{|Vm6lxVc4jPlxyzyc4~2lSpsc-b2}>vVulxyoyzvVV£x¬´µ{1lV~|~opkzvV{]psv:-yzlNjkjk£-lxy >v¨vVyzcPlV{vV}>c-ulpsvVuj-¥6pkcPb2}6vNuslVyyzvVNzPjfv Àc-ujW}>cP-³²> vN}6cPuslxpkvVujSpkv+~ocPjs)us>c¯pkzb]c1lV{a~>c-_6lA zvVujP¬ U"nolVb2}|yc4j vV(jWma_DvV}>c-ulpkvNusj lxusc 0¯2¥ 19¥Ylx{a4 ~ 3Q¥"uscPjk}6c4ÌpkzVcPyq±-lVyyzcP~ 65 "Ì¥ 7N
(106) ¥Ylx{6~ vN}6cPuslxpkvNusjP¬
(107) ^'_|c jkc-b1lV{NpszPj vxps_|cpsc-b2}6vNuslVy yzvVV£:£jS~oc-²a{|cP~F~|uscP)pkyzq vN{ ps_|c |É b2vo~ocPyL¬ ÄÅcusvVm|N_|yq[jkÂVc-ps_ pk_|cjkc-b1lV{NpszPj®vxpk_|clx¤vVusc-b2c-{ pkzvV{acP~[vN}6cPuslxpkvNusjPÇ K 098 b]c4lx{aj®ps_al2p 8+_avVy£~|j'{+cPVc-usq[jWpslpsc:vxpk_|%c |É ¬ K 18+b2cPlx{6j®pk_alx2p 8 _avVy£~|j z{ jkvVb2cf¤mopkmaukcjWpslxpkcvxpk_|%c |É ¬. Y[ZQS:Y\.
(108) dNd.
(109) . +b2c4lx{aj®ps_alp28 _|vNyz~|j'z{ pk_|c{ac)n¨pSjrplpscfvVps_|c% |É ¬ "cPuk²6PlpkzvV{Åps_|c-{D-vV{ajk£jrpj{¦_acP¨{a+pk_|c[lVy£~oprq vV®ps_|c1psc-b2}6vNuslVy
(110) yzvVNz]¤vNukb¯m|yzlNj:vVcPupk_|c |É b2vo~oc-yͬ ÈfcP{|c-ulxyzyq]jW}>cPlV¨{|6¥pk_ac-usc(lxusc9pr®v:prq¨}6c4j"vxÀ}|usvV}>c-ukpkzcPjps_alp
(111) Plx{2>c(c)no}|uscPjsjWc4~¾Çjsl¤c-prq }|usvV}o© cPuWpsc4j¯lV{a~¦yzzVc-{acPjsj }|usvV}>c-ukpkzcPjP¬ l¤c-prq«}|ukvN}6cPuWpsc4j c-no}|ukc4jkjpk_|c HlV)p¯ps_alp
(112) 5 . 7N
(113) a¬#Nc-{|c4jkj9}|usvV}>c-ukpkzcPj®c)no}|uscPjsj
(114) pk_|cfHlV)p'pk_alx$ p
(115) 5 T 7" W a¬Y´µ{FvNm|u c)no}>c-uscP{a)cN¥|b2vNjWp'vVps_|c}|usvV}>c-ukpkzcPj lVukcjsl¤c-prq[vV{|c4j-¬
(116) ÄË_|c-{FyzNc-{|c4jkj'£j(-vV{a-c-us{|cP~¾¥ pS£j vxpsc-{FuscP~om6)z|ycpkv :yzNc-{|c4jkjP¥| _|£_Fzj(¤m|{a~|lVb2c-{ pslVyyzq l2}alVuWpsz-m|y£lxu ¤vNukb vxYjklx¤c)prq }aukvN}6cPuWpsc4j-¬Ñ®vVm|{a~|cP~2yzNc-{|c4jkj"}aukvN}6cPuWpsc4jYc)no}|uscPjsjps_|c(HlNÌp
(117) ps_alp 1 5 8 7" C N $ "6
(118) 1 X ̬ # c-pmajyzv vNÂ+{ pkv l1'lAqpsv ~ozukc4ÌpsyqFlx}a}|yq ps_|cPjkc }|usvV}>c-ukpkzcPj psv]pk_|c ¶f¸)¼¾º|½¾º|Ã[jWqojWpkc-b+¬ K. 3 8. . . . . . . . . . . . $#
(119) ". . . . . 5 B(*9 (:9 9X1468(:9 =<?@(TB. ´µ{+ps_|c]¶f¸)¼¾º|½¾ºaÃ[jkq¨jWpkcPb+¥6l[jkb2}|yzc'lAq[psvjW}>cP-³¤q psc-b2}6vNuslVy }|usvV}>c-ukpkzcPjS ³ps_|vVmopmajWz{|l1pkc-b]© }>vVulxy'yzvVNz jWq¨{ pslxn¦zj2v >cPukc4~¾¬Á´µ{a~oc-c4~¾¥9pk_|c+majkc-uj1~ozukc4Ìpkyzq«c)no}|uscPjsj¯pk_|cF}aukvN}6cPuWpsc4j¯m6jWz{|Åpk_|c ¶f¸)¼¾º|½¾ºaÃy£lx{aVmalVVcV¬'# c)p:maj-vV{ajkz~|c-ul jkzb]}ayc2}|usvV}>c-ukprq+ _|z_ÅuscP° m|zukc4j(ps_|c]¤vVyzyv z{|+)vV{6~o³© psvN{ Ç 0 pc4lV_ÅjrplpkcN¥®jkN{alxy 0 lV{a~ÅjWzV{alVy"ÑÎlxusc2}|ukc4jWcP{ pP¥¾ps_|c-{±jWzV{6lxyz{Åpk_|c1{ac)n¨pjrplpkc jk_|vNm|yz~6c]}|uscPjkc-{ pma{|yc4jkj:jkN{alxyg7zjf}|uscPjkc-{ p ̬:´µ{Êpsc-b2}6vNuslVyyvNV£x¥ÀvV{|c¯9vNm|y£~lx}a}|ukvAnozb1lpkcPyq uspkcVÇ 0 $
(120) 3 $ ´µ{ʶf¸)¼¾º|½¾º|Ãa¥¨pk_azj }aukvN}6cPuWprq1£j us³pkpkc-{+lVj®¤vNyyzv(jPÇ '0 ,*,* ! + *#" :.:$(0 ". 32 .:. .. &%' *". ."!0 :. $)(. 8 !. :10 . .!8 . +. 8 0": ."0 :. ,10 . +. ! . 2. $(0. 3/:. !. *. ! .!8 !."!0 : !. .. !A 0. ^'_|c jWpslxpkc-b2cP{Np]®lV³pj¤vNu vV{ac1pkzb2cm|{|pP¬ ^'_|c -+ -vV{ajWpkusma)p ¨zyy£j]³pj26vo~oqÁlVj2jkv vN{ÐlNj ps_|cF)vN{a~opkzvV{ zj]psukmacV¬Ð^'_azj]¤vNukb1lxy'Nc-, us³²6PlpsvN{Ð)vN{ajkzjWpsj]z{ _acP¨{a¯ps_|cjWzV{6lxy¾}|usvV}>c-ukpkzcPj'jkma_ lNj lV6vNcfPlx{ 6ccPb]pWpscP~ z{ jkvVb2c:ukc4lV_alV|yzcjWpslpscPj lV{a~F¤vNujWvNb]c]z{|}|mopcPVc-{ pj-¬´ª9pk_|c2}|usvV}>c-ukprq+zjf¨zvVy£lpkc4~¾¥Àpk_ac 2º ºb2vo~oc-y©ª_acPÂVcPuNc-{|cPuslxpkc4j lV{ z{|}|m|pSjWc4°Nmac-{a-cfvVcPVcP{Npj®pk_alxp(_alVj'}aukvo~oma-cP~pk_|ccPukusvVu'jWpslpscV¬ .08 . 8 0 ":. ###. % !. (0. . STS ;NUWV1X6Y6Z. . 10 9% !.
(121) dA.
(122) F
(123) . *) 3Ð ! / . ´µ{pk_|£jfjWc4ÌpkzvV{¥>®c2~oc)plxzyps_|c]~|
(124) Àc-usc-{ p:ukc4°Nmausc-b2c-{ pj(c)no}|uscPjsjkcP~Fz{jkm|ajkcPÌpsvN{Å|¬ 2z{ pkv+jklx¤c)prq }aukvN}6cPuWpsc4j-¬ UYlV_ jklx¤c)prq+}|usvV}>c-ukprq ps_|c-{ zjSpkulx{6jWy£lpscP~Fz{ pkv lV{Ŷf¸)¼¾º|½¾º|ÃvV6jWcPukNc-u4¬^'_|c2jklx¤c)prq }aukvN}6cPuWpsc4j®lV{a~+)vNukuscPjk}6vN{a~oz{|psuslV{ajkyzlxpkzvV{aj'lxusclVj®¤vNyyzv(j-Ç d±Sc4lV~oyzvoÂf¤ukcPcP~ovNb Çlx{zb2}6vNuWplx{ pjsl¤c)prq:}|usvV}>c-ukprqfzj~ocPlN~oyzv¨Â¤usc-cP~|vVb+¬´µ{ pk_|c'È |É }|usvx© Vulxb1jP¥ ~oc4lV~oyzvoÂ1vo-)mausj9 _|c-{ vV{acSb2zjsjkcPj'jWzV{6lxy£jYps_alp(jk_|vVm|y£~[>c:ukc4)cPNcP~¾¥¨^'_|c B b2cP_6lx{|£jWb8lVb1j pkvc4jrplx|yz£jW_DlV{¦c)no}|yz£)p2jkq¨{a_|usvV{|£jklxpkzvV{±>c)pr®c-c-{Ðlp2yc4lVjWp pr®v jWzV{6lxy£j[vxb2vo~om|yzcPj ukma{|{|z{|¦z{Q}alxulxyzyzc-yͬÎ^v¦Nmalxulx{ psc-c+pk_6lpps_|c}aukvNVulxb zyyf{|cPVc-u ~ocPlN~oyzv¨ÂÀ¥'p £jjk m [)zc-{ p[pkvDVc-us¤q¦pk_ac B b2cP_alV{|£jWb+¥ {alVb]cPyqÐpk_acF¤vVyzyv'© {a jsl¤c)prq±}|usvV}>c-ukprqÀÇ1lx{¨qÅjWpslxpkc lp¯ _az_Dpk_|c b]vo~omayc c-b2psj U 9vNb2}|mopkc 'pkv (Sv {+ zj }|usc-¨zvVmajkyqÁ}|uscP-cP~oc4~˨qÁlÐjrplpkcÅlp _|z_Qpk_|c vV}|}>vNjk³pscvN{|cPj lxuscÊukc4lV~oqÐpkvÐukc4)cPNc. 9vVb2}|mopsc '¤usvVb }+z¬"^'_|£j zj jWpslxpkc4~ ¨q1ps_|c:¤vVyzyzv {|1¶¸-¼¾º|½¾º|Ã2vNajkc-usVc-u4Ç . . - . 32 .:. . *!8 :!*!!% 3/;!. :.: .. /6 > '. -, 8-+0 ": 8 0803/:. ,10 . / . #". . -, !". ,!6+/ 0.:!6 :6 7! . ,7. , #". ,06+/ !.:!6 :!6 7! .
(125) - . 3/: ."!. .. /6 > '. ". ,7. *!8 :! *!0% 3;!. < . 9 vVusukc4Ìps{|cPjsj-Ç lfb1lwrvNujs_|c4~om|yz{|pslNjWÂ vx>È |É }|usvVNuslVb1j £j{¨VvNyNcP~z{2)vVususcPÌpsyq~ocPyzVcPuW© {a]-c-ukpslxz{jslxb2}|yzc~|lxpsl¯)vVb2}|m|pkcP~vV{1ps_|c:jWvNm|us-c pkv¯pk_acfjk{aÂ]¨q[lV}|}|yzq z{|]l jkcP° m|c-{6)cSvV vV}>c-ulpsvN{aj"psvpk_|cf)vNukuscPjk}6vN{a~oz{|~|lxpsl|¬^'_|c}|ukvo-cP~om|usc >c-Vz{aj
(126) ¤ukvNb ps_|cjkvVmaus-c ukc4)c-z¨{a. 0  '¤usvVb (v {+6lV{a~Fc-{6~|jSma}opkv pk_|c2jk{|Â+cPb]pWps{a 0  'pkv }+z¬SÄÅc¯{|vVpkc¯pk_alxpflVyy jklVb2}|yc~alpsl1-vVb2}|mopscP~+vN{ ps_|c jkvVm|u)c£j {|vVplxyz'lAq¨j®uscPlN_|cP~ pkv2ps_|c jk{aÂ>¬®´µ{a~ocPcP~¾¥>jWvNb2c lxb2vVma{NpvV®jslxb2}|yzc2~alpsl -lV{ >c[jk z}|}>cP~Å~oc-}>c-{6~o{aFvV{Êps_|c1}alVuWpsz-m|yzlVu)vV{6~o³psvN{ajP¥ z¥ lFb2zjsjkcP~±~ocPlN~oyz{|c1_6lx}|}>c-{ajP¥c-pk_|cPu l prq¨}6cvx b2v¨~|m|yzlxpkzvV{«lxyzVvNukpk_ab vVupsb2c[lVuk£lx|yzcPj lx}|}ayzcP~pkv1jslxb2}|yzc:~alpsl]lxusc_alx{aVcP~ ¥ vNu jWvNb]cfc-Nc-{ psjP¥|jkma_ lNj9pk_|c 1
(127) 1 ¾cPVc-{ p4¥¨¤ukvNb pk_|c vVmopjW£~oc[cP{¨ zusvV{|b2c-{ p voP)m|u4¬F^'_|c-usc)¤vNukcN¥´ªp]zj¯jW m [-cP{Np pkv_|c4Âps_alp pk_|£j }aukvN}6cPuWprq zj jklxpk£jr²6cP~ lp pk_ac:²ausjWp'pkzb2cV¬ UYlV_Áb2vo~om|yzc -vV{ajkm|b2cPj d vVu[FpszÂoj¯¤vVu1lV{ÐpkcPuslxpkzvV{¦vVSpk_ac
(128) jWpslxpkcPb]cP{ p¯¤usvVb lV{ {a}|mop(jklVb2}|yc~|lplpkv¯pk_acf-vVusukc4jW}>vV{a~|{|vNmopk}amop'jslxb2}|yzc~alpsla>¬ U
(129) lV_vV¾pk_|cÈ |É jWcP{a~oc-u lx{a~Åps_|c È |É ukc4)c-zVcPu)vN{ajW£jWpsjvV b2vo~om|yzcPj {6)yzma~oz{|lÊjkvVm|u)c[lV{a~±lÊjk{|ÂÏ¡¤usc)¤cPupkv Nm|ukc2dA¢Ì¬ m|}a}6v jWcfpk_6lp cPlN_ b2vo~om|yzc)vV{6jWm|b2c4j(pszÂoj®¤vNu(l¯jk}6c4)²6jslxb2}|yzc:~alpsla¥¨pk_|c jWz{| ²a{|£jW_acPjS-vVb2}|mops{alx{ÊlVb]vNm|{ pSvxYjslxb2}|yzc ~|lxpsl1~ocPukzVc4~ ¤ukvNb ps_|c jkvVm|u)c pk_|z{¦dP pk£Âoj1¡ f¢Ì¬ Sv9cPVc-u4¥À{Å-lNjWc¯pk_alxpb]vNukc¯pk_6lx{±lx{pkcPuslxpkzvV{ vx
(130) ps_|c jrplpkcPb2c-{ plxusc ~ovV{acV¥ ®vVm|y£~Å6c[Nukc4lpsc-u:pk_6lx{Ëd-6¬ ^'_|cPukc-¤vVuscV ¥ Ûzj¯jW}>cP-³²6cP~«lVj l+_|c-m|us£jrpsz2{¨m|b¯6cPuP¬ . Y[ZQS:Y\.
(131) d4.
(132) . '^ _|c:)vVususcPÌps{|cPjsjY}aukvN}6cPuWprq]zj®lVj
(133) ¤vVyzyzv(j-ǤvVu'l jWpslxpkcfukc4)c-z¨{a 0 Â'¤usvVb(v {+xvV{pk_|c jWvNm|u)cV¥¨ljWpslxpkcScPb2³pkpkz{| 0 Â'pkv }+NvV{2pk_acfjk{aÂ]£j
(134) ¤vVyzyv z{| pk_|z{ }6v jWpkzvV{¬^'_azj zjSjrplpkc4~¨qpk_|cf¤vVyzyzv {|[¶f¸)¼¾º|½¾º|Ã]vNajkc-usVc-u4Ç . . % ):!8 :. #". 7. %)=06 :!6)(.# %)=!6"!/ 6 7!-, #" 6-> ' ,7#" 8-,0803/: %)=06"!/ 6 7-, !" 8-0 + ": 8-0 , 832: 7 :3%)=#" / 3/: 6- > ' ,7 ,10 %)=06 :!6)(.!". 32 .:. :.:. . . < . l¤c-prq ©ÍyzNc-{|c4jkjPÇFc-Nc-usq¦b2vo~om|yzcÊ6cP_alAVc4j1lVj[l±jkm|o©ªukc4lV)pkzVc+}|usvVVulxb8 _az_Q-vV{ajkzjWpsj2vV {a}|mop®jkzV{alVyzjYlV{a~]vVmops}|mop'jWzV{alVyzj"lV{a~2uscPjk}6vN{a~|jpsv{a}|mop9jkN{alxy£j"¨q¯jkc)pkpkz{|vNuYc-b2pWpkz{| l lxyzm|c(vxÀps_|cS)vNukuscPjk}>vV{a~oz{|:vVm|pk}|mop®jWzV{alVyL¬ UYlN_]b2vo~om|yzcS-vV{ pslV{aj
Documents relatifs
« La prophétie, ou interprétation et conférence des Écritures se fera par les ministres du Colloque, en l’assemblée où chacun dira la tête découverte ce que Dieu lui
Pendant six ans, jusqu’au premier janvier 1568, le clergé de France doit fournir chaque année au roi l’équivalent de quatre décimes, un million six cent mille livres tournois,
« On ne fait pas que des psychothérapies en clinique/…/On en parlait encore ce matin : est-ce qu’on a le temps de faire des psychothérapies, parce qu’on voit les gens
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
AMC PAPI : Spécificités du contexte torrentiel – Rapport de Phase 1 Page 18 sur 46 Dans le cas des laves torrentielles, on peut résumer les conditions nécessaires au
Gillard, “Combinaison de la DG-FDTD avec un mod` ele de substitution pour un calcul de dosim´ etrie locale dans un probl` eme variable et fortement multi-´ echelle”, dans 18`
Le jugement porté par les femmes lettrées sur leurs soigneurs doit donc être nuancé en fonction de la personnalité de chacune, de la gravité de la maladie,
3.3 Processus d’alimentation d'entrepôt de données : Nous devons extraire, transformer et charger les données à partir des sources précédemment citées, dans l'entrepôt de
