математическое моделирование. Т 1 МАТ. Моделирование. Литература по теме 197 Вопрос Узловые операторы. 201 Вопрос Текст программной модели смо. 202 Вопрос Сборка и запуск исполнительного модуля модели. 205
 Скачать 1.51 Mb.
|
|
Тема 9. Моделирующие комплексы Цели изучения темы: изучить сущность подхода на основе методологии имитационного моделирования к анализу и синтезу информационных процессов и систем. Задачи изучения темы: изучить сущность и границы применимости метода статистических испытаний; изучить основные принципы компьютерной имитации стохастических процессов; понять возможности моделирующих комплексов для создания и применения имитационных моделей. Успешно изучив тему, Вы: получите представление о: когда применяется и как практически реализуется модель на основе метода статистических испытаний; принципах построения и механизме программной имитации стохастических процессов; будете знать: как можно создавать модели с помощью систем имитационного моделирования; из чего состоят и как следует анализировать результаты прогонов программной модели. Вопросы темы: Создание имитационных моделей с помощью систем моделирования. Конструкционные элементы модели системы Pilgrim. Средства описания модели в системе Pilgrim. Вопрос 1. Создание имитационных моделей с помощью систем моделирования. Имитационную модель нужно создавать. Для этого необходимо специальное программное обеспечение - система моделирования (simulation system). Специфика такой системы определяется технологией работы, набором языковых средств, сервисных программ и приемов моделирования. Имитационная модель должна отражать большое число параметров, логику и закономерности поведения моделируемого объекта во времени (временная динамика) и в пространстве (пространственная динамика). Моделирование объектов экономики связано с понятием финансовой динамики объекта. Имитационное моделирование представляет собой процесс, реализуемый с помощью средств вычислительной техники, позволяющий автоматизировать решение таких задач как: Создание или модификация имитационной модели. Проведение модельных экспериментов и интерпретация получаемых результатов. В случаях разработки сложных моделей, предназначенных для проведения большого объема экспериментов, для решения этих задач используются моделирующие комплексы (системы). К числу основных требований, предъявляемых к моделирующим системам, относятся следующие: Рациональный состав функциональных возможностей, обеспечивающий баланс между высокой эффективностью разработки моделей, с одной стороны, и простотой овладения этими функциями пользователями системы, с другой стороны. Открытость системы с точки зрения возможностей подключения других ресурсов (в частности, результаты моделирования, используемые для принятия управленческих решений, могут передаваться из моделирующей системы в базы данных экономической информационной системы, например, через интерфейс ODBC - если моделирование проводится в среде Windows - либо в процессе моделирования обращаться к данным, хранящимся в базе данных). Оптимальный баланс между уровнем общности используемых в системе средств, обеспечивающих сокращение времени разработки модели, и универсальностью в смысле возможности использования системы для разработки моделей достаточно широкого класса. Экономическая целесообразность, означающая, что эффект от применения системы к решению практических задач в течение периода ее промышленной эксплуатации существенно превысит затраты на создание системы, ее сопровождение и освоение пользователями. С началом развития средств вычислительной техники и обусловленным им прогрессом теории и практики имитационного моделирования создано более 300 языков моделирования дискретных систем и процессов. Примером одной из наиболее старых систем моделирования является система GPSS, которая была разработана сотрудником компании IBM Джеффри Гордоном в 1961 году (он же был и создателем описанного выше событийного алгоритма). Система и по сей день остается в числе наиболее распространенных и в своей несколько усеченной версии доступна для свободного применения. Другой распространенной в России системой является система Pilgrim, представляющая собой программный продукт, созданный на объектно-ориентированной основе и учитывающий основные достоинства ряда других моделирующих систем. К достоинствам системы следует отнести: Возможность имитации в одной модели процессов, связанных с движением материальных, информационных и финансовых потоков; Наличие развитой CASE-оболочки, позволяющей конструировать многоуровневые модели в режиме структурного системного анализа; Наличие интерфейсов с базами данных; Возможность для конечного пользователя моделей непосредственно анализировать результаты благодаря формализованной технологии создания функциональных окон наблюдения за моделью с помощью Visual C++, Delphi или других средств; Возможность управления моделями непосредственно в процесс выполнения с помощью специальных окон диалога. С помощью системы Pilgrim можно создавать дискретно- непрерывные модели. Разрабатываемые модели обладают свойством коллективного управления процессом моделирования. В текст модели можно вставлять блоки на языке C++. Различные версии этой системы работали на IBM-совместимых и DEC-совместимых компьютерах под операционными системами семейств Unix или Windows. Система Pilgrim обладает свойством мобильности, т.е. переноса на любую другую платформу при наличии компилятора C++. Поскольку выполняемый код модели в системе Pilgrim является результатом компиляции описания модели, то программные модели отличаются высоким быстродействием. Это позволяет эффективно их применять для решения задач оценивания, принятия управленческих решений и адаптивного выбора вариантов. Полученный в результате компиляции объектный код можно встраивать в программные комплексы или применять на любом объекте, так как для запусков разработанных программных моделей средства системы Pilgrim не требуются. Рассматриваемые далее подходы и методические приемы ориентированы на систему Pilgrim, однако в полной мере сохраняют свою общность и могут использоваться в других моделирующих системах. Вопрос 2. Конструкционные элементы модели системы Pilgrim. Для построения моделей в системе Pilgrim используются следующие концептуальные и конструкционные элементы. Граф модели. Структурной средой протекания всех моделируемых процессов, независимо от количества уровней структурного анализа, является ориентированный граф. Транзакт Представляет собой формальный запрос на какое-либо обслуживание. Транзакт в отличие от обычных заявок, которые рассматривались при анализе модели массового обслуживания в теме по стохастическим системам, имеет набор динамически изменяющихся свойств и параметров. Транзакт является динамической единицей любой модели, работающей под управлением имитатора, и может выполнять следующие действия: порождать группы (семейства) других транзактов; поглощать другие транзакты конкретного семейства; захватывать ресурсы, использовать их в течение некоторого времени, а затем - освобождать; определять времена обслуживания, накапливать информацию о пройденном пути и иметь информацию о своем дальнейшем пути и о путях других транзактов. К основным параметрам транзактов относятся: уникальный идентификатор транзакта; идентификатор (номер) семейства, к которому принадлежит транзакт; наборы различных ресурсов, которые транзакт может захватывать и использовать какое-то время; время жизни транзакта; приоритет - неотрицательное число; чем больше приоритет, тем приоритетнее транзакт (например, в очереди); параметры обслуживания в каком-либо обслуживающем устройстве (включая вероятностные характеристики). Транзактами могут быть: требование на перечисление денег; заказ услуг в какой-либо компании; телеграмма, поступающая на узел коммутации сообщений; сигнал о загрязнении какого-либо пункта местности; приказ руководства; покупатель магазина; пассажир самолета; ожидающая анализа проба загрязнения почвы. Пути перемещении транзактов по графу стохастической сети определяются логикой функционирования компонентов модели в узлах сети. Узлы. Узлы графа модели представляют собой центры обслуживания транзактов (но необязательно массового обслуживания). В узлах транзакты могут задерживаться, обслуживаться, порождать семейства новых транзактов, уничтожать другие транзакты. С точки зрения вычислительных процессов в каждом узле порождается независимый процесс. Вычислительные процессы выполняются параллельно и координируют друг друга. Они протекают в едином модельном времени, в одном пространстве, учитывают временную, пространственную и финансовую динамику. В системе Pilgrim имеется 17 типов узлов, реализующих специальные функции обслуживания. Нумерация и присвоение имен узлам стохастической сети производится разработчиком модели. Транзакт всегда принадлежит одному из узлов графа и независимо от этого относится к определенной точке пространства или местности, координаты которой могут изменяться. Каждый узел имеет графическое обозначение, функциональное наименование, произвольный уникальный номер и произвольное название. Пути следования транзактов обозначаются дугами - сплошными линиями со сплошной стрелкой на одном конце. Возможные воздействия одних узлов на другие узлы изображаются пунктирными линиями со стрелкой на одном конце. Примерами узлов могут служить: счет бухгалтерского учета; бухгалтерия предприятия; производственный (ремонтный) участок; транспортное средство, которое перемещает ресурсы из одной точки пространства в другую; передвижная лаборатория; компьютерный центр коммутации сообщений (или пакетов сообщений); склад ресурсов. Событие. Событием называется факт выхода из узла одного транзакта. События всегда происходят в определенные моменты времени. Они могут быть связаны и с точкой пространства. Интервалы между двумя соседними событиями в модели - это, как правило, случайные величины. Так, если в момент времени t произошло какое-то событие, а в момент времени t+d должно произойти ближайшее следующее (но не обязательно в этом же узле) и если в модель включены непрерывные компоненты, то очевидно, что передать управление таким компонентам модели можно только на время в пределах интервала (t, t+d). Разработчик модели не может управлять событиями (например, из программы). Поэтому функция управления событиями отдана специальной управляющей программе - координатору, входящей в состав модели. Ресурс. Независимо от своей природы ресурс в процессе моделирования может характеризоваться тремя параметрами: мощностью, остатком и дефицитом. Мощность ресурса - это максимальное число ресурсных единиц, которые можно использовать для различных целей. Остаток ресурса - число незанятых на данный момент единиц, которые можно использовать для удовлетворения транзактов. Дефицит ресурса - количество единиц ресурса в суммарном запросе транзактов, стоящих в очереди к данному ресурсу. При решении задач динамического управления ресурсами можно выделить три основных типа ресурсов: материальные, информационные и денежные. Пространство. Географическое, декартова плоскость (можно ввести и другие). Узлы, транзакты и ресурсы могут быть привязаны к точкам пространства и перемещаться в нем. Граф модели включает следующие узлы (транзакты в имитационной модели означают запросы к системе массового обслуживания). Примером графа модели в системе Pilgrim может служить граф модели рассмотренной ранее одноканальной СМО с неограниченной очередью (рис. 24): AG101 Q102 S103  Рис. 24. Граф модели одноканальной СМО
I Пяч««1Ь 1
□ О £ Л □ □ 4D а
Вопрос 3. Средства описания модели в системе Pilgrim. Для автоматизации составления описания модели и получения на его основе исходного текста программной модели в моделирующей системе Pigrim предусмотрен специальный конструктор Gem. На рис. 25 показано окно конструктора с построенным в его рабочей плоскости графом модели СМО. е МйЛВед Moilt nil 11срсненннг Сион
Рис. 25. Граф модели СМО на рабочей плоскости конструктора Gem Рассмотрим основные возможности и правила работы с конструктором. Результаты проектирования/корректировки модели. Описание модели конструктор сохраняет в файле с расширением pgf (Pilgrim graf file), выполняя команду Сохранить (Сохранить как) меню Файл. Для законченной версии модели разработчик может сгенерировать программный файл модели с расширением cpp, который будет далее скомпилирован в среде Visual C++ и вместе с подключенными библиотеками и ресурсами Pilgrim использован для сборки исполнительного модуля программной модели. Файл с исходным текстом программы создается командой Генерировать С++-файл меню Выполнить. Установка параметров моделирования. Задание основных параметров модели производится с помощью инструмента ModBeg (рис. 26):  Рис. 26. Окно задания параметров моделирования В строку Название вводится имя модели, которое будет указано в таблице результатов моделирования. В строке Время указывается время моделирования. В строке ПСЧ указывается начальное значение для генератора псевдослучайных чисел, необходимых для имитации случайных процесов. По умолчанию в качестве начального значения берется показание компьютерного таймера. Строки Задержка и Поток предназначены для задания номеров контролируемых узлов: очереди (Queue) и терминатора (Term) соответственно. Для указанных узлов в процессе моделирования будут строиться графики времени задержки в узле типа Queue и динамики выходного потока в узле типа Term. В правой верхней части окна записывается начальный текст на С++, если он необходим. Программный текст делится на две части: начальный текст используется для подключения внешних библиотек и настройки глобальных параметров; текст инициализации ресурсов подготавливает параметры конкретных узлов типов attach и send. Другие поля окна позволяют редактировать переменные, стандартные для оператора modbeg. Описание выводного файла. Рис. 28. Окно задания переменных модели Параметры файла, содержащего результаты моделирования, задаются с помощью инструмента ModEnd (рис. 27):
Рис. 27. Окно задания параметров файла-отчета Определение переменных. При определении новой переменной модели (рис. 28) обязательными параметрами в окне ввода (вызывается с помощью инструмента Переменные на панели инструментов) являются имя и тип, значение пользователь может задавать или не задавать по своему усмотрению.  Построение графа модели. В процессе редактирования графа модели можно выполнять следующие действия: добавлять новые узлы; перемещать узлы в области построения; удалять существующие узлы; определять маршруты переходов транзактов. Для редактирования графа модели в конструкторе используется технология «перетаскивания и бросания» объекта, обозначающего тип требуемого узла или действия, из панели инструментов в область построения графа. Панель инструментов в левой части окна редактора содержит значки, обозначающие узлы системы. Изображения узлов перетаскиваются при нажатой левой кнопке мыши. На панели представлены группы узлов, поэтому в отдельных случаях (в тех, когда на панели указан другой класс узла) для указания класса узла потребуется выполнить дополнительное действие. Задать класс можно: Перетаскиванием графического символа какого-либо узла из группы на рабочую плоскость и последующим изменением свойства Класс узла (окно свойств может быть вызвано выбором опции Параметры контекстного меню, отображаемого нажатием правой клавиши мыши, или двойным щелчком левой кнопки по изображению узла). Например, узел term можно задать, поместив на рабочую плоскость узел ag и поменяв его класс со значения AG на значение Terminator. Одним или несколькими нажатиями клавиши под значком узла на панели инструментов до момента появления узла нужного класса. Узлы нумеруются автоматически (первая цифра номера означает номер плоскости, так как в системе Pilgrim есть возможность иерархического построения графа моделей. | |||||||||||||||||||||||||||||||||||||||||||