Оценка состояния РЭС методом математической логики.
КИД РЭС.
Преподаватель: Ткаченко Александр Леонидович.
Упражнения.
| С1
| С2
| С3
| С4
| С5
| С6
| С7
| С8
| С9
| С10
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
|
|
| 9*1 = 9
| у2
|
|
|
|
|
|
|
|
|
|
| 7*3 = 21
| у3
|
|
|
|
|
|
|
|
|
|
| 9*1 = 9
| у4
|
|
|
|
|
|
|
|
|
|
| 6*4 = 24
| у5
|
|
|
|
|
|
|
|
|
|
| 7*3 = 21
| у6
|
|
|
|
|
|
|
|
|
|
| 5*5 = 25
| у7
|
|
|
|
|
|
|
|
|
|
| 5*5 = 25
| у8
|
|
|
|
|
|
|
|
|
|
| 3*7 = 21
| у9
|
|
|
|
|
|
|
|
|
|
|
| у10
|
|
|
|
|
|
|
|
|
|
|
| | С8
| С2
| С3
| С4
| С10
| С5
| С6
| С7
| С1
| С9
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
|
|
| 5* 0 + 4*1 = 4
| у2
|
|
|
|
|
|
|
|
|
|
| 3*2 + 4*1 = 10
| у3
|
|
|
|
|
|
|
|
|
|
| 4*1 + 5*0 = 4
| у4
|
|
|
|
|
|
|
|
|
|
| 4*1 + 2*3 = 10
| у5
|
|
|
|
|
|
|
|
|
|
| 5*0 + 2*3 = 6
| у6
|
|
|
|
|
|
|
|
|
|
|
| у7
|
|
|
|
|
|
|
|
|
|
|
| у8
|
|
|
|
|
|
|
|
|
|
|
| у9
|
|
|
|
|
|
|
|
|
|
|
| у10
|
|
|
|
|
|
|
|
|
|
|
| | С8
| С2
| С3
| С10
| С4
| С7
| С6
| С5
| С1
| С9
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
|
|
|
| у2
|
|
|
|
|
|
|
|
|
|
|
| у3
|
|
|
|
|
|
|
|
|
|
|
| у4
|
|
|
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
|
|
|
| у6
|
|
|
|
|
|
|
|
|
|
|
| у7
|
|
|
|
|
|
|
|
|
|
|
| у8
|
|
|
|
|
|
|
|
|
|
|
| у9
|
|
|
|
|
|
|
|
|
|
|
| у10
|
|
|
|
|
|
|
|
|
|
|
| | С8
| С10
| С3
| С2
| С4
| С7
| С6
| С5
| С9
| С1
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
|
|
|
| у2
|
|
|
|
|
|
|
|
|
|
|
| у3
|
|
|
|
|
|
|
|
|
|
|
| у4
|
|
|
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
|
|
|
| у6
|
|
|
|
|
|
|
|
|
|
|
| у7
|
|
|
|
|
|
|
|
|
|
|
| у8
|
|
|
|
|
|
|
|
|
|
|
| у9
|
|
|
|
|
|
|
|
|
|
|
| у10
|
|
|
|
|
|
|
|
|
|
|
| Вывод: анализ таблицы показывает, что для локализации неисправности достаточно 3 шага: у6, у4, у2, у3
Задача.
| С1
| С2
| С3
| С4
| С5
| С6
| С7
| С8
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
| 6*2 = 12
| у2
|
|
|
|
|
|
|
|
| 5*3 = 15
| у3
|
|
|
|
|
|
|
|
| 6*2 = 12
| у4
|
|
|
|
|
|
|
|
| 4*4 = 16
| у5
|
|
|
|
|
|
|
|
| 5*3 = 15
| у6
|
|
|
|
|
|
|
|
| 7*1 = 7
|
| С1
| С2
| С5
| С8
| С3
| С6
| С7
| С4
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
| 3*1 + 3*1 = 6
| у2
|
|
|
|
|
|
|
|
| 3*1 + 2*2 = 7
| у3
|
|
|
|
|
|
|
|
| 3*1 + 3*1 = 6
| у4
|
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
| 2*2 + 3*1 = 7
| у6
|
|
|
|
|
|
|
|
| 3*1 + 4*0 = 3
|
| С8
| С2
| С5
| С1
| С3
| С6
| С7
| С4
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
|
| у2
|
|
|
|
|
|
|
|
|
| у3
|
|
|
|
|
|
|
|
|
| у4
|
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
|
| у6
|
|
|
|
|
|
|
|
|
|
| С8
| С2
| С5
| С1
| С3
| С6
| С7
| С4
| Кол-во информации
| у1
|
|
|
|
|
|
|
|
|
| у2
|
|
|
|
|
|
|
|
|
| у3
|
|
|
|
|
|
|
|
|
| у4
|
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
|
| у6
|
|
|
|
|
|
|
|
|
|
Вывод: y4 – y5 – y1 – y2/y3
Оценка состояния РЭС методом математической логики.
Данный метод позволяет найти всевозможные минимальные наборы признаков. Из таблицы признаков и состояний выпишем совокупности признаков, отличающие состояния в парах.
Аксиомы:
Свойства логических операций.
Дистрибутивность:
.
Законы поглощения:
.
| С1
| С2
| С3
| С4
| С5
| С6
| С7
| С8
| у1
|
|
|
|
|
|
|
|
| у2
|
|
|
|
|
|
|
|
| у3
|
|
|
|
|
|
|
|
| у4
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
| у6
|
|
|
|
|
|
|
|
| у7
|
|
|
|
|
|
|
|
| у8
|
|
|
|
|
|
|
|
|
Пары состояний
| Различающие признаки (логические суммы)
| С1С2
| y1+y5
| C1C3
| y1+y2+y5+y6
| C1C4
| y1+y2+y3+y5+y6+y7
| C1C5
| y1+y2+y3+y4+y7+y8
| C1C6
| y1+y2+y3+y4+y5+y7+y8
| C1C7
| y1+y2+y3+y4+y5+y6
| C1C8
| y1+y2+y3+y4+y5+y6+ y7+y8
| C2C3
| y2+y6
| C2C4
| y2+y3+y6+y7
| C2C5
| y2+y3+y4+y5+y7+y8
| C2C6
| y2+y3+y4+y7+y8
| C2C7
| y2+y3+y4+y6
| C2C8
| y2+y3+y4+y6+y7
| C3C4
| y3+y7
| C3C5
| y3+y4+y5+y6+y7+y8
| C3C6
| y3+y4+y6+y7+y8
| C3C7
| y3+y4
| C3C8
| y3+y4+y7
| C4C5
| y4+y5+y6+y8
| C4C6
| y4+y6+y8
| C4C7
| y4+y7
| C4C8
| y4
| C5C6
| y5
| C5C7
| y5+y6+y7+y8
| C5C8
| y5+y6+y8
| C6C7
| y6+y7+y8
| C6C8
| y6+y8
| C7C8
| y7
| Отличия всех состояний друг от друга эквивалентно реализации всех парных различий. Тогда, условие разделения состояний можно представить в виде логического произведения всех выражений в правом столбце.
y=y4y5y7(y2+y6)(y6+y8)=y4y5y7(y6+y8y2+y8y6)=y4y5y6y7+y4y5y7y2y8= y4y5y6y7
| С1
| С2
| С3
| С4
| С5
| С6
| С7
| С8
| у1
|
|
|
|
|
|
|
|
| у2
|
|
|
|
|
|
|
|
| у3
|
|
|
|
|
|
|
|
| у4
|
|
|
|
|
|
|
|
| у5
|
|
|
|
|
|
|
|
| у6
|
|
|
|
|
|
|
|
|
Пары состояний
| Различающие признаки (логические суммы)
| С1С2
| y1+y5
| C1C3
| y1+y4+y5
| C1C4
| y2+y4
| C1C5
| y2+y3
| C1C6
| y2+y4+y5
| C1C7
| y3+y4+y5
| C1C8
| y5+y6
| C2C3
| y4
| C2C4
| y1+y2+y4+y5
| C2C5
| y1+y2+y3+y5
| C2C6
| y1+y2+y4
| C2C7
| y1+y3+y4
| C2C8
| y1+y6
| C3C4
| y1+y2+y5
| C3C5
| y1+y2+y3+y4+y5
| C3C6
| y1+y2
| C3C7
| y1+y3
| C3C8
| y1+y4+y6
| C4C5
| y3+y4
| C4C6
| y5
| C4C7
| y2+y3+y5
| C4C8
| y2+y4+y5+y6
| C5C6
| y3+y4+y5
| C5C7
| y2+y4+y5
| C5C8
| y2+y3+y5+y6`
| C6C7
| y2+y3
| C6C8
| y2+y4+y6
| C7C8
| y3+y4+y6
| y=y4y5(y2+y3)(y1+y6)(y1+y2)(y1+y3)=y4y5y1(y2+y3)
(y1+y6)(y1+y2)(y1+y3)=(y1+y6)(y1+y2y3)=y1+y2y3y6
Не нашли, что искали? Воспользуйтесь поиском:
|