Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Шнепс, М. А. Численные методы теории телетрафика

.pdf
Скачиваний:
8
Добавлен:
21.10.2023
Размер:
9.21 Mб
Скачать

Т А Б Л И Ц А 10.1

 

 

 

 

%

Л

D

т

ст2

 

14

0,89898

0,0064027

2,82864

0,16555

0,0613497

12

0,88328

0,0084591

2,80140

0,19079

0,0697796

10

0,86181

0,011683

2,76385

0,22508

0,0808090

8

0,83070

0,017145

2,70879

0,27430

0,0957609

6

0,78165

0,027444

2,62022

0,35063

0,116815

5

0,74479

0,036326

2,55213

0,40680

0,130562

4

0,69321

0,049998

2,45436

0,48329

0,146744

3

0,61621

0,071895

2,30239

0,59146

0,164101

2

0,49108

0,10597

2,03567

0,74496

0,174475

1

0,26705

0,12781

1,46591

0,88520

0,136073

0,5

0,10494

0,074125

0,89506

0,73590

0,0630620

0,25

0,031529

0,023534

0,48424

0,45587

0,0192412

0,125

0,0082064

0,0055698

0,24795

0,24399

0,00476985

0,0625

0,0020344

0,0012331

0,12475

0,12424

0,00111875

0,03125

0,00050084

0,00027928

0,062469

0,062406

0,000264361

т — среднее число занятых линий:

 

 

tn — Pi + Рг +

Рз -г 2 4 +

Ръ + Ре) +

3 р-,\

(46)

о2 — дисперсия стационарного распределения числа занятых линий:

о2 = Pi + Pi -f- Рз + 4 (Pi + Рб + Ре) + 9 Pi пг2\

(47)

Рис. 10.10. Сравнение точного и приближенного зна­ чений среднего квадратичного отклонения для трех­ линейной НС

200

а2/ — дисперсия стационарного распределения функционала потерь гг. над стационарным распределением вероятностей {pi}:

j

(Ps + Ре) + Pi

я2-

(48)

Подставляя

выражения

(46) — (48)

в (42), можем вычислить

приближенное значение дисперсии. Если удовлетвориться рассмот­ рением больших значений Т. то (42) можно упростить:

2 а2 а2

1

+ О

(49)

Df (T)

m

Т

 

 

Результаты сравнения точного значения главного члена дисперсии

U и приближенного

значения

Т А Б Л И Ц А 10.2

 

 

его в виде 2 ст2 / о3

сведены в

 

 

 

 

 

2o j a 2

 

 

ГП

 

 

 

 

 

табл.

10.2

(см. также рис.

 

 

 

_ 9 л

X

Я

D

 

 

 

 

 

 

 

10.10).

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

Из 'сравнения точных и при­

14

0,899

0,0064

0,0072

ближенных

значений

видно,

10

0,862

0,0116

0,0132

что получено практически при­

5

0,745

0,0363

0,0416

менимое приближение,

и для

практики хорошо, что оно яв­

1

0,267

0,0128

0,0164

ляется приближением сверху.

0,125

0,0082

0,0056

0,0094

Подобное

же

завышение

 

 

 

 

оценки

дисперсии,

найденной

 

 

 

 

из выражения (42),

по сравнению с ее точным значением наблю­

дается в п©лно!до€ту1Пной системе (ер. е рис. 40.6).Эти примеры по­ зволяют высказать предположение, что и для других коммутаци­ онных систем применима полученная оценка дисперсии (42).

5.Уменьшение дисперсии выборочной дисперсии на примере бесконечно линейного пучка

Сравним предлагаемый метод оценки выборочной дисперсии : тем. что дает метод Стьюдента (см. § 10.1.2). Чтобы справиться с вычислениями, ограничимся простейшим случаем — бесконечно линейным пучком — и рассмотрим оценку среднего числа занятых линий.

Первый метод (ем. § 10.1) основан на разделении реализации длины пТ на п отрезков длины Т каждый и получении п выборок среднего значения:

£т

 

XL =

-----

j(x(t))dt,

(50)

 

 

т

О-U Г

 

 

 

 

 

что дает оценку выборочной дисперсии в виде

 

 

 

 

 

(51)

где

1

*£•

 

х =

 

8 -2 6 4

201

Второй метод основывается на только что полученных форму­ лах. Так как в качестве функционала f (x ( t) ) берем число занятых линий, то f ( x ( t ) ) = x ( t ) и о2/=ю2. Число занятых линий в беско­ нечно линейном пучке подчиняется пуассоновскому распределению с параметром Я, и о2=Я, 'поэтому согласно (34) и (36)

D (/VI (n Т)) = D f —L- j" х(() dt\ = 2X e~',‘ ~!r)t n r

(52)

Таким образом,

в качестве оценки дисперсии

мы

имеем две

■оценки (51) п (52)

(в последнем выражении следует

оценивать

только Я).

 

 

 

Обе они являются случайными величинами, и мы надеемся,

что D (s2) > D (D (М ( пТ ))) . Докажем это, что позволит

высказать

эвристическое суждение о целесообразности дальнейших исследо­ ваний данного вопроса на более сложных системах.

Дисперсия величины s2. Из курса математической статистики <с.м., например, (136, с. 212]) известно, что выборочная дисперсия s2 как случайная величина имеет среднее значение

М (г) = о2,

совпадающее, как и положено, с дисперсией о2 исходной случай-

ион величины х,

и дисперсию

 

 

 

Д И

= ^ ( р 4- ^

( о

2)2),

 

(53)

 

 

 

п \

Я — 1

/

 

 

где Ц4— четвертый центральный

момент, который выражается че­

рез начальные моменты

 

 

 

 

 

mL— М

 

 

 

 

(54)

в

виде

 

М (х — mi)4 =

m4 — 4 пг3 mi + 6 m2 (mi)- — 3 (пн)1,

(55)

 

Pi =

а

также

=

р.2 — Д4— т 4)2 — пи — (mi)2.

(56)

 

о2

 

Для

вычисления моментов

воспользуемся рекуррентным со­

отношением, приведенным в (24, с. 173]). Из него последователь­ но получаем:

nii = Я

пи =

Я2 +

(1

— е

 

 

 

 

 

 

 

т3 =

6 -|- я т

 

2(3 +

2Я + ЯТ — 2Я е~ г)

. 6 Яе—

 

— Цр-----т 2 -

--------------- и-----------------------------f T

(5 7 )

 

Т

 

nii =

9 + Я Т ■/По

3(6 +

2Я + ЯТ — 2 Я е~г)

/П2 +

 

, 6 (1 + 3 Я Г е—г) _

6 Я е - г (1 — 2 Т)

 

 

I

У ’З

 

^ 1

J 'S

 

 

202

Наша цель найти рг и Ц4, чтобы воспользоваться выражением (53). Подставляя (57) в (55) и опуская члены, имеющие множитель е~г, которые не влияют на численные результаты, после громозд­ ких преобразований получаем:

P'4

12 X2

Л ___ 2_

J _

24 К

(58)

Т’г

1

т

1 -pi

Т'з

Р2

 

 

 

 

 

(59)

Дисперсия оценки дисперсии по Бенешу. Согласно (52) следует найти

D [2Х-

о-пт. 1 + я Г

(60)

 

(п Т)г

 

По формуле T)(ag)=a2.Dg и с учетом, что в (60) в качестве слу­ чайной величины | выступает Я, имеем

2 ( <гпТ— 1 + п Г)

DX,

(61)

(п Г)2

 

 

а так как за интервал (0, пТ) DX=D(M(nT)), то после подстанов­ ки (52) в (61) окончательно имеем

D (D (М (п Т))) =

2 ( е~пТ- 1 4 - л Г )

X.

(62)

(пТ)2

 

 

 

Численный пример. Сравним величины дисперсии выборочной дисперсии, полученные обоими методами. Пусть 7=100, н=10. Тогда, подставляя эти значения в (58) и (59), а потом в (53), имеем

D Is2) = —

(0,117852

— — -

0,0393^) = 0,0087282.

(63)

п

\

 

п — 1

 

 

С другой стороны, из

(62) имеем

 

 

D (D (М (п Т))) =

 

Ю =

8 •10“ 8 .

(64)

Следовательно,

 

 

 

 

 

------ -------------= 1,091

•10- 5 1

 

 

D (D (М (п Г)))

 

 

 

 

т. е. применение формулы дисперсии согласно методу Бенеша, тре­ бующей только оценки параметра X, дает по сравнению с приме­ нением критерия Стыодента увеличение точности выборочной дис­

персии в V 109100«330 раз, что подтверждает целесообразность дальнейших исследований этого подхода.

10.4. ВЫБОР ДЛИТЕЛЬНОСТИ РЕАЛИЗАЦИЙ

1. Общий случай

Вопрос о длительности реализаций 7 — важнейший вопрос как при моделировании, так и при измерениях на сети. К выбору 7 можно подойти на основе центральной предельной теоремы для

' 8*

203

марковских процессов. Пусть имеем реализацию марковского про­ цесса x(t) на отрезке [О, Т\ и заданный на марковском процессе функционал f(t)=f[x(t)]. Согласно предельной теореме (см. (1) — (9)) для истинного значения среднего значения функционала я

лаходим

оценку:

 

 

 

 

т

___

 

 

^ -

Y i f [ x { t ) ] d t ± A V ~ r '

 

(65)

 

о

 

 

 

где D — оценка дисперсии

функционала f(x(t)]

на единицу време­

ни; А — доверительный коэффициент,

зависящий от методики по­

строения

D.

 

 

определения D\

Выше

было рассмотрено несколько

методик

1)по схеме Стьюдента (8);

2)по схеме Стьюдента с учетом линейной регрессии (19);

3)на основе формулы переноса ошибок (21);

4) через ковариационную функцию по методу Бенеша (49). Выбор коэффициента А зависит от 'методики ш|реде1Л'бн|ия D

и обычно основывается на предположении о нормальном распре­ делении величины

т

*(Т ) =

(66)

о

Если задана двусторонняя доверительная вероятность 1—2а (на­ пример, а = 2,5% и 1—2а = 95%) и максимальная относительная погрешность е > 0 оценки л (Г), то Т определяется из уравнения

Р|— в < Л~ Лл(Г) < 4 = 1 — 2а.

В силу нормального распределения я(Г) ражению

Г я_—-_л|Т)

г п У Т | = 1 _ _ 2(Х

Ц V d it

у о I

(67)

(67) эквивалентно вы-

(68)

где произведены алгебраические преобразования, чтобы получить выражение нормированной случайной величины. Из (68) можно получить требуемую оценку длительности реализаций. Для этого в неравенстве справа я заменяем на оценку я (Т) и под D подра­ зумеваем одну из четырех перечисленных оценок дисперсии. Сле­ довательно, во время моделирования вычисляем текущее

А ---= en{T)J - L

(69)

Vd

исмотрим, какой доверительной вероятности соответствует полу­

ченное значение, например, при Л = 2 вероятность 1—2а = 0,954. Увеличивая Т, можно получить сколь угодно большое А и соот­ ветственно обеспечить любую желаемую доверительную вероят­ ность 1—2а.

204

Тем самым вопрос о выборе Т в первом приближении решен. Для получения более точных выводов следует обсудить влияние на величину А в (69) того обстоятельства, что я (Г) и D являются случайными величинами. Предположим, что оценки я (Г) и А не имеют смещения от среднего значения. Из теоретических сообра­ жений известно, что эти оценки асимптотически нормальные, по­ этому при достаточно большом Т наличием смещения можно пре­ небречь. Другой вопрос — это дисперсия выборочного среднего я(7') и дисперсия выборочной дисперсии D. Из-за того, что эти дисперсии отличны от нуля (хотя и стремятся к нулю при Г-»-оо), на практике целесообразно брать время моделирования «с запа­ сом», т. е. увеличенное на 10—20% по сравнению с расчетным.

Теоретически этот вопрос изучен только для критерия Стьюдента, а исследования, проведенные в настоящей главе, убеждают, что для оценки D можно рекомендовать применение формулы пе­ реноса ошибок (см. § 10.2), так как она дает более точную оценку выборочной дисперсии, чем схема Стьюдента.

2. Схема Стьюдента

Применение схемы Стьюдента, изображенной на рис. 10.2, требует определить параметры: Т — длительность отдельной реали­ зации; То — длительность начального отрезка (для достижения стационарного режима); t — интервалы между реализациями.

Дадим эвристические соображения о том, как выбрать эти ве­ личины. При этом будем пользоваться моделью полнодоступного пучка с бесконечным числом линий. Полученные оценки будут обоснованными для п-линейного полнодоступного пучка. Примене­ ние же их по аналогии для о-линейной неполнодоступной схемы требует дополнительных исследований, так как в этом случае мар­

ковский процесс имеет не о+1

состояние, как при полнодоступном

пучке, a 2V

состояний, и корреляционные связи могут быть намно­

го сильнее,

что требует более длинных реализаций.

Длительность начального

отрезка. Величина Т0 представляет

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

к утверждению, что существуют числа а > 0

и Ь > 0, такие, что

I Р {х (То) == х/х (0) = у} - Рх I < а е - й <

б,

откуда находим Т0.

Однако нахождение чисел а и b требует знания характеристи­ ческих чисел матрицы А. Так как это невозможно, то для практи­ ческого пользования выберем следующий подход. Рассмотрим

20 S

(71>
Таблица 10.3 показывает, что при А =10 и ,6 = 0,01 необходимо воспроизвести начальную серию из 69 вызовов, а при 6 = 0,001 дли­ на отрезка нестационарноесо­ держит 92 вызова.
Интервал между реализациями. Длительность 1 зависит от функции ковариации R(t). Оценку сверху для t можно получить следующим путем. Для полнодоступного пучка с бесконечным чис­ лом линий функция R(t) убывает по экспоненте, а именно, R(t) = = л е _|. Для других полнодоступных систем убывание еще более быстрое.
Известно, что для стационарного процесса x(t), в котором зна­ чения, отстоящие на расстоянии Т, независимы, R ( T ) = 0 . В нашем случае это выполняется лишь приближенно. Поэтому задаемся по­ казателем зависимости в и выбираем t из е ^ Л е -1, т. е.
Для конечных систем стационарный режим достигается еще быстрее, так как оценка (70) выведена для бесконечного пучка.
Для развития интуиции при­ водим табл. 10.3 со значениями
0 ,001
0 ,0 1
ь
Т А Б Л И Ц А
Т0 > \ п ± . ■
е
6 , 9
9 , 2
4 , 6
6 , 9
1
равном
100
Значение Г0 при К,
10
JQ.3
9 , 2
16,1
То, найденными из Го= 1п-

среднее число занятых линий a(t) в бесконечном пучке в произ­ вольный момент t. Величина a (i) является решением дифферен­

циального уравнения —

= к — а при а (0 )= 0 . Получаем решение

dt

 

a ( t ) = k ( 1—е_<). При данном б >0 определяем Т0 из неравенства'

к — Л, (1 — е~Го ) < 6,

откуда

(70)'

При моделировании марковской цепи следует выбросить реализа­ цию, соответствующую N —\tk вызовам. Из сравнения (70) и (71) следует, что для выбора значений t можно пользоваться табл. 10.3,. как при выборе Т0.

Длительность отдельной реализации. При делении одной реа­ лизации длины пТ на п более коротких реализаций длины Т с целью использования критерия Стьюдента следует выполнить два

противоречивых требования:

1) увеличить число п с целью уменьшения доверительных гра­

ниц оценки по критерию Стьюдента; 2) уменьшить число п, чтобы оценка дисперсии по ф-ле (8)-

имела достаточно малое смещение.

206

Поясним второе требование. Дело в том, что имеет место соот­ ношение

Dn(T)<C_nDn(nT),

(72)

т. е. дисперсия убывает несколько медленнее, чем возрастает вре­ мя. Поэтому оценка дисперсии по короткой реализации может быть заниженной (иметь нежелательное смещение).

Проиллюстрируем соотношение (72) численным примером (табл. 10.4). Возьмем данные для двухлинейной системы с поте­ рями при л=1, представленные на >рис. 10.8.

Т А Б Л И Ц А

10.1

 

 

 

 

 

п

 

1

2

4

5

10

D л (Т)

0,038

0,037

0,035

0,033

0,027

п

 

 

 

 

 

 

Из выражения

(36)

можно явно получить оценку для смещения

дисперсии, а именно:

 

 

 

 

 

2 a2j

2(1 — e~aT) o j

 

 

(73)

 

Та

 

(Та)*

 

 

 

 

 

 

 

и второе слагаемое в (73) выражает искомую оценку смещения дисперсии при конечных Т. Используя (73), можно определить необходимое время моделирования Т, чтобы смещение было доста­ точно малым. На рис. 10.11 представлены кривые для определения

£-0,01 Е*0.1

Рис. 10.11. Кривые не­ обходимой длины реа­ лизаций Т для полу­ чения оценки диспер­ сии среднего числа занятых линий в v- линейном полнодос­ тупном пучке с отно­ сительной ошибкой в

необходимой длины реализации Т такой, чтобы дисперсия оценки среднего числа занятых линий не превосходила заданную относи­ тельную ошибку е, определяемую приближенно отношением вто­ рого н первого слагаемых 'в (73), т. е.

207

Членом е~аГ можно пренебречь,

так как а ^ \

и Г>10. Поэто­

му окончательно получаем

 

 

На

рис. 10.11 представлено два

семейства кривых Т(Х) при

е — 0,1

и е= 0,01 для различных и-линейных пучков,

где V— нагруз­

ка, а а — модуль максимального собственного числа матрицы ин­ тенсивностей перехода. Значения а для счета но ф-ле (74) взяты на­ ми из работы Бенеша [24, с. 186].

Из кривых рис. 10.11

можно найти необходимое число 'вызовов;

■в реализации по формуле

 

 

 

 

 

N = ТХ.

 

 

 

 

 

(75)

На рис. ЮЛ 1

представлены кривые только для и = 4, 6,

8 и для

ц = оо. Кривая,

соответствующая

случаю

v = oo, служит

оценкой

сверху для величин Т и А по (74

(75)

при любом v. Она полу­

чается подстановкой а=1

в (74).

 

 

 

 

Выводы. 1. Формулы

(70) и (7d)

и табл. 10.3, определяют дли­

тельность начального отрезка нестационарноеи длительность интервала между реализациями с целью обеспечения их незави­ симости.

2. Формулы (74) и (75) определяют длительность отдельной ре­ ализации.

Следует обратить внимание, что эти формулы выведены для: полнодоступного пучка. Численные примеры расчета дисперсии оценки вероятности потерь ^например, пример в § 10.3.4 и др.) по­ казывают, что полученные формулы могут быть перенесены и на более сложные коммутационные системы. Этот вопрос, конечно,, заслуживает дополнительного изучения.

10.5. СТАТИСТИЧЕСКИЕ ЗАДАЧИ, ВОЗНИКАЮЩИЕ ПРИ ИЗМЕРЕНИЯХ НАГРУЗКИ НА СЕТИ

1.О проверке основных предположений теории телетрафика

Благодаря применению вычислительной техники для измере­ ния нагрузки и обработки результатов этих измерений в последние годы получены превосходные данные для статистической проверки основных предположений теории телетрафика и обоснования тре­ бований к качеству связи, в частности, обоснования рекомендацийМеждународного консультативного комитета по телефонии и телетрафии (МККТТ). Упомянем о фундаментальных статистиче­ ских измерениях трафика, которые были организованы в Швеции {162, 200], Финляндии [278], Дании [228] и о -которых было доло­ жено на VI Международном конгрессе по телетрафику (МКТ-6). Останавливаясь на этих и других материалах МКТ-6, обсудим не­ которые рекомендации МККТТ. Как известно, на основе рекомен­

.208

даций МККТТ развивается международная сеть связи; они нахо­ дят отражение в документах, нормирующих качество связи в лю­ бой стране.

Основные модели теории телетрафика используют предположе­ ние о пуассоновской длительности обслуживания. Статистические измерения {162, 200, 220, 228, 278] подтверждают пуассоновость потока телефонных вызовов с ярко выраженным периодом наи­ большей занятости (ориентировочно период 900— I I 00 ч), когда наб­ людается относительно высокая и устойчивая нагрузка (209, 258]. Однако длительность обслуживания часто отклоняется от экспо­ ненциального распределения ехр{—//а). Например, на основе об­ ширных измерений телефонной и телеграфной нагрузок Рахко [278] предлагает для этой цели пользоваться распределением Вейбула ехр{—t 0 /а}, а > 0, (3>0.

Как известно из теории (Севастьянов [126]), в случае полнодос­ тупного пучка с потерями, обслуживающего пуассоновский поток, число занятых линий подчиняется распределению Эрланга неза­ висимо от вида распределения длительности обслуживания. Вил­ кинсон (298] приводит статистические данные, превосходно под­ тверждающие это положение. В связи с этим укажем на одну ста­ тистическую задачу. Пусть при данном числе линий в полнодоступ­ ном пучке наблюдениями установлена средняя обслуженная наг­ рузка у. Тогда интенсивность поступающего потока X (при сред­ ней длительности, равной единице) можно найти из уравнения

г/= М 1 - а д ) ] .

Однако, как показал Деклю (186], во избежание смещения в оценке X лучше использовать выражение

где N — число поступивших вызовов; Nо — число потерянных вы­ зовов.

Статистические измерения нагрузки иллюстрируют и более сложные задачи теории телетрафика. В обзорном докладе Хейвар­ да и Вилкинсона [220] приведены численные иллюстрации к зада­ чам учета колебаний нагрузки, изучения влияния повторных вы­ зовов при оценке качества связи и предсказания роста нагрузки в будущем.2

2. Измерение нагрузки в час наибольшей нагрузки

Телефонные сети проектируются на основе требований обес­ печить требуемое качество связи в так называемый час наиболь­ шей нагрузки (чнн). За основу определения нагрузки в чнн бе­ рется период наибольшей занятости, например, период от 9 до 11 ч, когда наблюдается относительно высокая и устойчивая наг­ рузка (конечно, для жилых кварталов в качестве периода наиболь­ шей занятости следует подбирать соответствующие вечерние часы).

209

Соседние файлы в папке книги из ГПНТБ