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

Інформація × Реєстраційний номер 0421U100148, Кандидатська дисертація На здобуття Кандидат технічних наук Дата захисту 28-12-2020 Статус Запланована Назва роботи Моделі і методи поведінкового робочого контролю розподілених систем моніторингу та діагностування на основі мереж Петрі Здобувач Ахмеш Тамем Найеф, Керівник Мартинюк Олександр Миколайович Опонент Глухов Валерій Сергійович Опонент Кльоц Юрий Павлович Опис Дисертація присвячена вирішенню актуальної науково-прикладної проблеми скорочення часу контролю розподілених систем моніторингу та діагностування (РСМД) шляхом розробки моделей та методів поведінкового робочого контролю, які базуються на мережах Петрі, автоматних експериментах, класі функціональних помилок, наскрізних і еволюційних підходах. На основі моделей та методів розроблено інформаційну технологію контролю РСМД. У дисертації подані властивості РСМД, виконаний аналіз методів робочого контролю, показане існування завдань, що вимагають розвитку методів на основі мереж Петрі, еволюційного пошуку, декомпозиції, які дозволяють скоротити час контролю. У дисертації отримали розвиток компонентна й ієрархічна моделі поведінкового робочого контролю РСМД з контрольними фрагментами в ієрархіях їх узагальненого квазіпорядку й міжрівневих відображень, які визначають умови контролю. Отримані компонентний і наскрізний методи поведінкового робочого контролю РСМД з еволюційним розпізнаванням контрольних фрагментів в ієрархіях узагальненого квазіпорядку та міжрівневих відображень, що зберігають контрольні властивості. Моделі й методи дозволили розробити нову інформаційну технологію поведінкового робочого контролю РСМД й реалізувати її у межах автоматизованої системі технічного діагностування РСМД. Дата реєстрації 2021-01-19 Додано в НРАТ 2021-01-19 Закрити