авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:   || 2 | 3 | 4 |
-- [ Страница 1 ] --

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

Государственное образовательное учреждение

Высшего профессионального образования

«Томский политехнический университет»

О. М. Замятина

МОДЕЛИРОВАНИЕ СИСТЕМ

Учебное пособие

0 True

Decide 1

Create 1 Process 1 Dispose 1 0 0 0 0 False Process 2 Dispose 2 0 0 Издательство ТПУ Томск 2009 УДК 681.3.06 ББК 32.973.2 Замятина О. М.

М 34 Моделирование систем: Учебное пособие. – Томск: Изд-во ТПУ, 2009. – 204 с.

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

Пособие подготовлено на кафедре оптимизации систем управления Томского политехнического университета, соответствует программе дисциплин: «Компьютерное моделирование», «Моделирование систем», «Реинжиниринг бизнес-процессов» и предназначено для студентов тех нических и экономических специальностей, а также для IT специалистов.

УДК 681.3. Рекомендовано к печати Редакционно-издательским советом Томского политехнического университета Рецензенты М. П. Силич – профессор кафедры автоматизации обработки информа ции Томского университета систем управления и ра диоэлектроники, доктор технических наук;

В. Г. Спицын – профессор кафедры вычислительной техники Томского политехнического университета, доктор технических наук;

А. В. Лиепиньш – начальник отдела технологического проектирования и СМК ОАО «ТомскНИПИнефть», кандидат техниче ских наук.

© Томский политехнический университет, Введение Данное учебное пособие ориентировано на студентов технических и экономических специальностей, в специализацию которых входят следующие курсы: «Компьютерное моделирование», «Моделирование систем», «Моделирование экономических процессов», «Математиче ское моделирование систем», «Моделирование и анализ бизнес процессов», «Реинжиниринг бизнес-процессов» и другие.

Учебное пособие «Моделирование систем» ориентировано на формирование у студентов навыков и знаний в теории моделирования систем и процессов различной природы с целью последующего их ана лиза и оптимизации с использованием современных компьютерных технологий.

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

Особое внимание в этом учебном пособие уделено концепции ARIS, которая за последние 5-10 лет приобретает все большую попу лярность. Рассмотрена теоретическая часть моделирования в ARIS, также приведен пример, который позволит более глубоко ознакомиться с этим аппаратом моделирования.

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

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

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

Автор выражает благодарность всем тем, кто принял участие в подготовке этого пособия, особенно Саночкиной Н. Г., совместная ра бота с которой принесла позитивные результаты, а также хочется выде лить студентов, которые участвовали в этом: Карпову Евгению, Магдик Татьяну и Нгуен Минь Ки.

От автора Ваши замечания, предложения и вопросы отправляйте по адресу электронной почты zamyatina@tpu.ru. Я буду рада узнать Ваше мнение!

1. Основные понятия теории моделирования 1.1. Модель и моделирование Слово «модель» (от лат. modelium) означает «мера», «способ», «сходство с какой-то вещью».

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

Модель – это объект или описание объекта, системы для замеще ния (при определенных условиях, предложениях, гипотезах) одной сис темы (т. е. оригинала) другой системой для лучшего изучения оригина ла или воспроизведения каких-либо его свойств [4, 24].

Модель – это результат отображения одной структуры (изучен ной) на другую (малоизученную). Любая модель строится и исследуется при определенных допущениях, гипотезах. Модель должна строиться так, чтобы она наиболее полно воспроизводила те качества объекта, ко торые необходимо изучить в соответствии с поставленной целью [17, 28]. Во всех отношениях модель должна быть проще объекта и удобнее его для изучения. Таким образом, для одного и того же объекта могут существовать различные модели, классы моделей, соответствующие различным целям его изучения. Необходимым условием моделирования является подобие объекта и его модели. В этом случае мы должны гово рить об адекватности модели объекту-оригиналу.

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

Под адекватной моделью понимается модель, которая с опреде ленной степенью приближения на уровне понимания моделируемой системы разработчиком модели отражает процесс ее функционирования во внешней среде. Под адекватностью (от лат. adaequatus – прирав ненный) будем понимать степень соответствия результатов, получен ных по разработанной модели, данным эксперимента или тестовой за дачи. Если система, для которой разрабатывается модель, существует, то сравнивают выходные данные модели и этой системы. В том случае, ко гда два набора данных оказываются подобными, модель существующей системы считается адекватной. Чем больше общего между сущест вующей системой и ее моделью, тем больше уверенность в правиль ности модели системы.

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

соответствует точности, требуемой техническим заданием.

Для моделей, предназначенных для приблизительных расчетов, удовлетворительной считается точность 10-15 %, а для моделей, пред назначенных для использования в управляющих и контролирующих системах, – 1-2 % [28].

Любая модель обладает следующими свойствами:

конечностью: модель отображает оригинал лишь в конечном числе его отношений;

упрощенностью: модель отображает только существенные сто роны объекта;

приблизительностью: действительность отображается моделью грубо или приблизительно;

адекватностью: модель успешно описывает моделируемую сис тему;

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

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

Моделирование базируется на математической теории подобия, согласно которой абсолютное подобие может иметь место лишь при за мене одного объекта другим, точно таким же. При моделировании большинства систем (за исключением, возможно, моделирования одних математических структур другими) абсолютное подобие невозможно, и основная цель моделирования – модель достаточно хорошо должна отображать функционирование моделируемой системы [2].

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

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

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

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

Это, как правило, прикладные модели.

Инструментальная модель – средство построения, исследования и/или использования прагматических и/или познавательных моделей.

Познавательные отражают существующие, а прагматические – хоть и не существующие, но желаемые и, возможно, исполнимые отно шения и связи.

Вся остальная классификация моделей выстраивается по отноше нию к объекту-оригиналу, методам изучения и т. п.

1.2.1. Классификация моделей по степени абстрагирования модели от оригинала По степени абстрагирования от оригинала (см. рис. 1.1) модели могут быть разделены на материальные (физические) и идеальные.

К материальным относятся такие способы, при которых исследование ведется на основе модели, воспроизводящей основные геометрические, физические, динамические и функциональные характеристики изучае мого объекта. Основными разновидностями физических моделей явля ются [17]:

натурные;

квазинатурные;

масштабные;

аналоговые.

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

другими словами, модель натурная, если она есть материальная копия объекта моделирования. На пример, глобус – натурная географическая модель земного шара.

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

Рис. 1.1. Схема классификации моделей по степени абстрагирования от объекта-оригинала Масштабные модели – это системы той же физической природы, что и оригинал, но отличающиеся от него размерами. В основе масштаб ных моделей лежит математический аппарат теории подобия, который предусматривает соблюдение геометрического подобия оригинала и мо дели и соответствующих масштабов для их параметров. Примером мас штабного моделирования являются любые разработки макетов домов, а порой и целых районов при проведении проектных работ при строитель стве. Также масштабное моделирование используется при проектировании крупных объектов в самолетостроении и кораблестроении.

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

Идеальное моделирование носит теоретический характер. Разли чают два типа идеального моделирования: интуитивное и знаковое.

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

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

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

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

Модель графическая, – если она представима геометрическими образами и объектами, например, макет дома является натурной гео метрической моделью строящегося дома.

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

Классификация математических моделей Математические модели классифицируются:

– по принадлежности к иерархическому уровню;

– характеру отображаемых свойств объекта;

– способу представления свойств объекта;

– способу получения модели;

– форме представления свойств объекта.

• По принадлежности к иерархическому уровню математиче ские модели делятся на модели микроуровня, макроуровня, метауровня (см. рис. 1.2).

Математические модели на микроуровне процесса отражают фи зические процессы, протекающие, например, при резании металлов.

Они описывают процессы на уровне перехода (прохода).

Математические модели на макроуровне процесса описывают технологические процессы.

Математические модели на метауровне процесса описывают тех нологические системы (участки, цехи, предприятие в целом).

Рис. 1.2. Схема классификации математических моделей по принадлежности к иерархическому уровню • По характеру отображаемых свойств объекта модели мож но классифицировать на структурные и функциональные (рис. 1.3).

Математическая модель Структурная Функциональная Сетевая Иерархическая Рис. 1.3. Схема классификации математических моделей по характеру отображаемых свойств объекта Модель структурная, – если она представима структурой данных или структурами данных и отношениями между ними;

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

Модель иерархическая (древовидная), – если представима неко торой иерархической структурой (деревом);

например, для решения за дачи нахождения маршрута в дереве поиска можно построить древо видную модель, приведенную на рис. 1.4.

Рис. 1.4. Модель иерархической структуры Модель сетевая, – если она представима некоторой сетевой структурой. Например, строительство нового дома включает операции, приведенные в нижеследующей таблице. Эти операции можно предста вить в виде сетевой модели, приведенной на рис. 1.5 и в табл. 1.1.

Таблица 1. Таблица работ при строительстве дома Время Предшествующие Дуги № Операция выполнения операции графа (дни) 1 Расчистка участка 1 Нет – 2 Закладка фундамента 4 Расчистка участка (1) 1– 3 Возведение стен 4 Закладка фундамента (2) 2– 4 Монтаж 3 Возведение стен (3) 3– электропроводки 5 Штукатурные работы 4 Монтаж электропроводки (4) 4- 6 Благоустройство 6 Возведение стен (3) 3– территории 7 Отделочные работы 4 Штукатурные работы (5) 5– 8 Настил крыши 5 Возведение стен (3) 3– Рис. 1.5. Сетевой график строительства работ Модель функциональная, – если она представима в виде системы функциональных соотношений. Например, закон Ньютона и модель производства товаров – функциональные.

• По способу представления свойств объекта (рис. 1.6) модели делятся на аналитические, численные, алгоритмические и имитацион ные [18].

Рис. 1.6. Схема классификации математических моделей по способу представления свойств объекта Аналитические математические модели представляют собой яв ные математические выражения выходных параметров как функций от параметров входных и внутренних и имеют единственные решения при любых начальных условиях. Например, процесс резания (точения) с точки зрения действующих сил представляет собой аналитическую модель. Также квадратное уравнение, имеющее одно или несколько ре шений, будет аналитической моделью.

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

Модель алгоритмическая, – если она описана некоторым алго ритмом или комплексом алгоритмов, определяющим ее функциониро вание и развитие. Введение данного типа моделей (действительно, ка жется, что любая модель может быть представлена алгоритмом её ис следования) вполне обосновано, т. к. не все модели могут быть исследо ваны или реализованы алгоритмически. Например, моделью вычисле ния суммы бесконечного убывающего ряда чисел может служить алго ритм вычисления конечной суммы ряда до некоторой заданной степени точности. Алгоритмической моделью корня квадратного из числа Х мо жет служить алгоритм вычисления его приближенного, сколь угодно точного значения по известной рекуррентной формуле.

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

• По способу получения модели делятся на теоретические и эм пирические (рис. 1.7).

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

Математическая модель Теоритическая Эмпиритическая Рис. 1.7. Схема классификации математических моделей по способу получения модели Эмпирические математические модели создаются в результате проведения экспериментов (изучения внешних проявлений свойств объ екта с помощью измерения его параметров на входе и выходе) и обра ботки их результатов методами математической статистики.

• По форме представления свойств объекта модели делятся на логические, теоретико-множественные и графовые (рис. 1.8).

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

Модель теоретико-множественная, – если она представима с помощью некоторых множеств и отношений принадлежности к ним и между ними.

Модель графовая, – если она представима графом или графами и отношениями между ними.

Рис. 1.8. Схема классификации математических моделей по форме представления свойств объекта 1.2.2. Классификация моделей по степени устойчивости Все модели могут быть разделены на устойчивые и неустойчивые (см. рис. 1.9).

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

Рис. 1.9. Схема классификации математических моделей по устойчивости В неустойчивой системе, находящейся первоначально в состоя нии покоя, возникшее возмущение усиливается, вызывая увеличение значений соответствующих переменных или их колебания с возрастаю щей амплитудой.

1.2.3. Классификация моделей по отношению к внешним факторам По отношению к внешним факторам модели могут быть разделе ны на открытые и замкнутые.

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

Модель, связанная с внешними (экзогенными) переменными, на зывается открытой.

1.2.4. Классификация моделей по отношению ко времени По отношению к временному фактору модели делятся на динами ческие и статические (рис. 1.10).

Рис. 1.10. Схема классификации математических моделей по отношению ко времени Модель называется статической, если среди параметров, участ вующих в ее описании, нет временного параметра. Статическая модель в каждый момент времени дает лишь «фотографию» системы, ее срез.

Одним из видов статических моделей являются структурные модели.

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

Во второй и третьей главе этого учебного пособия будут рассмат риваться методологии и средства компьютерного моделирования, по зволяющие разрабатывать статические и динамические модели. Вторая глава будет посвящена методологиям структурного анализа: IDEF0, IDEF3 и DFD.

Третья глава пособия позволит изучить имитационное моделиро вание систем на примере современного программного пакета Arena 7.0.

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

В такие моменты времени происходят события, которые изменяют со стояния системы.

1.3. Этапы разработки моделей В этой работе мы будем рассматривать процесс создания компью терной модели. Процесс моделирования имеет итерационный характер и проводится в рамках ранее сформулированных целей и с соблюдением границ моделирования. Построение начинается с изучения (обследова ния) реальной системы, ее внутренней структуры и содержания взаимо связей между ее элементами, а также внешних воздействий и заверша ется разработкой модели.

Моделирование – от постановки задачи до получения результатов – проходит следующие этапы:

I. Анализ требований и проектирование.

1. Постановка и анализ задачи и цели моделирования.

2. Сбор и анализ исходной информации об объекте моделиро вания.

3. Построение концептуальной модели.

4. Проверка достоверности концептуальной модели.

II. Разработка модели.

1. Выбор среды моделирования.

2. Составление логической модели.

3. Назначение свойств модулям модели.

4. Задание модельного времени.

5. Верификация модели.

III. Проведение эксперимента.

1. Запуск модели, прогон модели.

2. Варьирование параметров модели и сбор статистики.

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

IV. Подведение итогов моделирования согласно поставленной цели и задачи моделирования.

Схема этапов моделирования представлена на рис. 1.11.

Рис. 1.11. Схема создания модели Необходимо отметить, что при разработке конкретных моделей с определенными целями и границами моделирования необязательно все подэтапы должны выполняться. Например, при разработке статиче ских моделей IDEF0, DFD 3 и 4 подэтапы «Разработки модели» не вы полняются, т. к. эти методологии не предусматривают задание времен ных параметров модели.

На первом этапе моделирования – «Анализ требований и проек тирование» – формулируется концептуальная модель, строится ее формальная схема и решается вопрос об эффективности и целесообраз ности моделирования системы.

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

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

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

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

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

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

Существует два основных подхода к продвижению модельного времени: продвижение времени от события к событию и продвиже ние времени с постоянным шагом [14].

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

Рис. 1.12. Механизм продвижения модельного времени от события к событию При использовании продвижения времени от события к событию часы модельного времени в исходном состоянии устанавливаются в 0, и определяется время возникновения будущих событий. После этого ча сы модельного времени переходят на время возникновения ближайшего события, и в этот момент обновляются состояние системы, с учетом про изошедшего события, а также сведения о времени возникновения буду щих событий. Затем часы модельного времени продвигаются ко времени возникновения следующего нового ближайшего события, обновляется состояние системы и определяется время будущих событий и т. д. Про цесс продвижения модельного времени от времени возникновения од ного события ко времени возникновения другого продолжается до тех пор, пока не будет выполнено какое-либо условие останова, указанное заранее. Поскольку в дискретно-событийной имитационной модели все изменения происходят только во время возникновения событий, перио ды бездействия системы просто пропускаются, и часы переводятся со времени возникновения одного события на время возникновения друго го. При продвижении времени с постоянным шагом такие периоды без действия не пропускаются, что приводит к большим затратам компью терного времени. Следует отметить, что длительность интервала про движения модельного времени от одного события к другому может быть различной [14].

При продвижении времени с постоянным шагом t часы мо дельного времени продвигаются точно на t единиц времени для како го-либо соответствующего выбора значения t. После каждого обнов ления часов выполняется проверка, чтобы определить, произошли ка кие-либо события в течение предыдущего интервала времени t или нет. Если на этот интервал запланированы одно или несколько событий, считается, что данные события происходят в конце интервала, после че го состояние системы и статистические счетчики соответствующим об разом обновляются. Продвижение времени посредством постоянного шага показано на рис. 1.13, где изогнутые стрелки показывают продви жение часов модельного времени, а еi (i = 1, 2,...) – это действительное время возникновения события i любого типа, а не значение часов мо дельного времени. На интервале [0, t) событие происходит в момент времени е1, но оно рассматривается как произошедшее в момент време ни t. На интервале [t, 2t) события не происходят, но все же модель выполняет проверку, чтобы убедиться в этом. На интервале [2t, 3t) события происходят в моменты времени е2 и е3, однако считается, что они произошли в момент времени 3t и т. д. В ситуациях, когда принято считать, что два или несколько событий происходят в одно и то же вре мя, необходимо применение ряда правил, позволяющих определять, в каком порядке обрабатывать события. Таким образом, продвижение времени посредством постоянного шага имеет два недостатка: возник новение ошибок, связанных с обработкой событий в конце интервала, в течение которого они происходят, а также необходимость решать, какое событие обрабатывать первым, если события, в действительности про исходящие в разное время, рассматриваются как одновременные. По добного рода проблемы можно частично решить, сделав интервалы t менее продолжительными, но тогда возрастает число проверок возник новения событий, что приводит к увеличению времени выполнения за дачи. Принимая во внимание это обстоятельство, продвижение времени с помощью постоянного шага не используют в дискретно-событийных имитационных моделях, когда интервалы времени между последова тельными событиями могут значительно отличаться по своей продол жительности [14].

Рис. 1.13. Пример продвижения модельного времени посредством постоянного шага В основном этот подход предназначен для систем, в которых можно допустить, что все события в действительности происходят в один из момен тов п времени t (n = 0, 1, 2,...) для соответственно выбранного t. Так, в экономических системах данные часто предоставляются за годичные промежутки времени, поэтому естественно в имитационной модели установить продвижение времени с шагом, равным одному году. Сле дует заметить, что продвижение времени посредством постоянного ша га может быть выполнено с помощью механизма продвижения времени от события к событию, если планировать время возникновения собы тий через t единиц времени, т. е. данный подход является разновид ностью механизма продвижения времени от события к событию.

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

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

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

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

1.4. Современные средства моделирования, представленные на ИТ рынке 1.4.1. ARIS Toolset ARIS – это методология, или как называют авторы «концепция»

[35, 36], и базирующееся на ней семейство программных продуктов, разработанных компанией IDS Scheer AG (Германия) для структуриро ванного описания, анализа, последующего совершенствования бизнес процессов предприятия и управления ими, а также подготовки к вне дрению сложных информационных систем.

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

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

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

функциональные модели, содержащие иерархию целей, стоя щих перед аппаратом управления, с совокупностью деревьев функций, необходимых для достижения поставленных целей;

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

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

Семейство программных продуктов включает:

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

2. ARIS Easy Design – инструментальное средство для начинаю щих, предназначенное для разработки и реинжиниринга бизнес процессов.

3. Программный модуль ARIS Web Designer предназначен для разработки бизнес-процессов с использованием Интернет.

4. Программный продукт ARIS Server предназначен для сетевой инсталляции программных продуктов ARIS.

5. Программный модуль ARIS BSC предназначен для выполнения работ по стратегическому управлению компанией.

6. Программный модуль ARIS ABC (Activity Based Cost) предна значен для функционально-стоимостного анализа бизнес-процессов.

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

8. Программный модуль ARIS Web Publisher (работает с ARIS Toolset и ARIS Easy Design) предназначен для публикации информации о бизнес-процессах в Интернет.

9. Программный продукт ARIS Process Performance Manager пред назначен для измерения, анализа и оптимизации бизнес-процессов.

10. Программный продукт ARIS Quality Management Scout пред назначен для выполнения проектов по созданию системы управлению качеством.

11. Программный продукт ARIS Process Risk Scout используется для оценки рисков выполнения бизнес-процессов.

12. Для выполнения работ по внедрению процессно ориентированных решений на базе mySAP.com разработаны специаль ные версии основных программных продуктов семейства ARIS: ARIS Toolset for mySAP.com и ARIS Easy Design for mySAP.com.

Также ARIS имеет дополнительные модули-интерфейсы, обеспе чивающие интеграцию с системами Microsoft Project, ERwin, Designer/2000, IBM Flowmark (класс workflow), Staffware и т. д.

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

Стоимость Наименование Продукт Ежег. обновление ARIS ToolSet (проектирование и $ 9 600 $ 4 оптимизация – один пользователь) ARIS Easy Design (проектирование $ 8 820 $ 1 – 3 пользователя) ARIS ABC (ABC- анализ) $ 3 360 $ 1 ARIS Server $ 6 600 $ 3 ARIS Simulation $ 3 360 $ 3 Достоинством семейства программных продуктов ARIS является не высокие требования к аппаратному и программному обеспечению.

Аппаратное обеспечение: процессор Intel Pentium 166 МГц, 64 МБ ОП (рекомендуется 128 МБ), монитор с разрешением 640х480 (SVGA), цветов (рекомендуется 1024х768, не менее 256 цветов).

Программное обеспечение: операционная система: Windows 95/98/2000/NT V40+Service Pack 4+MS Y2K Patch, Service Pack 5 или 6а).

Документация по ARIS представляет собой инструкции по уста новке и началу эксплуатации, также документация доступна как по мощь online и на компакт-диске в форме текста подготовленного для печати.

1.4.2. ITHINK ITHINK представляет собой инструмент управления и планирова ния, является средством экспертного анализа ситуации, разработанный компанией High Performance Systems (США). Аналогом ITHINK являет ся программный продукт, предназначенный для составления графиче ских диаграмм, использующихся при анализе бизнес-ситуации, iDecide 2000.

В ITHINK реализованы идеи структурного проектирования Е. Йордана, структурного анализа Т. Де Марко, системного анализа С. Гейна и Т. Сарсона.

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

Модель в ITHINK создается путем отображения на экране моде лируемых объектов и взаимосвязей. Она выглядит как совокупность стандартных блоков, соединенных стрелками. Стандартные блоки име ются на выбор и могут быть перенесены в «окно» модели при помощи мыши. Стрелки указывают направление финансовых платежей и пото ков данных. Перестроение графической части модели приводит к изме нениям в ее программе и алгоритме. Таким образом, обеспечивается удобный эффект визуального моделирования данного программного па кета.

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

Система ITHINK позволяет решать следующие задачи системного анализа:

возможность разработки моделей разнообразных систем;

построение моделей систем средней сложности как совокупно сти простых;

определение механизма взаимодействия компонентов системы с целью поведенческого описания в терминах ее основных характери стик;

использование и разработка формальных эффективных проце дур имитации соответствующих поведенческих описаний для получе ния статистических оценок и определения качественных характери стик;

формирование процедур генерации представительных тестовых наборов, необходимых для исследования нетривиального поведения;

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

В ITHINK существует 4 основных стандартных блока: поток, кон вейер, накопитель, распределитель.

Модели инвестиционных операций ITHINK совместимы с любой экспертной системой или базой данной, поддерживающей режим DDE.

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

Система ITHINK отличается функциональной простотой и гармо ничностью. Пакет ITHINK не требует специальных навыков и владения сложными математическими методами. Также пакет ITHINK не требует больших затрат аппаратного обеспечения (процессор 486 или более мощный, 8 Мб RAM, Windows 95, наличие 13 Мб свободной памяти на жестком диске).

Стоимость Ithink 8.0 (HPS) равна $ 2750 по каталогу стоимости.

1.4.3. Powersim Studio Пакет PowerSim Studio создан и распространяется фирмой Powersim Software AS (Норвегия). Используемая методология построена на базе классических методов системной динамики, созданных Дж. Форрестером. Пакет является приложением таких известных сис тем, как SAP, SEM, BPS, но также может использоваться как автоном ное приложение. Пакет имеет развитые средства визуального програм мирования и различные расширенные возможности, в том числе встро енные блоки анализа рисков и оптимизации бизнес-процессов.

При разработке моделей используется визуальное программиро вание. Модель, включающая в себя различные элементы, строится на понятийном уровне. Разработчик располагает на экране элементы, соз дает связи между ними, вводит различные зависимости, создает вре менную динамику развития системы. В модель вводятся различные управляющие элементы. Система имеет развитые способы представле ния результатов моделирования: временные графики, таблицы, гисто граммы. Вид результатов может быть легко приведен к требуемому стандарту.

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

PowerSim позволяет моделировать как дискретные, так и непрерывные процессы.

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

Для решения задач не соответствующих встроенным возможно стям интеграции PowerSim, служит входящий в пакет поставки про граммного обеспечения (ПО) PowerSim Studio SDK – комплект для раз работки программного обеспечения. С его помощью в системы можно интегрировать программы на языках высокого уровня, вызывать модули PowerSim из различных приложений, организовывать связь модели с та кими информационными системами, как Oracle, SQL и другими.

Пакет PowerSim Studio имеет развитые средства использования внешних данных из информационной среды предприятия. Он имеет встроенные механизмы работы с обычными текстовыми файлами, фай лами Excel и хранилищами данных SAP BW. Использование расширен ных возможностей возможна интеграция пакета в любую информаци онную среду. Также пакет PowerSim Studio обладает мощным встроен ным оптимизатором PowerSim Solver 2.5.

Системы, построенные на базе моделей в среде PowerSim Studio, могут использоваться:

для создания единых производственно-экономических моделей предприятия;

для расчета различных производственных и экономических по казателей;

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

для анализа рисков;

для оптимизации деятельности предприятия;

для формирования оптимальной стратегии на различных гори зонтах планирования.

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

Пакет PowerSim Studio требует следующих параметров аппарат ного обеспечения: Microsoft Windows 2000, XP или более поздняя вер сия, минимум 64 Мб RAM, минимум 50 Мб свободного места на жест ком диске, Microsoft Internet Explorer 5.0, или более поздней версии.

Стоимость PowerSim Studio равна 4800 р. по каталогу стоимости.

1.4.4. Extend Extend – универсальный пакет имитационного моделирования процессов модернизации и обслуживания, разработанный компанией Imagine That, Inc. (США).

Пакет Extend имеет мощный графический интерфейс, позволяю щий создавать схемы процессов и производить имитационные экспери менты. Имеется возможность просмотра моделей в виде графиков, а также с использованием 2D и 3D анимации.

Некоторые возможности 3D-аниматора:

создание виртуальной среды, представляющей собой нужный процесс перехода 3D-изображения;

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

возможность использования встроенной библиотеки 3D объектов;

интеграция с созданной моделью.

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

Моделирование процессов в Extend требует частичного написания кода при задании свойств блоков (пакет Extend содержит внутренний язык для задания новых блоков). Данный пакет поддерживает импорт и экспорт данных с Microsoft Visio (импорт существующих деловых и технических чертежей, а также поддерживает возможность внесения технических чертежей в процесс имитационного моделирования).

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

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

Пакет Extend включает 5 типов элементов:

блоки (действия);

стрелки (пути перемещения динамических объектов (тэгов));

ромбы (разветвления путей);

очереди тэгов;

точки ввода тэгов в модель.

Необходимыми техническими затратами являются: процессор класса Intel Pentium – 90МГц, 64 Mб RAM (128 Мб рекомендуется), Мб свободного пространства на жестко диске, CD-ROM, Microsoft Windows Server 2003, XP, 2000, 98, ME (операционные системы должны поддерживать Microsoft.NET 2.0).

1.4.5. GPSS/H Фирма-разработчик:

GPSS/H – язык для моделирования дискретных систем, разрабо танный Wolverine Software (США). В основе этого программного про дукта лежит язык имитационного моделирования GPSS (General Purpose Simulating System – общецелевая система моделирования).

Основное назначение GPSS – это моделирование систем массово го обслуживания, хотя наличие дополнительных встроенных средств позволяет моделировать и некоторые другие системы (например, рас пределение ресурсов между потребителями). GPSS имеет блочную структуру и может быть легко приспособлен для структурно функционального моделирования не очень сложных систем.

Основными понятиями языка GPSS являются транзакт, блок и оператор. Транзакт GPSS – это динамический объект, под которым мо жет подразумеваться клиент, требование, вызов или заявка на обслужи вание прибором обслуживания. Транзакты в GPSS могут создаваться (вводиться), уничтожаться (выводиться), задерживаться, размножаться, сливаться, накапливаться и т. д. Блок GPSS представляет собой некото рый самостоятельный элемент моделируемой системы. Каждый блок реализует одну или несколько операций над транзактом, группой тран зактов или параметрами транзактов, а совокупность блоков составляет моделирующую программу.


Существующая сейчас версия содержит свыше 70 типов блоков, содержит управляющих операторов, позволяющих организацию циклов;

поддерживает представление времени как числа с плавающей запятой;

имеет графические средства манипулирования с блок-схемами и гибкий интерфейс связи с С++.

В 1980 году было представлено два программных пакета для ис пользования в GPSS/H, оба с возможностями анимации.

TESS – расширенная система моделирования для использования в компании Pritsker & Associates и авто симулятор AutoGram. Эти анима ционные пакеты стали неинтересны пользователям GPSS/H, с момента, когда Wolverine Software в 1990 году разработал собственный анимаци онный пакет Proof Animation. В авто симуляторе также была программа AutoMod – препроцессор для автоматической генерации текстов GPSS/H программ. В 80-е годы исследователи также использовали RESQ для быстрого ввода моделей GPSS/H (Mathewson, 1989). В году Элниски представил свою программу, ускоряющую ввод текстов моделей и оформленную, как оболочка GPSS/H, для прогона моделей на компьютерах типа IBM PC (Wolverine, 1993). В начале 90-х MOGUL от High Performance Software был использован для генерации GPSS/H ко дов при моделировании систем связи (Rodrigues, 1993).Также в начале 90-х фирма GfL из Аахена (Германия) реализовала GPSS/H EDITOR – ускоритель ввода GPSS/H программ в основном, простым нажатием на кнопки с текстом данных блоков, но без настоящего графического ин терфейса, т. е. без меню с символами блок диаграмм блоков (Knepper and Krnchen, 1993). Начиная с 1994 года, вместе с каждой версией GPSS/H Professional поставляется программа UniFit II, позволяющая пользователю подбирать наиболее подходящие вероятностные распре деления для своих данных. В середине 90-х была также разработана система SIMSTAT, которая читала и анализировала выходные данные GPSS/H (Crain, 1996).

GPSS/H достаточно прост в освоении, а наличие в нем функций, переменных, стандартных атрибутов, графики и статистических блоков существенно расширяет его возможности.

1.4.6. GPSS World GPSS World – самая современная версия GPSS для персональных ЭВМ и ОС Windows.

Система GPSS World – это мощная среда компьютерного модели рования общего назначения, разработанная для профессионалов в об ласти моделирования. Это комплексный моделирующий инструмент, охватывающий области как дискретного, так и непрерывного компью терного моделирования, обладающий высочайшим уровнем интерак тивности и визуального представления информации.

На уровне интерфейса GPSS World представляет собой реализа цию архитектуры «документ-вид», общей для всех приложений опера ционной системы Windows. Объекты могут быть открыты в нескольких окнах, изменены и сохранены на постоянных носителях информации.

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

GPSS World был разработан с целью достижения тесной интерактивно сти даже в многозадачной среде с использованием виртуальной памяти В GPSS World существует ряд анимационных возможностей. Уро вень их реализма изменяется от абстрактной визуализации, не требую щей никаких усилий, до высоко реалистических динамических изобра жений, включающих в себя сложные элементы, созданные пользовате лем.

GPSS World является объектно-ориентированным языком. Его возможности визуального представления информации позволяют на блюдать и фиксировать внутренние механизмы функционирования мо делей. Его интерактивность позволяет одновременно исследовать и управлять процессами моделирования. С помощью встроенных средств анализа данных можно легко вычислить доверительные интервалы и провести дисперсионный анализ. Кроме того, теперь есть возможность автоматически создавать и выполнять сложные отсеивающие и оптими зирующие эксперименты.

Возможности GPSS World:

объектно-ориентированный интерфейс пользователя, вклю чающий объекты: модель, процесс моделирования, отчет и текст;

высокопроизводительный транслятор моделей;

программные эксперименты с автоматическим анализом дан ных;

многозадачность позволяет совместно запускать несколько процессов моделирования и экспериментов;

сохранение и продолжение выполнения запущенных процессов моделирования;

использование механизма виртуальной памяти позволяет моде лям реально достигать размера миллиарда байт;

ввод/вывод во время выполнения процесса моделирования;

свыше 20 встроенных вероятностных распределений;

17 различных графических окон для наблюдения за выполняю щимся процессом моделирования;

автоматическое интегрирование обыкновенных дифференци альных уравнений любого порядка;

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

автоматические генераторы отсеивающих и оптимизирующих экспериментов;

пакетный режим с контролируемой процедурой выхода из при ложения;

диалоговые окна ввода блоков;

настраиваемые интервалы табуляции;

возможность динамического вызова функций из внешних фай лов.

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

Последняя версия GPSS включает в себя 53 типа блоков и 25 ко манд, а также более чем 35 системных числовых атрибутов, которые обеспечивают текущие переменные состояния, доступные в любом мес те модели.

Основными объектами GPSS являются: модель, процесс модели рования, отчет и текст.

GPSS World совместим с GPSS/PC и выдаёт результаты, которые статистически неотличимы от результатов, выдаваемых GPSS/PC. Этот уровень совместимости может быть достигнут исправлением некоторых отличий и запуском процесса моделирования.

Кроме того, доступен ещё более высокий уровень совместимости, называемый режимом совместимости с GPSS/PC. В большинстве случа ев можно достигнуть точного повторения результатов. Тем не менее, GPSS World использует новую исполняемую библиотеку. Применяемый в нём метод округления чисел с плавающей запятой немного отличается от используемого в GPSS/PC. Но даже в этом случае большинство мо делей GPSS/PC с небольшими изменениями могут давать идентичные результаты при выполнении под управлением коммерческой версии GPSS World в режиме совместимости с GPSS/PC.

1.4.7. SIMPROCESS SIMPROCESS – это иерархический пакет имитационного модели рования бизнес-процессов, который позволяет строить схему (карту) моделируемого процесса, поддерживает дискретно-событийное модели рование и функционально-стоимостный анализ с использованием АВС метода. Компания-разработчик SIMPROCESS –CACI Products Company (США).

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

SIMPROCESS поддерживает дискретно-событийное моделирова ние. Анимированный интерфейс позволяет визуализировать динамику моделирования «узких мест» в модели.

SIMPROCESS содержит следующие компоненты: процессы (Processes), подпроцессы (Alternative Sub-Processes), действия (Activities), сущности (Entities), ресурсы (Resources), соединители (Connectors), площадки (Pads).

SIMPROCESS требует частичного написания программного кода и поддерживает использование UML/XML технологии, XML/XRDL процессы, поддерживает диаграммы Dot, SOAP (Simple Object Acces Protocol), а также экспорт и импорт данных с ODBC и Java, Java RMI, C4ISR/DoDAF, TOGAF, 6 Sigma.

SIMPROCESS имеет модуль «дистанционного управления», с по мощью данной настройки, использующей Java в РМО технологии, по зволяет по желанию пользователя задать параметры метода, которые будут ссылаться на объект.

Необходимые технические затраты: Windows NT, 2000/XP, MGB минимум, 512 MGB рекомендовано, 50 MB размер файла 32.9 MB.

1.4.8. AllFusion Process Modeler (BPWin) AllFusion Process Modeler (ранее BPWin) – ведущий инструмент визуального моделирования бизнес-процессов не требующий написания программного кода, который дает возможность наглядно представить любую деятельность или структуру в виде модели, что позволяет опти мизировать работу организации, проверить ее на соответствие стандар там ISO 9000, спроектировать оргструктуру, снизить издержки, исклю чить ненужные операции, повысить гибкость и эффективность.

AllFusion Process Modeler, разработанный компанией Computer Associates (США), предлагается для использования компаниям, стремя щимся к оптимальности и эффективности собственного бизнеса или бизнеса заказчиков;

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

AllFusion Process Modeler обладает интуитивно-понятным графи ческим интерфейсом, быстро и легко осваивается, что позволяет сосре доточиться на анализе самой предметной области, не отвлекаясь на изу чение инструментальных средств. AllFusion Process Modeler помогает быстро создавать и анализировать модели с целью оптимизации дело вых и производственных процессов.

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

AllFusion Process Modeler – поддерживает сразу три стандартные нотации – IDEF0 (функциональное моделирование), DFD (моделирова ние потоков данных) и IDEF3 (моделирование потоков работ). Эти три основных ракурса позволяют комплексно описать предметную область.

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


Интегрирован с ERwin (для проектирования БД), Paradigm Plus (для моделирования компонентов ПО), со средством имитационного моделирования Arena;

с многочисленным ПО компании CA-Platinum.

При необходимости информация может быть экспортирована в другие приложения (например, в Microsoft Word или Excel).

AllFusion Process Modeler имеет широкий набор средств докумен тирования моделей, проектов и содержит собственный генератор отчё тов. Также AllFusion Process Modeler позволяет ведение библиотеки ти повых бизнес-моделей.

Необходимое аппаратное обеспечение: операционная система:

Windows 2000, XP или Server 2003 512 MB RAM 1024 MB RAM;

Linux (Red Hat 6.x through 8.x, или compatible) Intel x86. Увеличение объема RAM улучшает работу продукта.

Цены, на данный момент, различны на промежутке: $ 4 245 – $23 685. Относительно низкая стоимость, вероятно, связана с тем, что основные затраты на разработку требований к системе несет департа мент правительства США.

1.4.9. ProcessModel ProcessModel – это инструмент для визуализации, анализа и со вершенствования бизнес-процессов различных типов, включая обработ ку транзакций, обслуживание покупателей, производственные и сбо рочные операции, транспортные услуги и т. д., разработанный Process Model, Inc. (США).

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

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

ProcessModel позволяет реализовать следующие опции:

расписание работы персонала и график рабочего времени;

приоритетность и возможность прерывания задач;

возможность выбора различных методов управления;

планирование емкости операции или процесса;

возможность задания размера партии обработки;

расписание назначений;

определение последовательности работ;

производственное расписание;

повышение продуктивности;

сокращение цикла обработки;

снижение стоимости;

управление качеством;

анализ «узких мест»;

оценка стоимости по операциям и ресурсам;

расписание доступности ресурсов для перерывов в работе и простоев.

ProcessModel позволяет создавать иерархические модели для лучшей организации и управления большими проектами. Группы разра ботчиков могут создавать различные части сложной модели, а потом, объединив их, анализировать процесс целиком.

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

Основные блоки ProcessModeller: Activity shape (функция), Decision shape (условие), Links (соединительные линии (связи)) и Or-join (логическое ИЛИ), Split Worksteps (точка слияния), And-joins (логиче ское И).

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

ProcessModel обеспечивает поддержку связей между моделями и между объектами модели и Excel, Access, SQL и т. д., полная интегра ция с VBA (Visual BASIC for Application).

Вместе с мощной базовой программой, поставляются еще три до полнительных компонента: LIVE Animation (живая анимация), OneStep Modeling (моделирование за один шаг) и Visual Staffing (визуальная ра бота с ресурсами).

Для установки ProcessModelr на компьютер необходимо наличие платформы Microsoft Windows 2000 или Microsoft Windows XP Professional.

1.4.10. AnyLogic Компания-разработчик программного продукта AnyLogic являет ся Экс Джей Текнолоджис, динамично развивающаяся российская ком пания и один из немногих разработчиков коммерческого программного обеспечения для имитационного моделирования в России, имеющий дистрибьюторскую сеть по всему миру.

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

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

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

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

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

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

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

Построение модели в AnyLogic не требует написания программ ного кода, но если стандартных средств не хватает (или их использова ние неудобно), есть возможность использования языка Java. В простей шем случае, это сводится к описанию действий, совершаемых при пере ходе в другое состояние, срабатывании таймера или приходе сообще ния. Кроме того, можно добавлять собственный код на Java к активному объекту, а также использовать сторонние библиотеки. Это делает сис тему AnyLogic легко расширяемой.

Любой объект модели, разрабатываемой в AnyLogic, представля ется как класс Java, пользователь может добавить в модель свои классы, переопределять методы базовых классов, использовать базовые и разра ботать свои библиотеки классов и т. п. По модели, представленной в графическом редакторе, AnyLogic генерирует Java программу, с кото рой работает написанный на Java «движок». При построении модели в AnyLogic разработчик, фактически, создает Java-классы активных объ ектов и определяет отношения между ними. Во время выполнения мо дель представляет собой иерархию экземпляров активных объектов.

Собранная модель может работать локально, на одном компьютере, или же пользователь может одним кликом мыши построить Java-апплет, ко торый можно запустить под управлением браузера.

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

В AnyLogic существует возможность создания моделей архитек туры, что позволяет интегрировать их с офисным и корпоративным ПО, включая электронные таблицы, БД, ERP и CRM системы и модулями, написанными на других языках.

В системе AnyLogic введено понятие активного объекта – расши рение классических объектов, которые используются в объектно ориентированных языках программирования. Как и обычные объекты, активные объекты могут иметь свойства и методы. В AnyLogic актив ный объект может включать также другие элементы:

параметры – особые свойства, определяющие параметры моде ли;

внешние переменные – используются для связи двух активных объектов, когда изменение переменной в одном объекте автоматически меняет ее значение в другом;

порты – используются для обмена сообщениями между актив ными объектами;

стейтчарты (диаграммы состояний) – задают переходы между состояниями активных объектов;

таймеры – позволяют совершать периодические действия, зада вать временные задержки;

математические функции – задают функцию с использованием математических формул.

Необходимое аппаратное обеспечение: Windows 2000, Windows XP, SP4, Pentium 4, 512MB RAM.

Ценовая политика AnyLogic представлена в следующей таблице:

Наименование 1 лицензия 2 лицензии 3 лицензии AnyLogic 5.x.x Advanced 139 900 р. 214 700 р. 289 000 р.

Сервис поддержки (один год) 49 500 р. 69 900 р. 92 800 р.

Широкое распространение и активное использование AnyLogic в России, прежде всего, ограничено ценовой политикой компании- разра ботчика и уровнем использования моделирования в общем.

1.4.11. Witness Witness – программный продукт для моделирования производст венных систем, разработанный компанией Lanner (США).

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

Witness применяется для:

анализа входных данных и результатов экспериментальных данных;

для выявления правил и структуры данных;

для повышения точности моделей.

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

Данный пакет поддерживает блочное графическое моделирова ние. Witness включает более 50 стандартных блоков. Основные блоки Witness: детали, станки, буфера, работы.

В последних версиях Witness добавлен новый компонент модуля, который позволяет разрабатывать собственный код в Witness- модели, что позволяет не только обеспечить связь с запланированными COM библиотеками, но и автоматически создать функции в Witness для дос тупа к необходимым библиотекам.

Witness позволяет поддерживать связь баз данных (Oracle, SQL Server, Access и т. п.), имеет прямой доступ со всеми электронными таб лицами, за исключением форматов сообщений – XML, HTML. Полно стью интегрирован с 3D/VR views или Post Processed VR. Поддерживает связь с Microsoft Visio, обеспечивает спектр прямых графических реше ний CAD и многое другое.

Также Witness позволяет создавать отчеты (документацию) соз данных процессов.

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

1.4.12. Arena Arena, программный продукт, разработанный компанией Systems Modeling Corporation (США), предназначен для имитационного модели рования, позволяет создавать подвижные компьютерные модели, ис пользуя которые можно адекватно представить очень многие реальные системы. Первая версия системы была разработана в 1993 г.

Arena снабжена удобным объектно-ориентированным интерфей сом и обладает удивительными возможностями по адаптации к всевоз можным предметным областям. Система не требует написания про граммного кода и исключительно проста в использовании, но требует значительного времени для освоения и достаточно глубоких знаний теории вероятностей, мат. статистики, теории систем массового обслу живания и сетей Петри.

Для отображения результатов моделирования используется ани мационная система Cinema animation. Интерфейс Arena включает в себя всевозможные средства для работы с данными, в том числе электрон ные таблицы, базы данных, ODBC, OLE, поддержку формата DXF.

Система имитационного моделирования Arena включает:

двумерный графический редактор;

трехмерный графический редактор (пакет 3D player);

редакторы временных шаблонов и расписаний;

редактор символов и библиотека графических заготовок;

связь с библиотекой графических заготовок и буфером обмена Microsoft.

Область применения системы имитационного моделирования Arena:

службы работы с клиентами, управление внутренними бизнес процессами, такими как выполнение заказов, обслуживание или управ ление простыми производственными потоками;

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

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

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

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

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

эффективное средство пост-обработки, обеспечивающее воз можность создания и просмотра трехмерных анимаций существующих моделей Arena;

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

распространение моделей Arena для просмотра и проведения экспериментов.

Arena позволяет использовать дискретное, непрерывное, а также совмещенное дискретно-непрерывное моделирование.

Данный программный продукт поддерживает возможность взаи модействия с пакетом VBA Visual Basic for Applications корпорации Microsoft;

объектной моделью ActiveX для внешнего управления, дос тупом через ADO/ODBC к базам данных (Oracle, Access, Excel, SQL);

поддерживает импортирование файлов из пакета AutoCad (в формате dxf);

импортирование данных из пакета Visio;

импортирование данных из пакета Blue Pumpkin Workforce, коммуникация между отдельными процессами.

Arena включает 200 учебных пособий и библиотек SMART (в за висимости от версии), электронные руководства и универсальные встроенные справочные системы, базы знаний с web-интерфейсом.

При моделировании процессов и систем в Arena, используются три строительные панели:

1. Basic Process Panel – модули панели являются фундаментом для создаваемых моделей. Объекты данной панели инструментов состо ят из графических модулей: Create, Dispose, Process, Deeside, Separate, Batch, Assign, Record и модулей данных: Entity, Resource, Queue, Variable, Schedule, и Set.

2. Advanced Process Panel – панель усовершенствованных процес сов, позволяет моделировать более сложные процессы. Если в Basic Process Panel один модуль может быть наделен несколькими внутрен ними свойствами, то в Advanced Process эти свойства вынесены как са мостоятельные графические модули. Панель состоит из 13 графических модулей (Flowchart Modules): Delay, Dropoff, Hold, Match, Pickup, ReadWrite, Release, Remove, Seize, Search, Signal, Store, Unstore и семи модулей данных (Data Modules): Advanced Set Module, Expression, Fail ure, File, StateSet, Statistic и Storage.

3. Advanced Transfer Panel – панель процессов передачи, переме щения, содержит 17 графических модулей: Enter Module, Leave Module, Pick Station, Route, Station;

Access, Convey, Exit, Start, Stop;

Activate, Al locate, Free, Halt, Move, Request, Transport и пять модулей данных: Se quence, Conveyor, Segment, Transporter, Distance.

На данный момент ценовая стоимость различных версий системы имитационного моделирования Arena изменяется в пределах: $ 955 – $ 22 200.

В курсах «Компьютерное моделирование», «Моделирование и анализ сложных систем» и «Консалтинг при автоматизации предпри ятий» для обеспечения учебного процесса IT-специальностей факульте та автоматики и вычислительной техники Томского политехнического университета для обучения студентов моделированию и анализу про цессов и систем используются:

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

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

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

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

2. Программное средство статического моделирования процессов и систем AllFusion Process Modeler, как универсальный инструмент мо делирования, который наиболее часто используется бизнес-аналитиками при выполнении широкого спектра проектов с использованием трех наиболее распространенных методологий: IDEF0, DFD и IDEF3. Более подробно эти три методологии, представляющие основу этого про граммного пакета, будут рассмотрены во второй главе.

3. Программный пакет ARIS Toolset, его демо-версия использует ся в учебном процессе, как одно из молодых, но очень перспективных средств моделирования и анализа бизнес-процессов в контексте проек тов внедрения ERP-систем и других управленческих информационных систем. Более подробно концепция ARIS будет рассмотрена во второй главе.

1.5. Вопросы к главе 1. Что такое модель, и как Вы понимаете процесс моделирова ния?

2. Для чего и почему проводят моделирование реальных систем?

3. Приведите примеры различных классификаций моделей и на зовите параметры этой классификации.

4. Расскажите о классификации математических моделей.

5. Перечислите и опишите основные этапы процесса моделирова ния.

6. Что такое «модельное время»? Какие механизмы изменения модельного времени существуют?



Pages:   || 2 | 3 | 4 |
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.