- •Ю. А. Кравченко cals- и case-технологии таганрог 2005
- •Оглавление
- •Часть 2
- •8.5. Упражнения к части 2……………………………………100
- •Часть 3
- •Глава 9. Подходы реорганизации
- •Глава 10. Определение необходимости
- •10.6. Упражнения к части 3…………………………………..129
- •Аббревиатура
- •Предисловие
- •Введение
- •Часть 1
- •Глава 1. Основы cals - технологий
- •1.1. Основы информационной интеграции
- •1.2. Информационная поддержка изделий
- •1.3. Электронный технический документ (этд)
- •1.5. Система менеджмента качества (смк)
- •1.6. Интегрированная логистическая поддержка (илп)
- •1.7. Нормативная база cals-технологий
- •Глава 2. Стандарт step
- •2.1. Принципы создания стандарта step
- •2.2. Основные компоненты step
- •2.3. Методология тестирования
- •2.4. Схема использования стандарта step
- •Глава 3. Язык описания данных express
- •3.1. Основы языка
- •3.2. Свойства языка express
- •3.3. Объектно-ориентированный подход
- •3.4. Компоненты языка
- •3.5. Типы данных
- •3.6. Понятия
- •3.7. Упражнения к части 1
- •Часть 2
- •Глава 4. Основы имитационного моделирования сложных динамических систем
- •4.1. Теория массового обслуживания
- •4.2. Имитационное моделирование смо
- •4.3. Событийный метод моделирования
- •4.4. Сети Петри
- •Глава 5. Основы сase-технологий
- •5.1. Эволюция case-средств
- •5.2. Case–модель жизненного цикла программного обеспечения
- •5.3. Состав, структура и особенности case-средств
- •5.4. Графические модели
- •5.5. Контроль ошибок
- •5.6. Организация репозитария
- •5.7. Поддержка процесса проектирования и разработки
- •Глава 6. Классификация case-средств
- •Глава 7. Основы проектирования информационных систем (ис)
- •7.1. Основы методологии и технологии
- •Глава 8. Структурный подход проектирования информационных систем (ис)
- •8.1. Основные принципы структурного подхода
- •8.2. Методология sadt
- •8.2.1. Иерархия диаграмм
- •8.2.2. Типы связей между функциями
- •8.3. Построение модели анализируемой ис
- •8.3.1. Внешние сущности
- •8.3.2. Системы и подсистемы
- •8.3.3. Процессы
- •8.3.4. Накопители данных
- •8.3.5. Потоки данных
- •8.3.6. Иерархия диаграмм потоков данных
- •8.4. Case-метод Баркера моделирования данных
- •Р ис. 41. Рекурсивная связь [1]
- •8.5. Упражнения к части 2
- •Часть 3
- •Глава 9. Подходы реорганизации деятельности предприятия
- •9.1. Методика bsp (Business System Planning)
- •9.2. Подход cpi / tqm
- •9.3. Требования смм (Capability Maturity Model)
- •Глава 10. Определение необходимости внедрения case-средств
- •10.1. Определение потребностей внедрения
- •10.2. Анализ существующих case-средств
- •10.3. Критерии успешного внедрения
- •10.4. Стратегии внедрения case-средств
- •10.5. Реализация пилотного проекта
- •10.5.1. Основные цели реализации
- •10.5.2. Характеристики пилотного проекта
- •10.5.3. Разработка пилотного проекта
- •10.5.4. Внедрение выбранного на основе пилотного проекта case - средства
- •10.5.5. Анализ результатов внедрения case-средств
- •10.6. Упражнения к части 3
- •Заключение
- •Контрольные вопросы
- •25. Контроль ошибок.
- •27. Поддержка процесса проектирования и разработки.
- •38. Методология sadt.
- •Библиографический список
4.2. Имитационное моделирование смо
Имитационные модели сложных систем состоят из источников входных заявок, устройств и накопителей, управляющих элементов (узлов).
Источник входного потока заявок представляет собой алгоритм, в соответствии с которым вычисляются моменты tk появления заявок на входе системы. Источники могут быть зависимыми и независимыми. В зависимых источниках моменты появления заявок связаны с наступлением определенных событий (приход другой заявки). Типичным независимым источником является алгоритм выработки значений tk случайной величины с заданным законом распределения.
В имитационной модели устройства представлены алгоритмами выработки значений интервалов обслуживания. Чаще всего это алгоритмы генерации случайных величин с заданным законом распределения.
Накопители моделируются алгоритмами определения объемов памяти, занимаемых заявками, приходящими на вход накопителя. Обычно объем памяти, занимаемый заявкой, вычисляется как значение случайной величины, закон и/или числовые характеристики распределения могут зависеть от типа заявки.
Узлы выполняют связующие, управляющие и вспомогательные функции в имитационной модели, служат для выбора направлений движения заявок, изменения их параметров и приоритета, разделения заявок на части, их объединения и т.п [7,12,13].
Каждому типу компонента имитационной модели, за исключением некоторых узлов, в программной системе соответствует определенная процедура. Тогда имитационную модель можно представить как алгоритм, состоящий из упорядоченных обращений к этим процедурам, отражающим поведение моделируемой системы.
4.3. Событийный метод моделирования
Рис. 11. Иллюстрация событийного метода
Сущность событийного метода (рис.11) заключается в отслеживании на модели последовательности событий в том же порядке, в каком они происходили бы в реальной системе. Вычисления выполняют только для тех моментов времени и тех частей (процедур) модели, к которым относятся совершаемые события. Поскольку изменения состояний в каждом такте обычно наблюдаются лишь у малой доли ОА, событийный метод может существенно ускорить моделирование по сравнению с пошаговым методом, в котором на каждом такте анализируются состояния всех элементов.
Схема реализации событийного метода имитационного моделирования может выглядеть так.
Работа начинается с обращения к моделям источников входных потоков. Такое обращение позволяет рассчитать момент генерации первой заявки. Этот момент вместе со ссылкой на заявку заносится в список будущих событий (СБС), а сведения о генерируемой заявке - в список заявок (СЗ). Запись в СЗ включает в себя имя заявки, значения ее параметров (атрибутов), место, занимаемое в данный момент в имитационной модели. В СБС события упорядочиваются по увеличению моментов наступления [7].
Потом из СБС выбирают совокупность сведений о событиях, относящихся к наиболее раннему моменту времени. Эта совокупность переносится в список текущих событий (СТС), из которого извлекаются ссылки на события. Обращение по ссылке к СЗ позволяет установить место в имитационной модели заявки 1, с которой связано моделируемое событие. Пусть этим местом является устройство X. Далее программа моделирования выполняет следующие действия (рис. 11):
1) изменяет параметры состояния устройства; например, если заявка 1 освобождает X, а очередь к Х не была пуста, то в соответствии с заданной дисциплиной обслуживания из очереди к Х выбирается заявка 2 и поступает на обслуживание в X;
2) прогнозируется время наступления следующего события, связанного с заявкой 2, путем обращения к модели устройства, в которой рассчитывается продолжительность обслуживания заявки 2; сведения об этом будущем событии заносятся в СБС и СЗ;
3) происходит имитация движения заявки в сетевой имитационной модели (СИМ) по маршруту, определяемому заданной программой моделирования, до тех пор, пока заявка не придет на вход некоторого ОА; здесь либо заявка задерживается в очереди, либо путем обращения к модели этого ОА прогнозируется наступление некоторого будущего события, связанного с дальнейшей судьбой заявки 1; сведения об этом будущем событии также заносятся в СБС и СЗ;
4) в файл статистики добавляются необходимые данные. После отработки всех событий, относящихся к моменту времени tk, происходит увеличение модельного времени до значения, соответствующего ближайшему будущему событию, и рассмотренный процесс имитации повторяется.