Формализация и алгоритмизация модели

Формально схема модели имеет вытянутый вид с некоторым количеством узлов (переходов). Это делается для реализации передачи пакетов по четырем линиям и моделирования сбоев в них.

Алгоритм — точное предписание относительно последовательности действий (шагов), преобразующих исходные данные в искомый результат.

Алгоритм.

1. Генерация транзакта через 6±2 е.м.в.

2. Равновероятная передача заявок: АВ1 - переход в пункт 3; АВ2 - переход в пункт 16.

3. Вход в пункт - накопитель А.

4. Занятие линии АВ1.

5. Передача транзакта по линии АВ1 за 3±1 е.м.в. (ожидание).

6. Освобождение линии АВ1.

7. Сбой линии АВ1: 10% переходит в пункт 4.

8. Выход из пункта - накопителя А.

9. Вход в пункт - накопитель В.

10. Занятие линии ВС1.

11. Передача транзакта по линии ВС1 за 3 е.м.в. (ожидание).

12. Освобождение линии ВС1.

13. Сбой линии ВС1: 5% переходит в пункт 10.

14. Выход из пункта - накопителя В.

15. Без условная передача транзактов в пункт 28.

16. Вход в пункт - накопитель А.

17. Занятие линии АВ2.

18. Передача транзакта по линии АВ2 за 3±2 е.м.в. (ожидание).

19. Освобождение линии АВ2.

20. Сбой линии АВ2: 10% переходит в пункт 17.

21. Выход из пункта - накопителя А.

22. Вход в пункт - накопитель В.

23. Занятие линии ВС2.

24. Передача транзакта по линии ВС2 за 3±1 е.м.в. (ожидание).

25. Освобождение линии ВС2.

26. Сбой линии ВС2: 5% переходит в пункт 23.

27. Выход из пункта - накопителя В.

28. Удаление транзакта из модели.

29. Повторение 1-28 пока через пункт 28 не проследует 500 транзактов.
При рассмотрении процессов функционирования некоторых систем можно обнаружить, что для них характерны два типа состояний:

1) особые, присущие процессу функционирования системы только в некоторые моменты времени (моменты поступления входных или управляющий воздействий, возмущений внешней среды и т.п.);

2) не особые, в которых процесс находится все остальное время.

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

В данной модели системы передачи данных, представляем:

рис. 2. схема «модели передачи данных»

К элементам имитационных моделей СМО кроме ОА относят также узлы и источники заявок. Связи ОА между собой реализуют узлы, т.е. характеризуют правила, по которым заявки направляются к тому или иному ОА.
Для описания моделей СМО при их исследовании на ЭВМ разработаны специальные языки имитационного моделирования. Существуют общецелевые языки, ориентированные на описание широкого класса СМО в различных предметных областях, и специализированные языки, предназначенные для анализа систем определенного типа.

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

рис. 3. Блок схема модели (продолжение)

рис. 3. Блок схема модели (продолжение)

Таким образом пути продвижения заявок между ОА отображаются последовательностью операторов в описании модели на языке GPSS специальными операторами передачи управления (перехода). Для моделирования используется событийный метод. Соблюдение правильной временной последовательности имитации событий в СМО обеспечивается интерпретатором GPSS World - программной системой, реализующий алгоритмы имитационного моделирования.

Имитационный эксперимент

Модель заканчивает работу тогда, когда переменная модели, называемая "счетчик завершения", получит значение меньшее или равное 0. Начальное значение счетчика завершения задается при запуске модели в карте START, а изменяется блоком TERMINATE.

* V #16
* Объявление имен
*
ABUF equ 1
BBUF equ 2
CAB1 equ 1
CAB2 equ 2
CBC1 equ 3
CBC2 equ 4
ABUF STORAGE 3
BBUF STORAGE 8
*
* Основной сегмент модели
*
GENERATE 6,2,,500; Ввод пакетов в модель
TRANSFER.50,AB1,AB2; Передача на CAB1 и CAB2
AB1 ENTER ABUF; Вход в пункт А
AB1Er SEIZE CAB1; Линия AB1
ADVANCE 3,1; Время передачи по AB1
RELEASE CAB1; Линия AB1
TRANSFER.10,,AB1Er; Передача на AB1Er
LEAVE ABUF; Выход из пункта А
ENTER BBUF; Вход в пункт B
BC1Er SEIZE CBC1; Линия BC1
ADVANCE 3; Время передачи по BC1
RELEASE CBC1; Линия BC1
TRANSFER.05,,BC1Er; Передача на BC1Er
LEAVE BBUF; Выход из пункта B
TRANSFER,OUT; Передача пакетов на метку
AB2 ENTER ABUF; Вход в пункт А
AB2Er SEIZE CAB2; Линия AB2
ADVANCE 3,2; Время передачи по AB2
RELEASE CAB2; Линия AB2
TRANSFER.10,,AB2Er; Передача на AB2Er
LEAVE ABUF; Выход из пункта А
ENTER BBUF; Вход в пункт B
BC2Er SEIZE CBC2; Линия BC2
ADVANCE 3,1; Время передачи по BC2
RELEASE CBC2; Линия BC2
TRANSFER.05,,BC2Er; Передача на BC2Er
LEAVE BBUF; Выход из пункта B
*
* Сегмент счетчика
*
OUT TERMINATE 1; Пункт C. Выход пакетов из модели
START 500

В имитационной модели будет выведена информация по следующим объектам:

• Queues (Очереди);

• Savevalues (Сохраняемые величины);

• Facilities (Каналы обслуживания).

При выводе отчета REPORT с результатами моделирования в верхней строке указывается:

• START TIME (Начальное время) – 0.000;

• END TIME (Время окончания) – 3014.613;

• BLOCKS (Число блоков) – 28;

• FACILITIES (Число каналов обслуживания) – 4;

• STORAGES (Число накопителей) – 2.

• ENTRIES (Число входов) – 500;

• UTIL. (Коэффициент использования):

Для CAB1 - 0.271

Для CAB2 - 0.285

Для CBC1 - 0.254

Для CBC2 - 0.259

• AVAIL. (Доступность) – 1;

• OWNER – 0;

• PEND – 0;

• INTER – 0;

• RETRY (Повтор) – 0;

• DELAY (Отказ) – 0.

Эта информация будет выведена в окне результатов моделирования REPORT (Отчет) на рис. 4

Рис.4 Отчет

После проведения имитационного эксперимент из листинга результатов видно, система затратила на моделирование задачи равно 3014.613 е.м.в., максимальные объемы буферов в пунктах А и В:

- пункта А - 2 единицы

- пункта В - 2 единицы

Ниже (рис 5) указываются результаты моделирования для всех очередей (QUEUE) под присвоенными нами именами соответственно:

• MAX (Максимальное содержание) – 2, 2;

• CONT. (Текущее содержание) – 2, 2;

• ENTRY (Число входов) – 500;

• AVE.CONT. (Среднее число входов) – 0.570, 0.518;

• AVE.TIME (Среднее время):

Для CAB1 – 2.911

Для CAB2 - 3.100

Для CBC1 - 3.000

Для CBC2 - 2.950

• AVE.(–0) – 1406.223, 98.817;

• RETRY – 0, 0.

Рис.5 результаты отчета

По результатам моделирования данного варианта можно сделать несколько выводов. Так, например, для описания имитационной модели анализа заявок на коммунальные услуги населения на языке GPSS полезно представить ее в виде схемы, на которой отображаются элементы СМО - устройства, накопители, узлы и источники. Описание на языке GPSS есть совокупность операторов, характеризующих процессы обработки заявок. Имеются операторы и для отображения возникновения заявок, задержки их в ОА, занятия памяти, выхода из СМО, изменения параметров заявок (например, приоритетов), вывода на печать накопленной информации, характеризующей загрузку устройств, заполненность очередей и т.п.

Каждый транзакт, присутствующий в модели, может иметь до 12 параметров. Существуют операторы, с помощью которых можно изменять значения любых параметров транзактов, и операторы, характер исполнения которых зависит от значений того или иного параметра обслуживаемого транзакта.

Пути продвижения заявок между ОА отображаются последовательностью операторов в описании модели на языке GPSS специальными операторами передачи управления (перехода). Для моделирования используется событийный метод. Соблюдение правильной временной последовательности имитации событий в СМО обеспечивается интерпретатором GPSSPC - программной системой, реализующий алгоритмы имитационного моделирования.

Заключение

Система GPSS предназначена для написания имитационных моделей систем с дискретными событиями. Наиболее удобно в системе GPSS описываются модели систем массового обслуживания, для которых характерны относительно простые правила функционирования составляющих их элементов.

Описание на языке GPSS есть совокупность операторов, характеризующих процессы обработки заявок. Имеются операторы и для отображения возникновения заявок, задержки их в ОА, занятия памяти, выхода из СМО, изменения параметров заявок (например, приоритетов), вывода на печать накопленной информации, характеризующей загрузку устройств, наполненность очередей и т.п.

Я считаю что цели моей курсовой работы достигнуты, а именно: создана имитационная модель «массового обслуживания заявок населения», произведен анализ полученных результатов.

Во время выполнения курсовой работы я заметила, что язык GPSS сильно отличается от алгоритмически языков программирования. Хотя язык GPSS не требует специальной подготовки в области программирования, а наличие интерактивной среды со стандартным интерфейсом, которую система GPSS World, позволяет до минимума свести взаимодействие пользователя с инструментальной ЭВМ и ее операционной системой. Однако построение моделей и организация вычислительного эксперимента требуют некоторых знаний из области теории массового обслуживания, теории вероятностей и математической статистики.

Поиск по сайту: