Автоматизированное проектирование. Норенков И.П. - 78 стр.

 5@!"! 3                           %!#*%!#&F*:,$*    $I*:+*F*)&* !)!@&'! +($*,#)KH (*L*)&M

ят из многих взаимосвязанных ОА. Обслуживающие аппараты СМО в совокупности образуют +&)-
&'1$+%'$ #23$%&. СМО, иначе называемые "$+7"+)/'. Например, в вычислительных сетях ресурсы
представлены аппаратными и программными средствами.
      В СМО, кроме статических объектов, фигурируют -'*)/'1$+%'$ #23$%&. — транзакты. Напри-
мер, в вычислительных сетях динамическими объектами являются решаемые задачи и запросы на ин-
формационные услуги.
      Состояние СМО характеризуется состояниями составляющих ее объектов. Например, состояния
ОА выражаются булевыми величинами, значения которых интерпретируются как true (занято) и false
(свободно), и длинами очередей на входах ОА, принимающими неотрицательные целочисленные зна-
чения. Переменные, характеризующие состояние СМО, будем называть переменными состояния или
фазовыми переменными.
      Правило, согласно которому заявки выбирают из очередей на обслуживание, называют -'+='04'-
*#; #2+47@'()*'9, а величину, выражающую преимущественное право на обслуживание, — 0"'#"'-
&$&#/. В 2$+0"'#"'&$&*., -'+='04'*), все транзакты имеют одинаковые приоритеты. Среди бес-
приоритетных дисциплин наиболее популярны дисциплины FIFO (первым пришел — первым обслу-
жен), LIFO (последним пришел — первым обслужен) и со случайным выбором заявок из очередей.
      В 0"'#"'&$&*., -'+='04'*), для заявок каждого приоритета на входе ОА выделяется своя оче-
редь. Заявка из очереди с низким приоритетом поступает на обслуживание, если пусты очереди с бо-
лее высокими приоритетами. Различают приоритеты абсолютные, относительные и динамические.
Заявка из очереди с более высоким )2+#4<&*./ 0"'#"'&$&#/, поступая на вход занятого ОА, пре-
рывает уже начатое обслуживание заявки более низкого приоритета. В случае #&*#+'&$45*#8# 0"'-
#"'&$&) прерывания не происходит, более высокоприоритетная заявка ждет окончания уже начатого
обслуживания. Динамические приоритеты могут изменяться во время нахождения заявки в СМО.
      Исследование поведения СМО, т.е. определение временных зависимостей переменных, характе-
ризующих состояние СМО, при подаче на входы любых требуемых в соответствии с заданием на экс-
перимент потоков заявок, называют '/'&)='#**./ /#-$4'"#()*'$/ СМО. Имитационное моделиро-
вание проводят путем воспроизведения событий, происходящих одновременно или последовательно
в модельном времени. При этом под +#2.&'$/ понимают факт изменения значения любой фазовой
переменной.
      Подход, альтернативный имитационному моделированию, называют )*)4'&'1$+%'/ '++4$-#()-
*'$/ СМО. Аналитическое исследование заключается в получении формул для расчета выходных па-
раметров СМО с последующей подстановкой значений аргументов в эти формулы в каждом отдель-
ном эксперименте.
      Модели СМО, используемые при имитационном и аналитическом моделировании, называются
имитационными и аналитическими соответственно.
      Аналитические модели удобны в использовании, поскольку для аналитического моделирования
не требуются сколько-нибудь значительные затраты вычислительных ресурсов, часто без постановки
специальных вычислительных экспериментов разработчик может оценить характер влияния аргумен-
тов на выходные параметры, выявить те или иные общие закономерности в поведении системы. Но,
к сожалению, аналитическое исследование удается реализовать только для частных случаев сравни-
тельно несложных СМО. Для сложных СМО аналитические модели если и удается получить, то толь-
ко при принятии упрощающих допущений, ставящих под сомнение адекватность модели.
      Поэтому основным подходом к анализу САПР на системном уровне проектирования считают
имитационное моделирование, а аналитическое исследование используют при предварительной оцен-
ке различных предлагаемых вариантов систем.
      Некоторые компоненты СМО характеризуются более чем одним входным и (или) выходным пото-
ками заявок. Правила выбора одного из возможных направлений движения заявок входят в соответству-
ющие модели компонентов. В одних случаях такие правила относятся к исходным данным (например,
выбор направления по вероятности), но в некоторых случаях желательно найти оптимальное управле-
ние потоками в узлах разветвления. Тогда задача моделирования становится более сложной задачей син-
теза, характерными примерами являются маршрутизация заявок или синтез расписаний и планов.

 &.+.)$(*),$" . !"#$%!#&'&($"!))$*        +($*,#&($"!)&*                                     78