1. Сбор статистики при ожидании.
1.1. В любых системах массового обслуживания число ресурсов ограничено. Это означает, что не всегда можно немедленно предоставить ресурс, при каждом требовании на его использование. В парикмахерской, например, таким ограниченным ресурсом является сам парикмахер. Если он занят в момент прихода клиента, то последний вынужден ждать своей очереди.
2. Метод построения модели
2.1. Для моделирования на GPSS необходимо определить: 1) условия работы моделируемой системы; 2) какие элементы GPSS надо использовать для удовлетворения условий модели. В данном случае есть два вида ограничивающих условий. Во-первых, имеется лишь одна печь. Во-вторых, существует некоторое фиксированное число сборщиков, работающих в системе. Естественно, для моделирования печи использовать понятие “прибор”. Также естественно отождествить сборщиков с транзактами. Тогда можно считать, что сборщики циркулируют в системе. Аналогично тому, как они периодически осуществляют сборку и обжиг, транзакты циркулируют в GPSS-модели системы. В реальной системе, после того как сборщик вынимает из печи обожженную деталь, он возвращается и начинает новый этап сборки. В модели, после того как транзакт завершает использование прибора, моделирующего печь, он должен быть возвращен назад посредством блока TRANSFER в блок следующей сборки. Для того чтобы ограничить общее число транзактов, циркулирующих в модели, необходимо использовать операнд D блока GENERATE, с помощью которого можно задать желаемое число транзактов.
3. Многоканальные устройства. Блоки ENTER (ВОЙТИ) и LEAVE (ВЫЙТИ).
3.1. Для моделирования нескольких параллельно работающих однородных обслуживающих устройств в GPSS введено понятие многоканального устройства (памяти). Примерами многоканальных устройств являются контролеры в театре, буксиры, вводящие и выводящие корабли в порту, места на автостоянке, бензоколонки на автозаправочной станции и т.п. Многоканальные устройства характеризуются определенной емкостью, т.е. числом каналов для параллельного обслуживания транзактов. Блоками, соответствующими состояниям «занято» и «освобождено», являются ENTER (войти) и LEAVE (выйти). Операнд А в этих блоках используется для указания имени соответствующего устройства.
4. Булевские переменные.
4.1. Булевской переменной является СЧА, определяемый пользователем. Обозначение булевской переменной имеет вид BV»имя числовое» или BV$»имя символьное». Значением булевской переменной является число 1, когда булевское выражение истинно и число 0 - в противном случае. Булевская переменная задается с помощью специальной команды, следующего формата. Поле имени Поле операции Поле операндов «имя» ВVARIABLE «булевское выражение» Булевское выражение составляется также как и арифметическое выражение, но вместо арифметических операций проверяются различные логические условия. Булевское выражение включает следующие типы операторов: логические операторы, операторы отношения, булевские операторы.
4.2. Логические операторы используются для определения состояния объектов аппаратной категории и рассматриваются при описании стандартных логических атрибутов приборов, многоканальных устройств и логических переключателей
4.3. Оператор отношения помещается между двумя числовыми величинами (константами или СЧА) и выражает условие, которое может существовать между ними: G - больше, L - меньше, E - равно, NE - не равно, LE - меньше или равно, GE - больше или равно. Если СЧА в логическом выражении не входит в отношение, то ему приписывается логическое значение (в этом случае СЧА должен быть заключен в скобки). Логическое значение “ложно” приписывается в случае, если численно СЧА равен нулю, во всех остальных случаях приписывается значение “истинно”.
4.4. Булевский оператор помещается между двумя логическими величинами и дает логический результат. В качестве булевских опреаторов используют знаки «*», соответствующий логическому «И» и «+», соответствующий логическому «ИЛИ». Операция умножения имеет приоритет по отношению к операции сложения.
5. Система имитационного моделирования GPSS
5.1. Категория Тип объектов Динамическая Транзакты Операционная Блоки Аппаратная Устройства Памяти (многоканальное устройство) Ключи Вычислительная Переменные: арифметическая, булевская Функции Статистическая Очереди Таблицы Запоминающая Матрицы ячеек Ячейки Группирующая Списки пользователя Группы
5.2. Операционные объекты, т. е. блоки, задают логику функционирования модели системы и определяют пути движения транзактов между объектами аппаратной категории.
5.3. Объекты аппаратной категории - это абстрактные элементы (устройства, памяти и логические ключи), на которые может быть разделено оборудование реальной системы. Воздействуя на эти объекты, транзакты могут изменять их состояние и влиять на движение других транзактов.
5.4. Объекты вычислительной категории служат для описания таких ситуаций в процессе моделирования, когда связи между компонентами системы наиболее просто и компактно выражаются в виде математических (аналитических и логических) соотношений. Для этих целей предусмотрены арифметические и булевские переменные и функции.
5.5. К статистическим объектам относятся очереди и таблицы, вводимые для оценки характеристик поведения системы
6. Программное обеспечение для моделирования дискретных динамических систем
6.1. Функционирование дискретной имитационной модели определяется:
6.1.1. • определяя изменения состояния системы, происходящие в момент совершения событий; • описывая действия, в которых принимают участие элементы системы; • описывая процесс, через который проходят элементы.
6.2. Группы систем моделирования:
6.2.1. 1. При событийном подходе системы моделируются путем идентификации изменений, происходящих в моменты совершения событий. Для имитации необходимо воспроизвести хронологию (календарь) событий и причины, вызывающие их появление в соответствующие моменты имитационного времени. Календарь первоначально содержит отметку только о первом событии - «прибытие». В ходе моделирования возникновение других событий - «прибытие» и «конец обслуживания» - должно быть запланировано в календаре в соответствии с логикой функционирования системы. События выполняются в упорядоченной последовательности, при этом имитационное время продвигается от одного события к другому. Рассмотрим, например, парикмахерскую с одним парикмахером. Клиенты заходят в парикмахерскую, после возможного ожидания в очереди обслуживаются и уходят. Состояние системы определяется состоянием парикмахера и числом ожидающих обслуживания клиентов. Оно остается неизменным, за исключением моментов, когда клиент прибывает в систему или покидает ее. Событийная модель в данном случае состоит из описания действий, происходящих в момент прибытия и окончания обслуживания очередного клиента, т. е. события «прибытие» и «окончание обслуживания» полностью обеспечивают воспроизведение динамики функционирования системы. К языкам имитационного моделирования, реализующим событийный подход, относятся GASP, SEAL, СИМКОМ, СИМПАК, SIMSCRIPT и другие.
6.2.2. 2. Подход, ориентированный на действия. При использовании данного подхода, который называют также «сканированием активностей», описываются действия, в которых принимают участие элементы системы, и задаются условия, определяющие начало и окончание этих действий. События, которые начинают или завершают действие, инициируются по условиям, определенным для данного действия. Условия начала или окончания действия проверяются после очередного продвижения имитационного времени. Если заданные условия удовлетворяются, происходит соответствующее действие. Для того чтобы было выполнено каждое действие в модели, проверка (сканирование) условий производится для всего множества действий при каждом продвижении имитационного времени. Такой подход обеспечивает простую схему моделирования для решения целого ряда проблем. Он наиболее эффективен для ситуаций, в которых продолжительность действия определяется в зависимости от того, насколько состояние системы удовлетворяет заданным условиям. Примерами в этой группе могут служить системы FORSIM, CSL, ESP, AS, GSP и другие.
6.2.3. 3. Процессно-ориентированный подход. Многие имитационные модели содержат последовательности компонентов, которые возникают в них по определенной схеме, например, очередь, в которой клиенты ожидают обслуживания. Логика возникновения компонентов по требуемой схеме может быть задана в одном операторе. Имитационный язык затем транслирует такие операторы в соответствующую последовательность событий, происходящих с компонентами модели. Например, для описания процесса в модели банка может быть использован следующий набор операторов.