7. если узел i с IORили AND-входом принадлежит циклу, то узел j с детерминированной выходной функцей, являющийся стохастическим началом узла i, принадлежит данному циклу. Ограничение Е гарантирует, что для любой сети, количество реализаций конечно, следовательно, она вычислима с использованием ЭВМ. Введем специальное обозначение произвольной связанной МГЕРТподсети с узлом 1 имеющим входящую извне дугу, и узлом ш, имеющим выходящую из подсети дугу. 1 т подсеть с источником 1 и стоком i. Рисунок 2.7. Произвольная МГЕРТ-подсеть с начальным узлом 1и конечным узлом 111 Рассмотрим М ГЕРТ-сеть с вектором веса дуг [ру, FjjJ. Обозначения: Pi вероятность активации узла i; Pij функция условной вероятности активации узла j, при условии активации узла i, ру = 1 , если узел i имеет детерминированный выход или единственная дуга стохастического выхода;. Рун вероятность выполнения начала дуги при условии, что узел, из которого она входит, активирован; РуКвероятность выполнения конца дуги при условии, что узел, в который она входит, активирован; Fj(t) —функция распределения времени выполнения узла i в момент его активации; Fjj(t) функция условной вероятности распределения времени выполнения работы ; 56 |
Ограничения на циклы (обязательные): 5. если в узел i циклической структуры С входит более одной дуги и хотя бы одна дуга не принадлежит циклу С, то узел i имеет EORвход; 6. если из узла i циклической структуры С выходит более одной дуги, и хотя бы одна дуга не принадлежит циклу С, то узел i имеет стохастический выход; 7. если узел i с 10Rили AND-входом принадлежит циклу, то узел j с детерминированной выходной функцей, являющийся стохастическим началом узла i, принадлежит данному циклу. Ограничение 6’ гарантирует, что для любой сети, количество реализаций конечно, следовательно, она вычислима с использованием ЭВМ. Введем специальное обозначение произвольной связанной МГ-подсети с узлом 1имеющим входящую извне дугу, и узлом ш, имеющим выходящую из подсети дугу. 1m л_______ подсеть с источником 1и стоком i. Рисунок 2.7. Произвольная МГ-подсеть с начальным узлом 1и конечным узлом ш Рассмотрим МГ-сеть с вектором веса дуг [ру, Fy], Обозначения: Pi вероятность активации узла i; Pij _ функция условной вероятности активации узла j, при условии активации узла i, ру = 1, если узел i имеет детерминированный выход или единственная дуга стохастического выхода;. Pij„ вероятность выполнения начала дуги при условии, что узел, из которого она входит, активирован; Руквероятность выполнения конца дуги при условии, что узел, в который она входит, активирован; 44 Fj(t) функция распределения времени выполнения узла i в момент его активации; Fjj(t) функция условной вероятности распределения времени выполнения работы ; Fijn(t) функция распределения времени выполнения tj в начале дуги при условии, что узел, из которого она входит, активирован; FyK(t) функция распределения времени выполнения tj на конце дуги при условии, что узел, в который она входит, активирован. Рассмотрим законы изменения параметров р и F(t) [13; 14]. Формулы, приведенные ниже, предназначены для расчета реализации сети по ее графу реализации. Выполнение дуги : Если считать, что случайная величина t>0, то пределы интегрирования можно заменить на 0 и t соответственно. Однако в дальнейшем будет показано преимущество использования отрицательной случайной величины, характеризующей время в задачах «с обратным отсчетом». EOR-вход. (2.37). Рисунок 2.8. EOR-вход P j = P * l F j{0 = FIJK{t). (2.38). 45 |