
- •Введение. Формализация и алгоритмизация процессов функционирования систем
- •Лекция 1. Математические схемы моделирования систем
- •Непрерывно-детерминированные модели
- •1.2 Дискретно-детерминированные модели
- •1.3 Дискретно-стохастические модели
- •1.4 Непрерывно-стохастические модели
- •1.5 Сетевые модели
- •1.6 Модели сетевого планирования и управления (спу)
- •1.7 Комбинированные модели (a-схемы)
- •Лекция 2. Имитационное моделирование процессов.
- •2.1 Способы рандомизации
- •Мультипликативным методом
- •Правила разыгрывания случайных величин и случайных событий
- •2.3 Расчет систем массового обслуживания с отказами методом Монте-Карло
- •Лекция 3. Обработка результатов статистического моделирования
- •3.1 Построение регрессионной модели
- •3.2 Оценка адекватности и точности модели
- •Задачи для самостоятельного решения
- •Непрерывные детерминированные модели (d-схемы)
- •2 Дискретные детерминированные модели (f-схемы)
- •3 Дискретные стохастические модели (р-схемы)
- •4 Непрерывные стохастические модели (q-схемы)
- •5Сетевые модели (n-схемы)
- •6 Модели календарного планирования
- •7 Имитационные модели
- •Контрольные вопросы
- •Литература, рекомендованная для изучения курса «Моделирование систем»
Министерство образования и науки Российской Федерации
Адыгейский государственный университет
Кафедра АСОИУ
С.А. Коржакова
Моделирование систем
Учебное пособие для студентов очной и заочной формы обучения
по специальности 23. 01. 02 - Автоматизированные системы
обработки информации и управления
Майкоп
2010
ББК 681.5 (075.8)
УДК 32.965 я 73
К 66
Печатается по решению редакционно-издательского совета Адыгейского государственного университета
Рецензенты: заведующая кафедрой экономики и управления Адыгейского государственного университета, д.э.н., профессор Е.Н. Захарова,
заведующий кафедрой компьютерных технологий и систем Кубанского государственного аграрного университета, д.т.н., профессор В.И. Лойко
Коржакова С.А.
Моделирование систем. Учебное пособие для студентов инженерных специальностей.- Майкоп: «Изд-во АГУ», 2010.- 92 с.
Пособие содержит краткий курс лекций по моделированию систем и задачи для самостоятельного решения, предусмотренные государственным стандартом для инженерных специальностей вузов, предназначается для студентов вузов инженерных специальностей.
ВВЕДЕНИЕ. ФОРМАЛИЗАЦИЯ И АЛГОРИТМИЗАЦИЯ ПРОЦЕССОВ ФУНКЦИОНИРОВАНИЯ СИСТЕМ 4
7
Лекция 1. МАТЕМАТИЧЕСКИЕ СХЕМЫ МОДЕЛИРОВАНИЯ СИСТЕМ 9
1.1 Непрерывно-детерминированные модели 11
1.2 Дискретно-детерминированные модели 14
1.3 Дискретно-стохастические модели 16
1.4 Непрерывно-стохастические модели 19
1.5 Сетевые модели 30
36
1.6 Модели сетевого планирования и управления (СПУ) 37
1.7 Комбинированные модели (A-схемы) 43
Лекция 2. ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ ПРОЦЕССОВ. 47
2.1 Способы рандомизации 47
2.2 Правила разыгрывания случайных величин и случайных событий 51
2.3 Расчет систем массового обслуживания с отказами методом Монте-Карло 53
Лекция 3. ОБРАБОТКА РЕЗУЛЬТАТОВ СТАТИСТИЧЕСКОГО 61
МОДЕЛИРОВАНИЯ 61
61
3.1 Построение регрессионной модели 61
3.2 Оценка адекватности и точности модели 64
ЗАДАЧИ ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ 66
Контрольные вопросы 88
Литература, рекомендованная для изучения курса «Моделирование систем» 91
Введение. Формализация и алгоритмизация процессов функционирования систем
Модель – это компоненты и функции, отражающие существенные свойства объекта или процесса.
Моделирование – это процесс замещения объекта исследования некоторым образом – моделью с целью получения необходимой информации об объекте.
Моделирование с использованием средств вычислительной техники позволяет исследовать явления, протекающие в реальном объекте с большими или малыми скоростями, так как существует возможность растянуть или сжать реальное время, используя системное время. Машинное моделирование позволяет автоматизировать процессы принятия решений объекта.
Основные требования к модели М системы S:
Полнота модели обеспечивает получение набора оценок характеристик системы с требуемой точностью и достоверностью.
Гибкость модели позволяет варьировать структуру параметры системы.
Минимальная длительность разработки и реализации модели.
Блочный (модульный) характер структуры модели позволяет менять части модели.
Информационное обеспечение позволяет использовать базы данных систем определенного класса.
Программные и технические средства обеспечивают эффективную (по памяти и быстродействию машинную реализацию)
Этапы моделирования систем:
I Построение концептуальной модели системы и ее формализация
1. Постановка задачи машинного моделирования системы.
2. Анализ задачи моделирования системы:
Выбор критериев оценки эффективности процесса функционирования системы.
Определение эндогенных и экзогенных переменных модели.
Выбор возможных методов идентификации.
Выполнение предварительного анализа алгоритмизации модели системы и ее машинной реализации.
Выполнение предварительного анализа получения и интерпретации результатов моделирования.
3. Определение требований к исходной информации об объекте моделирования и организация ее сбора.
а) Выбор необходимой информации о системе и внешней среде.
b) Подготовка априорных данных.
c) Анализ имеющихся экспериментальных данных.
d) Выбор методов и средств предварительной обработки информации о системе.
4. Выдвижение гипотез и принятие предположений.
5. Определение параметров и переменных модели.
Определение и краткая характеристика каждого параметра и переменной.
Символ обозначения и единица измерения.
Диапазон изменения.
Место применения в модели.
Установление основного содержания модели.
Формулировка задачи моделирования системы.
Структура системы, алгоритмы ее поведения, воздействия внешней среды.
Возможные методы и средства решения задачи.
Обоснование критериев оценки эффективности системы.
Определение процедур аппроксимации (вероятностной, детерминированной).
Описание концептуальной модели системы.
Описание модели в абстрактных терминах и понятиях.
Описание модели с использованием типовых математических схем.
Принятие окончательных гипотез и предположений.
Обоснование выбора процедуры аппроксимации реальных процессов при построении модели.
Проверка достоверности концептуальной модели.
Проверка замысла модели.
Оценка достоверности исходной информации.
Рассмотрение постановки задачи моделирования.
Анализ принятых аппроксимаций.
Исследование гипотез и предположений.
Составление технической документации по первому этапу (с подробным описанием подэтапов I).
II. Алгоритмизация модели системы и ее машинная реализация.
Построение логической схемы модели по блочному принципу.
Получение математических соотношений в виде явных функций, то есть построение аналитических моделей.
Проверка достоверности модели системы:
проверка возможности решения поставленной задачи;
проверка точности отражения замысла в логической схеме;
проверка полноты логической схемы модели;
проверка правильности используемых математических соотношений.
Выбор инструментальных средств моделировании (типа вычислительной техники: ЭВМ, АВМ, ГВК) и программного обеспечения.
Составление плана работ по программированию:
выбор языка программирования;
выбор необходимых устройств;
оценка примерного объема необходимой оперативной и внешней памяти;
ориентировочные затраты машинного времени на моделирование;
предполагаемые затраты времени на программирование и отладку.
Спецификация и построение схемы программы:
формализованное представление требований к программе;
построение схемы программы с учетом особенностей выбранного для реализации модели языка.
Верификация и проверка достоверности схемы программы:
доказательство того, что схема программы и ее поведение соответствует ее спецификации;
проверка адекватности, соответствия каждой операции в схеме программы аналогичной ей операции в логической схеме модели;
Проведение программирования модели.
Проверка достоверности программы:
обратный перевод программы в исходную схему;
проверка отдельных частей программы при решении тестовых задач;
проверка программы в целом на контрольном примере.
Составление технической документации по второму этапу:
логическая схема программы;
полный текст программы;
инструкция по работе с программой;
оценка затрат машинного времени, требуемых ресурсов ЭВМ.
III. Получение и интерпретация результатов.
Планирование машинного эксперимента с моделью системы.
При стратегическом планировании ставится задача построения оптимального плана для достижения цели, поставленной перед моделированием.
При тактическом планировании преследуются частные цели оптимальной реализации конкретного эксперимента из множества.
Определение требований к вычислительным средствам (составление сетевого графика работ на одной или нескольких ЭВМ, локальной или глобальной сети).
Проведение рабочих расчетов:
подготовка наборов исходных данных для ввода в ЭВМ;
проверка исходных данных;
проведение расчетов на ЭВМ:
- контрольных (для проверки модели и определения чувствительности результатов к изменению данных);
- рабочих;
получение выходных данных.
Анализ результатов моделирование системы.
Представление результатов моделирования в форме таблиц, графиков, диаграмм, схем.
Интерпретация результатов моделирования (переход от информации, полученной в результате машинного эксперимента с моделью, к информации об объекте моделирования).
Подведение итогов моделирования и выдача рекомендаций (проведена проверка гипотез, сформированы выводы и рекомендации по практическому использованию результатов на этапе проектирования систем).
Составление технической документации:
план проведения машинного эксперимента;
наборы исходных данных моделирования;
результаты моделирования системы;
анализ и оценка результатов моделирования;
выводы по полученным результатам;
пути дальнейшего совершенствования машинной модели и возможные области ее приложения. [18]
Логику последовательности этапов моделирования систем отобразим на рис.1.
1
.5 1.11 3.1
1.7
2.1
2.10
1
.6 1.8 1.9 1.10 2.2 2.3 2.6 2.7 2.8 2.9 3.3
3 .4
1.3 1.4 2.4 2.5
3.2
3.8 3.7 3.6 3.5
Рисунок 1 - Схема взаимосвязи этапов моделирования систем
Схема построения машинной модели с помощью программного генератора специальной программы, воспринимающей описание модели M в простой форме и создающей эквивалентную программу на языке имитационного моделирования или на языке общего назначения представлена на рис.2 [18]:
Рисунок 2 - Алгоритм построения машинной модели