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 |
Ограничение 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 узел. Ограничение 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 |