Проверка достоверности модели системы

На данном этапе достоверность модели системы проверяется по следующим показателям:

а) возможности решения поставленной задачи:

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

б) точности отражения замысла в логической схеме:

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

в) полноте логической схемы модели:

Проверить наличие всех выше описанных переменных, параметров, зависимостей, последовательности действий;

г) правильности используемых математических соотношений.

 

Выбор инструментальных средств моделирования

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

Выбранный язык имитационного моделирования GPSS имеет три версии: MICRO-GPSS Version 88-01-01, GPSS/PC Version 2, GPSS World Students Version 4.3.5. Micro-GPSS имеет DOS-интерфейс, чувствителен к стилю написания программы (количеству пробелов между операндами, длине меток и имен и др.), не содержит текстового редактора. GPSS/PC лишен указанных недостатков, однако интерпретатор GPSS World Students имеет ряд преимуществ перед ним, например, наличие интерфейса Windows, пошагового отладчика, возможность сбора и сохранения в файлах различной статистической информации, визуальный ввод команд. Поэтому для разработки модели был выбран именно интерпретатор GPSS World Students.

Для моделирования достаточно использовать ЭВМ типа IBM/PC, применение специализированных устройств не требуется. В программное обеспечение ЭВМ, на которой проводится моделирование, должны входить операционная система Windows (версия 9Х и выше) и интерпретатор GPSS. Затраты оперативной и внешней памяти незначительны, и необходимости в их расчете при современном уровне техники нет. Затраты времени на программирование и отладку программы на ЭВМ зависят только от уровня знаний языка и имеющихся навыков, которые были получены студентом на лабораторных работах.

 

Блок-диаграмма

Проведение программирования модели

Текст программы Комментарии

time1 table m1,15,1,50; инициализация таблицы time1

time2 table m1,15,1,50; инициализация таблицы time2

Ocher1 BVARIABLE (Q$Rem1>250); проверка мест в очереди к ЭВМ-1 Ocher2 BVARIABLE (Q$Rem2>250); проверка мест в очереди к ЭВМ-2

Zan1 BVARIABLE (F$evm1); проверка на занятость ЭВМ-1

Zan2 BVARIABLE (F$evm2); проверка на занятость ЭВМ-2

GENERATE 10,3; генерация входных заявок

savevalue sumzapr+,1; вошло запросов

TEST E BV$Ocher1,0,met1; есть ли место в очереди к ЭВМ-1?

QUEUE Rem1; встать в очередь

TRANSFER,ewm1

ewm1 ADVANCE 3; сеанс связи

TEST E BV$Zan1,0,met2; занята ли 1я ЭВМ?

SEIZE evm1; занятие 1й ЭВМ

DEPART Rem1; освободить очередь

TABULATE time1; вывод функции распределения времени передачи

ADVANCE 2; первичная обработка запроса

TRANSFER.5,ewmbuf; с вероятность 50% нужная инф. есть в ЭВМ-

;1, иначе запрос передается в ЭВМ-2

ADVANCE 18,2; обработка заявок

RELEASE evm1; освобождение ЭВМ1

savevalue evmzapr1+,1; обработанные запросы ЭВМ1

TRANSFER,met3

ewmbuf ADVANCE 0

RELEASE evm1

TEST E BV$Ocher2,0,met1; есть ли место в очереди к ЭВМ-2

QUEUE Rem2

TRANSFER,ewm2

ewm2 ADVANCE 3

TEST E BV$Zan2,0,met5; занята ли 2я ЭВМ?

SEIZE evm2; занятие 2й ЭВМ

DEPART Rem2; освободить очередь

TABULATE time2;вывод функции распределения времени передачи

ADVANCE 18,2; обработка заявок

RELEASE evm2; освобождение ЭВМ2

savevalue evmzapr2+,1; обработанные запросы ЭВМ2

TRANSFER,met4

met5 savevalue Otkaz+,1; суммирует кол-во отказов

TERMINATE; не принятые заявки ЭВМ-2

met4 TERMINATE; получен результат в ЭВМ-2

met3 TERMINATE; получен результат в ЭВМ-1

met2 savevalue Otkaz+,1; суммирует кол-во отказов

TERMINATE; не принятые заявки ЭВМ-1

met1 savevalue Otkaz+,1; суммирует кол-во отказов

TERMINATE; необслуженные заявки (не попали в очередь)

GENERATE 3940; генерация 400 заявок

TERMINATE 1

START 1