Введем новый единый источник г0 и для каждого ie R введем вспомогательную дугу< r0,i>. Кроме того, установим Х~ = Х* =0и определим х: =О, ieR 1> ie R/R Для формализации условий узловой логики введем дуговые переменные ( е Е): '1, если Л, j) выполняется; ИЫ = 'J 0, иначе; и узловые переменные (г е V): П, если / активируется; ij [О, иначе; где ur = 1, т.е. источник всегда активируется. Тогда условия узловой логики (а) и (б) могут быть переписаны в следующем виде: (ieV/{rft (2.2.1) Mi) Ywki Если и,=0 в (2.2.2), то это значит, что узел i не активирован, т.к. менее чем Х~ входящих действий выполнено. Таким образом, оба эти неравенства вместе соответствуют (а). Полагая и,=1 и м,=0 в (2.2.3), обеспечиваем выполнение (б). Так как сетевая модель для формирования распределенных процессов ациклична, то каждая операция соответствующего процесса либо 74 |
Для формализации условий узловой логики (см. Опр.1) введем дуговые переменные ( еЕ): fl, если ^i, j) выполняется; iJ [о, иначе; и узловые переменные (/еИ): { 1, если / активируется; О, иначе; где ur = 1, т.е. источник всегда активируется. Тогда условия узловой логики (а) и (б) из Опр.1 могут быть переписаны в следующем виде: (feK/{r}> (1.18) ^wu Если м,=0 в (1.19), то это значит, что узел г не активирован, т.к. менее чем Х+ входящих действий выполнено. Таким образом, оба эти неравенства вместе соответствуют (1а). Полагая мг=1 и иг =0 в (1.20), обеспечиваем выполнение (16). Определение (3). Так как сетевая модель для формирования распределенных алгоритмов ациклична, то каждая задача соответствующего алгоритма либо выполняется только один раз, либо не выполняется вообще. Таким образом, каждая реализация алгоритма (или реализация сетевой модели) может быть соотнесена с множеством выполняемых задач алгоритма 97 |