GPSS Bicycle

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ………………………………………………………………3

ВВЕДЕНИЕ

В математических моделях (ММ) сложных объектов , представленных в виде систем массового обслуживания (СМО), фигурируют средства обслуживания, называемые обслуживающими аппаратами (ОА), и обслуживаемые заявки, называемые транзактами. Так, в модели производственной линии ОА отображают рабочие места, а транзакты - поступающие на обработку датали, материалы, инструмент.
      Состояние СМО характеризуется состояниями ОА, транзактов и очередей к ОА. Состояние ОА описывается двоичной переменной, которая может принимать значения "занят" или "свободен". Переменная, характеризующая состояние транзакта, может иметь значения "обслуживания" или "ожидания". Состояние очереди характеризуется количеством находящихся в ней транзактов.
       Имитационная модель СМО представляет собой алгоритм, отражающий поведение СМО, т.е. отражающий изменения состояния СМО во времени при заданных потоках заявок, поступающих на входы системы. Параметры входных потоков заявок - внешние параметры СМО. Выходными параметрами являются величины, характеризующие свойства системы - качество ее функционирования. Примеры выходных параметров:  производительность СМО - среднее число заявок, обслуживаемых в единицу времени; коэффициенты загрузки оборудования - отношение времен обслуживания к общему времени в каждом ОА;  среднее время обслуживания одной заявки. Основное свойство ОА, учитываемое в модели СМО, - это затраты времени на обслуживание, поэтому внутренними параметрами в модели СМО являются величины, характеризующие это свойство ОА. Обычно время обслуживания рассматривается как случайная величина и в качестве внутренних параметров фигурируют параметры законов распределения этой величины.
      Имитационное моделирование позволяет исследовать СМО при различных типах входных потоков и интенсивностях поступления заявок на входы, при вариациях параметров ОА, при различных дисциплинах обслуживания заявок. Дисциплина обслуживания - правило, по которому заявки поступают из очередей на обслуживание. Величина, характеризующее право на первоочередное обслуживание, называется приоритетом. В моделях СМО заявки, приходящие на вход занятого ОА, образуют очереди, отдельные для заявок каждого приоритета. При освобождении ОА на обслуживание принимается заявка из непустой очереди с наиболее высоким приоритетом.
      Основной тип ОА - устройства, именно в них происходит обработка транзактов с затратами времени. К ОА относятся также накопители (памяти), отображающие средства хранения обрабатываемых деталей в производствееных линиях или обрабатываемых данных в вычислительных системах. Накопители характеризуются не временами обслуживания заявок, а емкостью - максимально возможным количеством одновременно находящихся в накопителе заявок.
       К элементам имитационных моделей СМО кроме ОА относят также узлы и источники заявок. Связи ОА между собой реализуют узлы, т.е. характерезуют правила, по которым заявки направляются к тому или иному ОА.
       Для описания моделей СМО при их исследовании на ЭВМ разработаны специальные языки имитационного моделирования. Существуют общецелевые языки, ориентированные на описание широкого класса СМО в различных предметных областях, и специализированные языки, предназначенные для анализа систем определенного типа. Примером общецелевых языков служит широко распространенный язык GPSS, примером специализированного языка - язык МПЛ/ВС моделирования вычислительных систем.

1. ИММИТАЦИОННОЕ МОДЕЛИРОВАНИЕ

1.1 ОРИГИНАЛ МОДЕЛИ

; GPSS World Sample File - BICYCLE.GPS by Gerard F. Cummings

*********************************************************************

* *

* Bicycle Assembly Model *

*********************************************************************

Orders FUNCTION P$Department,L6

1,Order/2,Frame/3,Saddle/4,Handlebars/5,Wheels/6,Pedals

*********************************************************************

Transit TABLE M1,100,100,20

*********************************************************************

Clerks STORAGE 2

Framers STORAGE 3

Saddlers STORAGE 1

Handlers STORAGE 1

Wheelers STORAGE 1

Pedalers STORAGE 1

Builders STORAGE 4

Packers STORAGE 3

*********************************************************************

GENERATE 50,10 ;Order arrives for bicycle

SPLIT 5,Factory,Department ;Make 5 copies of order

Order ENTER Clerks

ADVANCE 80,10 ;Prepare invoice

LEAVE Clerks

Invoice MATCH Bicycle ;Synchronize with bicycle

TERMINATE ;Transaction finished

*********************************************************************

Factory TRANSFER FN,Orders ;Route to correct dept.

*********************************************************************

Frame ENTER Framers

ADVANCE (Exponential(1,0,65)) ;Make frame

ADVANCE 12,2 ;Inspect frame

LEAVE Framers