2.2 Пошук рішення диференційно-різницевих рівнянь Колмогорова
Рішенням рівнянь Колмогорова (2.1.4) є:
.
Перевіримо знайдене рішення (2.2.1) безпосередньою підстановкою в рівняння (2.1.4), одержимо
Таким чином, 0=0, тобто рішення (2.2.1) задовольняє рівнянням (2.1.4).
2.3 Доказ інваріантності стаціонарного розподілу
Згідно 1.2, для марковської моделі мережі із трьома вузлами отриманий вид стаціонарного розподілу, що визначається по формулі (1.2.9). При цьому часи обслуговування заявок мають показовий розподіл з параметрами для -ого вузла, де – число заявок в -ой системі, . Відповідно до розділу 2, для полумарковської моделі мережі із трьома вузлами, припускаємо, що тривалість обслуговування окремої вимоги розподілена за довільним законом. Нехай – функція розподілу часу обслуговування -им приладом однієї заявки. Передбачається, що виконується умова, обумовлене формулою (2.1).
Відповідно до результату Севастьянова [6] і формулі (2.2.1), стаціонарний розподіл зберігає форму добутку (інваріантне) і при допущених допущеннях.
Таким чином, доведена інваріантність стаціонарного розподілу відкритої мережі масового обслуговування із трьома вузлами.
... і, нарешті, крипторотоколу. Це все було зроблено для того, щоб полегшати формалізування опису протоколів для доказування їхньої стійкості. Розділ 3. Оцінка стійкості криптографічних протоколів на основі імовірнісних моделей 3.1. Методика оцінки стійкості Формальний доказ стійкості в рамках обчислювальної моделі складається з трьох етапів. 1. Формальна поведінка учасників протоколу і ...
... видів риб та водоплавних та навколоводних птахів. З птахів домінують гусеподібні, сивкоподібні, а також зустрічаються норцеподібні, лелекоподібні, журавлеподібні і горобцеподібні. Розділ 4. Проектування екологічних мереж Ратнівського району 4.1 Загальні поняття Сучасна стратегія охорони природи полягає у забезпеченні динамічної екологічної рівноваги окремих регіонів, пошуку різноманітних ...
... Так працюють протоколи ТСР/IP. Вони забезпечують передачу інформації між двома комп'ютерами, а всі інші протоколи з їх допомогою реалізують різноманітні послуги Iнтернета. 4.5 Електронна пошта Комп’ютерні мережі в залежності від призначення можуть надавати користувачам різні послуги. Найбільш розповсюдженими видами послуг є: електронна пошта; телеконференції; передача файлів; віддалене ...
... інованим) порядком. При використанні детермінованих методів колізії неможливі, але вони є більш складними в реалізації і збільшують вартість мережного обладнання. 3.1 Метод доступу до каналів комп’ютерних мереж з перевіркою несучої та виявленням колізій CSMA/CD Метод багатостанційного доступу до середовища з контролем несучої та виявленням колізій (Carrier Sense Multiply Access / Collision ...
0 комментариев