Файл: Шнепс, М. А. Численные методы теории телетрафика.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 19.10.2024

Просмотров: 155

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

5.3.АСИМПТОТИЧЕСКИЕ РАЗЛОЖЕНИЯ ВЕРОЯТНОСТИ ПОТЕРЬ

1. Исследование НС при малых нагрузках

Численные 'примеры, изложенные в § 5.1, .показывают, что для случая упорядоченного искания свободной линии принципы вы­ бора оптимальной НС зависят от нагрузки: при малых нагрузках выгодно пользоваться схемами с индивидуальными линиями, а при средних и больших нагрузких оптимальными являются равномер­ ные схемы. На основе степенных разложений вероятностей состоя­ ний, полученных в § 5.2, можно найти первые члены асимптотиче­ ских разложений вероятности потерь по X (при малых нагрузках) и по X-1 (при больших нагрузках), которые позволяют теоретичес­ ки подтвердить предположения, основанные па анализе численных данных.

Далее, сравнивая две схемы, при Х-Я) лучшей будем считать ту схему, для которой в разложении вероятности потерь по степеням Я первый из несовпадающих членов разложения меньше. Аналогич­ но при Х->-оо отношение «лучше» устанавливается сравнением по степеням X-1.

На основе рекуррентных формул, полученных в § 5.2.2 для вы­ числения коэффициентов ст(х), можно найти степенное разложение вероятности потерь л (А) при малых нагрузках X.

Подставляя (10) с учетом условия нормировки (15) в выраже­

ние вероятности потерь л (Я) = 2 ухрх(К),

получаем

 

 

.ves

 

я ( Х ) = Xd ^ X * с о ( Д - г ^ d + ‘ ( H y W h (И -г 2 y ( * ) co ( * ) ) + • .• ■

 

 

xei d

xeL d+1

пли в виде

 

 

 

л (X) = Xd

X1' 2

>1 ^

(24)

t=0

*=0 xeLd+k

 

■что представляет собой степенное разложение вероятности потерь л(Х) по степеням X. Если рх(Х) найдены по ф-лам (9) — (Ш) с точ­ ностью до нормирующего множителя, то вероятность потерь

21Ух Рх (X)

л(X) = хе s_______

2 1 ра(Х)

 

 

xqS

получаем

 

 

Подставляя (8),

 

 

 

 

со

i

 

 

 

 

 

xd2

>

' 2

21

%d В (X)

 

л

(X) =

f"°

^ 0xeLd+k__________

(25)

 

 

x1' 2 i

 

4 (X)

 

 

 

 

 

 

 

 

 

2

21 ci-k w

 

 

I(=0 ft=0x£Lk

103-


Отсюда,

пользуясь разложением в ряд

Тейлора, опять получаем

разложение по степеням X:

 

 

Л (X) == Xd

+ А/'+1 - - (0) й'-(0)—

_)_ о ( x,d+1).

(26)

'

Л(0)

И (О)]2

 

'

Итак, мы получили разложение вероятности потерь я (А,) по сте­ пеням X в двух видах: в виде (24) при условии выполнения условия

нормировки

(15)

для системы коэффициентов разложения {cm(x )t

х 6 S, т = 0,

1...}

и в виде (26)

при невыполнении

такого условия.

На основе разложений

(24) и (26) можно сделать выбор оптималь­

ных принципов построения НС в области малых нагрузок.

Теорема 5.1.

Пусть заданы

целые числа п, d

и v, такие, что

n d > v '> d . Обозначим

v~ d.

— г, где квадратная скобка — знак

целой части.

 

 

п—1

 

 

^ 4

 

 

 

 

\ г—

= г,

то при А->0 оптимальная НС состоит из г

а) Если

-----

п — 1

вертикалей индивидуальных линий и d—г общих линий, доступных всем п группам. Притом индивидуальные линии доступны ранее об­ щих линий.

б) Если -—j — дробное число, то при А->-0 оптимальная НС

отличается от схемы по пункту а) тем, что между г вертикалями индивидуальных линий и d—г общими линиями размещается одна вертикаль контактов, доступная [и— (rn + dг)\ линиям с равно­ мерным включением.

И д е я д о к а з а т е л ь с т в а . При малых нагрузках X потеря вы­ зова бывает редко и только тогда, когда заняты все линии какой-то группы. Коэффициенты ст(х), входящие в разложение (25), свя­ заны с f х — числом путей, которые состоят из одних только заня­ тий и переводят НС из состояния 0 в состояние х. Например, из (13) имеем:

с0(х) = - ^ - , x e S , \х\фО

(27)

I X|!

 

(т. е. прямо пропорционально числу таких путей). Отсюда следует эвристическое соображение, что при заданном числе вызовов. k ^ d лучше та схема, для которой меньше возможностей построе­ ния строго возрастающих путей длины k, приводящих к потерям вызова.

Утверждение о том, что первая вертикаль должна состоять из индивидуальных линий (что возможно при условии,v > п d— 1),. следует из рассмотрения первого члена разложения (26) :

У Ухс0 (х)

В (0) _ x€ Ld

(28.)

Л(0)

 

А'€^-о

 

104


Подставляя (27)

в (28)

и учитывая (11),

 

В(0)

 

s (х)

гх

(29)

А (0 )

xeL,

 

й\

 

 

 

 

 

 

Если первая вертикаль состоит из индивидуальных линий, то при

\x\=ci s (х-) — 11 (потерь

нет) для всех состояний, за исключением

тех, копда заняты .все d

линий одной труппы, и тогда s ( x ) = n —il и

rx=i 1 (так как это событие может произойти только одним путам — все d вызовов поступили от одной и той же группы абонентов). Число состояний х с s ( x ) = n —'1 равно п. Следовательно, в этом слу­ чае первый член в (26) принимает минимальное значение, равное

согласно (29)' d\ .

Для доказательства теоремы относительно других вертикалей контактного поля следует пользоваться следующими членами раз­

ложения (26).

Однако для аналитических рассуждений они слиш­

ком громоздки,

например, для вычисления

второго члена в (26)

надо найти:

1

 

 

 

 

 

 

 

2 е, -ft (х) =

Ci (0)

 

Со (х) =

2

О/.

л '(о>

= 2

У

 

k=0 X£Lk

 

•VG1

 

 

1

 

 

 

 

 

 

 

В' (0) = У

V

У (х) C , _ k (х) =

V

у (х) а

(х) +

2

У М с» W-

k=0 X£Ld+k

 

xbLd

 

 

d+1

Поэтому ограничимся приведенными рассуждениями, которые убеждают в правильности теоремы. Добавим только наводящий пример относительно случая б). Пусть НС состоит из одной верти­ кали с п = 4 контактами, среди которых следует разместить две ли­ нии. Сравним два варианта: А — одна индивидуальная линия и одна линия, доступная трем группам; Б — две линии, доступные двум группам каждая (равномерное включение, как того требуют условия теоремы). Пусть поступают два вызова подряд. Рассмотрев все п2= 16 случаев, образующих полную группу событий, находим, что вероятность потери в случае А равна 5/8, а в случае Б — всего 1/2, что подтверждает требования теоремы.

Приме р . Найдем первый член разложения (26) для схем, при­ веденных на рис. 5.1. Согласно (29) следует рассмотреть все со­ стояния с тремя занятыми линиями. Для схемы на рис. 5.1а это со­ стояния, когда занята одна из индивидуальных линий и обе общие линии (их всего 4). Достижение этих состояний возможно, исходя из состояния 0, только одним путем, а именно, поступлением трех вызовов от одной группы абонентов. Следовательно,

Ла = %? .4 . —

+ о(Х 3) =

2 L + о (X3).

(30)

3!

4

'

3!

 

Далее, для схемы на рис.

5.16

возможностей

возникновения со-

105


стояний с \ (х )Ф 0 при трех поступающих вызовах два раза

боль­

ше, так как первую линию могут занять два потока и

 

* = - j + °(ЬЯ).

(31)

Из сравнения (30) и (31) вытекает, что при 7->-0 оптимальной яв­ ляется схема на рис. 5.1а, имеющая в начале индивидуальные ли­ нии, что согласуется с теоремой 5.1.

2. Исследование НС при больших нагрузках

Для изучения НС при 7->-оо следует пользоваться разложе­ нием я (X) по степеням X-1. Подставляя (йб) в (6) и используя рекуррентные ф-лы (17)— (19), после громоздких вычислений по­ лучаем первые четыре члена разложения я по степеням Х~1:

где “ -

‘ - 7

Т

+

т

(

т

)

+

г^

( т

М

й

 

 

т

=

 

 

 

 

 

 

 

 

 

 

 

»=1

 

 

. /=1

 

 

 

 

 

 

 

 

 

о

 

 

*</

 

 

 

 

 

 

 

 

 

 

 

 

V

la

/

i

,

i

\

о - г

 

 

М =

E

f. Ц

=

Vi

 

 

hmi Sij

\

li

 

l j

j

li

 

 

 

 

 

 

}—\

 

 

 

 

 

 

 

 

 

i * i

li — доступность t-й линии (число групп, которым доступна С-я ли­ ния), i=\,...,v; Sij — число групп, которым доступна хоть одна сво­ бодная линия в состоянии, когда свободны только две линии с номе­ рами i и /; — число потоков (часть йз вызовы которых по­ ступают на линию с номером /, когда свободны только линии с но­ мерами i и /.

На основе анализа разложения (32) можно доказать следующие теоремы о принципах выбора оптималыгой НС при больших на-

inpy:3tKa'X.

Теорема 5.2. При Х-*-оо оптимальная НС должна удовлетво­ рять принципу 1: «Контактное поле с параметрами п, d,, v разби­ вается на контактные множества, содержащие по г или г+1 кон-

тактов, где г =

(квадратная скобка ■— знак целой части)».

Д о к а з а т е л ь с т в о .

Рассмотрим разложение л(Х)

по степе­

ням 7-1 (выражение

(32)). Наша задача — выбрать такое контакт­

ное лоле,

чтобы минимизировать величину я. Первые два члена не

несут никакой информации относительно выбора схемы.

Коэффици­

ент три л-2, равный L/n,

принимает минимальное значение, когда

П

принимает минимальное значение. Но так как должно

L — 1 ,

=1

 

 

 

 

106


выполняться 'У Ili = nd и /{ — целые числа, то из элементарных со-

i=i

что все U должны

быть по воз-

обряжений теории чисел следует,

т. е. иметь вид

nd ]

или

nd +

1, откуда

сле­

 

V

 

V

 

 

дует принцип 1 и, следовательно, доказательство теоремы 5.2.

 

Теорема 5.3. При К-^оо и п,

d, v

таких,

что nd

делится

на

v |-— =/■), оптимальная НС должна

удовлетворять

принципу 3:

«Каждая пара линий имеет число общих групп (по возможности), ■одинаковое с числом общих групп любой другой пары линий».

Д о к а з а т е л ь с т в о . Рассмотрим коэффициент при Х~3 в раз­

ложении (32). При — —г v

И

2Т + М - L*

Следовательно, для минимизации потерь надо минимизировать первую сумму.

Если через обозначить число групп, общих для линий с но­ мерами 1и ], то

V

 

V

 

2

Sci = 2

l i +■li ~ cui = ( ° — J) 2

li ~ ~

i.

/=1

 

(=1

 

i<i

v

 

 

2 qii =

— 1) nd ~ n 'd ^ ~ ^ =

const.

 

i,

/=1

 

 

 

i<i

 

 

Отсюда, как при доказательстве теоремы 5.2, следует, что сумма

t

i

(33)

 

i, /=1. £</

 

имеет минимальное значение, когда все s,-j по возможности одина­ ковы, что доказывает теорему 5.3.

Теорема 5.4. При X—>-оо и п, d, v таких,

что nd не делится

на

v, оптимальная НС должна удовлетворять:

 

 

1) принципу 2: «Контактные множества

образуются так,

что

линии доступности Г nd = г размещены левее линии доступности

V

г+1 (при направлении искания слева направо)»;