• 検索結果がありません。

A Fast Approximation for General Closed Queueing Networks

N/A
N/A
Protected

Academic year: 2021

シェア "A Fast Approximation for General Closed Queueing Networks"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

日本オペレーションズ・リサーチ学会 2004年秋季研究発表会 1−A−1

A馳st Approximation払r GeneralClosed QueueingNetworks

OllO5381 北海道大学 *木村俊一

KIMURA TosHIKAZU

北海道大学 森岡和行 MORIOKA KAZUYUKI

2 GeneralClosed QueueingNetworks

Consider a closed queueing networkin equilib− riumwithMservicestationsandNcustOmerS, inwhichwe assumethat

l・theroutingprobabilitypijthatacustomer

leavlng Stationienters station]1Sinde−

pendentofthestateofthesystem(i,j=

1,…,〟);

2.customers are served under the且rst−COme

first−SerVeddisciplineatallstations;

3.service times of customers at stationiare iid with a generaldistribution andinde− pendent ofthe arrivalprocess at stationi

(乞=1,…,〟);

4.stationihas si(≧1)identicalserversin ParallelandalimitedlocalbuHerwithca−

pacityri(≧0)(i=1,…,M),andhence themaximumnumber ofcustomers allowed

at$tationiisni=min(si十ri,N),Where

∑だ1m五>Ⅳ>max溝.

The systemisfurther specified by the bl− lowlng nOtations:Fbr each server at stationi

(i=1,‥.,M),1et Pt be the service−time cdf

withfinitemeanpJlandletcヲbethesquared

COe侃cients of variation of彗.Let Nidenote the number of customers at stationiandlet

釣(れ)=P(弼=れ)(宜=1,…,〟,乃=0,…,れ壱).

The■problemwebcusonhereistoobtainallof

themarginaldistributions(pi(n))・ 3 TheExpomentializationApproach

Letui(n)beequivalentservicerateatstationiin

theequlValentexponentialnetworkwhenⅣi=n

(ま=1,…,叫乃=0,・‥,れ宜),Where〃云(0)=0 for alli・AIsolet p芸(n)denote the marginal probabilityofhavlngnCuStOmerSatStationiin

theexponentialnetworkcharacterizedbytheset

Ofservicerates(ui(n))・Obviously,thesuccess 1 Introduction

Queueingnetworksareimportantmodelsinthe performance analysis of cornplex systems such

ascomputer/communicationnetworksandflexi−

blemanufacturingsystems・EfBcientalgorithms

havebeendevelopedforcomputingperformance mea5ureS Of separable networks that have a

PrVductTjbrm solution.Unfortunately,mOSt Of realsystemsarenotseparable,Whichmakesap− proximate analysis based on decornposition a

practicalnecessity.

The idea of decomposition approximation has been successfu11y applied to open queue− 1ng netWOrks with generalservice times.Fbr

Closed queuelng netWOrks,however,the situa−

tionbecomesmorecomplexduetotheconstant POPulation constraintin the network.There

are two well−known methodsfor non−Separable

Closed queuelng netWOrks,i・e・,the a9grqation

method[1]andthe e呼Onentializalion apprY)aCh [2,3j・The commonidea of these methods is to transform the orlglnalnetworkinto an

approximately equlValent exponentialnetwork, Whereeachstationhasexponentialservicetimes

Withstate−dependent rates・Inthe aggregation

method,thistransformationdependsonlyonthe meanservicetimeofeachstation,SOthatitfails fbrnetworkswithgeneralservicetimes.Onthe

Other.hand,theidea of the exponentialization approachistoanalyzeeachstationwithastate−

dependent arrivalrate and aservice rateequal toconditionalthroughput,Whichenablesusto

takeaccountofgeneralservicetimes・Ithasbeen

known that this approach provides su侃ciently

accurateresults,butthatthecomputationalload isveryheavy.

Inthispaper,uSlngadiffusionapproximation

fbrstate−dependent queueswithfinitecapacity, we modify the exponentialization approach to

developafastapproximationforageneralclass OfclosedqueuelngnetWOrks.

−4−

(2)

4 DiffusionApproximationfor(lh(n))

Fbri=1,...,Mandn=1,,..,ni,1et

α宜(m)=入宜(乃−1)+min(m,5宜)仇dZ(れ),

頃れ)=入豆(和一1)⊥min(乃,β加わ

d君(m)=1+1(れ≧β五)(れ)(1−p試0))(cぎー1),

梱=eXp〈器〉)

m

∈豆(れ)=(頑1卜1)H7乞(た),

た=2 AIso,fori=1,…,M,1et α豆=項0)and β豆=£勅.

Then,thediffu占ionapproximationfor(−7Ti(n))is

given by Oftheexponentialization approachstronglyde−

Pendsonhowtoapproximate(巧(n))forwhich

釣(m)=p芸(れ)(宜=1,…,〟,れ=0,…,れ宜)・The exponentializationapproachcanbesummarized bythefo1lowlngalgorithm: StepO Fbri=1,…,Mandn=0,.‥,ni,Set 擁(れ):=min(m,β擁立・

SteplSoIve the exponentialnetwork charac一

・terized by the set ofservice rates(FLi(n))

and the routing matrixP=(pij)to ob− tainthemarginaldistribution(p芸(n))・Fbr 豆=1,…,〟,Set 0, p言(れ+1) 7l=†lよ

〃宜(柁+1),

0≦m≦m宜一1. p;(れ)

打㈹帥),

1≦几≦和宣−1 † 打宜(乃)= わ豆(れ宜)も(m乞) T・− Step2Fbri=1,...,M,analyze stationi San

1ngPoissonarrivalswithstate−dependentar−

rivalrates(入i(n))andtheservice−timecdf

F;,Obtainlngits steady−State distribution

(7Ti(n);n=0,・・・,ni)asanapproximation

払r(凱(几))・

Step3Fbri=1,…,M,Set

丁乙=一明, わ乞(1)¶(乃豆)−1’

h・Om Which we can explicitly obtain叛(n)in Step3as わ宜(1) 7乞(1)−1’ レ壱(乃)= 入官(れ−1) , 2≦れ≦れ乞−1 7宜(れ) 二・‥= ‡ 0, 打宜(和一1) 乃=0 入壱(れ−1),1≦れ≦㍑壱・ 戊 ¶(れ宜)−1 入官(花立−1),・れ=れ五・ わ壱(れj)7五(れ宜)

打豆(.乃)

References 【1】Avi−Itzhak,B・andHeyman,D・P・,t’ApprⅩi− matequeuelngmOdelsformultiprogrammlng COmputerSyStemS,”OpertLtionsReseart:h,21 (1973)1212−1230. 【2]Marie,R・A・,“An approximate■analytical

method for generalqueuelng netWOrks,”

托甘占’:n=け…・hりナナ=リノJふ小川ハムーJ小甘廿恒/、

5(1979)530−538・

[3】Yao,D・D・and Buzacott,J・A・,“The expo− nentialization approachtoflexiblemanufac−

turingsystemmodelswithgeneralprocesslng

times,”EuropeanJournalqfOperYLtionalRe− βeα化九,24(1986)410−416・ Ifmaxi,nlpi(n)−L/i(n)L<Eforagivenerror bounde>0,thenpi(n):=7Ti(n)foralli andn,andstop;Otherwisesetpi(n):=Ui(n) foralliandn,andgotoStepl. IneachiterationofStep2,Marie[2】proposed tocalculate(7ri(n))exactlybyusingtheCoxian SerVice−timedistribution.Clearly,thisincreases

thecomputationaltimeslgnificantly・Inthispa−

per,WeWi11simplifythecalculationin Steps2

and3by uslng a di軌1Sion approximation for

theM(n)/G/squeuewithfinitecapacity・The

Simplification makes the exponentialization ap− proach be more tractable as a quick modeling toolforperformanceevaluation.

ー5−

参照

関連したドキュメント

If the interval [0, 1] can be mapped continuously onto the square [0, 1] 2 , then after partitioning [0, 1] into 2 n+m congruent subintervals and [0, 1] 2 into 2 n+m congruent

On the other hand, recently, Sa¨ıdi-Tamagawa proved a weak version about the finiteness theorem over arbitrary algebraically closed fields of characteristic p > 0 which says

In [LN] we established the boundary Harnack inequality for positive p harmonic functions, 1 < p < ∞, vanishing on a portion of the boundary of a Lipschitz domain Ω ⊂ R n and

For arbitrary 1 < p < ∞ , but again in the starlike case, we obtain a global convergence proof for a particular analytical trial free boundary method for the

Next, we prove bounds for the dimensions of p-adic MLV-spaces in Section 3, assuming results in Section 4, and make a conjecture about a special element in the motivic Galois group

Pi˜nar gave an unified approach to the orthogonality of the generalized Laguerre polynomials {L (α) n } n≥0 , for any real value of the parameter α, by proving their orthogonality

The object of this paper is the uniqueness for a d -dimensional Fokker-Planck type equation with inhomogeneous (possibly degenerated) measurable not necessarily bounded

Using the batch Markovian arrival process, the formulas for the average number of losses in a finite time interval and the stationary loss ratio are shown.. In addition,