ДИСК 1-6 семестр 250 грн 250
Добавить свое фото
Регистрация в сети КИС Плюс
Вход в КИС ПЛЮС
Новости
GUIKT
DUIKT
Zosik, KIS-kiev.narod.ru
| Заказать
курсовой за 15 грн ДИСК 1-6 семестр 250 грн 250 Добавить свое фото Регистрация в сети КИС Плюс Вход в КИС ПЛЮС Новости |
GUIKT DUIKT Zosik, KIS-kiev.narod.ru |
9 |
В качестве оптимальной выбирается проверка, для которой значение рассчитанного критерия минимально. Такой проверкой является проверка π3. т.к. Rπ3=6(Ф.2). Символ проверки π3 записывается в колонку 6 табл. 3.2. Соответствующие оптимальной проверке πopt = π3 выделенные ею подмножества S0opt = S03 и S1opt = S13 записать в колонке 1табл. 3.2, т.е. подмножества S03={S1.1,S2,Sэ}=S и S13={S1.2,S5,S6}=S. Принимаем эти подмножества в качестве множества S и делаем расчеты, как и для предыдущих множеств, а данные записываем в табл. 3.2.
Таблица 3.2
|
Множество (подмножество) состояний ОД |
Применимые проверки πi |
Выделяемые подмножества |
Rπi(S) Ф1,Ф2,Ф3,Ф4 |
πopt |
|
|
(S0i) |
(S1i) |
||||
|
1 |
2 |
3 |
4 |
5 |
6 |
|
S={S1.1,S1.2,S2,SЭ,S5,S6} |
π1.1 π1.2 π3 π5 |
S01.1={S1.1} S01.2={S1.2} S03={S1.1,S2,Sэ} S05={S1.2,S2,S5} |
S11.1={S1.2,S2,Sэ,S5,S6} S11.2={S1.1,S2,Sэ,S5,S6} S13={S1.2,S5,S6} S15={S1.1,Sэ,S6} |
0.95;19;4;80 0.95;19;4;80 0.15;6;0;0 0.25;15;0;0 |
π3 |
|
S={S1.1,S2,SЭ} |
π1.1 π5 |
S01.1={S1.1} S05={S2} |
S11.1={S2,Sэ} S15={S1.1,Sэ} |
0.91;18;1;20 0.66;39;1;60 |
π1.1 |
|
S={S1.2,S5,S6} |
π1.2 π5 |
S01.2={S1.2} S05={S1.2,S5} |
S11.2={S5,S6} S15={S6} |
0.88;17;1;20 0.3;18;1;60 |
π1.2 |
|
S={S2,SЭ} |
π5 |
S05={S2} |
S15={Sэ} |
- |
π5 |
|
S={S5,S6} |
π5 |
S05={S5} |
S15={S6} |
- |
π5 |
Рассчитываем критерии для этих проверок:
Множество S={S1.1,S2,SЭ}
Для проверки π1.1 получим:
Q(S)=q1.1+q2+qэ=0.025+0.1+0.45= 0.575
Q(S01.1)=
=
=
0.043
Q(S11.1)=
=
=
0.956
Ф.1 Rπ1.1(S)=│Q(S01.1)- Q(S11.1)│=│0.043- 0.956│= 0.913
Ф.2 Rπ1.1=τ1│Q(S01.1)- Q(S11.1)│=20∙│0.043- 0.956│= 18.26
Ф.3 Rπ1.1=│n (S01.1)- n(S11.1)│=│1- 2│= 1
Ф.4 Rπ1.1=τ1│n (S01.1)- n(S11.1)│= 20∙│1- 2│=20
Для проверки π5 получим:
Q(S05)=
=
=
0.17
Q(S15)=
=
=
0.83
Ф.1 Rπ5(S)=│Q(S05)- Q(S15)│=│0.17- 0.83│= 0.66
Ф.2 Rπ5=τ5│Q(S05)- Q(S15)│=60∙│0.375- 0.625│= 39.6
Ф.3 Rπ5=│n (S05)- n(S15)│=│1- 2│= 1
Ф.4 Rπ5=τ5│n (S05)- n(S15)│= 60∙│1- 2│=60
Множество S={S1.2,S5,S6}
Q(S)=q1.2+q5+q6=0.025+0.25+0.15= 0.425
Для проверки π1.2 получим:
Q(S01.2)=
=
=
0.06
Q(S11.2)=
=
=
0.94
Ф.1 Rπ1.2(S)=│Q(S01.2)- Q(S11.2)│=│0.06- 0.94│= 0.88
Ф.2 Rπ1.2=τ1│Q(S01.2)- Q(S11.2)│=20∙│0.06- 0.94│= 17.6
Ф.3 Rπ1.2=│n (S01.2)- n(S11.2)│=│1- 2│= 1
Ф.4 Rπ1.2=τ3│n (S03)- n(S13)│= 20∙│1- 2│= 20
Для проверки π5 получим:
Q(S05)=
=
=
0.65
Q(S15)=
=
=
0.35
Ф.1 Rπ5(S)=│Q(S05)- Q(S15)│=│0.65- 0.35│= 0.3
Ф.2 Rπ5=τ5│Q(S05)- Q(S15)│=60∙│0.6- 0.35│= 18
Ф.3 Rπ5=│n (S05)- n(S15)│=│2- 1│= 1
Ф.4 Rπ5=τ5│n (S05)- n(S15)│= 60∙│2- 1│= 60
Size: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13
|
|
||||
|
||||
|
|
||||
|
|
||||
|
