Моделирование поведения объектов модели

Содержание

Слайд 2

Устройства (Facilities) Все многообразие ресурсов любой СМО представляется тремя типами устройств

Устройства (Facilities)

Все многообразие ресурсов любой СМО
представляется тремя типами

устройств

SEIZE Занято
RELEASE Свободно

PREEMPT Занято
RETURN Захвачено
Свободно

LOGIC Переключатель в двух состояниях SET или RESET

Все устройства единичной емкости. Приоритет транзакта
анализируется только в типе устройства PREEMPT.

Состояние всех типов устройств отражается в их
стандартных числовых и логических атрибутах:

( Сча и Сла)

Атрибуты можно извлечь из модели только
информационными блоками или
параметрами транзактов

Слайд 3

Стандартные атрибуты устройств СчА СлА Пример вычисления загрузки устройства: FRj =

Стандартные атрибуты устройств

СчА

СлА

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

FRj =

 

Слайд 4

Пример использования функций и ресурса системы Задача. На рабочую станцию поступают

Пример использования функций и ресурса
системы

Задача. На рабочую станцию поступают

сообщения с трех терминалов. Поток сообщений описывается экспоненциальным законом с интенсивностью λ=0,0125 c-1. Сообщения приходят трех типов. Вероятность появления событий соответствующего времени обработки представлена в таблице.

Определить среднее время прохождения сообщений по каналу передачи сообщений.

Терминал1

Терминал2

Терминал3

Канал
передачи
сообщений

Выход к
рабочей
станции

Расчёт параметров экспоненциального
закона: M=1/λ=80, s=M-σ, σ=√80 ≈10,s=70

Слайд 5

FF1 Function RN1,D3 0.2,38/0.45,72/1.0,128 Generate (Exponential(2,70,10)) Savevalue 10,c1 SAVEVALUE 10-,X20 SAVEVALUE

FF1 Function RN1,D3
0.2,38/0.45,72/1.0,128
Generate (Exponential(2,70,10))
Savevalue 10,c1
SAVEVALUE 10-,X20
SAVEVALUE 20,c1
TABULATE ttExp
ASSIGN 5,Fn$FF1
QUEUE Qcan
Seize Can
DEPART

Qcan
Mark 7
Advance p5
RELEASE Can
TABULATE ttcan
TERMINATE
ttcan Table mp7,10,20,10
ttExp Table X10,60,5,20
QQQ Qtable Qcan,100,2000,10
GENERATE 100000
TERMINATE 1

Времена передачи
сообщений

Формирование очереди

Модель станции

Пример

Слайд 6

Аналитическое определение параметров модели Связь физических характеристик ВС с модельными характеристиками

Аналитическое определение параметров модели

Связь физических характеристик ВС с
модельными

характеристиками

Для определения загрузки устройств или блоков модели необходимо
иметь две характеристики: интенсивность поступления заявок λ
и интенсивность обслуживания заявок μ.
Для определения загрузки блоков модели остается воспользоваться
Формулой : ρ- загрузка ВС (ρ < 1 – всегда). Если ρ > 1, то система
с очередью. Для вычисления длины возможной очереди L
потребуется задать время моделирования T. Пример.
Дано λ = 0,002, μ =0,0015

T=100000 L =25

Интенсивность входных воздействий

Интенсивность обслуживания

Длина очереди

Загрузка

Слайд 7

Аналитический расчёт параметров модели Среднеe время обработки заявок: tвых = =0.2*38+0.25*72+0.55*128=96

Аналитический расчёт параметров
модели
Среднеe время обработки заявок:
tвых = =0.2*38+0.25*72+0.55*128=96
Длина

очереди L=(1/80 -1/96)/2*105 =104,15
Сравните расчёты с листингом результатов имитации

Файл результата имитации

В каждой задаче моделирования обязательно надо
аналитически определить прогнозируемые результаты

Слайд 8

Простейшая задача моделирования Дана СМО с одним входом и одним ресурсом

Простейшая задача моделирования
Дана СМО с одним входом и

одним ресурсом для
обслуживания. Время поступления заявок на обслуживание – T вх. Время обслуживания ресурсом T обсл. Определить среднее время обработки заявок, среднюю длину очереди и количество обработанных заявок за время обслуживания.

Очередь

Ресурс

Вх

Вых

Tвх = [3,1 ÷ 7] Tобсл =[5 ÷ 8]

Для удобства записи
времена сделаем целыми

GENERATE 505,195
Savevalue 3,c1
Savevalue 3-,x4
Savevalue 4,c1
tabulate tab2
Assign 5,c1
QUEUE Qevm
SEIZE EVM
DEPART Qevm

ADVANCE 650,150
RELEASE EVM
Savevalue 2,c1
Savevalue 2-,x1
Savevalue 1,c1
Tabulate TAB1
TERMINATE
TAB1 table x2,10,30,50
Tab2 Table x3,10,20,60
GENERATE 1000000
TERMINATE 1

Слайд 9

GPSS World Simulation Report - Prim_mod.56.1 START TIME END TIME BLOCKS

GPSS World Simulation Report - Prim_mod.56.1 
START TIME END TIME

BLOCKS FACILITIES STORAGES
0.000 1000000.000 19 1 0 
NAME VALUE
EVM 10004.000 Имена объектов модели
QEVM 10003.000 и их внутренние значения
TAB1 10000.000
TAB2 10001.000
VVV1 10002.000
XXX 10005.000

Анализ листинга результатов моделирования

LABEL LOC BLOCK TYPE ENTRY COUNT CURRENT COUNT RETRY
1 GENERATE 1991 0 0
2 SAVEVALUE 1991 0 0
3 SAVEVALUE 1991 0 0
4 SAVEVALUE 1991 0 0
5 TABULATE 1991 0 0 Количество сгенерированных
6 ASSIGN 1991 0 0 заявок
7 QUEUE 1991 453 0

Файл_GPSS World Simulation Report

Лабораторная работа №2

Слайд 10

Очереди Формат блока QUEUE A, B A - имя очереди ,

Очереди

Формат блока QUEUE A, B

A - имя очереди ,

B - количество единиц, на которое может изменяться очередь. По умолчанию B равно 1

Парный блоку очереди блок DEPART A,B фиксирует выход из
очереди, когда освобождается блок, задерживающий транзакт.

Стандартные атрибуты очереди:

Транзакт всегда входит в очередь.

Слайд 11

Изменение параметров транзакта Блок ASSIGN A, B [,C] Операнд А –

Изменение параметров транзакта

Блок ASSIGN A, B [,C]

Операнд А –

номер параметра транзакта, имя, целое число,
выражение, СчА

Операнд B – изменение параметра

Операнд C – модификатор функции. Значение операнда B
умножается на значение модификатора функции и заносится
в операнд A

ASSIGN 2, 40
ASSIGN 4+, Q8
ASSIGN Prm, 10,(Exponential(2,0,40)+34.5); запись смещения
ASSIGN 5,2,Fn$Fexp

Любому активному транзакту можно изменить значения
параметров. Эти значения будут передаваться блокам
модели при движении транзакта, пока транзакт
не будет уничтожен.

Слайд 12

Информационные объекты. Переменные. Операции. VARIABLE BVARIABLE FVARIABLE Операции: ^ - Возведение

Информационные объекты.
Переменные. Операции.

<Имя> VARIABLE <Выражение арифметическое>

<Имя> BVARIABLE<Выражение логическое>

<Имя>

FVARIABLE <Выражение арифметическое>

Операции:
^ - Возведение в степень
#, /, \ - Умножение, деление, целое деление
@ - Остаток от деления
-, + - Вычитание, сложение
>=,<=, >, < - Сравнение
=, != - Равно, не равно
$ -Логическое «И»
| - Логическое «ИЛИ»

Запись выражений:

Per1 variable p8/3#5
Per2 Fvariable v$PA1@3

Связанные блоки:
INITIAL
EQU

T1 Equ 20

Слайд 13

Организация движения транзактов Цепи текущих и будущих событий Модель объекта Буфер

Организация движения транзактов Цепи текущих и будущих событий

Модель
объекта

Буфер
активных
транзактов

Буфер
пассивных
транзактов

FEC

CEC
Список транзактов,
которые

планируются
к движению в течении
текущего модельного
времени

Список транзактов,
движение которых
начнется при достижении
определенного
модельного времени

1 Generate 10,5
2 Advance 8,1
3 Terminate
4 Generate 50
5 Terminate 1

Первый генератор формирует текущие события.
Интерпретатор продвигает по блокам модели очередной транзакт до следующих блоков:

Блока ADVANCE и переводится в FEC
Блока SEIZE. Если занят SEIZE, то
транзакт ждет в CEC
3. Блока TERMINATE. Уничтожение