На логическом уровне выполняется параметрическая настройка элементов стохастической сети, которая состоит в определении свойств узлов, связей, а также правил движения транзактов между узлами. Для задания свойств узла нужно выделить необходимый объект [и нажать правую кнопку мыши, после чего появится всплывающее меню, из которого надо выбрать пункт Свойства. Содержание меню Свойства зависит от типа узла.
Меню генератора содержит следующие пункты:
Закон поступления - выбор закона распределения для времени поступления транзактов в модель;
Параметры - определение параметров закона распределения;
Задержка первого сообщения - задерживать ли первый тран-закт, если да, то на сколько;
Задание приоритета - задавать ли приоритет обслуживания транзактам, если да, то какой;
Ограничение числа транзактов - ограничено ли количество транзактов, которые генерируются, если да, то каким образом;
Параметры транзактов - определение параметров транзактов, с возможностью добавления, переименования, редактирования и удаления.
|
|
Пункты меню одноканального устройства:
Имя устройства - ввод имени устройства;
Закон обслуживания - выбор закона распределения для времени обслуживания транзактов;
Параметры - определение параметров закона распределения;
Приоритет обслуживания - выбор дисциплины обслуживания транзактов;
Изменение значения приоритета - изменение приоритета транзактов после обслуживания.
Пункты меню для очереди:
Имя очереди - ввод имени очереди;
Правило выбора из очереди - выбор порядка обслуживания транзактов (FIFO или LIFO);
Ограничения - задание ограничений, которые накладываются на очередь;
Статистика - получение статистики по очереди и по времени пребывания в очереди.
Пункты меню МКУ:
Имя устройства - ввод имени устройства;
Закон обслуживания - выбор закона распределения для времени обслуживания транзактов;
Количество каналов - количество каналов в устройстве;
Количество занимаемых каналов - количество каналов, который занимает один транзакт;
Параметры - определение параметров закона распределения;
Приоритет обслуживания - выбор дисциплины обслуживания транзактов;
Изменение значения приоритета - изменение приоритета транзактов после обслуживания.
Пункты меню для связи:
Кратность обслуживания - задание кратности обслуживания (однократная или многократная);
Прекращение обслуживания - задание условия прекращения обслуживания;
Обеспечение вложенности устройств - определение вложенности устройств одно в другое (не доступно для объектов Генератор и Терминатор);
Задержка транзактов - определение закона и задание параметров закона для времени задержки при передаче транзактов.
|
|
В узле типа Терминатор транзакты уничтожаются, поэтому свойства ему не задаются.
Функция распределения времени генерации или обслуживания транзакта в узле иногда бывает неизвестной. Если известен характер распределения, то по виду функции можно приблизительно аппроксимировать ее вероятностными законами распределений. Для учета такой ситуации во всех сценариях, где нужно выбрать закон распределения, есть кнопка Тест функции. При нажатии на нее пользователю представляются графики выбранной функции распределения и плотности вероятности. Это позволяет варьировать законами распределения и их параметрами для получения желаемого характера распределения.
В ИСИМ предусмотрены следующие законы распределений:
- детерминированный;
- экспоненциальный;
- равномерный;
- нормальный;
- логнормальный;
- бета-распределение;
- гамма-распределение;
- распределение Вейбула.
Пользователь может самостоятельно задавать функции, используя пункт меню Проект/Определить функцию. В окне определения функции можно создать новую или загрузить сохраненную раньше функцию распределения. Выбирается тип функции, имя, аргумент и количество точек, после чего задаются ее значения. Если все точки функции определены, можно посмотреть графики. Это осуществляется нажатием кнопки Нарисовать. После этого функция добавляется в проект, и ее можно выбирать во всех диалоговых окнах, где нужно выбирать закон распределения. Для дальнейшего использования созданную функцию можно сохранить в файле с именем <имя функции>.ufn.