- •Конспект лекций По дисциплине «Моделирование систем» Содержание
- •1.Системы и моделирование
- •1.1.Система как предмет моделирования
- •1.2.Модели
- •1.3.Математическое моделирование
- •2.Математические схемы моделирования систем
- •2.1.Основные подходы к построению математических моделей систем
- •2.2.Задачи теории массового обслуживания
- •2.3.Поток заявок. Время обслуживания
- •2.4.Простейшие смо и их характеристики
- •3.Этапы машинного моделирования систем
- •3.1.Построение концептуальной модели системы и ее формализация
- •3.2.Алгоритмизация модели системы и ее машинная реализация
- •3.3.Получение и интерпретация результатов моделирования системы
- •4.Принципы имитационного моделирования сложных систем
- •4.1.Понятие модельного времени
- •4.2.Способы имитации
- •4.3.Моделирующий алгоритм
- •5.Моделирование случайных факторов
- •5.1.Принципы моделирования случайных элементов
- •5.2.Требования к генератору случайных чисел
- •5.3.Методы построения программных датчиков бсв
- •5.4.Моделирование случайных воздействий на системы
- •6.Программные средства моделирования систем
- •6.1.Машинная реализация имитационных моделей
- •6.2.Классификация языков моделирования
- •6.3.Средства языков моделирования
- •7.Язык и система моделирования gpss
- •7.1.Транзакты
- •7.2.Списки
- •Процедура просмотра списка текущих событий:
- •7.3.Устройства
- •7.4.Многокнальные устройства (мку)
- •7.5.Логические ключи
- •7.6.Очереди и регистраторы очередей
- •7.7.Таблицы
- •7.8.Ячейки (Сохраняемые величины)
- •7.9.Матрицы
- •7.10.Функции
- •7.11.Переменные
- •8.Обработка результатов имитационного моделирования
- •8.1.Точечные оценки неизвестных параметров
- •8.2.Статистические методы обработки
- •8.3.Задачи обработки результатов моделирования
- •9.Планирование имитационных экспериментов
- •9.1.Общие принципы и задачи планирования экспериментов
- •9.2.Планирование экспериментов по исследованию систем методами дисперсионного анализа
- •10 Тактическое планирование машинных экспериментов с моделями систем
- •10.1 Стратегии запуска
- •10.1.1 Задание начальных условий
- •10.1.2 Процедуры отсечения
- •10.2 Определение объема имитационных экспериментов
- •9.3.Методы понижения дисперсии
- •Дополняющая выборка
- •Общие потоки случайных чисел
- •Использование априорной информации
- •Использование управляющих переменных
- •9.4.Правила остановки
- •10.Планирование экспериментов по оптимизации систем
- •10.1.Общие положения
- •10.2.Метод крутого восхождения
7.3.Устройства
Устройства моделируют объекты, в которых может происходить обработка. Как правило, она связана с затратами времени. Каждое устройство в любой момент времени может быть занято лишь одним транзактом. Существует аналогия между устройствами GPSS и каналами систем массового обслуживания. В GPSS имеется возможность моделировать прерывания устройств. Существуют средства логической проверки состояния устройств. Каждое из действий с устройством отображается в модели определенным блоком.
Захват и освобождение устройства моделируются соответственно блоками SEIZE и RELEASE. Для проверки состояния устройств используют GATE. Прерывание моделирует блок PREEMPT, снятие прерывания - блок RETURN.
С устройствами связаны следующие СЧА:
Fj - состояние устройства с номером j: 0 - если устройство свободно, и 1 - если устройство занято;
FRj - коэффициент использования устройства j;
FCj - число входов в устройство j;
FTj - среднее время использования устройства j одним транзактом.
Устройства имеют также стандартные логические атрибуты (СЛА), каждый из которых может принимать одно из двух значений: "ИСТИНА" или "ЛОЖЬ".
U - занято;
NU - свободно;
I - прервано;
NI - не прервано.
Проверка состояния устройства осуществляется блоком GATE, который в зависимости от значения проверяемого СЛА может пропускать или задерживать транзакты, либо изменять траекторию их движения.
В результате моделирования о каждом устройстве выводится следующая информация:
FACILITY – Имя или номер устройства.
ENTRIES – Количество транзактов, вошедших в устройство за все время моделирования, или после выполнения оператора RESET либо CLEAR.
UTIL – Коэффициент использования устройства: отношение времени использования устройства к общему времени моделирования, или к периоду измерения.
AVE. TIME – Среднее время использования отдельными транзактами в течение периода измерения.
AVAIL – Состояние устройства в момент завершения моделирования. Если устройство занято, значение параметра равно 0, если свободно 1.
OWNER – Номер транзакта, который занимал устройство в момент завершения обслуживания. Если устройство в этот момент было свободно, значение параметра устанавливается равным 0.
PEND – Количество транзактов, обслуживание которых было прервано другими, прошедшими через блок PREEMPT. Указанные транзакты ожидают завершения обслуживания «более срочных».
INTER – Количество транзактов, прервавших обслуживание в данном устройстве. Количество транзактов в цепи прерываний.
RETRY – Количество транзактов, ожидающих изменения специальных условий, зависящих от состояния данного устройства.
DELAY – Общее число транзактов, каждый из которых должен войти в устройство. Транзакты, ожидающие освобождения устройства, включая те, которые должны занять его, используя прерывание.
7.4.Многокнальные устройства (мку)
МКУ служат для моделирования нескольких параллельно работающих объектов. Такие объекты должны иметь одинаковую функцию распределения времени обслуживания и одинаковые параметры этой функции.
Наименьшая часть МКУ называется каналом. Процессы входа и выхода моделируются блоками ENTER и LEAVE. Входящий в блок ENTER транзакт занимает один, или более каналов. При входе транзакта в блок LEAVE ранее занятые каналы освобождаются. Емкость МКУ задают с помощью оператора STORAGE.
МКУ имеют следующие стандартные числовые атрибуты:
Sj - емкость МКУ j,
Rj - свободный объем МКУ j;
SRj - коэффициент использования МКУ j;
SMj - максимальное заполнение МКУ j;
SAj - среднее заполнение МКУ j;
SCj - число входов в МКУ j;
STj - среднее время пребывания транзакта в МКУ j.
МКУ имеют также стандартные логические атрибуты, которые используются для проверки состояния МКУ:
SEj - МКУ j пусто;
SNEj - МКУ j не пусто;
SFj - МКУ j заполнено;
SNFj - МКУ j не заполнено.
Проверка состояния МКУ осуществляется блоком GATE.