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

(3.2) *=1 После вычисления надежностей всех транзакций вычисляется общая транзакционная надежность системы: т Rtr — £ PU .xRt .
(3.3) 7 = 1 J J На рисунке 7 представлен алгоритм оценки и анализа транзакционной надежности программного обеспечения.
Пример расчета транзакционной надежности: Имеется 3 класса с 3-мя диапазонами входных значений и известными вероятностями сбоя в каждом диапазоне.

Ki:fi={0.01;0; 0.001} К2: f2={0; 0; 0.05} K3:f3={0; 0.001; 0.001} Имеется 2 транзакции с известными вероятностями использования диапазонов классов и вероятностями использования транзакций: Т,: PUi=0.7 Нп={0.3; 0.1; 0.6 } Н12={0.4; 0.4 ; 0.2} Hi3={0.8; 0.1; 0.1} Т2: PU2=0.3 H2i={0.2 ; 0.2; 0.6} Н22={0.3; 0.7; 0} Н23={0; 0.9; 0.1} Вычислим веса Wij: W,i = 0.3 х (1-0.01) + 0.1 х (1-0) + 0.6 х (1-0.001) 0.9964 Wn = 0.4 х (1-0) + 0.4 (1-0) + 0.2 х (1-0.05) = 0.9 Wo = 0.8 x (1-0) + 0.1 x (1-0.0001) + 0.1 x (1-0.0001) = 0.9998 99
[стр. 147]

После вычисления надежностей всех транзакций вычисляется общая транзакционная надежность системы: т R = £ PU .
x R .
(4.3) tr ■ , J О 7 = 1 На рисунке 27 представлен алгоритм оценки и анализа транзакционной надежности программного обеспечения.
Пример расчета транзакционной надежности: Имеется 3 класса с 3-мя диапазонами входных значений и известными вероятностями сбоя в каждом диапазоне.

K,:f,={0.01;0; 0.001} К2: f2={0; 0; 0.05} К3: fj={0; 0.001; 0.001} Имеется 2 транзакции с известными вероятностями использования диапазонов классов и вероятностями использования транзакций: Т,: PU,=0.7 Нц={0.3; 0.1; 0.6 } Н,2={0.4; 0.4; 0.2} Н,з={0.8; 0.1; 0.1} Т2: PU2=0.3 Н21={0.2 ; 0.2; 0.6} Н22={0.3; 0.7; 0} Н23={0; 0.9; 0.1} Вычислим веса Wij: W, = 0.3 х (1-0.01) + 0.1 х (1-0) + 0.6 х (1-0.001) = 0.9964 W,2= 0.4 х (1-0) + 0.4 (1-0) + 0.2 х (1-0.05) = 0.9 W ,3= 0.8 x (1-0) + 0.1 x (1-0.0001) + 0.1 x (1-0.0001) = 0.9998

[Back]