Search academic texts

Information × Registration Number 0421U100148, Candidate dissertation Status Кандидат технічних наук Date 28-12-2020 popup.evolution o Title Models and methods of behavioral online testing of distributed systems of monitoring and diagnosis, based on Petri nets Author Ahmesh Tamem , popup.head Martynyuk Oleksandr popup.opponent Hlukhov Valeriy popup.opponent Klots Yuri Description Дисертація присвячена вирішенню актуальної науково-прикладної проблеми скорочення часу контролю розподілених систем моніторингу та діагностування (РСМД) шляхом розробки моделей та методів поведінкового робочого контролю, які базуються на мережах Петрі, автоматних експериментах, класі функціональних помилок, наскрізних і еволюційних підходах. На основі моделей та методів розроблено інформаційну технологію контролю РСМД. У дисертації подані властивості РСМД, виконаний аналіз методів робочого контролю, показане існування завдань, що вимагають розвитку методів на основі мереж Петрі, еволюційного пошуку, декомпозиції, які дозволяють скоротити час контролю. У дисертації отримали розвиток компонентна й ієрархічна моделі поведінкового робочого контролю РСМД з контрольними фрагментами в ієрархіях їх узагальненого квазіпорядку й міжрівневих відображень, які визначають умови контролю. Отримані компонентний і наскрізний методи поведінкового робочого контролю РСМД з еволюційним розпізнаванням контрольних фрагментів в ієрархіях узагальненого квазіпорядку та міжрівневих відображень, що зберігають контрольні властивості. Моделі й методи дозволили розробити нову інформаційну технологію поведінкового робочого контролю РСМД й реалізувати її у межах автоматизованої системі технічного діагностування РСМД. Registration Date 2021-01-19 popup.nrat_date 2021-01-19 Close