Проверяемый текст
Джиоева, Наталья Николаевна. Многокомпонентная сетевая модель формирования алгоритмов распределенной обработки и управления в АСУ (Диссертация 2004)
[стр. 74]

Введем новый единый источник г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 (2.2.3) Если и(=1 в (2.2.1), то это значит, что в результате активации узла / выполняется, по крайней мере, х: входящих воздействий.
Если
и,=0 в (2.2.2), то это значит, что узел i не активирован, т.к.
менее чем Х~ входящих действий выполнено.
Таким образом, оба эти неравенства вместе соответствуют
(а).
Полагая и,=1 и м,=0 в (2.2.3), обеспечиваем выполнение (б).
Так как сетевая модель для формирования распределенных
процессов ациклична, то каждая операция соответствующего процесса либо 74
[стр. 97]

Для формализации условий узловой логики (см.
Опр.1) введем дуговые переменные ( еЕ): fl, если ^i, j) выполняется; iJ [о, иначе; и узловые переменные (/еИ): { 1, если / активируется; О, иначе; где ur = 1, т.е.
источник всегда активируется.
Тогда условия узловой логики (а) и (б)
из Опр.1 могут быть переписаны в следующем виде: (feK/{r}> (1.18) ^wu(1.20) МО Если ив (1.18), то это значит, что в результате активации узла i выполняется, по крайней мере, Х+ входящих воздействий.
Если
м,=0 в (1.19), то это значит, что узел г не активирован, т.к.
менее чем Х+ входящих действий выполнено.
Таким образом, оба эти неравенства вместе соответствуют
(1а).
Полагая мг=1 и иг =0 в (1.20), обеспечиваем выполнение (16).
Определение (3).
Так как сетевая модель для формирования распределенных
алгоритмов ациклична, то каждая задача соответствующего алгоритма либо выполняется только один раз, либо не выполняется вообще.
Таким образом, каждая реализация алгоритма (или реализация сетевой модели) может быть соотнесена с множеством выполняемых задач алгоритма 97

[Back]