Лекція 3. Побудова оптимальних алгоритмів пошуку несправностей План заняття

1. Визначення мінімального перевіряючого тесту.

2. Побудова мінімальних тестів пошуку несправностей.

3. Пошук несправностей за допомогою АПН.

4. Раціональні умовні алгоритми пошуку несправностей.

Тест діагностування, який призначений для перевірки справності або роботоздатності ОД, називається перевіряючим тестом.

Для аналогових ОД перевіряючий тест (ПТ) є сукупністю перевірок, яка дозволяє визначити, чи є ОД справним, або роботоздатним, чи ні. За результатами всіх перевірок, які входять в склад ПТ, можливо відрізняти справний (роботоздатний) стан ОД від будь якого несправного (неробото- здатного) стану, але неможливо визначити, в якому з несправних станів перебуває ОД.

Для одного ОД можуть існувати декілька ПТ, які відрізняються кількістю перевірок.

Перевіряючий тест, який містить мінімальну кількість перевірок, називається мінімальним перевіряючим тестом.

Мінімальний перевіряючий тест (МПТ) будується в два етапи.

Перший етап - побудова зрізаної ТФН, в яку включаються лише стрічки перевірок вихідних елементів ОД повної ТФН.

Другий етап - визначення МПТ.

Для ЛМ, наведеної на рисунку 2.4, зрізана таблиця функцій несправностей (ЗТФН) має такий вигляд:

Таблиця 2.3

Перевірки ОД	Стани ОД. Результати перевірок
	s0	s1,1	s1,2	sе	s3	s5
4 5	1 0	0 0	1 0	0 0	1 0	1 0

МПТ визначається наступним чином.

В МПТ включається мінімальна сукупність перевірок вихідних елементів ОД, яка покриває нулями всі стовпці несправних станів ОД.

З аналізу таблиці 2.3 витікає, що лише одна перевірка ₅ покриває нулями всі стовпці s_1,1, s_1,2, s_1,2, s₃ і s₅ несправних станів ОД. Тому МПТ в даному випадку містить лише одну перевірку ₅:

МПТ={₅}. (2.4)

Це означає, що для визначення справності (роботоздатності) або несправності (нероботоздатності) ОД достатньо виконати лише одну перевірку ₅.

Для ЛМ, наведеної на рисунку 2.3, ЗТФН має наступний вигляд:

Таблиця 2.4

Перевірки ОД	Стани ОД. Результати перевірок
	s0	s1,1	s1,2	s2	s3	S4	s5
4 5	1 1	0 0	1 0	0 0	1 0	0 1	1 0

В даному випадку перевірка ₅ покриває нулями всі стовпці несправних станів ОД, крім стовпця s₄. Але стовпець s₄ покриває нулем перевірка ₄. Тому в МПТ для розглядаємої ЛМ повинні бути включені і перевірка ₅ і перевірка ₄. Тому МПТ буде наступним:

МПТ={₄, ₅}.

В даному випадку для визначення справності або несправності ОД необхідно виконати обидві перевірки ₄ і ₅.