- •Воронежский государственный технический университет
- •Утверждено Редакционно-издательским советом университета в качестве учебного пособия
- •Введение
- •2. Классификация видов моделирования систем
- •3. Основные математические методы моделирования информационных процессов и систем
- •3.1. Виды математических моделей
- •3.2. Структурные математические модели
- •3.3. Функциональные математические модели
- •3.3.1. Непрерывно-детерминированные модели
- •3.3.2. Непрерывно-стохастические модели
- •3.3.2.1. Анализ работы разомкнутых смо
- •3.3.2.2. Замкнутые смо
- •3.4. Моделирование дискретных систем
- •3.4.1. Конечные автоматы
- •3.4.2. Дискретно-детерминированные модели
- •3.4.3. Вероятностные автоматы
- •3.5. Сетевые модели. Сети Петри (n-схемы)
- •4. Имитационное моделирование информационных процессов
- •4.1. Организация статистического моделирования
- •4.2Моделирование случайной величины с заданным законом распределения
- •4.3 Моделирование равномерно распределенных на отрезке [a,b] случайных чисел
- •4.4. Моделирование показательно распределенных св
- •4.5. Моделирование нормально распределенных случайных чисел
- •4.6. Проверка качества случайных чисел по критерию
- •4.7. Точность статистических оценок
- •4.8. Аппроксимация результатов моделирования
- •5. Формализация и алгоритмизация процессов функционирования систем
- •5.1. Методика разработки и машинной реализации моделей систем
- •5.2. Построение концептуальных моделей систем и их формализация
- •5.3. Алгоритмизация моделей систем и их машинная реализация
- •6. Планирование имитационных моделй с экспериментами
- •6.1. Полный факторный эксперимент
- •6.2. Дробные реплики
- •6.3. Общая схема планирования эксперимента
- •6.3.1. "Крутое восхождение"
- •6.3.2. Этапы планирования эксперимента
- •6.4. Стратегическое планирование
- •6.5. Тактическое планирование
- •7. Оценка точности и достоверности результатов моделирования
- •7.1. Общие положения
- •7.2. Регрессионный анализ
- •7.3. Корреляционный анализ
- •7.4. Экспертные оценки
- •8. Инструментальные средства моделирования систем
- •8.1. Архитектура языков имитационного моделирования
- •8.2. Задание времени в машинной модели
- •8.3. Сравнительный анализ языков моделирования
- •8.4. Примеры прикладных пакетов моделирования и языков моделирования
- •9. Правила построения моделирующих алгоритмов и способы реализации моделей
- •10. Сетевые модели вычислительных систем
- •10.1. Определение: Сеть Петри
- •Объекты, образующие сеть Петри
- •2Расширенная входная Расширенная выходная
- •10.2. Маркировка сети Петри.
- •10.3. Пространство состояний сети Петри
- •10.4. Моделирование параллельных процессов.
- •10.5. Моделирование процессора с конвейерной обработкой
- •10.6. Кратные функциональные блоки компьютера
- •10.7. Сети Петри и программирование
- •10.8. Взаимно исключающие параллельные процессы
- •10.9. Анализ сетей Петри
- •10.10. Дерево достижимости сети Петри
- •В позицию может входить и выходить только одна дуга
- •11. Система имитационного моделирования gpss/pc
- •11.1. Назначение и основные возможности системы
- •11. 2. Состав системы моделирования gpss/pc
- •11.3. Структура операторов языка gpss/pc
- •11.4. Команды среды gpss/pc
- •11.5. Основные операторы языка gpss/pc
- •11.5.1. Начало gpss-модели
- •11.5.2. Комментарии в gpss/pc
- •11.5.3. Имитация потоков событий. Транзакты
- •11.5.4. Имитация типовых узлов смо
- •11.6. Информация о ходе моделирования
- •11.6.1. Окно данных
- •11.6.2. Окно блоков
- •11.6.3. Окно устройств
- •11.6.4. Окно многоканальных устройств
- •11.7. Информация о результатах моделирования
- •11.7.1. Файл результатов моделирования
- •11.7.2. Содержание результатов моделирования
- •11.9. Управление движением транзактов
- •11.10. Дополнительные средства сбора информации о модели
- •11.11. Стандартные числовые атрибуты
- •11.12. Выбор направления движения транзактов с использованием сча
- •11.13. Датчики случайных чисел в gpss/pc
- •11.14. Функции в gpss/pc
- •11.14.1. Дискретные функции
- •11.14.2. Непрерывные функции
- •11.15. Переменные в gpss/pc
- •11.16. Организация циклов
- •11.17. Логические переключатели
- •11.18. Управление движением транзактов в зависимости от состояния элементов модели
- •11.19. Моделирование согласованных процессов на gpss-pc
- •11.19.1. Создание ансамблей транзактов
- •11.19.2. Накопление нескольких транзактов для последующей обработки
- •11.19.3. Объединение нескольких транзактов в один
- •11.19.4. Синхронизация движения транзактов в модели
- •11.20. Время пребывания транзакта в модели
- •11.21. Сбор данных о распределении значений характеристик модели. Таблицы
- •11.22. Изменение имени файла результатов моделирования
- •11.23. Приведение модели к исходному состоянию
- •11.24. Многократное выполнение моделирования
- •11.25. Моделирование нескольких вариантов системы в одной gpss-модели
- •11.26. Время моделирования
- •3 94026 Воронеж, Московский просп., 14
8.2. Задание времени в машинной модели
Мы рассмотрели два подхода к заданию времени: с помощью постоянных и переменных интервалов времени. Им соответствуют два принципа реализации моделирующих алгоритмов: "принцип t", "принцип z".
Пример: Рассмотрим соответствующие способы управления временем в модели системы M(S) на примере (смотри рис. 9.2), где по оси реального времени отложена последовательность событий в системе {si} во времени, причем события s4 и s5, происходят одновременно (рис. 8.2 а). Под действием событий si, изменяются состояния модели zi, в момент времени tzi, причем такое изменение происходит скачком z.
В модели, построенной по принципу t (рис. 8.2. б), моменты системного времени будут последовательно принимать значения t’1=t, t’2=2t , t’3=3t, t’4=4t, t’5=5t. Эти моменты системного времени t’j(t) никак не связаны с моментами появления событий, которые имитируются в модели системы. Системное время при этом получает постоянное приращение, выбираемое и задаваемое перед началом имитационного эксперимента.
В модели, построенной по "принципу z" (рис. 8.2. в), изменение времени наступает в момент смены состояния системы, и последовательность моментов системного времени имеет вид t’’1=tz1, t’’2= tz2 , t’’3= tz3, t’’4= tz4, t’’5= tz5, т.е. моменты системного времени t’’k (z) непосредственно связаны с моментами появления событий в системе si.
У каждого из этих методов есть свои преимущества с точки зрения адекватного отражения реальных событий в системе и затрат машинных ресурсов на моделирование. При использовании "принципа z" события обрабатываются последовательно и время смещается каждый раз вперед до начала следующего события. В модели, построенной по "принципу t", обработка событий происходит по группам, пакетам или множествам событий. При этом выбор t оказывает существенное влияние на ход процесса и результаты моделирования, и если t задано неправильно, то результаты могут получиться недостоверными, так как все события появляются в точке, соответствующей верхней границе каждого интервала моделирования. При применении "принципа z" одновременная обработка событий в модели имеет место только тогда, когда эти события появляются одновременно и в реальной системе. Это позволяет избежать необходимости искусственного введения ранжирования событий при их обработке в конце интервала t.
При моделировании по "принципу t" можно добиться хорошей аппроксимации: для этого t должно быть малым, чтобы два неодновременных события не попали в один и тот же временной интервал. Но уменьшение t приводит к увеличению затрат машинного времени на моделирование, так как значительная часть тратится на корректировку "часов" и отслеживание событий, которых в большинстве интервалов может и не быть.
Для выбора принципа построения машинной модели необходимо знать: цель и назначение модели; требуемую точность результатов моделирования; затраты машинного времени при использовании того или иного принципа; необходимый объем машинной памяти для реализации модели, построенной по принципу t и z; трудоемкость программирования и отладки.
Рис. 8.2. Способы управления временем в модели системы
Требования к ЯИМ:
Совмещение. Наличие в языках моделирования понятия системного времени позволяет решить трудности с параллельными процессами в реальных системах.
Размер. Использование динамической памяти позволяет компонентам системы появляться и покидать оперативную память в зависимости от текущего состояния. Здесь важный аспект – возможность разбиения большой сложной системы на блоки, подблоки и т. д.
Изменения. ЯИМ предусматривают возможность обработки списков, отражающих изменения состояний процесса функционирования системы S (для динамических систем).
Взаимосвязанность. В ЯИМ включены понятия теории множеств и логические возможности, что позволяет реализовать сложные взаимные связи между компонентами модели.
Стохастичность. Для моделирования случайных событий используют специальные программы генерации последовательностей псевдослучайных чисел, на основе которых можно получить стохастические воздействия на Mm, имитируемые случайными величинами с соответствующими законами распределения.
Анализ. Предусмотрены способы статистической обработки и анализа результатов моделирования.