A Finite Buffer Fluid Queue Driven by a Markovian Queue

(1)

HAL Id: inria-00072770

https://hal.inria.fr/inria-00072770

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

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 établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

A Finite Buffer Fluid Queue Driven by a Markovian Queue

Bruno Sericola

To cite this version:

Bruno Sericola. A Finite Buffer Fluid Queue Driven by a Markovian Queue. [Research Report]

RR-3883, INRIA. 2000. �inria-00072770�

(2)

ISSN 0249-6399 ISRN INRIA/RR--3883--FR+ENG

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

A Finite Buffer Fluid Queue Driven by a Markovian Queue

Bruno Sericola

N˚3883

Février 2000

THÈME 1

(3)

(4)

.

/"021 3 46587902:<;=4?>A@CB

DFEHGIKJKLNM OPQRJ2SUTWVXJY+QRZ9QRY[GIKJQ

\^][_a`RJYcbc][IK_d]

O+SUefeg_d]RYhfJ(]RJijEfJ][ijEfJk"ldmdndndmoM pqPr9]RstJ]+uwvdvdvxM Lyuze{SU|dJQ

}~q2afU= Ji_dkfQ[shfJ]S-{kHsYJcfTHJ]{Tfsth,9THJTfJ]RJiJsr9skf|zsY[QskfefTHY][_UIY[EfJN_UTHYefTWY

_U(SSw][U_r9sSwk9THJTfJsYEfkfsY[J_d]KstkHfkfsY[JXSUsY[stkf|][_9_dIX ¡DFEHJostkfeHTHY,{_stk=Y[_YEHJ

{Tfsth¢TfJTHJstQ£Y[E9THQ,ijE{SU][SUiY[J]Rst¤Jh=Z¥SC¦SU][w_yrIK_WhHTf§SwY[JhstkHefTHYK]SwY[J¦eH][_9iJQRQSUkHhJ

hfJ]RsrdJw¨H_d]FS"shfJi§SUQRQ_U©Q[TfijEskfefTHYFeH][_9iJQRQ[JQ¨gSUkSUefeH][_=SUijE_U]YEfJªi_dIKefTHYjSaYst_Uk,_UYEHJ

QRYjSaYst_Uk{SU]RZ"fTHJ]«i_Uk¢Y[Jk=Y_UY[EfJ{Tfsth%¢TfJTfJNSwkfh¬QR_-_U]YEfJ+i_dIKefTHYSwYs_dk£_UgYEfJQ®YjSwY[st_dk{Sw]RZ

_yrUJ]®{_ef][_U{SUfs§tsY¯ZU zDFEfsQ(SUefef]R_=SUijE°§tJ2SwhfQªY_XSk9THI¬J][stiSU§t§ZQ®YjSUH§tJ%SU§|d_d][sYEfI±_d]EfsijE

YEfJ(ef]RJisQ[s_dk_U Y[EfJ(][JQ[Tf§Yi2SUkXJ(QReJisfJhXstkXSUhHrwSUkfiJU

²¦³=´?µR¶z· a¸ U pq§tTfsh¢TfJTfJw¨SU][w_rWstSUkX9THJTfJw¨?¦SU][w_yreH][_9iJQRQ¨¹NrdJ]R{_ºef]R_d{SUHst§tsY¯Zd

»½¼ ¾¯¿¯ÀÁF¾Â©Ã¿¯Ä<ÅÆ

ÇÈ[É?ÊÌËyÍyÎaÏÑÐ2ÒRÊAÓÕÔÖÎ×ÙØyÚjÛ ÓÙÊAÓÕÜAØaÏÝÞÊ

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00

Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

(5)

X X Ö&ª8 % ' &ªq)x*c!¬

¹k6i_dkHQ[sthHG][J THkfJ{§JhSwY[Y[Jk=YJofTfsthfJCi2SUefSUisYPo§stIKsYPJhf_dk=Y§J{TWV

hJk=Y][PJ(JQRY§JN{TWVhfJªQ[_U]RYsJhTfkfJª{§JhSwY[Y[Jk=YJ-Sw][U_r9stJkfkfJzi2Swe{SUisYP{kHstJ_dTskH{kfsJU

J,ef][_9iJQ[Q[THQKhJk¢Y[][PJXhHJ§S¦{§J,{TfshfJJQRY%i2Sw]SUiYP]RstQRPe{SU]zQR_dkYjSUTWVCstkHQRYjSwk¢YSUkfPIK_WhHTf§tP

e{SU]Tfk eH][_9iJQRQ[TfQ(hfJK¦SU][w_yrJY(§ _dkhfPrUJ§t_UefeJw¨8e_UTf]TfkfJzrwSUQ®YJzi§SUQRQ[J£hfJzY[J§Qef][_9iJQ[QRTfQ

hJk=Y][PJU¨THkfJ,IKPY[Ef_WhHJ¬eg_dTf]-§tJKi2SU§iTf§«hfJ¬§ShfstQ®Y]RstfTHY[st_dkhfTCi_dk=YJk¢T hfJ,§tSf§tJ%{TfsthHJ¬JY

hfJx§tSKeH][_d{Swfst§sYPNhfJ"hfP_U][hfJI¬Jk¢YcJk¦][P|dstIKJ(QRYjSaYst_Ukfk{SUs][JU "!JYRYJxSUefef]R_WijEfJxi_dkHhfTfsY#KTfk

SU§t|d_U][sY[EfIKJck¢TfIKP]Rst¢TfJIKJk=Y+QRYSUf§J-eg_dTf]F§J¢TfJ§8§Szef]RPisQ[s_dkeJTHY%$Y]RJ(hf_dkfkfPJ&£§ ÙS2rwSUkfiJU

' · y µ )( pqst§JhSwY[Y[Jk=YJ{TfshfJU¨«{§JXhÙSwYRYJk¢Y[J¦SU][w_rWsJkfkHJU¨ef]R_WiJQRQ[TfQKhfJ¦SU]RU_rg¨

ef][_dfSUfst§sY[PNhfJ(hfP_d]RhfJIKJk=Y

(6)

1 2

%8 *K *x

3¯k¥egJ]®_d][I¬SUkfiJXJrwSU§tT{SaYst_Uk_UNY[J§tJi_dIKIzTfkHsti2SaYst_UkSUkfhi_dIKefTHY[J]%QRZ9Q®YJIKQ¨fTfsth¢TfJTHJQ

I¬_9hfJ§QsYE¦SU]RU_rIK_WhfTH§SwY[JhskfefTHY][SwYJQFE{S2rdJ(JJksthfJ§Z,TfQ[Jh¦skI,SUk=Z,e{SUegJ][Q¨fQ[JJ

SUI¬_Ukf|N_UY[EfJ]RQ54mH¨76H¨ 8H¨9Ld¨:9<;A DFEfJY[]S7=KiSw][][sr9stkf|+Y_ªSNkHJY¯_d][x9THJTfJFE{SwQ^SU§t]RJ2SUhWZªY]S2rUJ][QRJh

e{SU]RY[QN_UqYEfJxkfJY¯_d][¦SUkfhE{SUQNgJJk I¬_9hfs{Jh¦SU§t_Ukf|¬sYQY][SrUJ]RQSU§A >3¯koQRTfijE i2SwQ[JQ¨ sYcstQYEHJ

_dTHYeHTHYF][_dI S%¢TfJTfJ(EfstijE_d][IKQYEHJ-skfefTHYFY[_£YEfJ(kfJ VWY+kfJY¯_U][J§JIKJk=Y2

3¯k Y[EfJ£I¬_UQRY(stIKeg_d]RYSUk=YNe{Sw]RY(_U«YEHJK§sY[J]SaYTf]RJ"_dk YEHstQQRTf9`RJiY2¨©Q[JJ%_U]stkfQ®YjSUkHiJ?4mH¨@67;

SUkfhY[EfJ,]RJJ][JkHiJQxYEfJ][Jsk ¨ Y[EfJ,Q®YjSwY[J¬QRe{SUiJ_UY[EfJ¦SU][w_yref]R_WiJQ[Q-YE{SaY"IK_WhHTf§SwY[JQªYEHJ

stkfefTWY]SaYJzskYEfJzfTfstho¢TfJTfJ%stQcQ[Tfefeg_dQRJh Y_gJ"{kfsYJw -DFEHJzi2SUQRJzEfJ]RJzYEfsQQRYSwYJ"Q[e{SUiJ

stQstkHfkfsY[J-EfSUQcgJJkoSUkfSU§Z9¤JhskA4B87; SUkfhA4L$;8_U]+Y[EfJDCFEGCHEJI-¢TfJTfJw¨?skA4K9.;_d]+SKHst]RY[ESwkfh

hfJ2SwY[ExeH][_9iJQRQ¨=Swkfhxsk&4ÞLv<;9_U] S|dJkfJ][SU§9SU]RU_r9sSUkx9THJTfJsYE(YEHJi_dkfhfsYs_dkªYE{SwY©_dkH§Zª_dkHJ

QRYjSaYJ-IzTfQRYcE{S2rdJ"sYQskfefTHYc]SwY[JxQRI,Sw§t§tJ]YE{SwksY[Qc_UTHYefTWYN][SwYJw 53¯koSU§§ YEfJQ[J"efSUeJ][QchfJ2SU§stkf|

sYESUkstkHfkfsY[JcQ®YjSwY[JQ[e{SwiJU¨fY[EfJiSUe{SUisY¯ZK_U{Tfsh¢TfJTfJªEfSUQFSU§S2Z9QgJJkQRTfefeg_dQ[JhY[_zgJ

stkH{kHsYJw

3¯kYEfsQ¬efSUeJ]¨Ji_dkfQRsthfJ]KY[EfJef]R_df§JI_US°{kfsYJXfTHJ]%{Tfsh¢TfJTHJhf]RsrdJk6=Z¥S

SU][w_rWstSUkX9THJTfJw FbNQ+stkL4L2v7;Ì¨fY[EfJ-_dkf§Z][J¢Tfs][JI¬Jk¢YckfJJhfJho_dkYEfJxSU]RU_rXef][_9iJQ[Q+YE{SwY

I¬_9hfTf§tSwYJQY[EfJskfefTHYqSUkfh"_dTHYeHTHYq][SwYJQqsQ©Y[E{SwY sY E{SUQS+Q[skf|d§tJ«Q®YjSwY[JQ[THijEzYE{SwY YEfJstkHefTHY ]SwY[J

stQ«Q[I¬SU§t§J]Y[E{SUk%YEfJ+_dTHY[efTHY]SwY[Jc_UYEfJ{Tfsh¬¢TfJTfJªSUkHhKY[E{SwYsY«E{SUQSxTHkfs_d]RI stkW{kfsY[JQRstI¬SU§

|dJkfJ]SwY[_d]¨8Y[E{SwY-stQ¨Y[EfJKQ[Tfef]RJIzTHI _UY[EfJK_dTHYeHTHY-]SwY[JQ(_UY[EfJ%QRYSwYJQxsQ-g_dTfkHhfJh ¬DFEfJQRJ

SU][w_r£ef][_9iJQ[QRJQ«stkfi§tTfhHJkf_UY«_dkH§Z-YEfJJ§§NM¯¢kf_kOCHEGCFEJI<E PF¨QCHE$CHE R?E PF¨CHE SUTVEI<E P

SUkfhWCHE7SXT&E R?E Pº¢TfJTfJQzsY[EC{kfsYJ)YP[Z]\_^-_U]"stkW{kfsY[J`YPbac\_^(SUsYstkH|¦]R_W_dI fTWY

SU§tQR_CYEfJQ[TfegJ]Re_dQRsY[st_dk6_wx_UkJM¯_U Q[_UTf][iJQsY[EJVWeg_dkfJk=Y[sSU§c_U egJ]Rst_9hfQSUkHhefE{SUQRJM Y¯Z9egJ

_dk egJ]Rst_9hfQ [d+JrdJ]RY[EfJ§JQ[Q¨x_UTf]I¬JYEf_9h i2SUk kf_UYXJTfQRJh s-YEfJCSU]RU_r ef][_9iJQ[QXYE{SwY

I¬_9hfTf§tSwYJQY[EfJ"skfefTHYNSUkfh¦_dTHY[efTHY][SwYJQcsk¦Y[EfJx{THsth¢TfJTfJzE{SwQcIK_d][J(YEfSUk_dkHJ"QRYSwYJ-sY[E

S,kfJ|dSwYsrdJzJ?JiYsrdJ£skfefTHYª][SwYJw ªDFEfstQNstQNY[EfJzi2SwQ[J£sqYEfJKSw][U_r9sSwk 9THJTfJ£sQN_d]NskfQRYSUkfiJ

YEfJ&SXT&E SXT&E R ¢TfJTfJ,sYE kf_Uk \ _UstQ[QR_dkSU]R][srUSw§tQ e3¯kYEfsQx¢TfJTfJ,YEHJ,k¢TfIzgJ]x_UQRYSwYJQ

i_d]R][JQRe_UkfhfstkH|-Y[_gf(iTfQ®Y_dIKJ]«skKY[EfJc¢TfJTfJ+stQ«J¢T{SU§{Y[_-Y[EfJck¢TfI"J]_U?efE{SUQRJQ_U?Y[EfJcSU][]RsrwSU§

ef][_9iJQ[QSwkfh¦Y[EfstQ+k¢TfIzgJ]+stQcSwY+§tJ2SwQRYcJ¢T{SU§Y_&hKsqJ"Q[THefe_UQ[JxY[E{SwY+YEfJxSU]R][srwSU§8eH][_9iJQRQNsk

kf_UY+S%\ _dsQ[QR_dk¦eH][_9iJQRQ

DFEHJxIKJY[Ef_WhTfQRJh¦EfJ]RJ-Y[_K_UHYjSUskYEfJ(hfsQRY]RstfTWYst_Uk_U Y[EfJ(QRYSwYs_dk{SU]®ZfTHJ]i_Uk¢Y[Jk=Yc_U

YEfJz{THsth ¢TfJTHJ¬Swkfh Q[_YEHJ£QRYjSaYst_Uk{SU]RZ¦_rdJ]R{_ eH][_d{Swfst§sY¯ZstQNkfJsYEfJ]ª{SUQ[Jh_dkQ[egJiY[]SU§

SUk{SU§ZWQRstQ+kf_d]_UkYEfJ"TfQ[Jz_wjiJQRQ[J§ TfkfiY[st_dkHQSUQhH_dkfJzsk04B87;Ì¨k4Ll;^SUkfh04m9.;A¨?HTHY2¨8SwQNstk04Lv<;Ì¨ S

hfst]RJiYxSUeHef][_=SwijEsQ-THQ[Jh°EfstijE§tJSUhfQªY_XQ[sI¬ef§J£][JiTf]RQ[st_UkfQ ¬DFEfstQ(IKJYEH_Wh°stQ(e{SU]®YsiTf§tSU][§Z

stk=YJ][JQ®Yskf|N=Z(YEfJ<SUiY©YEfSwYqsY©TfQ[JQ_dkf§Z-SUhfhfsYst_UkfQ©SUkfh"I"Tf§Y[stef§sti2SaYst_UkfQ?_Ufe_dQRsY[srdJk¢TfIzgJ]RQ

non

Íjpqlrrlq

(7)

6

_dTHkfhfJhC¢Z_dkfJw DFE¢TfQzJ_dHYSUstkCS¦Q®YjSUf§JSU§|d_d]RsYEHI EfstijECI¬_d]RJ_rdJ]z|dsrdJQ-YEfJ¬][JQ[Tf§Y

sYEXS£ef]RJisQ[s_dkYE{SwYiSUkXJ(Q[egJis{Jh¦skXSUhHrwSUkfiJU

DFEHJ¬]RJQRY-_UYEHJKefSUeJ]ªstQª_d]R|=SUkfs¤JhSwQ(_U§t§t_Q D3¯k°Y[EfJ%kfJV9Y-Q[JiY[st_dk ¨8J¬hHJQ[i][sJ£YEHJ

I¬_9hfJ§SUkfh YEfJ%kf_wYjSwY[st_dkTfQRJh %DFEfJk ¨ sk°S{]RQRY-Q[THfQ[JiYs_dk ¨8J¬f]RstJfZ ][Ji2SU§§qYEHJK]RJQRTf§Y[Q

_dHYjSwstkfJhsk 4ÞLv7;^EHstijECi_d][]RJQRe_dkHhY_YEHJ¬skH{kfsYJ£fTHJ]-i2SwQ[JU ,DFEfJKfkfsY[JKHTH?J]xiSUQ[JKstQ

i_dkfQRsthfJ][JhskS Q[Ji_dkfhQ[TfHQ[JiYs_dkEfJ]RJJ_dHYSUstk Y[EfJhfstQ®Y]RstfTHY[st_dkC_UYEfJQ®YjSwY[st_dk{Sw]RZ

fTHJ]i_Uk¢Y[Jk=YXSUQSCTfkHiYs_dk6_U(Y[EfJ QSUIKJohfsQRY[][stHTHYs_dksk6YEfJoskH{kfsYJoHTH?J]i2SwQ[JU 3¯k

JiYst_UkmH¨{JxeH][JQRJk=Yk¢TfIKJ]RstiSU§8st§§tTfQ®Y]SaYst_UkfQ_U YEfJQ[J"]RJQRTf§Y[QNSUkHhXJ"i_dI¬efSU][JªYEHJ-{kHsYJ

SUkfhstkHfkfsY[JªfTHJ]i2SUQRJQ

' *K F *" &- *-©&ª*"

J+i_dkHQ[sthHJ]S({Tfsh,¢TfJTHJstkH|zI¬_9hfJ§fsYE,SxfTW?J]_U8iSUe{SUisY¯Z,¨9sY[E \ ¨¢_U]EfsijE

YEfJstkHefTHYSUkfh%_dTWYefTHY][SwYJQSw][JFi_Uk¢Y[][_d§§tJh£¢ZKSªEf_UI¬_d|UJkfJ_dTfQSU]RU_r%ef]R_WiJQ[Q f

_dkªYEfJ«QRYSwYJ«QRe{SUiJsYE(stkW{kfsY[JQRstI¬SU§w|UJkfJ]SwY[_d]hfJkf_wYJh-=ZSUkfh-QRYSwYs_dk{SU]®ZNef]R_d{SUHst§tsY¯Z

hfstQ®Y][sfTHY[st_dkhHJkf_UY[Jh¦¢Z )a"!#%$&

8JY '($8gJYEfJªskfefTHYF][SwYJ(Swkfh*)+$gJYEHJª_dTHYeHTHYF]SaYJEfJkXY[EfJ-SU]RU_ref]R_WiJQRQ,-stQ

stkoQ®YjSwY[J-[ JzhHJkf_UY[J£=Z/.($^YEHJ£JJiY[srUJ£stkfefTWYª]SwY[Jz_UQRYSwYJ-R¨?YEfSwYªstQ0.($a1'($324)5$ J

Q[Tfefeg_dQRJcYEfSwY«_d]JrdJ]RZ-768JcE{S2rdJ9.($:a fH 3 YstQ^J§t§M¯¢kf_k¬Y[E{SwYYEfJ+i2SUQRJcEfJ][J9.($@a f

_d]FQ[_dIKJ-«i2SUkXgJª][JhHTfiJh¦Y_%YEHstQF_dkfJOYQ[JJª_d]FskfQRYSUkfiJO4ÞLv7;^

JSUQRQ[TfIKJstkzYEHstQe{SweJ]YE{SwY^Y[EfJFQRYSwYJFQRe{SUiJ9 i_Uk¢YSUstkHQ^_dkf§Z"_dkfJFQ®YjSwY[JsYE£kHJ|=SwY[srUJ

JJiY[srUJ,stkHefTHY-]SwY[JU DFEHstQ-QRYjSaYJKstQ-hfJkf_wYJh=ZAfXSUkfh°YE¢TfQ-J¬E{S2rdJ; a<.f>=;7?sY[E

.A@>Z_f%SUkHhB.($DC_fz_d]E-768F?q 3 Y+stQFIK_d]RJ_rdJ]cSwQ[Q[THI¬JhXY[E{SwYEGIHKJLM.($NO.($DCHfPCHfH

J(hfJkH_UYJ(=Z*QKY[EfJªY]S.=¬iªsk=YJkHQ[sY¯Z,EfstijEXstQF|dsrdJk¦=Z

QDa

R

$ISUT '($I%$

R

$VSAT )5$V%$UW

JXst§t§QRTfefeg_dQ[JoY[E{SwY,Y[EfJQ®YjSUHst§tsY¯Zi_dkHhfsY[st_dkXQ Z IostQKQSaYstQ®{Jh?¨+QR_CYEfSwY,Y[EfJo§tsI¬sYskf|

JE{S2rWs_d]z_UY[EfJfTHJ]£i_dk=YJk=Y%J VHsQRY[QzEfJkX a \ JhfJkf_UYJ=ZY YEfJQ®YjSwY[st_dk{Sw]RZ

QRYjSaYJ"_w^YEfJzSU][w_ref]R_WiJQRQP%SUkfho=ZBZ\[ Y][JQRe 0ZX^+Y[EfJ"Q®YjSwY[st_dk{Sw]RZXSUIK_dTfk=Yc_U^{Tfsh

stkYEfJ(fTW?J]EHJk][Z \ Y<]RJQRe ^ba \_^

_a`onb_ac

(8)

8JY! &a a +Z Swkfh[F! &a( a +Z [ ¢ JzYEfJk°EfSrUJ

YEfJª_d§§t_stkf|"hfsJ]RJk=YstSU§?J9TfSwYs_dkfQ¨{QRJJ(_d]FstkHQRYjSwkfiJ(4m7;A¨f_d]SU§t§ 68

.

! &

a R

$VSAT

D$ ! &P! - K&_U] CHf Y®L<^

.

[F! &

a R

$VSAT

D$[F! &P! - &_d]f ZZ4

W

YÌu:^

DFEfJ%stkfsYsSw§ i_dkfhfsYst_UkfQ(SU][J%|dsrdJk=Z ! f &>a[F!f &>a f_d]ªJrdJ]RZ 64F?¥SUkHh°JKSU§tQR_

E{S2rdJ@[F!! & a @2

JXSUQ[QRTfIKJYE{SwY!"$#&% 2 ! - 5- &55-6" ¦stQzfkfsY[JSUkfhJ¦hfJkf_UY[J¢Z SYEfJY[]SUkHQ[sY[st_dk

ef][_dfSUfst§sY¯Z¬I,SaY][sÞV_w Y[EfJxTHkfs_d]RI¬s¤JhXSU][w_rijE{SUstk 4('.;8sY[EX]RJQReJiYNY[_£YEfJ-Tfkfs_d][IKst¤S.M

Yst_Uk¦][SwYJ*)oEHstijErUJ][s{JQ+) "$#&%3 2 !#-5- &+5-E6Y¢ +DFEHJ"I¬SwY]RsV SstQYEHJko]RJ§SaYJhXY_

¢ZeS a-,/. E0)8¨HEfJ][J,,hfJkf_UY[JQYEfJ(sthHJk=YsY¯ZI¬SwY]RsV

1324 57698:<;>=9;9:?@8A+BDCE8GFIHJ K8

J i_dkfQ[shfJ]sk6YEfsQQ[THfQ[JiYs_dkYEfJ iSUQ[J EfJ][J a \ J ][JiSU§t§cstk6Y[EfJo_d§t§_stkf|

ef][_deg_dQRsYs_dkfQ"Y[EfJI,Swstk][JQ[Tf§YQ£YEfSwY%E{S2rdJXJJk_dHYSUstkfJhstk 4L2v7;Ì JQ[Tfefeg_dQRJXY[E{SwY£YEHJ

QRYjSwfst§sY¯Z¬i_dkfhHsYs_dk QOZ I(stQQSwY[stQ®{Jh

L ·NM^· POQO ·SRITVUW

o,.g #

68YX[Z

+\ %

! & a ]

R

^Q_

@@`

bac

d

!feg

h & ^

ikj-l

!i & YAm-^

Z

\ +

.Oa"GVHJLM.($ NO.($ C f

% em\ +,/ n o

l ! i &

% qp 0!$#e\ srG,., Z

pV+ +to

$ufv + oo ,.

l

@! f &ka

R

SAT .+

.A@

a ! I 2 Q&

R

SAT )<

29.A@

% l

M! f &ka f rG,. 68

?

% DrG,.

i I % 68YX

l

M!

i & a"! I 2

.

& l ! i

2_I &.

.

R

$VSUT

l $ ! i

2_I &S !#-K&

W

Y6Q^

non

Íjpqlrrlq

(9)

8L ·NM^· POQO ·SRITVUT o,.g #

i fX Z /\ %

l

@!

i & a l

@! f &.

R

+SUT

.

l

M!

i &

29.A@

W Y 9:^

L ·NM^· POQO ·SRITVU

o,.g #

68YX

\ /o/ $ 3+

l

M!

i &

o ,.` p-%

X

j3+ % o/ o%

+,. p o ,

DFEHJxSw§t|d_d]RsY[EfI _d]Y[EfJªi_dIKefTHYSwYs_dk_U©YEHJªQRYjSaYst_Uk{SU]RZ¬fTHJ]Fi_dk=YJk¢Y+TfQRJQFYEHJQ[JªY[Ef][JJ

ef][_deg_dQRsYs_dkfQFSwkfhstQef][JQ[Jk¢Y[Jh¦stkL4L2v7;Ì

1321 57698 =9;9:?@8A+B>C8GF HJ K8

J+i_dkHQ[sthHJ]stk%YEfsQQRTffQ[JiY[st_dk,Y[EfJ+i2SUQRJcEfJ][JcY[EfJ+i2SUe{SwisY¯Z _U Y[EfJ+fTfsth¬9THJTfJcstQ«{kfsY[JU

3¯kzYEfJiSUQ[JEfJ]RJYEfJQ®YjSUHst§tsY¯Z(i_dkHhfsY[st_dkQ Z IFsQqQSaYstQ®{Jh?¨UYEfJ{kfsY[JfTHJ]qi2SUQRJFstQq]RJ§tSwYJh

Y_£YEfJ(skH{kfsYJfTW?J]+iSUQ[J-=ZYEHJ(_U§t§t_skf|"YEHJ_d]RJIX

³9· ³ TVU r QOZ I X[Z +\ % rG,.g # 68 % 6fK+ &X

[F! & a @ M! &

@U! &

Y8-^

L · ·tU

stkHiJ[! &Q[SwYsQR{JQ J9TfSwYs_dkOY®L<^ ¨aY[EfJ^TfkfiY[st_dk[F! & a @ M! & E D@!&Q[SwYsQR{JQ

J¢T{SwY[st_dk YÌu ^ £DFEfJ%stkHsYstSU§©i_dkfhHsYs_dkfQN_U] a fH¨VAa SUkfh864F?q¨VAa[fgJstkH|SU§tQR_

QSwY[stQRfJh ¨fY[EfstQFi_dI¬eH§tJY[JQY[EfJ(ef][_9_UÖ

8JY¬THQ£i_dkfQRsthfJ]£YEfJTfkfiYs_dkfQ! [7! &(a LMZ [ &zSwkfh ! &(a (MZ _d]

6fK+& JªY[EfJkXE{S2rdJ

! & a R

+SUT

M! & a ]

R

^Q_

@`

bac

d ! eg h & ^

ikj l ! i

&5 Y ':^

EfJ]RJ

l !i & a R SAT

l

M!

i

&j «DFEfJ(Q[J9THJkfiJ

l ! i

&skfi]RJ2SUQRJQ+SUkfhXi_dk=rUJ][|UJQcY[_?I-EfJk

i

|d_9JQFY[_

stkH{kHsY¯Zd iZQ[TfIKIKstkf|z_rUJ]Y¬stk]RJ§SaYst_UkLY 8-^ ¨HJ-|dJY

[7! & a @

! &

D@!&

W

_a`onb_ac

(10)

DFEfJi_dI¬eHTHYjSwY[st_dk_Uq[7! &£iSUk¥Y[EfJkgJXhf_dkfJSUQ¬_d§§t_Q JhHJkf_UY[J]RJQ[egJiYsrdJ§Z¢Z

!] &^SUkfh @!]+ &YEHJªQ[TfIKQ_U8Y[EfJ .FI{][Q®YYJ][IKQ_U][J§SwY[st_dkHQY ':^SUkfh)YAm-^ ¨WYEfSwYFstQ

!] & a

R

^Q_

@ ` bac

d ! eg h & ^

ikj l ! i & SUkHh D@U!*+& a

R

^P_

@ ` ba

d ! e [ h & ^

ikj l

@!

i & W

JªYEHJkXE{S2rdJ

! & a !] &.

`

!/& Swkfh D@U! & a-@U!]+&.

`

@!/&

EfJ]RJ

`

!8&NSUkfh

`

@U!8&NSU][J£]RJQReJiYsrdJ§ZoY[EfJ%][JQ®YQ-_U«YEfJ%QRJ][sJQ! &cSUkfh @A!& JY

J-S£|dsrUJkJ]R][_d]FY[_d§tJ]SUkfiJU¨HJ-hfJ{kHJ-sk=YJ|UJ] SUQ

caGIH

i

6 ^ R$_ @ ` e

[

h ! ) E . & $

- j I 2

W

YAn-^

JªYE¢TfQE{S2rUJ

`

!/& a ]

R

^Q_

?

`

ba<c

d ! e g h & ^

ibj l !i & ]

R

^Q_

?

`

ba<c

d ! e g h & ^

ibj

]

R

^Q_

?

`

ba

d ! e [ h & ^

ikj

SUkfh

`

@!8& a ]

R

^Q_

?

`

ba

d ! e [ h & ^

ikjl

@!

i

&^ @ ]

R

^P_

?

`

ba

d ! e [ h & ^

ibj

4 @

W

L ·NM^· POQO ·SRITVU

[7! &D2 @

!* &

@A!]5&

@

l

@! f & ! I 2

& W

L · ·tU

[^! &D2 @

!]$ &

@!]+ & a @

! &

D@!&

2

!] &

D@U!*+&

a @ N ! &<@A!]5&D2 !] &@U! &AN

D@!&@U!]+&

a @ N@U!]+&

`

!/& 2 !* & `

@A!8&(N

@U! &<D@!*+&

W

non

Íjpqlrrlq

(11)

n

DFEfJ£k¢TfI¬J]SwY[_d]N_wY[EfJ"][SUiY[st_dkosQN§JQ[Qª_U]NJ¢T{Sw§qYE{Swk @ ¨ Q[skfiJ*@!*+& @¨

`

!/&0

SUkfh !] &B Id¨

`

@U!/& @ p{_d]%YEfJ¦hfJkf_UI¬sk{SwY_U]¨Y[EfJQRJ¢TfJkHiJ

l

@!

i

&£gJstkH|

stkfi][J2SwQ[stkH|f¨HJ-EfSrUJ

@U! & a ]

R

^Q_

@ ` ba

d ! e [ h & ^

ikj l

@!

i

&

l

@! f &+

SUkfh

D@U!*+& a

R

^P_

@&`

a

d ! e [ h & ^

ikj l

@!

i & l

@! f &

R

^P_

@&`

a

d

!fe

[

h & ^

ikj l

@! f &+! IE2

&5

EfstijEXi_dIKef§JYJQYEfJ(ef]R_W_wÖ

DFEHstQef]R_deg_dQ[sYst_UkoSU§§t_QcTHQNY_i_dI¬eHTHYJ-YEfJzhHstQRY[][sfTHYs_dk [7! &FsYE SUk J][]R_d] %YEfSUk

a l

@! f &

l

@! f &

3. @ W

¦_d][J_rdJ]¨{YEfJ(i_UI¬efTWYjSwY[st_dki2Swk¦gJ(J2SUQRst§Z,hf_dkfJ(=ZTfQRstkf|£YEHJ"SU§|d_d]RsYEHIhHJQ[i][sJhstkL4ÞLv.;

Y_%i_dIKefTHY[JYEfJ(¢T{SUk=Y[sYsJQD!]$ &SUkfh@U!]+&

q &( q D

bNQ+Q[Ef_k stk 4ÞLv7;A¨_dTH]cIKJY[Ef_Wh¦SUefeH§tstJQF_d]NS%sthfJ-i§tSUQ[Q+_U¦SU][w_yrXIK_WhHTf§SwY[JhXstkfeHTHY+]SwY[J

ef][_9iJQ[Q[JQsY[E,S-Efst|UE¬ef]RJistQ[s_dk,_Uk¬YEHJck¢TfIKJ]Rsti2Sw§{][JQRTf§Y[Q JNi_dkfQ[shfJ]EfJ][JSª{Tfsh,¢TfJTfJ

hf][srdJk=Z°SUk0CFEGCHEJIK¢TfJTfJ,SUkfh°JKi_dIKe{SU]RJ£YEfJKhfstQ®Y]RstfTHY[st_dk _wYEHJ¬Q®YjSwY[st_dk{Sw]RZ fTW?J]

i_dk=YJk=YN_d]+_wYE{kHsYJxSUkfh¦stkHfkfsY[JxfTW?J]c{Tfsh¢TfJTfJQ NDFEfJ"SU][]RsrwSU§]SwY[Jx_wYEfJDCHEGCHEI

9THJTfJstQ a f

W

¨«sYQ"Q[J]®r9stiJ][SwYJsQ a Id DFEfJ][SUkfhf_dI rwSU][stSUf§tJ ][JeH][JQRJk=YQ%YEHJ

QRYjSaYst_Uk{SU]RZk¢TfI"J]"_UFiTfQRY[_dIKJ][Qxstk°YEfJVCHEGCHEJI,9THJTfJw¨«SUkfh QR_¦JE{S2rdJ a - a

%$a ! I,2oE &+!oE & $

¨ _d]-JrUJ]®ZY-\]fH DFEfJ¬stkfeHTHY"][SwYJKstk°YEfJK{TfshC¢TfJTHJstQ-|dsrUJk¢Z

'A@a f,SwkfhB'($@a h£_U] - IU¨Swkfh¦Y[EfJx_UTHYefTWYNsQ+QRTfefeg_dQ[JhY_¬J(i_dkfQRYSUk=Y|dsrdJk=Z])+$ aI

_d]ªJrUJ]RZ -, fH KDFEfJKJJiY[srUJ¬skfefTHY-]SaYJ%stQªYE¢TfQ\.A@ga 2XI¬SUkfh .($ a I£_d](JrUJ]RZ -, Id

DFEfJQRJ-rwSU§TfJQF§J2SUhY_%YEHJ(Y[]S7=Kiªsk¢Y[JkfQRsY¯ZskYEfJª{Tfsh9THJTfJ\QDa f

W

p st|dTf]RJ%LxQREf_QNYEfJ-QRYSwYs_dk{SU]®ZfTHJ]+i_Uk¢Y[Jk=Y_wYEfJ({Tfsh¦¢TfJTfJ"skg_UYEXi2SwQ[JQ+EfJ]RJ

YEfJ£fTW?J]-_wY[EfJ£{Tfsh 9THJTfJKstQ_wskH{kfsYJziSUe{SUisY¯Z Swkfh EfJk°sYªsQª_Ui2SUefSUisY¯Z/ a I/fH

_a`onb_ac

(12)

0 0.2 0.4 0.6 0.8 1

0 2 4 6 8 10 12 14 16

x

pqst|dTH][JzL«p{]R_dI.Y[_deXY[_£YEfJ(g_UY[Y[_dI (MZ CI £SUkfh (MZ

@CI xrUJ][QRTfQ>

dc_UY[J+Y[E{SwY_d][B I/fH¨=JE{S2rdJ9 MZ

@CI a fH DFEfsQ8`RTHI¬e¬i_d]R][JQRe_UkfhfQY[_xY[EfJN_rdJ]R{_

ef][_dfSUfst§sY¯Z (MZ

p st|dTf]RJQcu£SUkfhm%QREf_ºYEfJ(Q®YjSwY[st_dk{Sw]RZfTW?J]+i_dk=YJk¢Yc_U YEfJ-stkHfkfsY[JªfTHJ]F{Tfsh¦¢TfJTfJ

SUkfhzYEHJi_d]R][JQ[eg_dkfhfskf|_rdJ]R{_6eH][_d{Swfst§sY¯Zªsk"YEfJfkfsY[JfTHJ] {Tfsth£¢TfJTfJU qDFEfJFef][JisQ[st_Uk

_U Y[EfJ(][JQ[Tf§YQstQ a I/f stkXpqs|dTf]RJ(uKSwkfh Ua I/f @

sk¦p st|dTf]RJªmH

w

4Ll;3j =bFh{SUkSwkfh H ¢OJQRstkf|H¨ stIKef§tJSUk{SU§ZWQRstQ^_U S{TfsthK¢TfJTHJchf]RsrUJkK¢ZKSwkUWL+9THJTfJw¨

THJTfJstkf| Z9QRY[JIKQNuUu YÖL

8:^NL 'WLgLQ'76f

4Ùu<;(b" jiJ]RI,SwkSUkHhO( H «\^§JIKI¬_dkHQ¨ ,. p-% V')% + o Hm\ e'"% m\ % %

3+ o ¨ Y<bFiSUhfJIKsti(\^]RJQ[Q¨L ' ^

4m.;" ¦sY]SW¨ Y_9ijE{SUQ®YsizYEfJ_d]RZ_USfTfsth IK_WhHJ§q_weH][_9hfTfiJ][Q-SUkfhi_dkfQ[THI¬J][Qªi_UTfef§tJh

¢ZXS£fTW?J]¨{bFhHrg bNefeH§Ì {\^][_U{SU guUv YÖL ndn-^ 8 6-8J80' 8H

non

Íjpqlrrlq

(13)

Lv

0 0.2 0.4 0.6 0.8 1

0 5 10 15 20 25 30 35 40 45 50

B

pqst|dTH][J£ucp{]R_dIY[_deY[_YEfJzg_UYRY_dI 9 MZ C ¬SUkfh(MZ [ a %rUJ][QRTfQ, _d]QRI,Sw§t§

rUSw§tTfJQF_U>¬

_a`onb_ac

(14)

1e-08 1e-07 1e-06 1e-05 0.0001 0.001 0.01 0.1

50 100 150 200 250 300

B

pqst|dTH][Jzm ªp{][_dI±Y_deoY[_YEfJ£g_UYRY_dI /LMZ C ,SUkfh LMZ [Wa KrUJ]RQ[TfQ\ _d]ª§Sw][|dJ

rUSw§tTfJQF_U>¬

non

Íjpqlrrlq

(15)

Lyu

_d]FstkH_U][I¬SwYs_dkJM¯EfSUkfhf§stkf|(QRZ9Q®YJIKQ¨ bFhHrg bNeHef§Ì {\^]R_d{SU guwm YÖL

L/^NLv-9 gL2m

4m9<; b" =rwSUk N_W_U][k¬SUkfh ÙO( ijEHJstkHE{SU][hWY2¨9b fTfsthK¢TfJTfJchf][srdJk,=ZKSUk,skH{kfsYJFQ®YjSwY[J

fst]®YEJM hfJ2SwY[Eef][_9iJQ[Q¨ sk +,U(

U¨ SUQREfstkf|wY_dk ¨ !Y UTHkfJ%L

':^

4K8.; H st]®YjSUIK_%SUkfh?3j d+_d][]R_dQ¨ pq§Tfsth¢TfJTfJ-hf][srdJkX=ZXSUk¦d9Lx¢TfJTfJU¨

TfJTHJstkH|

Z9Q M

YJIKQ(L/8 Y®L 6Q^m 'wmWmdn:8W

4'<; g O_dQ[Q¨

,U\ % o

,U+ oo/ o

¨ Y H s§tJZd¨ L ndm-^

4n.;x p d+JTHY[Q¨

')% u> +, & @,.J,.o ,U\ % oe' ,$ o) p,.m\

v v ,$% \ ¨ Y U_dEfkfQc_Uef¢stkfQ¨iSU§Y[stIK_d][JNSUkfh 8_dkfhf_dk?¨ L nHL/^

4 ;£ UD SUaSUE{SwQ[EfsA¨UbNQ®Z9I¬eHY[_UYsiJ VHeg_dkfJk=YsSw§tsY¯Z(_w{YEfJYjSUs§9_w{YEfJSUsYstkH|7M Y[stIKJhfstQ®Y]RstfTHY[st_dk

stkXS%\ U\ wi-¢TfJTHJU¨ bFhHrg {bNefeH§Ì \^][_dfSU Lm YÖL nHL<^8WL J8dmUvH

Z9QRYJI¬QcmHLOY®L

^u 9UmHu 876f

_a`onb_ac

(16)

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex

Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Éditeur

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

ISSN 0249-6399