математическое моделирование. Т 1 МАТ. Моделирование. Литература по теме 197 Вопрос Узловые операторы. 201 Вопрос Текст программной модели смо. 202 Вопрос Сборка и запуск исполнительного модуля модели. 205
 Скачать 1.51 Mb.
|
|
parent. Этот узел не выполняет никаких действий по обработке транзакта и при генерации программного кода просто заменяется своей декомпозицией. В случаях, когда необходимо осуществить декомпозицию процессов с возможностью многократного использования детального описания процесса используются узлы типа pay, rent, down. С их помощью можно создать унифицированные фрагменты модели, которые могут использоваться узлами вышележащей плоскости модели. Вопросы для самопроверки: В чем состоит основное назначение конструктора Gem? Какая методология положена в основу конструктора Gem? Какие модели можно строить с помощью конструктора Gem? Что такое декомпозиция? Какие существуют разновидности декомпозиции? Какую декомпозицию можно провести с помощью узла parent? Какую декомпозицию можно провести с помощью узлов типа pay, rent, down? Литература по теме: 1. Емельянов А.А., Власова Е.А., Дума Р.В. Имитационное моделирование экономических процессов / Под ред. А.А. Емельянова. - М.: Финансы и статистика, 2009. - 480 с. Тема 12. Средства и приемы создания имитационных моделей Цели изучения темы: познакомиться с понятием и примерами замкнутой системы; получить представление о методике и приемах создания моделей замкнутой системы. Задачи изучения темы: изучить определение замкнутой системы; рассмотреть задачу моделирования замкнутой системы на примере корпоративной информационной системы; познакомиться с приемами, применяемыми для создания моделей замкнутых систем; освоить приемы сбора данных с помощью имитационной модели. Успешно изучив тему, Вы: получите представление о: том, что называется замкнутой системой; почему важно знать способы построения моделей замкнутых систем; способах инициализации моделируемых процессов; способах отладки имитационной модели; будете знать: типовые схемы «зарядки» моделей замкнутых систем; узлы и сигнальные функции системы Pilgrim, применяемые в схемах «зарядки» моделей замкнутых систем; приемы моделирования на примере модели корпоративной информационной системы. Вопросы темы: Моделирование замкнутых систем. Определение нестандартных выходных параметров. Отладка модели. Получение гистограмм. Вопрос 1. Моделирование замкнутых систем. Под моделью замкнутой системы понимается модель, в которой транзакты, будучи единожды сгенерированы, циркулируют в пределах графа модели, не погибая в терминаторах. Такой моделью, например, может быть модель работы, группы пользователей корпоративной информационной системы с компьютерной сетью в диалоговом режиме. Транзакт в этом случае имитирует запрос пользователя. Выйдя из узла, имитирующего работу пользователя, транзакт проходит по графу модели, имитируя обработку в системе, возвращается к пользователю (узел), имитируя сформированный ответ, после чего вновь преобразуется в запрос того же пользователя. Моделировать каждый новый запрос отдельным транзактом нельзя, так как нельзя рассчитать заранее время обработки запроса системой (это случайная величина) и, следовательно, нельзя задать частоту генератора. В этом случае модель может быть построена следующим образом: Пользователи (или группы пользователей, в зависимости от сложности моделируемой системы) представляются одно- или многоканальными узлами типа serv (серверы). Число каналов сервера соответствует числу пользователей, время обработки транзакта сервером соответствует времени подготовки пользователями запроса. Конкретное состояние транзакта (запрос - ответ) фиксируется значением одного из его параметров. Для зарядки транзактами серверов пользователей, принадлежащих к одному классу, используется единственный генератор, порождающий всего один транзакт. Далее транзакты размножаются с помощью узлов типа creat. В этом графе каждый пользователь имитируется одним узлом модели типа serv. Текст программы на языке Pilgrim будет выглядеть так: Так, если требуется смоделировать работу за терминалами (клиентскими компьютерами) нескольких пользователей, причем работа каждого пользователя описывается своими временными характеристиками, то это может быть сделано следующим образом (рис. 45):  Рис. 45. Схема «зарядки» замкнутой модели ag («Старт»,1,none, nonej^zero^ero^); top (2): creat («Размножитель», none, Users, none, 4, 3); place; top (3): term («Терминатор»); cheg (1, none, none, modtime, zero, zero,3); place; top (4): t->ft = addr[4]->na + 5; t->ru0 = Think_time [addr[4]->na]; t->ru1 = Query_time [addr[4]->na]; queue («Распределитель», none, t->ft) ; place; Значения переменных Users, modtime задают соответственно число пользователей и время моделирования, массивы Thinktime и Querytime среднее время обдумывания пользователем запроса и среднее время реакции системы на запрос (значения могут устанавливаться в начале программы вместе с описаниями переменных). Конструкция реализует следующую последовательность инициализирующих действий. Запрос, сгенерированный узлом ag (узел 1), попадает в узел creat (узел 2), который генерирует Users транзактов (по числу пользователей), не присваивая им номер семейства. Далее эти транзакты попадают в очередь (узел 4), где каждому из них присваивается свой номер семейства, равный номеру сервера, в который этот транзакт должен будет попасть после выхода из узла 2. Присваивание производится с помощью системной переменной addr[4]->na, в которой в каждый момент модельного времени хранится значение числа транзактов, прошедших через узел (в данном примере, через узел 4). Таким образом будет обеспечено автоматическое присвоению системной переменной) t- >ft нужной последовательности номеров узлов-приемников. В параметр транзакта t->ru0 заносится значение среднего времени задержки в сервере, моделирующем работу пользователя. Этот параметр используется при описании серверов пользователей (узлы с номерами из диапазона [5, Users + 4], где Users - число серверов). Кроме того, в параметр транзакта t->ru1 заносится значение среднего времени задержки запроса (обработки) в сервере, моделирующем процессор системы. Транзакт, вышедший из узла ag и покинувший узел 2, переходит далее в терминатор (узел 3). В этом узле он инициирует выполнение сигнальной функции cheg, которая переустанавливает параметр узла ag, задающей средний интервал между двумя генерируемыми транзактами в modtime (что, по сути, означает отключение узла ag), и уничтожается. Вопрос 2. Определение нестандартных выходных параметров. В ряде моделей помимо выходных данных, собираемых автоматически системой Pilgrim относительно каждого из узлов графа модели, необходимо оценить также и ряд других. В частности, для систем замкнутого типа может представлять интерес время реакции моделируемой системы на пользовательский запрос. Наиболее информативным описанием случайной величины (каковой является в данном примере время реакции), как это известно из теории вероятностей, является ее распределение. Однако во многих случаях оказывается вполне достаточно ограничиться выяснением среднего значения (математического ожидания) этого параметра. Для оценивания среднего времени реакции системы на пользовательский запрос в замкнутой системе можно воспользоваться такими приемами. 1) Значение среднего времени реакции Т можно рассчитать на  creat )  Конкретный пользователь |