Моделирование в системе PILGRIM

Министерство образования Российской Федерации



ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ



«Сибирский Федеральный Университет»

«Институт градостроительства, управления и региональной экономики»



	



Факультет		ПЭиУЭС

Кафедра		Информационных технологий

Дисциплина    	Имитационное моделирование экономических процессов

Группа		ПЭ 06-1













Курсовой проект

Моделирование в системе PILGRIM

	Пояснительная записка

ИЦМиЗ СФУ. КП ИТЭ 06.1073







Зав. кафедрой		_________________________		А.А. Ступина

						(подпись, дата)



Руководитель проекта	_________________________		С.Н. Ежеманская

						(подпись, дата)



Разработал студент	_________________________		Е.И. Карелина

						(подпись, дата)













Красноярск, 2009 г.


Содержание

	Введение	3

	1 Теоретическая часть	4

	1.1 Технология моделирования в системе PILGRIM	4

	1.2 Инструментальные средства	4

	1.2.1 Транзакты, узлы, события. Модельный таймер	4

	1.2.2 Типы узлов имитационной модели	5

	1.2.3 Команды управления узлами	9

	1.2.4 Параметры транзактов	10

	1.2.5 Параметры состояния узлов	10

	1.2.6 Датчики случайных (псевдослучайных) величин	11

	2 Практическая часть	13

	2.1 Задание	13

	2.2 Построение графа модели	13

	2.3 Инициализация модели	14

	2.4 Описание узлов модели	15

	2.4.1 Очередь	15

	2.4.2 Серверы	15

	2.4.3 Генератор (датчик, мини-ЭВМ)	16

	2.4.4 Ключ	17

	2.4.5 Терминатор	18

	2.5 Сохранение модели	18

	2.6 Генерация программы	19

	Заключение	20

	Приложение А. Листинг программы	21




Введение

Имитационное моделирование (от англ. simulation) – это распространенная разновидность аналогового моделирования, реализуемого с помощью набора математических инструментальных средств, специальных имитирующих компьютерных программ и технологий программирования, позволяющих посредством процессов-аналогов провести целенаправленное исследование структуры и функций реального сложного процесса в памяти компьютера в режиме «имитации», выполнить оптимизацию некоторых его параметров.

Имитационной моделью называется специальный программный комплекс, который позволяет имитировать деятельность какого-либо сложного объекта. 

Он запускает в компьютере параллельные взаимодействующие вычислительные процессы, которые являются по своим временным параметрам (с точностью до масштабов времени и пространства) аналогами исследуемых процессов.

Для создания имитационных моделей необходимо специальное программное обеспечение – система моделирования (simulation system).

Среди современных систем имитационного моделирования можно выделить следующие распространенные пакеты:

- Process Charter-1.0.2 (компания «Scitor», Менло-Парк, Калифорния, США);

- Powersim-2.01 (компания «Modell Data» AS, Берген, Норвегия);

- Ithink-3.0.61 (компания «High Performance Systems», Ганновер, Нью-Хэмпшир, США);

- Extend+BPR-3.1 (компания «Imagine That!», Сан-Хосе, Калифорния, США);

- ReThink (фирма «Gensym», Кембридж, Массачусетс, США);

- Pilgrim (Россия).

В данной работе будут рассмотрен процесс моделирования в системе Pilgrim.


1 Теоретическая часть

1.1 Технология моделирования в системе PILGRIM

Средством построения моделей в системе PILGRIM является графический конструктор Gem (от «Generator models»), представляющий собой набор узлов различного типа. На схеме имитационной модели узел есть графическое изображение некоторого типового процесса, или можно сказать, что внутри узла работает процесс. При этом элементарный процесс может быть, вообще говоря, представлен несколькими узлами имитационной модели, если этого требует логика его работы.

Таким образом, схема имитационной модели представляет собой направленный граф, вершины которого представляют собой компоненты элементарных процессов, а дуги определяют направление потоков заявок и управляющих воздействий в моделируемой системе. 

Конструктор Gem генерирует программу на языке С++, которая в дальнейшем должна быть скомпилирована в составе проекта в среде MS Developer Studio, где предварительно должен быть установлен Visual C++ с библиотеками Pilgrim. 

Процесс построения модели в системе PILGRIM включает в себя следующие этапы:

Анализ структуры моделируемого процесса

Определение  входных и выходных параметров модели

Построение графа модели с помощью конструктора (вообще говоря, можно сразу писать программный файл, но конструктор значительно облегчает работу).

Описание узлов графа (определение значений параметров узлов модели).

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

Определение условий выбора узла, если в модели имеются ветвления. 

Компиляция модели.

1.2 Инструментальные средства

1.2.1 Транзакты, узлы, события. Модельный таймер

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

Непрерывные компоненты представляют собой разностные уравнения, причем каждый очередной интервал (или шаг) интегрирования – это отрезок времени между двумя ближайшими событиями в стохастической сети.

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

Основной динамической единицей любой модели, работающей под управлением имитатора, является транзакт.

ТРАНЗАКТ – это формальный запрос на какое-либо обслуживание, например сигнал о загрязнении какого-то пункта местности, телеграмма, поступающая на узел коммутации сообщений, проба загрязненной почвы, ожидающая соответствующего анализа и т.д. Пути "миграции" транзактов по графу определяются логикой функционирования дискретных компонентов модели.

УЗЛЫ графа представляют собой центры обслуживания транзактов. В узлах транзакты могут задерживаться, обслуживаться, порождать семейства новых транзактов, уничтожать другие транзакты. Вид обслуживания транзакта определяется типом узла.

Выход из узла одного транзакта называется СОБЫТИЕМ. Предположим, что в момент времени t произошло какое-то событие, а в момент времени t+d должно произойти ближайшее следующее, но не обязательно в этом же узле. Тогда очевидно, что передать управление непрерывным компонентам модели можно только на время [t,t+d].

Текущее значение модельного таймера хранится в системной переменной timer.

Значение модельного таймера доступно для чтения в процессе моделирования.

1.2.2 Типы узлов имитационной модели

Узел AG – постоянный генератор транзактов - представляет собой генератор транзактов. Он предназначен для создания транзактов имитационной модели. Транзакты генерируются по одному через определенные пользователем промежутки времени. 

Для настройки генератора необходимо задать набор параметров (i,p,r,m,s,o,n). Параметры имеют следующий смысл:

i – номер узла-генератора (int);

p – приоритет (int), назначаемый каждому сгенерированному транзакту (вместо p=0 можно использовать p=none);

r – тип функции распределения интервала времени между двумя последовательно сгенерированными транзактами. Используются условные обозначения: norm – нормальное распределение, unif – равномерное, expo – экспоненциальное, erln – распределение Эрланга, beta – -распределение, none – интервал, являющийся детерминированной величиной;

m – математическое ожидание интервала времени (float) между двумя последовательно сгенерированными транзактами (r=norm, unif, expo), либо математическое ожидание одного слагаемого этого интервала (r=erln), либо минимальное значение интервала (r=beta), либо постоянная величина этого интервала (r=none);

s – величина, зависимая от типа функции распределения (float): среднеквадратичное отклонение (r=norm), либо максимальное отклонение от среднего (r=unif), либо значение zero (r=expo, none), либо число слагаемых интервала (r=erln, в этом случае s>0.0), либо наиболее вероятное значение интервала времени между двумя последовательно сгенерированными транзактами (r=beta);

o – величина, также зависящая от типа функции распределения (float): либо значение zero (r=norm, unif, expo, erln, none), либо максимальное значение интервала времени между двумя последовательно сгенерированными транзактами (r=beta);

Параметры генератора могут быть изменены во время работы модели с помощью команды cheg (change generator).

Узел SERV – обслуживающий многоканальный прибор с абсолютными приоритетами (правило относительных приоритетов реализуется в узле типа queue – очередь), осуществляющий какое-либо обслуживание транзактов в течение модельного времени, отличного от нуля.

С точки зрения имитационной модели “обслуживание” заключается в задержке транзакта на заданный промежуток времени.

Для описания сервера необходимо задать набор параметров (c,u,r,m,s,o). Параметры имеют следующий смысл:

c – число обслуживающих каналов (int), c > 1;

u – дисциплина обслуживания: abs – приоритетная, с прерыванием обслуживания менее приоритетного транзакта, либо none – бесприоритетная;

r – тип функции распределения интервала обслуживания транзактов. Используются условные обозначения: norm – нормальное распределение, unif – равномерное, expo – экспоненциальное, erln – распределение Эрланга, beta – -распределение, none – интервал является детерминированной величиной;

m – математическое ожидание интервала времени (float) обслуживания транзактов (r=norm, unif, expo), либо математическое ожидание одного слагаемого этого интервала (r=erln), либо минимальное значение интервала обслуживания (r=beta), либо постоянная величина этого интервала (r=none);

s – величина, зависящая от типа функции распределения (float): среднеквадратичное отклонение (r=norm), либо максимальное отклонение от среднего (r=unif), либо значение zero (r=expo, none), либо число слагаемых интервала обслуживания (r=erln, в этом случае s>0.0), либо наиболее вероятное значение интервала времени обслуживания транзактов (r=beta);

o – величина, также зависимая от типа функции распределения (float): либо значение zero (r=norm, unif, expo, erln, none), либо максимальное значение интервала времени обслуживания (r=beta);

Если задать r=abs, то имеются две возможности для работы с прерванными неприоритетными транзактами: либо они "дообслуживаются", либо характер прерывания был таков, что надо  возобновить обслуживание сначала.

Узел QUEUE – очередь с относительными приоритетами

Узел queue моделирует очередь транзактов. Для ее описания требуется задать параметр u. Эта очередь строится по одному из двух правил: либо транзакты упорядочены в порядке поступления (для этого необходимо использовать в качестве u слово none), либо, кроме этого, более приоритетные транзакты находятся ближе к началу очереди, а менее приоритетные – ближе к концу. Во втором случае работает правило относительных приоритетов, которое задается с помощью u=prty.

Узел TERM – безусловный терминатор транзактов, назначение которого заключается в следующем: он удаляет из модели входящий в него транзакт и фиксирует время его существования начиная с момента выхода этого транзакта из генератора.

Существуют средства автоматического построения графика изменения потока транзактов, поступающих на вход терминатора.

Если пользователю необходимо иметь инструмент для анализа динамики потока транзактов по какой-то ветви графа, причем "принимающий" узел не является терминатором, то необходимо модель дополнить двумя узлами:

завести дополнительный терминатор и указать его номер в качестве параметра df в функции modbeg;

в ветвь вставить узел creat, который в момент прохождения каждого транзакта по ветви будет генерировать один дополнительный, направляемый в дополнительный терминатор.

Под временем пребывания в терминаторе подразумевается время жизни транзакта – с момента его генерации и до момента уничтожения в терминаторе.

График динамики потока транзактов, поступающих на вход терминатора, получается автоматически. Его вид аналогичен графику задержки в очереди. График показывает среднее количество транзактов, попадающих в терминатор в единицу модельного времени. 

Узел KEY – клапан на пути транзактов – работает по принципу “шлагбаума”. Когда клапан закрыт, транзакт не может в него войти из предшествующего узла. Если же клапан открыт, то транзакт проходит через него в следующий узел без задержки. Среднее время пребывания такого узла в закрытом состоянии подсчитывается автоматически. Для управления этим клапаном или ключом существуют вспомогательные функции hold и rels.

Среднее время задержки – это среднее время пребывания ключа в закрытом состоянии. Число обслуженных транзактов – это число переключений ключа из закрытого состояния в открытое.

Узел CREAT – управляемый генератор транзактов (мультипликатор) - предназначен для создания нового семейства транзактов. Следует отметить, что все транзакты принадлежат какому-то семейству. Транзакты, выходящие из обычного генератора ag, принадлежат к семейству с номером 0. Узел creat, в отличие от ag, – это управляемый генератор. 

Для описания управляемого генератора нужно задать набор параметров (f,a,b,l). Логика функционирования узла такова:

через узел проходит порождающий транзакт, который принадлежит семейству f1, и поступает в следующий узел;

одновременно с этим в узле генерируются a новых транзактов, принадлежащих семейству с номером f2=f, которые будут направлены в узел l. В общем случае l и следующий узел – любые узлы (кроме ag), в частности это может быть один и тот же узел. Номера семейств f1 и f2 в общем случае могут совпадать.

После прохождения порождающего транзакта узел creat получает его координаты, т.е. "перемещается". Семейству f2 могут передаваться все свойства порождающего транзакта.

Параметр b имеет следующие значения: либо copy – для тиражирования параметров порождающего транзакта каждому порожденному (включая время жизни), либо none – для присвоения каждому порожденному транзакту в качестве параметров нулевых значений.

Число обслуженных транзактов – это, на самом деле, число порожденных транзактов вновь образуемых семейств.

Узел DELET (с параметрами (f,a)) – управляемый терминатор транзактов (демультипликатор) - предназначен для уничтожения группы транзактов, принадлежащих одному и тому же семейству f.

Логика функционирования этого узла такова: в узел входит уничтожающий транзакт семейства f1 и находится там до тех пор, пока в него не поступят a транзактов семейства f2=f. После поступления требуемого количества транзактов заданного семейства они мгновенно уничтожаются, а уничтожающий транзакт переходит в следующий узел. Уничтожающим становится транзакт, первым вошедший в пустой узел delet. 

Следует отметить, что если в такой узел так и не поступят a транзактов, то уничтожающий транзакт будет все время находиться в нем, блокируя его в смысле поступления других уничтожающих транзактов. В общем случае номера семейств f1 и f2 могут совпадать.

Время существования уничтоженных транзактов фиксируется в узле delet, а сам узел получает координаты каждого уничтожаемого транзакта, т.е. он "перемещается" по координатной сетке. Среднее время задержки в данном случае – это среднее время ожидания всех транзактов, которые нужно уничтожить (или части транзактов, если из состояния ожидания узел delet выводится принудительно – выполнением функции freed); число обслуженных транзактов – это число уничтоженных транзактов.

Суперузел PROC – транзактно-управляемый процесс

Суперфункция моделирования транзактно-управляемого непрерывного процесса (сокращенно - "процесс") proc(ep,x,r,m,s,o) объединяет в себе имитацию обслуживающего узла типа serv с одним каналом, перемещение этого узла по общему полю данных на координатной сетке, запуск на время активности функции типа float ep(d), где d – элементарный интервал активности, который определяется системой PILGRIM в процессе моделирования и зависит от параметров x, r, m, s.

Интервал требуемого обслуживания транзакта может быть меньше времени пребывания транзакта в этом узле, так как процесс может быть переведен в состояние "пассивен" или "активен" каким-то транзактом из другого узла с помощью функций activ и passiv.

Если процесс пассивен, то обслуживание транзакта приостанавливается, а выполнение функции ep прерывается до тех пор, пока процесс не будет переведен в активное состояние.

Остальные аргументы имеют следующий смысл:

ep – имя программы, написанной пользователем, или слово dummy; эта программа может моделировать процесс: формула, дифференциальное уравнение и т.д.;

х – номер исходной точки,  в которую устанавливается узел proc перед началом моделирования;

r – это либо тип функции распределения интервала активности процесса, либо тип координатного пространства. Если это тип функции распределения, то используются условные обозначения: norm – нормальное распределение, unif – равномерное, expo – экспоненциальное, erln – распределение Эрланга, beta – -распределение, none – интервал, являющийся детерминированной величиной. Для задания типа пространства используются обозначения: geo – географические координаты, dcr – декартовы координаты;

m – математическое ожидание интервала времени (float) активности (r=norm, unif, expo), либо математическое ожидание одного слагаемого этого интервала (r=erln), либо минимальное значение интервала обслуживания (r=beta), либо постоянная величина этого интервала (r=none), либо интервал "непрерывного" нахождения этого узла на координатной сетке (при r=geo или r=dcr);

s – также параметр интервала активности обслуживания, который зависит от значения параметра r. Это либо среднеквадратичное отклонение (r=norm), либо максимальное отклонение от среднего (r=unif), либо значение zero (r=expo, none), либо число слагаемых интервала обслуживания (r=erln, в этом случае s>0.0), либо наиболее вероятное значение интервала времени обслуживания транзактов (r=beta), либо скорость перемещения узла от одной точки пространства к другой (при r=geo или r=dcr);

o – величина, также зависимая от типа функции распределения (float) интервала активности: либо значение zero (r=norm, unif, expo, erln, none), либо максимальное значение интервала времени обслуживания (r=beta).

Узел DINAM – очередь к процессу с динамическими 
пространственно-зависимыми приоритетами

Узел dynam предназначен для моделирования обслуживания транзактов в очереди с динамическими пространственно-зависимыми приоритетами. Этот узел моделирует оптимально-управляемую очередь (очередь типа "скорая помощь"), которая находится на входе узла типа proc. Единственный параметр – это номер узла типа proc (он является следующим), который, в свою очередь, обязательно должен использовать параметр r=geo или r=dcr.

1.2.3 Команды управления узлами

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

Освобождение заблокированного узла – команда freed

Команда freed(n) предназначена для борьбы с блокировкой. Она срабатывает в соответствии со следующей логикой. 

Допустим, что в узле delet с номером n "застрял" транзакт. Текущий транзакт, который проходит через функцию freed, мгновенно генерирует вспомогательный транзакт и направляет его в узел n. Этот вспомогательный транзакт "выталкивает" застрявший, приводит delet в нормальное состояние, а сам погибает. Факт посещения вспомогательным транзактом фиксируется в delet и отражается на статистических результатах, но время его жизни равно нулю. Застрявший транзакт будет направлен в следующий за delet узел. 

Перенастройка постоянного генератора ag – команда cheg

Команда cheg(n,p,r,m,s,n) предназначена для настройки генератора с номером n на новые значения параметров. Такая перенастройка произойдет "мгновенно" – в смысле модельного времени. Все параметры этой команды имеют то же назначение, что и параметры настройки генератора ag (символическое имя генератора в команде не указывается).

Управление клапаном key – команды hold и rels

Команды hold(n) и rels(n) предназначены для управления клапаном с номером n из любых других узлов. После выполнения hold клапан принимает состояние "закрыт", если до этого он был открыт. Соответственно, после rels клапан перейдет в состояние "открыт", если до этого он был в запертом состоянии.

Привязка транзакта или узла к точке пространства – команды sewt и sewk

Команда sewt(x) помещает текущий транзакт в точку пространства, имеющую номер х (т.е. приписывает ему координаты этой точки путем занесения значения х в параметр транзакта t->tх). Команда sewk(x,i) помещает узел с номером i в точку пространства, имеющую номер х (т.е. приписывает узлу координаты этой точки, записывая значение х в параметр узла k->kх).

1.2.4 Параметры транзактов

Транзакты имеют параметры, некоторые из которых доступны пользователю. Обращение к параметру транзакта возможно только в момент его входа в узел модели и производится  через системную переменную t, являющуюся именем входящего в узел транзакта.

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

t->iu0, t->iu1, t->iu2, t->iu3 – произвольные целочисленные параметры пользователя (используются для хранения информации о состоянии транзакта); 

t->ru0, t->ru1, t->ru2, t->ru3 – произвольные параметры пользователя, имеющие вид переменной с плавающей точкой;

t->ga – признак обслуживания транзакта вновь, который устанавливается операцией присваивания eму глобальной константы again, как это было показано при рассмотрении функции serv;

t->pr – приоритет транзакта;

t->ft – номер семейства, к которому принадлежит  транзакт;

t->tx – этот параметр запоминает номер (индекс) точки пространства. Номер точки позволяет определить ее координаты в массивах lat и lon.

Изменять, не опасаясь непредсказуемого поведения модели, можно только t->iu0, 
t->iu1, t->iu2, t->iu3, t->ru0, t->ru1, t->ru2, t->ru3, t->ga и, иногда, t->pr и t->ft. Изменение других параметров следует доверить только ПИЛИГРИМу.

1.2.5 Параметры состояния узлов

Некоторые параметры узлов доступны пользователю для анализа (но не для их изменения). Параметры содержатся в системном массиве addr. Доступ к параметру осуществляется с помощью выражения вида:

addr [<n>] - > <параметр>,  где <n> – номер узла в модели.  

Имена и назначения параметров узлов приведены в таблице 1.

Таблица 1 – имена и значения параметров

Имя

Назначение параметра

nc	

Число каналов в узле

na	

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

tn

Число транзактов, находящихся в узле  на данный момент модельного времени

ts	

Среднее время обслуживания,  подсчитанное  на данный момент.

op	

Признак состояния узла типа key. Это целочисленная переменная, принимающая значение глобальной константы true, если клапан открыт, или false, если он закрыт

se	

Признак состояния узла типа delet. Это целочисленная переменная, принимающая значение  глобальной константы nil, если в узле нет уничтожающего транзакта

kx	

Номер (индекс) точки, в которой находится узел типа creat, delet или proc. По номеру точки определяются ее координаты в массивах lat и lon.

saldo, defic

Остаток и дефицит средств на бухгалтерском счете, связанном с узлом типа send.

rsal, rdef

Остаток и дефицит ресурса на складе, связанном с узлом типа attach.

Для анализа параметров любого узла можно использовать его номер <n>. Например, если транзакту необходимо проанализировать состояние узла типа delet, имеющего номер 5, и, в случае отсутствия уничтожающего транзакта, выполнить какой-то оператор, он должен пройти через следующее выражение:

	if (addr[5]->se == nil)

		<оператор>;

причем сам транзакт в это время находится в произвольном узле. Следует отметить, что возможны пробные обращения координатора network к ветви top(<n>): в смысле передачи управления, но не ввода транзакта в узел. Факт входа транзакта фиксируется в глобальной переменной go и автоматически анализируется всеми функциями ПИЛИГРИМа. Поэтому еще раз необходимо обратить внимание на то, что поток управлений в программе и поток транзактов в модели - это разные явления.

1.2.6 Датчики случайных (псевдослучайных) величин

Часто в процессе моделирования возникает необходимость получить случайную величину в формате float, распределенную по какому-либо закону. В системе PILGRIM есть стандартные 32-разрядные датчики псевдослучайных величин. В каждом узле есть свой датчик, независимый от датчиков других узлов. Связь с этими датчиками осуществляется с помощью следующих функций:

normal(m,s); – нормальный закон распределения;

expont(m); – экспоненциальный закон;

unifrm(m,s); – равномерный закон на отрезке [m-s,m+s];

rundum(); – равномерный закон на отрезке [0,1];

erlang(m,s); – обобщенный закон Эрланга;

triplex(m,s,o); – закон -распределения,

где  m – мaтематическое ожидание ( normal, expont, unifrm);

	 – математическое ожидание величины одного элемента (erlang);

	 – минимальное значение (triplex);

         s – cpeднeквадратичное oтклонение (normal);

	– мaкcимальное oтклoнeниe (unifrm);

	– zero (expont);

	– наиболее вероятное значение (triplex);

	– количество отрезков(erlang), s > 0;

        o – максимальное значение (triplex).

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

Табличные результаты моделирования

Таблица результатов моделирования имеет следующий вид:



*-----------------------------------------------------------------------------*

|  ВРЕМЯ МОДЕЛИРОВАНИЯ: 501.58                                  Лист: 1       |

|-----------------------------------------------------------------------------|

|    |      |    |Загруз-|         |   2     |       |    |    |              |

| No | Тип  |Точ-| ка, % |  M [t]  |  C [t]  |Счeтчик|Кол.|Оcт.|Состояние узла|

|узла| узла | ка |Путь,км| среднее | вариация| входов|кан.| тр.| в этот момент|

|-----------------------------------------------------------------------------|

|    |      |    |       |         |         |       |    |    |              |

|   1  queue  нет     нет      1.79      4.50     142    1    1        открыт |

|   2   serv  нет %= 55.6      5.17      1.09     141    2    0        открыт |

|   3   term  нет     нет      7.96      0.79      96    0    0        открыт |

|   4   term  нет     нет      5.02      0.66      45    0    0        открыт |

|   5     ag  нет     нет      5.18      0.17      97    1    1        открыт |

|   6     ag  нет     нет     10.71      0.83      46    1    1        открыт |

*-----------------------------------------------------------------------------*

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


2 Практическая часть

2.1 Задание

Система обработки информации содержит мультиплексный канал и три мини-ЭВМ. Сигналы от датчиков поступают на вход канала через интервалы 10 + 5 мкс. В канале они буферируются и предварительно обрабатываются в течение 10 + 3 мкс. Затем они поступают на обработку  в мини-ЭВМ, где имеется наименьшая по длине входная очередь. Емкости входных накопителей во всех мини-ЭВМ рассчитаны на хранение величин 10 сигналов. Время обработки сигнала в любой мини-ЭВМ равно 33 мкс. Смоделировать процесс обработки 500 сигналов, поступающих с датчиков. 

2.2 Построение графа модели

Для начала работы необходимо найти на диске папку Gem и запустить файл Gem.exe. В меню «Файл» выбрать пункт «Создать» и развернуть рабочую плоскость на весь экран. С помощью палитры объектов построить граф модели на рабочей плоскости в соответствии с рисунком 1. 



Рисунок 1 - Граф модели на рабочей плоскости

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

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

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

2.3 Инициализация модели

Для инициализации модели необходимо нажать кнопку ModBeg (Model Begin) под палитрой объектов. 

В строке «Название» нужно ввести имя модели, которое будет указано в таблице результатов моделирования – Система обработки информации.

В строке «Узлы» автоматически показывается номер последнего узла модели -118 

В строке «Время» необходимо указать длительность периода моделирования (16500).

В качестве единичного отрезка разумно принять минимальный отрезок времени, который будет использоваться при задании параметров модели - в микросекундах (в соответствии с рисунком 2).



Рисунок 2 – Инициализация модели

В строке «ПСЧ» указывается начальное значение для генератора псевдослучайных чисел, необходимых для имитации случайных процессов. Автоматически для этого используется показание компьютерного таймера. 

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

Строки «Задержка» и «Поток» предназначены для задания номеров контролируемых узлов: очереди (узел «Queue») и терминатора (узел «Term») соответственно. Для указанных узлов в процессе моделирования будут строиться графики времени задержки (очередь) и динамики выходного потока (терминатор). График времени задержки показывает среднее значение времени ожидания транзакта в очереди в каждый единичный отрезок модельного времени. График динамики потока показывает число транзактов, попавших в терминатор в единицу модельного времени (то есть интенсивность выходного потока заявок в моделируемой системе).

В строке «Точность» можно выбрать необходимое число знаков после десятичной точки в таблице результатов моделирования. 

В окне «Начальный С++ текст» при необходимости переопределяются имена параметров транзактов и задаются числовые константы. 

Окно инициализации ресурсов предназначено для задания начального состояния узлов, которые в данной модели не используются. 

2.4 Описание узлов модели

2.4.1 Очередь

В очередях сигналы накапливаются до 10 сигналов и затем отправляются на обработку в мини-ЭВМ (в соответствии с рисунком 3)



Рисунок 3 – Свойства узла Queue

2.4.2 Серверы 

Первый сервер – сигналы буферируются и предварительно обрабатываются в соответствии с рисунком 4.

Остальные сервера предназначены для обработки накопленных сигналов. Как только число сигналов становится равным 10 начинается обработка.



Рисунок 4 – Свойства узла Serv (первичная регулировка)

В очередях заданий необходимо установить флаг учета приоритета транзактов (значение "prty"), в параметрах серверов так же нужно задать флаг учитывания приоритетов транзактов (значение "abs"), а также установиться закон распределения и время обработки  в соответствии с рисунком 5.



Рисунок 5 – Детализация узла Serv 

2.4.3 Генератор (датчик, мини-ЭВМ)

Описание генератора похоже на описание серверов в соответствии с рисунками 6,7. Здесь необходимо задать интервал времени поступления каналов на вход и время обработки.



Рисунок 6 – Свойства узла AG (датчик)

По условию от датчиков поступают на вход канала сигналы через интервалы 10+ 5мкс.



Рисунок 7 – Детализация узла AG (датчик)

Значение параметра 3 остаются нулевыми.

2.4.4 Ключ 

В данной модели ключ используется для регулирования поступления сигналов, в соответствии с рисунком 8.



Рисунок 8 – Свойства узла KEY 

2.4.5 Терминатор

Для описания терминаторов необходимо задать только логическое имя узла. Никаких дополнительных действий в данной модели с ними не связано, в соответствии с рисунком 9.



Рисунок 9 – Свойства узла Terminator

2.5 Сохранение модели

После того, как граф модели построен, и все узлы полностью описаны, модель необходимо сохранить в графическом формате. Для этого в меню «Файл» нужно выбрать пункт «Сохранить», затем выбрать адрес сохранения на диске и ввести имя файла. Расширение .pgf (pilgrim graphic file) будет подставлено автоматически.

2.6 Генерация программы

Если сохранение модели в графическом формате был успешно выполнено, нужно в меню «Выполнить» выбрать пункт «Генерировать С++ файл». В указанной  пользователем папке будет создан файл PILGRIM-программы с расширением .cpp (имя также вводится пользователем). Тест программы приведен в Приложении А.

Заключение

В данной курсовой работе были рассмотрены основные принципы моделирования в системе Pilgrim.

Изучены основные инструментальные средства, такие как транзакты, узлы, события, модельный таймер.

Рассмотрены основные типы узлов (Ag, Key, Serv, Creat и т.д.)

В рамках проекта была смоделирована система обработки информации.




Приложение А. Листинг программы



#include <Pilgrim.h>

 

 

forward

{

 int fw;

 

 modbeg("Система обработки информации", 119, 16500, (long)time(NULL), none, none, none,none, 2);

 ag("Датчик",  101, none, norm, 10, 5, zero, 102);

 network(dummy, dummy)

 {

  top(102): 

        queue("Очередь", prty, 103);

             place;

 

  top(103): 

        if( addr[5]->tn<=addr[4]->tn && addr[5]->tn<=addr[6]-> )

             {

              fw=117;

             }

            else

             if( addr[6]->tn<=addr[5]->tn && addr[6]->tn<=addr[4]-> )

             {

              fw=118;

             }

            else

             {

              fw=116;

             }

             serv("Сервер", 3, abs, norm, 10, 3, zero, fw);

             place;

 

  top(104): 

       if addr[4]->tn==10 hold(116)

        queue("Очередь", prty, 113);

             place;

 

  top(105): 

       if addr[5]->tn==10 hold(117)

        queue("Очередь", prty, 114);

             place;

 

  top(106): 

       if addr[6]->tn==10 hold(118)

        queue("Очередь", prty, 115);

             place;

 

  top(110): 

        term("мини-ЭВМ 1");

             place;

 

  top(111): 

        term("мини-ЭВМ 2");

             place;

 

  top(112): 

        term("мини-ЭВМ 3");

             place;

 

  top(113): 

       if addr[4]->tn<10 rels(116)

        serv("Сервер", 1, abs, none, 33, zero, zero, 110);

             place;

 

  top(114): 

       if addr[5]->tn<10 rels(117)

        serv("Сервер", 1, abs, none, 33, zero, zero, 111);

             place;

 

  top(115): 

       if addr[6]->tn<10 rels(118)

        serv("Сервер", 1, abs, none, 33, zero, zero, 112);

             place;

 

  top(116): 

        key("Ключ 1", 104);

             place;

 

  top(117): 

        key("Ключ 2", 105);

             place;

 

  top(118): 

        key("Ключ 3", 106);

             place;

 

  fault(123);

 }

 modend("pilgrim.rep", 1, 8, page);

 return 0;

}







2