- •Воронежский государственный технический университет
 - •Утверждено Редакционно-издательским советом университета в качестве учебного пособия
 - •Введение
 - •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
 
11.9. Управление движением транзактов
Под управлением движением транзактов будем понимать их движение по операторам модели в порядке, отличающемся от последовательного расположения операторов в тексте модели. Это требуется практически во всех реальных задачах моделирования (например, для имитации обслуживания заявок разных типов).
Простейший оператор управления движением транзактов - оператор TRANSFER. Он может работать в нескольких режимах. Основные из них рассматриваются ниже.
Безусловный режим:
TRANSFER ,A
где A - метка оператора, на который передается транзакт.
Статистический режим:
TRANSFER .A,B,C
где A - трехзначное число (NNN);
B - метка оператора, на который передаются 100-NN,N процентов транзактов;
C - метка оператора, на который передаются NN,N процентов транзактов.
Например, оператор TRANSFER .300,MET1,MET5 вызывает передачу 70% транзактов на оператор с меткой MET1, а 30% - в оператор с меткой MET5.
Операнд B необязателен. Если он не указан, то 100-NN,N% транзактов передаются на оператор, следующий за оператором TRANSFER, а NN,N% - на оператор с меткой C.
Режим BOTH:
TRANSFER BOTH,B,C
Этот оператор работает следующим образом: транзакт передается на оператор с меткой B; если он занят (т.е. в нем уже находится транзакт) - то на оператор с меткой C; если и он занят, то повторяется попытка передачи транзакта на оператор с меткой B, затем - с меткой C, и т.д., до освобождения одного из них.
Как и для статистического режима, операнд B необязателен.
Для управления движением транзактов в зависимости от некоторых условий используются операторы TEST и GATE. Оператор GATE будет рассмотрен в разделе 11.18.
Структура оператора TEST следующая:
TEST о_с A,B,C
где о_с - обозначение операции сравнения: L - "меньше", LE - "меньше или равно", E - "равно", NE - "не равно", G - "больше", GE - "больше или равно";
A,B - некоторые величины, между которыми выполняется заданная операция сравнения;
C - метка оператора, на который передается транзакт, если результат операции сравнения величин A и B - "ложь" (если результат сравнения - "истина", то транзакт передается на оператор, следующий за оператором TEST).
11.10. Дополнительные средства сбора информации о модели
Система моделирования GPSS/PC автоматически собирает и выводит большой объем информации о результатах моделирования (см. раздел 11.7.2). Однако в языке GPSS/PC имеются разнообразные средства для получения дополнительной информации о модели. Простейшее из таких средств - сохраняемые величины, рассчитываемые в ходе работы модели. Для работы с ними предназначен оператор SAVEVALUE:
SAVEVALUE A,B
где A - имя сохраняемой величины (символьное или числовое) и (необязательно) знак + или -;
B - числовая величина, на которую изменяется значение сохраняемой величины.
Пример В первом из приведенных ниже операторов SAVEVALUE к сохраняемой величине VEL прибавляется число 8, во втором - вычитается число 2. В третьем операторе сохраняемой величине KOL присваивается значение 10.
SAVEVALUE VEL+,8
SAVEVALUE VEL-,2
SAVEVALUE KOL,10
На значения сохраняемых величин можно ссылаться в других операторах. Ссылка на сохраняемую величину имеет следующий вид: Xимя, если имя сохраняемой величины числовое, и X$имя, если оно символьное.
