Проверяемый текст

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

[стр. 66] будет обладать данными параметрами. Параметр р (вероятность активации узла) является одним из элементов множества Prs (р е Prs). Для узла v е V графа МГЕРТ-сети G = <Е, V>: v.a количество активаций узла v в процессе построения реализации; v.In тип входной функции узла (EOR, IOR или AND); v.Out тип выходной функции узла (STOCH или DET); v.InF(F) тип входной функции узла для стохастических переменных с функцией распределения F (AND, IOR, MIN, MAX, EQUAL) (только для узлов с IORили AND-входом); v.P множество узлов, являющихся предками узла v; v.S —множество узлов, являющихся потомками узла v; v.MaxA максимально допустимое количество активаций узла v в графе реализации; v.MaxP минимально допустимая вероятность события «узел v активирован»; v .d R узел, являющийся детерминированным источником узла v; v.dS узел, являющийся детерминированным стоком узла v (только для прямого алгоритма расчета МГЕРТ-сети). Для узла е е Е графа МГЕРТ-сети G = <Е, V> (e=): e.vi узел-начало дуги; e.V2узел-конец дуги; e.F_Pr(Pi*i) функция преобразования параметра Prj е Prs, зависящая от параметров Prs и DFs; e.F_DF(Fi) и e.F_DF_op(Fj) — функция распределения для стохастической переменной, заданной функцией распределения F{и операция для нее («+», «-» или «-») соответственно. Будем обозначать граф реализации буквой «w». Множество графов реализации обозначим W={\Vi}. Важной особенностью алгоритма построения графа реализации является то, что для каждого непустого графа реализации w всегда 66

[стр. 56] Для узла v е V графа МГ-сети G = <Е, V>: v.a количество активаций узла v в процессе построения реализации; v.In тип входной функции узла (EOR, IOR или AND); v.Out тип выходной функции узла (STOCH или DET); v.InF(F) тип входной функции узла для стохастических переменных с функцией распределения F (AND, IOR, MIN, MAX, EQUAL) (только для узлов с IORили AND-входом); v.P множество узлов, являющихся предками узла v; v.S множество узлов, являющихся потомками узла v; v.MaxA максимально допустимое количество активаций узла v в графе реализации; v.MaxP минимально допустимая вероятность события «узел v активирован»; v.dR узел, являющийся детерминированным источником узла v; v.dS узел, являющийся детерминированным стоком узла v (только для прямого алгоритма расчета МГ-сети). Для узла е е Е графа МГ-сети G = <Е, V> (e=): e.Vi узел-начало дуги; e.v2узел-конец дуги; e.F_Pr(Prj) функция преобразования параметра Рг; е Prs, зависящая от параметров Prs и DFs; e.F_DF(Fj) и e.F_DF_op(Fj) функция распределения для стохастической переменной, заданной функцией распределения Fj и операция для нее («+», «-» или «=») соответственно. Будем обозначать граф реализации буквой «w». Множество графов реализации обозначим W={wi}. Важной особенностью алгоритма построения графа реализации является то, что для каждого непустого графа реализации w всегда определены и 56

[Back]