3.6. Математическое обеспечение анализа на системном уровне

В приоритетных дисциплинах для заявок каждого приоритета на входе ОА

выделяется своя очередь. Заявка из очереди с низким приоритетом поступает

на обслуживание, если пусты очереди с более высокими приоритетами. Разли-

чают приоритеты абсолютные, относительные и динамические. Заявка из оче-

реди с более высоким абсолютным приоритетом, поступая на вход занятого

ОА, прерывает уже начатое обслуживание заявки более низкого приоритета. В

случае относительного приоритета прерывания не происходит, более высоко-

приоритетная заявка ждет окончания уже начатого обслуживания. Динамичес-

кие приоритеты могут изменяться во время нахождения заявки в СМО.

Исследование поведения СМО, т. е. определение временных зависимостей

переменных, характеризующих состояние СМО, при подаче на входы любых

требуемых в соответствии с заданием на эксперимент потоков заявок, называют

имитационным моделированием СМО. Имитационное моделирование про-

водят путем воспроизведения событий, происходящих одновременно или после-

довательно в модельном времени. При этом под событием понимают факт

изменения значения любой фазовой переменной.

Подход, альтернативный имитационному моделированию, называют ана-

литическим исследованием СМО. Аналитическое исследование заключается

в получении формул для расчета выходных параметров СМО с последующей

подстановкой значений аргументов в эти формулы в каждом отдельном экспери-

менте.

Модели СМО, используемые при имитационном и аналитическом модели-

ровании, называются имитационными и аналитическими соответственно.

Аналитические модели удобны в использовании, поскольку для аналитичес-

кого моделирования не требуются сколько-нибудь значительные затраты вы-

числительных ресурсов, часто без постановки специальных вычислительных

экспериментов разработчик может оценить характер влияния аргументов на

выходные параметры, выявить те или иные общие закономерности в поведе-

нии системы. Но, к сожалению, аналитическое исследование удается реализо-

вать только для частных случаев сравнительно несложных СМО. Для слож-

ных СМО аналитические модели если и удается получить, то только при принятии

упрощающих допущений, ставящих под сомнение адекватность модели.

Поэтому основным подходом к анализу САПР на системном уровне проек-

тирования считают имитационное моделирование, а аналитическое иссле-

дование используют при предварительной оценке различных предлагаемых ва-

риантов систем.

Некоторые компоненты СМО характеризуются более чем одним входным

и (или) выходным потоками заявок. Правила выбора одного из возможных

направлений движения заявок входят в соответствующие модели компонен-

тов. В одних случаях такие правила относятся к исходным данным (например,

выбор направления по вероятности), но в некоторых случаях желательно найти

оптимальное управление потоками в узлах разветвления. Тогда задача моде-

лирования становится более сложной задачей синтеза, характерными примера-

ми являются маршрутизация заявок или синтез расписаний и планов.

127