Search academic texts

Information × Registration Number 0415U000335, Candidate dissertation Status к.т.н. Date 27-01-2015 popup.evolution o Title Methods of diagnostic models formal transformation in computer-aided test system. Author Pavlik Anna Vladimirovna, popup.head Koshevoy Nikolay Dmitrievich popup.opponent Дербунович Леонід Вікторович popup.opponent Шкіль Олександр Сергійович Description Об'єктом дослідження є процес контролю і діагностики дискретних пристроїв. Предметом дослідження є методи, моделі та програмно-апаратні засоби розробки схем функціонального контролю комбінаційних пристроїв. Мета дослідження: підвищення ефективності контролю і діагностування шляхом розробки методів формального перетворення діагностичних моделей в автоматизованих системах контролю за рахунок вибору оптимальної структури контрольно-діагностичного забезпечення. Методи дослідження: комплексне використання методів дискретної математики, комбінаторики, математичної логіки, теорії графів, теорії чисел, теорії множин. Теоретичні та практичні результати полягають в розробці математичних моделей і методів ефективного виявлення несправностей, в удосконаленні засобів контролю технічних систем на основі діагностичних моделей. Наукова новизна полягає у розробці методу функціонального контролю комбінаційних пристроїв, способу вибору структури схеми функціонального контролю з мінімальною вартістю. Ступінь впровадження: Харківське державне авіаційне виробниче підприємство (м. Харків); ПрАТ "Авіаконтроль" (м. Харків); Національний аерокосмічний університет ім. М.Є. Жуковського "ХАІ " (м. Харків). Сфера використання: електронна і радіотехнічна промисловість. Registration Date 2015-01-27 popup.nrat_date 2020-04-03 Close