Пошук академічних текстів

Інформація × Реєстраційний номер 0415U000335, Кандидатська дисертація На здобуття к.т.н. Дата захисту 27-01-2015 Статус Запланована Назва роботи Методи формального перетворення діагностичних моделей в автоматизованих системах контролю Здобувач Павлик Ганна Володимирівна, Керівник Кошовий Микола Дмитрович Опонент Дербунович Леонід Вікторович Опонент Шкіль Олександр Сергійович Опис Об'єктом дослідження є процес контролю і діагностики дискретних пристроїв. Предметом дослідження є методи, моделі та програмно-апаратні засоби розробки схем функціонального контролю комбінаційних пристроїв. Мета дослідження: підвищення ефективності контролю і діагностування шляхом розробки методів формального перетворення діагностичних моделей в автоматизованих системах контролю за рахунок вибору оптимальної структури контрольно-діагностичного забезпечення. Методи дослідження: комплексне використання методів дискретної математики, комбінаторики, математичної логіки, теорії графів, теорії чисел, теорії множин. Теоретичні та практичні результати полягають в розробці математичних моделей і методів ефективного виявлення несправностей, в удосконаленні засобів контролю технічних систем на основі діагностичних моделей. Наукова новизна полягає у розробці методу функціонального контролю комбінаційних пристроїв, способу вибору структури схеми функціонального контролю з мінімальною вартістю. Ступінь впровадження: Харківське державне авіаційне виробниче підприємство (м. Харків); ПрАТ "Авіаконтроль" (м. Харків); Національний аерокосмічний університет ім. М.Є. Жуковського "ХАІ " (м. Харків). Сфера використання: електронна і радіотехнічна промисловість. Дата реєстрації 2015-01-27 Додано в НРАТ 2020-04-03 Закрити