МБЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ
Кафедра программного обеспечения информационных технологий

Факультет КСиС
Специальность ПОИТ

Лабораторная работа №3-4

по дисциплине «Системный анализ и машинное моделирование»

Выполнил студент: Васькович В.И

группа 851005

Минск 2021
 ВАРИАНТ 31

Постановка задачи

1. В сооответствии с заданным вариантом (31) структуры СМО построить граф

состояний P-схемы . Смысл кодировки состояний раскрыть (время до выдачи
заявки, число заявок в накопителе и т.д.).

2. По графу построить аналитическую модель и, решив ее, определить вероятности

состояний. Рассчитать теоретическое значение показателей эффективности

Выполнение
Построить граф состояний P-схемы

2 π1 2 π2

Элементы:

– источник с фиксированным временем ожидания выдачи заявки

2 а также с дисциплиной блокировки

– канал обработки заявок с вероятностью просеивания (не

π1 обслуживания заявки) π1 а также с дисциплиной отбрасывания
заявки

2 – накопитель (очередь на две заявки)

π2 – канал обработки заявок с вероятностью просеивания (не

обслуживания заявки) π2
Кодирование состояний:
с = {2,1,0} – состояние источника (0 – заблокирован, 1/2 количество тактов до
выдачи заявки);
n = {0,1,2} – количество заявок в очереди;
k1 = {0,1} – состояние первого канала (0 – свободен, 1 – занят);
k2 = {0,1} – состояние второго канала (0 – свободен, 1 – занят).
Общая кодировка состояний системы:
{𝑐, 𝑘1 , 𝑛, 𝑘2 }
Вероятности просеивания (вариант 31):
π1 = 0,5
π2 = 0,85
Граф состояний (от руки):
ГРАФ СОСТОЯНИЙ:

2000

1000

2100
1-π1

1-π2
π1 π1

π1
0100 1100 1001

1-π1 π1(1-π2)
π2

1-π1 (1-π1)(1-π2)
π1(1-π2) 2101
(1-π1)(1-π2) (1-π1)π2

1-π2
π1π2 π1π2 (1-π1)(1-π2)
π1(1-π2)

π1π2
0101 1101 1011

(1-π1)π2 π1(1-π2)
π2

(1-π1)π2 (1-π1)(1-π2)
π1(1-π2) 2111
(1-π1)(1-π2) (1-π1)π2

1-π2
π1π2 π1π2 (1-π1)(1-π2)
π1(1-π2)

π1π2
0111 1111 1021

(1-π1)π2 π1(1-π2)
π2

(1-π1)π2 (1-π1)(1-π2)+(1-π1)π2
π1(1-π2)
(1-π1)(1-π2)+ 2121
+(1-π1)π2

π1π2 (1-π1)(1-π2)+
π1π2
+(1-π1)π2
π1(1-π2)

π1π2
0121 1121
Далее строим аналитическую модель (вероятность любого состояния равна сумме произведений
вероятностей состояний , из которых есть переход в данное состояние на вероятности этих
переходов)
Построение аналитической модели:
𝑃2000 = 0
‫ۓ‬
ۖ 𝑃1000 = 𝑃2000 ∗ 1
ۖ 𝑃2100 = 𝑃1000 ∗ 1 + 𝑃1001 ∗ (1 − 𝜋2 )
ۖ 𝑃0100 = 𝑃0100 ∗ 𝜋1 + 𝑃1100 ∗ 𝜋1 + 𝑃1101 ∗ 𝜋1 ∗ ൫1 − 𝜋2 ൯ + 𝑃0101 ∗ 𝜋1 ∗ (1 − 𝜋2 )
ۖ
ۖ 𝑃1100 = 𝑃2100 ∗ 𝜋1 + 𝑃2101 ∗ 𝜋1 ∗ ൫1 − 𝜋2 ൯
ۖ 𝑃1001 = 𝑃2100 ∗ ൫1 − 𝜋1 ൯ + 𝑃2101 ∗ (1 − 𝜋1 ) ∗ ൫1 − 𝜋2 ൯
ۖ 𝑃2101 = 𝑃1100 ∗ ൫1 − 𝜋1 ൯ + 𝑃1001 ∗ 𝜋2 + 𝑃1011 ∗ ൫1 − 𝜋2 ൯ + 𝑃1101 ∗ ൫1 − 𝜋1 ൯ ∗ ൫1 − 𝜋2 ൯ + 𝑃0101 ∗ ൫1 − 𝜋1 ൯ ∗ ൫1 − 𝜋2 ൯ + 𝑃0100 ∗ ൫1 − 𝜋1 ൯
ۖ
ۖ 𝑃0101 = 𝑃0101 ∗ 𝜋1 ∗ 𝜋2 + 𝑃1101 ∗ 𝜋1 ∗ 𝜋2 + 𝑃1111 ∗ 𝜋1 ∗ ൫1 − 𝜋2 ൯ + 𝑃0111 ∗ 𝜋1 ∗ (1 − 𝜋2 )
𝑃1101 = 𝑃2101 ∗ 𝜋1 ∗ 𝜋2 + 𝑃2111 ∗ 𝜋1 ∗ ൫1 − 𝜋2 ൯
‫۔‬
𝑃1011 = 𝑃2101 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2 + 𝑃2111 ∗ (1 − 𝜋1 ) ∗ ൫1 − 𝜋2 ൯
ۖ
ۖ 𝑃2111 = 𝑃1101 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2 + 𝑃1011 ∗ 𝜋2 + 𝑃1021 ∗ ൫1 − 𝜋2 ൯ + 𝑃1111 ∗ ൫1 − 𝜋1 ൯ ∗ ൫1 − 𝜋2 ൯ + 𝑃0111 ∗ ൫1 − 𝜋1 ൯ ∗ ൫1 − 𝜋2 ൯ + 𝑃0101 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2
ۖ 𝑃0111 = 𝑃0111 ∗ 𝜋1 ∗ 𝜋2 + 𝑃1111 ∗ 𝜋1 ∗ 𝜋2 + 𝑃1121 ∗ 𝜋1 ∗ ൫1 − 𝜋2 ൯ + 𝑃0121 ∗ 𝜋1 ∗ (1 − 𝜋2 )
ۖ
ۖ 𝑃1111 = 𝑃2111 ∗ 𝜋1 ∗ 𝜋2 + 𝑃2121 ∗ 𝜋1 ∗ ൫1 − 𝜋2 ൯
ۖ 𝑃1021 = 𝑃2111 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2 + 𝑃2121 ∗ (1 − 𝜋1 ) ∗ ൫1 − 𝜋2 ൯ + 𝑃2121 ∗ (1 − 𝜋1 ) ∗ 𝜋2
ۖ
𝑃 = 𝑃1111 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2 + 𝑃1021 ∗ 𝜋2 + 𝑃1121 ∗ ൫1 − 𝜋1൯ ∗ ൫1 − 𝜋2 ൯ + 𝑃1121 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2 + 𝑃0121 ∗ ൫1 − 𝜋1൯ ∗ ൫1 − 𝜋2 ൯ + 𝑃0121 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2 + 𝑃0111 ∗ ൫1 − 𝜋1 ൯ ∗ 𝜋2
ۖ 2121
ۖ 𝑃0121 = 𝑃0121 ∗ 𝜋1 ∗ 𝜋2 + 𝑃1121 ∗ 𝜋1 ∗ 𝜋2
‫ە‬ 𝑃1121 = 𝑃2121 ∗ 𝜋1 ∗ 𝜋2

Нормировочное уравнение:
𝑃2000 + 𝑃1000 + 𝑃2100 + 𝑃0100 + 𝑃1100 + 𝑃1001 + 𝑃2101 + 𝑃0101 + 𝑃1101 + 𝑃1011 + 𝑃2111 + 𝑃0111 + 𝑃1111 + 𝑃1021 + 𝑃2121 + 𝑃0121 + 𝑃1121 = 1
Решим систему в маткаде:

Расчитаем теоретические знаения характеристик:

Вероятность отказа:
𝑃ОТК = (𝑃2121 + 𝑃1121 + 𝑃0121 ) ∗ 𝜋2 ∗
1
∗𝑃 =0.626
2100 +𝑃1100 +𝑃2101 +𝑃1101 +𝑃2111 +𝑃1111 +𝑃2121 +𝑃1121 +𝑃0100 +𝑃0101 +𝑃0111 +𝑃0121
Вероятность блокировки:
𝑃БЛ = 𝑃0100 + 𝑃0101 + 𝑃0111 + 𝑃0121 = 0,201
средняя длина очереди:

𝐿ОЧ = 𝑃1011 + 𝑃2111 + 𝑃0111 + 𝑃1111 + 2 ∗ ( 𝑃1021 + 𝑃2121 + 𝑃0121 + 𝑃1121 ) = 1.746

Коэффициенты загруженности каналов (проще если отнимать от 1

вероятность что канал не загружен):

𝐾кан1 = 1 − 𝑃1001 − 𝑃1011 − 𝑃1021 = 0.7995215

𝐾кан2 = 1 − 𝑃2100 − 𝑃0100 − 𝑃1100 = 0,99444973

Среднее кол-во заявок в системе:

𝐿С1 = 𝐾кан1 = 0.7995215
𝐿С2 = 𝐿ОЧ + 𝐾кан2 = 2.74044973

Относительная пропускная способность:

𝑄 = 1 − 𝑃ОТК = 1 − (𝑃2121 + 𝑃1121 + 𝑃0121 ) ∗ 𝜋2 ∗
1
∗
𝑃2100 + 𝑃1100 + 𝑃2101 + 𝑃1101 + 𝑃2111 + 𝑃1111 + 𝑃2121 + 𝑃1121 + 𝑃0100 + 𝑃0101 + 𝑃0111 + 𝑃0121
= 0.374
Абсолютная пропускная способность:
𝐴1 = 𝐾кан1 ∗ (1 − 𝜋1 ) = 0.39976075
𝐴2 = (𝑃1001 + 𝑃2101 + 𝑃0101 + 𝑃1101 + 𝑃1011 + 𝑃2111 + 𝑃0111 + 𝑃1111 + 𝑃1021 + 𝑃2121 + 𝑃0121
+ 𝑃1121 ) ∗ (1 − 𝜋2 ) = 0.149
Среднее время заявки в очереди:
𝐿ОЧ
𝑊ОЧ = = 11.64
𝐴2

Среднее время заявки в системе:

𝐿С1 𝐿С2
𝑊С = + = 20.3922800671
𝐴1 𝐴2
ДАЛЕЕ ОЦЕНИМ РЕЗУЛЬТАТЫ РАБОТЫ ИМИТАЦИОННОЙ МОДЕЛИ

Как видно, результаты расчета имитационной модели совпадают с расчетами в маткаде.

Вывод
В ходе лабораторной работы была аналитически смоделирована
дискретно-стохастическая СМО и разработана программа, имитирующая
поведение данной СМО. Построенная модель позволяет статистически
подсчитать характеристики СМО. Статистическое значение искомой
характеристики оказывается близким к теоретически рассчитанному. Значит
имитационная модель построена верно.