Проверяемый текст
Письман, Дмитрий Михайлович. Герт-сетевой анализ временных характеристик работы узлов распределенных систем обработки информации (Диссертация 2006)
[стр. 43]

4.
Для любого t>=0 развитие проекта, начиная с времени t, условно независимо от времени до t (истории развития проекта) при условии, что состояние проекта во время t известно (свойство Маркова ГЕРТ-се
ги).
Ограничение 3.
(2.15) Для каждого узла к произвольной циклической структуры С существует путь из к к узлу вне С, такой, что ру>0 для каждой дуги данного пути.

То есть из каждого цикла есть выход с положительной вероятностью.
Ограничение 4.
(2.16) Каждый узел, принадлежащий циклу, —STEOR узел.

Ограничение 5, (2.17) Каждый узел, имеющий более одного предка и не принадлежащий ни одному циклу, имеет ANDили IOR-вход.

Ограничение 6.
(2.18) В течение всего времени выполнения ГЕРТ-сети, по крайней мере, одна входная дуга каждой циклической структуры выполняется.
Ограничения 1-6 для краткости будем записывать 01-06.
01-03 необходимые условия непротиворечивости и однозначности процесса выполнения ГЕРТ-сети.
Определение: (2.19) ГЕРТ-сеть называется слабо допустимой, если выполняются 01-04.

43
[стр. 31]

Ограничение 2.
(2.14) 1.
Для каждого допустимого подмножества R’ множества R и для всех i,j e R ’, i ?±], развитие части сети, соответствующей G(i), не влияет на развитие сети, соответствующей G(j).
G(i) и G(j) независимы.
2.
Для каждого допустимого множества 4х и для любых W), W2 е 4х, W 7^W2, развитие пути, соответствующего W, не влияет на развитие пути W2.
W) и \V2независимы.
3.
Для любой дуги , произвольных натуральных i, j и вещественного t>=0 Р( Д“ <=t выполняется а-й раз) не зависит от а и, если узел i стохастический, то P(Bf -<[,)> i активируется в р-й раз) не зависит от р.
4.
Для любого t>=0 развитие проекта, начиная с времени t, условно независимо от времени до t (истории развития проекта) при условии, что состояние проекта во время t известно (свойство Маркова ГЕРТ-сети).

Ограничение 3.
(2.15) Для каждого узла к произвольной циклической структуры С существует путь из к к узлу вне С, такой, что ру>0 для каждой дуги данного пути.
.

из каждого цикла есть выход с положительной вероятностью.
Ограничение 4.
(2.16) Каждый узел, принадлежащий циклу, STEOR узел.


[стр.,32]

Ограничение 5.
(2.17) Каждый узел, имеющий более одного предка и не принадлежащий ни одному циклу, имеет ANDили IOR-вход.

В течение всего времени выполнения ГЕРТ-сети, по крайней мере, одна входная дуга каждой циклической структуры выполняется.
Ограничения 1-6 для краткости будем записывать 01-06.
01-03 необходимые условиянепротиворечивости и однозначности процесса выполнения ГЕРТ-сети.
Определение: (2.19) ГЕРТ-сеть называется слабо допустимой, если выполняются 01-04.

Определение: (2.20) ГЕРТ-сеть называется допустимой, если выполняются 01-06.
Следствие из 01: (2.21) в силу приводимостилюбой ГЕРТ-сети ксети с единственным источником, далее мы рассматриваем только такие сети.
для стохастической ГЕРТ-сети время выполнения дуги не зависит от номера ее активации.
Таким образом, £>,“ = , Bf = .
Существование решения для допустимой сети доказывается следующей Ограничение 6.
(2.18) Следствие из 02: (2.22) теоремой.
32

[Back]