Методика построения имитационных моделей с применением больших массивов данных на основе интеграции IDEF3-, OLAP-, GPSS-технологий

• Автор: Жевнерчук, Дмитрий Валерьевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Ижевск
• Количество страниц: 0 с. : 208 ил.

ОГЛАВЛЕНИЕ

ОСНОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ.

ВВЕДЕНИЕ

1 СУЩЕСТВУЮЩИЕ ПОДХОДЫ К ПОСТРОЕНИЮ

ИМИТАЦИОННЫХ МОДЕЛЕЙ .

1Л Способы описания дискретных систем.

1.2 Языки имитационного моделирования.

1.3 Среды имитационного моделирования

1.4 Методы оценки адекватности имитационных моделей.

1.5 Проблемы автоматизации построения имитационных моделей .

2 МЕТОДИКА ПОСТРОЕНИЯ ИМИТАЦИОННЫХ МОДЕЛЕЙ С ИСПОЛЬЗОВАНИЕМ БОЛЬШИХ МАССИВОВ ДАННЫХ МПМ
2.1 Этапы МПМ .
2.2 Имитационная модель в формате 13
2.3 Преобразование имитационных моделей между 13 и
2.4 Подготовка хранилища статистических данных функционирования реальной системы
2.5 структуры функционирования реальных систем и построение оценки адекватности модели
Выводы.
3 ПРОГРАММЫЙ КОМПЛЕКС ПОСТРОЕНИЯ ИМИТАЦИОННЫХ МОДЕЛЕЙ ПК
3.1 Структура ПК.
3.2 Решение по комплексу программных и технических средств.
3.3 Промежуточная база данных
3.4 Хранилище данных статистики функционирования реальной системы .
3.5 пакеты передачи в хранилище данных.
3.6 клиент проверки адекватности ИМ.
3.7 Файловый состав ПК
Выводы
4. ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ МЕТОДИК МПМ .
4.1 Постановка задачи эксперимента
4.2 Законы распределения процессов поступления транзактов
и их обслуживания
4.3 13 и модели производственной системы
4.4 Оценка адекватности имитационной модели производственной системы
Выводы.
ВЫВОДЫ.
ЛИТЕРАТУРА


Специализированный язык (SlMulation SCRIPT) [5,0] предназначен только для дискретных систем. Разработчики языка SIMSCRIPT исходили из того, что каждая модель, состоит из элементов, с которыми происходят события, представляющие собой последовательность предложений, изменяющих состояние моделируемой системы в различные моменты времени. Каждая группа строк напоминает подпрограмму на ФОРТРАНе. ENDOFEVENT. COUSE). Каждое событие удаляет себя из системы оператором DESTROY. Если одно событие обеспечивает возникновение другого, то оно должно передать ему свой атрибут, что выполняется оператором STORE. Конец подпрограммы обозначается оператором END. Команды языка SIMSCRIPT группируются следующим образом: операции над временными объектами, арифметические и логические операции и команды управления, команды ввода-вывода, специальные команды обработки результатов. К центральным понятиям языка SIMSCRIPT относятся обработка списков с компонентами, определяемыми пользователем, и последовательность событий в системном времени. При этом имеются специальные языковые средства для работы с множествами. Процессно-ориентированный язык SIMULA (SIMUlation LAnguage) -описывает системы, поведение которых определяется ходом процесса. Под процессом понимается последовательность действий, связь между которыми устанавливается с помощью набора специальных отношений. Динамика заложена в независимо управляемых программах, которые в совокупности составляют программу процесса. В SIMULA осуществляется блочное представление моделируемой системы, с использованием понятия процесса для формализации элементов, на которые разбивается моделируемая система. Процесс задается набором признаков, характеризующих его структуру, и программой функционирования. Функционирование каждого процесса разбивается на этапы, протекающие в системном времени [5,7,0]. Главная роль в языке SIMULA отводится понятию параллельного оперирования с процессами в системном времени, а также универсальной обработке списков с процессами в роли компонент. Специальные языковые средства предусмотрены для манипуляций с упорядоченными множествами процессов. Язык GASP (General Activity Simulation Program) написан на языке FORTRAN и предназначен для дискретно-непрерывного моделирования [5,7]. При моделировании на языке GASP состояние модели системы описывают набором переменных, некоторые из которых непрерывно изменяются во времени. Законы изменения непрерывных компонентов заложены в структуру, объединяющую дифференциальные уравнения и условия относительно переменных. События первого типа наступают в результате выполнения условий, относящихся к законам изменения непрерывных переменных. Для событий второго типа процесс моделирования состоит в продвижении системного времени от момента наступления события до следующего аналогичного момента. События приводят к изменениям состояния модели системы и законов изменения непрерывных компонентов. При использовании языка GASP на пользователя возлагается работа по составлению на языке FORTRAN подпрограмм, в которых он описывает условия наступления событий, зависящих от процесса функционирования системы, законы изменения непрерывных переменных, а также правила перехода из одного состояния в другое. Язык SLAM И (Simulation Language for Alternative Modeling) [, 5], разработанный А. Притцкером в году, реализован на алгоритмическом языке Фортран. SLAMII позволяет разрабатывать имитационные модели на основе трех различных методологических подходов. Он включает средства графического описания сетевых моделей, которые легко транслируются во входные операторы непосредственно для машинной обработки, и, кроме того, он определяет структуру дискретно-событийных и непрерывных имитационных моделей и содержит подпрограммы, обеспечивающие их построение. Язык SLAM обеспечивает исследователя разнообразным набором средств и для создания дискретно-событийных и непрерывных имитационных моделей. Однако наибольшими возможностями при моделировании сложных систем обладают комбинированные сетевые дискретно-событийные и сетевые дискретно-непрерывные имитационные модели.