Павлик Г. В. Методи формального перетворення діагностичних моделей в автоматизованих системах контролю

Об'єктом дослідження є процес контролю і діагностики дискретних пристроїв. Предметом дослідження є методи, моделі та програмно-апаратні засоби розробки схем функціонального контролю комбінаційних пристроїв. Мета дослідження: підвищення ефективності контролю і діагностування шляхом розробки методів формального перетворення діагностичних моделей в автоматизованих системах контролю за рахунок вибору оптимальної структури контрольно-діагностичного забезпечення. Методи дослідження: комплексне використання методів дискретної математики, комбінаторики, математичної логіки, теорії графів, теорії чисел, теорії множин. Теоретичні та практичні результати полягають в розробці математичних моделей і методів ефективного виявлення несправностей, в удосконаленні засобів контролю технічних систем на основі діагностичних моделей. Наукова новизна полягає у розробці методу функціонального контролю комбінаційних пристроїв, способу вибору структури схеми функціонального контролю з мінімальною вартістю. Ступінь впровадження: Харківське державне авіаційне виробниче підприємство (м. Харків); ПрАТ "Авіаконтроль" (м. Харків); Національний аерокосмічний університет ім. М.Є. Жуковського "ХАІ " (м. Харків). Сфера використання: електронна і радіотехнічна промисловість.