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

Численные методы для формул преобразования суммы и разности случайных величин (2.48) строятся аналогично.
Построение численных методов для формул (2.38)-(2.47) очевидно, поэтому приведем только результаты.
EOR-вход.
(2.38):
(3-6).
AND-вход (2.39): Fu = Fn * * Fi „ >‘ = m‘nO„,„,m%max(f)lmiix),n —l,N.
(3.7).
IOR-вход (2.40): Fu =1(1Fn_„]KJ) *(1Fizm2k,,) *...*(1Ftv^ Kj), •• — —— (3.o).
/ = min(/„>ram),max(/wmax),n = 1,,V.
Вероятность активации стока i (2.41): ^ = Z a' (3.9).
r Вероятность активации стока i ко времени t в реализации г (2.42): р,г^ р : * п < (з л °)Вероятность активации стока i ко времени t (2.43): г Математическое ожидание времени активации стока i (2.44): Z ^ Z ' * ^ , ^ ) / 2] Е, =^ v г--------------(3.12).
L a г Математическое ожидание времени выполнения всей сети (2.45): Z Z £ =— ----------------(3.13).
2 > / Дисперсия времени активации стока i (2.46): ^П1А< Z ( a ' * (£ (' Е >У * -^.(о)/2)) А =— ^ ^ --------------------(3.14).
Z a г 73
[стр. 63]

Численные методы для формул преобразования суммы и разности случайных величин (2.48) строятся аналогично.
Построение численных методов для формул (2.38)-(2.47) очевидно, поэтому приведем только результаты.
EOR-вход.
(2.38):
Fjj f,nin9^max' (3.6).
AND-вход (2.39): =F,Km]l!J*Fl2„2kV*■■■*Flfimvl.,, t = min(/nmjn),max(/„max),n =l,N.
(3.7).
IOR-вход (2.40): Fu =10 FnmUj) *(1Fn^ )*...* (1Fl v W ), ---------------------------(3.8).
‘ = mm),max(/„ max),n = 1,N.
Вероятность активации стока i (2.41): (3.9).
г Вероятность активации стока i ко времени t в реализации г (2.42): Р,.г, =Р\ *F,:, (3.10).
Вероятность активации стока i ко времени t (2.43): Fu = T P ‘ * f u (3-11).
г Математическое ожидание времени
активации стока i (2.44):
I [ p ^ b ^ ^ F ^ V l ] Е, = ---------------------------------(3.12).
2 >< г Математическое ожидание времени выполнения всей сети (2.45): £ = — ----------------(3.13).
2> 63

[Back]