- •Аннотация
- •Содержание:
- •Введение
- •1 Объекты системы моделирования сим-си
- •1.1 Общая классификация
- •1.2 Системные константы, типы и переменные
- •Системные типы
- •Скалярные типы данных
- •Множественные типы данных
- •Системные переменные
- •2 Принципы и методы построения моделей
- •2.1 Создание транзактов
- •2.2 Уничтожение транзактов
- •2.3 Продвижение транзактов
- •2.4 Задержка транзактов. Функцияdelayt
- •2.5 Блокировка транзактов
- •2.5.1 Функцияwait
- •2.5.2 Функцииacceptиsend
- •2.6 Изменение порядка осуществления событий. Функцияnехt
- •2.7 Использование приборов
- •2.7.1 Функции ввода транзактов в прибор
- •2.7.1.1 Захват прибора. Функцияinfac
- •2.7.1.2 Занятие прибора. Функцияseize
- •2.7.2 Функцияoutfac. Вывод транзакта из прибора
- •2.8 Регистрация очередей. Функцииinqueue,outqueue
- •2.9 Накопители (многоканальные устройства). Функцииenterиleave
- •2.10 Построение гистограмм. Функцииtabulate,newhist,prnhist
- •2.11. Создание, использование и обработка списков
- •2.11.1 Создание списков
- •2.11.2 Включение объектов в списки
- •2.11.3 Удаление объектов из списков
- •2.11.4 Просмотр элементов списка. Сканирование
- •2.11.5 Списки пользователя. Организация различных дисциплин обслуживания с помощью списков пользователя
- •2.12 Модельная среда
- •2.12.1 Создание модельной среды
- •2.12.2 Уничтожение очередей, приборов, накопителей и гистограмм
- •2.13 Ансамбли
- •2.13.1 Создание ансамблей. Функцияsplit
- •2.13.2 Сбор членов ансамбля. Функцияassemble
- •2.13.3 Изменение приоритета всех членов ансамбля. Функцияpriority
- •2.13.4 Изменение значения параметра всех членов ансамбля. Функцияparmans
- •2.14 Генераторы случайных чисел
- •2.15 Процесс моделирования. Функцияplan
- •2.16 Создание системной среды. Функцияinitlist
- •2.17 Структура модели
- •2.18 Сброс статистики и очистка системной и модельной среды. Функцииresetallиclear
- •3 Вывод результатов моделирования
- •4 Отладочные средства
- •4.1 Диагностика ошибок
- •4.2 Трассировка
- •Приложение 1. Коды и сообщения об ошибках
- •Приложение 2. Сообщения в режиме трассировки
- •Приложение 3. Системные константы и типы данных
- •Приложение 4. Системные переменные
- •Приложение 5 Заголовки системных функций
- •Приложение6. Примеры моделей Пример 1.
- •Пример 2.
- •Пример 3.
- •Диагностика ошибок
- •Системные списки Список current
- •Список прибора Fac f
- •Список future
Введение
Система имитационного моделирования на СИ (СИМ-СИ) по реализации представляет собой методологию построения дискретных событийных моделей и набор поддерживающих данную методологию функций.
Методология построения моделей предусматривает раздельное определение модельной среды и выполняемых в ней действий. Фактически дискретная событийная модель состоит из трех частей:
1. Часть описания среды моделирования;
2. Часть инициализации модельной среды;
3. Событийная часть.
Часть 1 предусматривает явное определение всех переменных, используемых программами.
Часть 2 используется для создания объектов системы моделирования и инициализацию генераторов, используемых в моделировании.
Часть 3 предусматривает определение действий необходимых при возникновении в модели событий. В этой части очень широко используются функции поддержки, применение которых значительно упрощает составление моделей и автоматизирует процесс моделирования, а также сбор и обработку экспериментальных данных.
Ниже будет показано, что для представления событийной части существует много различных способов.
В системе моделирования СИМ-СИ выбрана форма записи моделей по своему виду напоминающая модели на языке моделирования GPSS.
Таким образом, в системе СИМ-СИ сочетаются идея событийного описания моделей с процессно-ориентированной формой записи GPSS-моделей, что повышает наглядность представления моделей, с сохранением возможности описания сложных событий.
Основные понятия и определения
ТРАНЗАКТ- абстрактный динамический объект, характеризующийся рядом свойств, задаваемых значениями параметров. В ходе моделирования транзакты могут создаваться, перемещаться по модели и уничтожаться.
АКТИВНЫЙ ТРАНЗАКТ- транзакт, продвигающийся по модели в данный момент выполнения программы.
АНСАМБЛЬ- связанная по групповому признаку совокупность транзактов. Для членов одного ансамбля возможно одновременное изменение одного или нескольких параметров.
С каждым перемещением активного транзакта связано СОБЫТИЕ. СОБЫТИЕ- последовательность действий, связанных с изменением состояния модельной и/или системной среды в результате перемещения транзакта.
Состояние модели в выбранный момент времени характеризуется значениями переменных, статических и динамических объектов модели, образующих МОДЕЛЬНУЮ СРЕДУ.
СИСТЕМНАЯ СРЕДА- совокупность констант, типов и переменных системы СИМ-СИ. Включает в себя, в частности, СИСТЕМНЫЕ СПИСКИ.
СИСТЕМНЫЕ СПИСКИ- определенные в СИМ-СИ списки: приборов, очередей, накопителей, гистограмм; список списков пользователя; списки транзактов (сurrent,future,delist,histlistи другие).
ОЧЕРЕДЬ- динамический объект, предназначенный для регистрации продвижения транзактов на определенных участках модели, сбора и обработки соответствующей статистики.
ПРИБОР- динамический объект, предназначенный для моделирования обслуживающего аппарата. Транзакт может ожидать входа в прибор, занимать или захватывать прибор, освобождать прибор. По прибору собирается соответствующая статистика.
НАКОПИТЕЛЬ(многоканальное устройство) - динамический объект, предназначенный для моделирования одного или нескольких обслуживающих устройств. Транзакт может ожидать входа в накопитель, занимать в накопителе одну или несколько ячеек, покидать накопитель.
СИСТЕМНОЕ ВРЕМЯ- численная величина, относительно которой синхронизируются все события в модели. При осуществлении событий системное время может либо оставаться неизменным, либо увеличиваться.
ТЕКУЩЕЕ СОБЫТИЕ- событие, связанное с перемещением активного транзакта.
СПИСОК ПОЛЬЗОВАТЕЛЯ- список транзактов, создаваемый, управляемый и уничтожаемый пользователем с помощью предназначенных для этого функций. Применяется, как правило, для организации нестандартных дисциплин обслуживания.
СИГНАЛЫиспользуются для организации взаимодействия транзактов, находящихся в различных точках модели. СИГНАЛ возникает в результате прохождения активным транзактом заданной точки модели. Появление СИГНАЛА приводит к активизации всех ожидающих его транзактов.
