| Аннотацiя: |
Дисертація присвячена вирішенню актуальної науково-прикладної проблеми скорочення часу контролю РСМД і термінів відновлення їх працездатності шляхом розробки моделей та методів поведінкового робочого контролю, які базуються на мережах Петрі, автоматних експериментах, класі функціональних помилок, наскрізних і еволюційних підходах. На основі моделей та методів розроблено відповідну інформаційну технологію контролю РСМД. У роботі подані властивості РІС, виконаний аналіз моделей і методів робочого контролю, показане існування завдань, що вимагають розвитку моделей і методів на основі автоматних експериментів, мереж Петрі, еволюційного пошуку, наскрізної декомпозиції, які дозволяють скоротити час контролю. Формулюються завдання такого розвитку моделей і методів для поведінкового робочого контролю РСМД. У роботі отримали розвиток компонентна й ієрархічна моделі поведінкового робочого контролю РСМД з контрольними фрагментами в ієрархіях їх узагальненого квазіпорядку й міжрівневих відображень, які визначають умови контролю. Отримані компонентний і наскрізний методи поведінкового робочого контролю РСМД з еволюційним розпізнаванням контрольних фрагментів в ієрархіях узагальненого квазіпорядку та міжрівневих відображень, що зберігають контрольні властивості, а також з кратним використанням контрольних результатів. |
