Підвищення ефективності аналізу структур та алгоритмів функціональної і надійнісної поведінки радіоелектронних комплексів

розділ 2) сформувати граф станів і переходів АПВЦ досліджуваного комплексу. На
рис. З.1.4 показано отриманий укрупнений граф станів і переходів, який має 647
станів і 1805 переходів. На рис. З.1.5 зображено деталізований граф станів і
переходів одного з укрупнених фрагментів з рис. З.1.4.
На основі отриманих результатів роботи програмної реалізації САМ сформовано
систему диференційних рівнянь Колмогорова-Чепмена у вигляді: де –
вектор-стовпець ймовірностей перебування в станах,
З.2. Розробка логіко-імовірнісної моделі алгоритму пошуку та виявлення цілей
прицільного радіоелектронного комплексу
За методом, викладеним в підрозділі 5.3, на основі структурно-автоматної моделі
сформовано логіко-імовірнісну модель алгоритму пошуку та виявлення цілей РЕК
"Афаліна". Модель відображена у вигляді набору процедур (табл. З.6), з яких
формуються вирази показників ефективності прицільного РЕК "Афаліна" (згідно
формул 5.5 і 5.6).
Таблиця З.6
Послідовність процедур для формування логіко-імовірнісної моделі алгоритму
пошуку та виявлення цілей РЕК "Афаліна"
Процедура БЛОК 21
L=L+1
P1=P1+P(L)
T_1=T_1+P(L)*T(L)
D_1=D_1+P(L)*D(L)
L=L-1
Процедура БЛОК 0
L=L+1
P0=P0+P(L)
T0=T0+P(L)*T(L)
D0=D0+P(L)*D(L)
L=L-1
Процедура БЛОК 1
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(1)
D(L+1)=D(L)+DTB(1)
P(L+1)=P(L)
VS(L+1)=VS(L)
БЛОК2
L=L-1
інакше K_L=false
Процедура БЛОК 2
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(2)
D(L+1)=D(L)+DTB(2)
VS(L+1)=VS(L)
P(L+1)=P(L)*P2_0
БЛОК0
P(L+1)=P(L)*P2_d
R1=P(L+1)
якщо Cod=1 тоді БЛОК3
інакше
Поки VS(L) виконувати:
В залежності від значення AD
вибрати
0: VS(L+1).AKP=0
VS(L+1).APW=0
VS(L+1).AD=1
P(L+1)=R1*P2_a(1)
БЛОК11
VS(L+1).AD=2
P(L+1)=R1*P2_a(2)
БЛОК15
VS(L+1).AD=3
P(L+1)=R1*P2_a(3)
БЛОК18
1:VS(L+1).APW=0
БЛОК11
2: БЛОК15
3: БЛОК18
L=L-1
інакше K_L=false
Процедура БЛОК 3
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(3)
D(L+1)=D(L)+DTB(3)
VS(L+1)=VS(L)
P(L+1)=P(L)*P3_0
БЛОК21
P(L+1)=P(L)*P3_4
БЛОК4
L=L-1
інакше K_L=false
Процедура БЛОК 4
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(4)
D(L+1)=D(L)+DTB(4)
P(L+1)=P(L)
VS(L+1)=VS(L)
P(L+1)=P(L)*P4_0
БЛОК0
P(L+1)=P(L)*P4_5
VS(L+1).APW=0
VS(L+1).DZ=false
БЛОК5
VS(L+1)=VS(L)
P(L+1)=P(L)*P4_d
R1=P(L+1)
Поки VS(L) виконувати:
Вибрати AD в залежності
0: VS(L+1).AKP=0
VS(L+1).APW=0
VS(L+1).AD=1
P(L+1)=R1*P4_a(1)
БЛОК11
VS(L+1).AD=2
P(L+1)=R1*P4_a(2)
БЛОК15
VS(L+1).AD=3
P(L+1)=R1*P4_a(3)
БЛОК18
1: VS(L+1).APW=0
БЛОК11
2: БЛОК15
3: БЛОК18
L=L-1
інакше K_L=false
Процедура БЛОК 5
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(5)
D(L+1)=D(L)+DTB(5)
VS(L+1)=VS(L)
P(L+1)=P(L)*P5_7
БЛОК7
збільшити на 1:
(VS(L+1).APW)
P(L+1)=P(L)*P5_6
БЛОК6
L=L-1
інакше K_L=false
Процедура БЛОК 6
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(6)
D(L+1)=D(L)+DTB(6)
VS(L+1)=VS(L)
P(L+1)=P(L)*P6_7
БЛОК7
P(L+1)=P(L)*P6_d
Поки VS(L+1) виконувати:
якщо APWБЛОК6
Інакше
якщо DZ тоді БЛОК3
інакше DZ=true APW=0 БЛОК8
L=L-1
інакше K_L=false
Процедура БЛОК 7
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(7)
D(L+1)=D(L)+DTB(7)
VS(L+1)=VS(L)
P(L+1)=P(L)*P7_0
БЛОК0
P(L+1)=P(L)*P7_9
БЛОК9
L=L-1
інакше K_L=false
Процедура БЛОК 8
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(8)
D(L+1)=D(L)+DTB(8)
P(L+1)=P(L)
VS(L+1)=VS(L)
БЛОК6
L=L-1
інакше K_L=false
Процедура БЛОК 9
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(9)
D(L+1)=D(L)+DTB(9)
VS(L+1)=VS(L)
P(L+1)=P(L)*P9_0
БЛОК0
P(L+1)=P(L)*P9_10
БЛОК10
L=L-1
інакше K_L=false
Процедура БЛОК 10
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(10)
D(L+1)=D(L)+DTB(10)
VS(L+1)=VS(L)
P(L+1)=P(L)
Поки VS(L) виконувати:
В залежності від значення
AD вибрати
0:VS(L+1).AKP=0
VS(L+1).APW=0
VS(L+1).AD=1
P(L+1)=P(L)*P10_a(1)
БЛОК11
VS(L+1).AD=2
P(L+1)=P(L)*P10_a(2)
БЛОК15
VS(L+1).AD=3
P(L+1)=P(L)*P10_a(3)
БЛОК18
1: VS(L+1).APW=0
БЛОК11
2: БЛОК15
3: БЛОК18
L=L-1
інакше K_L=false
Процедура БЛОК 11
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(11)
D(L+1)=D(L)+DTB(11)
VS(L+1)=VS(L)
P(L+1)=P(L)*P11_12
Inc(VS(L+1).APW)
БЛОК12
VS(L+1)=VS(L)
P(L+1)=P(L)*P11_13
VS(L+1).AKZ=0
БЛОК13
L=L-1
інакше K_L=false
Процедура БЛОК 12
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(12)
D(L+1)=D(L)+DTB(12)
VS(L+1)=VS(L)
P(L+1)=P(L)*P12_13
VS(L+1).AKZ=0
БЛОК13
VS(L+1)=VS(L)
P(L+1)=P(L)*P12_d
Поки VS(L+1) виконувати:
якщо APWInc(APW)
БЛОК12
інакше
R1= P(L+1)
якщо AKPтоді
P(L+1)=R1*P12_d_0
БЛОК21
P(L+1)=R1*P12_d_d
Inc(AKP)
якщо Cod=1 тоді
БЛОК3 інакше БЛОК2
L=L-1
AKP=0 APW=0
VS(L+1).AD=1
P(L+1)=R1*P12_a(1)
БЛОК11
VS(L+1).AD=2
P(L+1)=R1*P12_a(2)
БЛОК15
VS(L+1).AD=3
P(L+1)=R1*P12_a(3)
БЛОК18
L=L-1
інакше K_L=false
Процедура БЛОК 13
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(13)
D(L+1)=D(L)+DTB(13)
P(L+1)=P(L)
VS(L+1)=VS(L)
БЛОК14
L=L-1
інакше K_L=false
Процедура БЛОК 14
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(14)
D(L+1)=D(L)+DTB(14)
VS(L+1)=VS(L)
P(L+1)=P(L)*P14_0
БЛОК0
P(L+1)=P(L)*P14_d
R1= P(L+1)
Поки VS(L+1) виконувати:
якщо AKZInc(AKZ)
БЛОК14
L=L-1
P(L+1)=R1*P14_a(0)
БЛОК21
AKP=0 APW=0
VS(L+1).AD=1
P(L+1)=R1*P14_a(1)
БЛОК11
VS(L+1).AD=2
P(L+1)=R1*P14_a(2)
БЛОК15
VS(L+1).AD=3
P(L+1)=R1*P14_a(3)
БЛОК18
L=L-1
інакше K_L=false
Процедура БЛОК 15
якщо LL=L+1
якщо P(L)>P_Tr_Min тоді
T(L+1)=T(L)+TB(15)
D(L+1)=D(L)+DTB(15)
VS(L+1)=VS(L)
P(L+1)=P(L)*P15_16
БЛОК16
P(L+1)=P(L)*P15_d
R1=P(L+1)
Поки VS(L+1) викону