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

Інформація × Реєстраційний номер 0513U000431, Докторська дисертація На здобуття д.т.н. Дата захисту 11-04-2013 Статус Запланована Назва роботи Моделі та методи синтезу інтелектуальної діагностичної інфраструктури розподілених комп'ютерних систем Здобувач Мірошник Марина Анатоліївна, Керівник Загарій Геннадій Івановіч Опонент Малиновский Михаіл Леонидович Опонент Лужецький Володимир Андрейович Опонент Кривуля Геннадій Федорович Опис Об'єкт дослідження: процес синтезу діагностичної інфраструктури для відмовостійких розподілених комп'ютерних систем. Мета дослідження: підвищення надійності та відмовостійкості розподілених комп’ютерних систем на основі розвитку теоретичних основ, концепції та архітектурно-структурної організації діагностичної інфраструктури з інтелектуальними властивостями, розробки моделей і методів синтезу легкотестованих модулів сигнатурного моніторингу, діагностичних експериментів і вирішення завдань раціонального управління процедурами діагностування відмов та відновлення працездатності. Методи дослідження: методи теорії масового обслуговування та марковських процесів для вирішення задачі раціонального управління процесами диспетчеризації, запитів на тестове діагностування процесорних модулів і виявлення переміжних несправностей; методи технічної діагностики, які застосовані для розробки функціональних і тестових засобів діагностування РКС та компонентів; методи теорії графів, використані під час розробки графових моделей РКС; методи теорії цифрових автоматів – для організації діагностичних експериментів з автоматними моделями функціональних модулів РКС, розробки концепції сигнатурного моніторингу та вбудованих легкотестованих програмно-апаратних засобів діагностування, які легкотестуються. Теоретичні і практичні результати: полягають у розробці та обгрунтуванні перспективної концепції побудови інтелектуальної ДІ, легкотестованих модулів сигнатурного моніторингу БПСОД, що є теоретичною основою для вирішення практичних завдань та архітектурно-структурної організації ДІ-ІС, яка забезпечує раціональне управління процедурами діагностування БПСОД, методи синтезу легкотестованих моделей ДІ-ІС для вирішення конкретних практичних завдань. Новизна: Вперше запропоновані та розроблені основи теорії, концепція та архітектурно-структурна організація діагностичної інфраструктури з інтелектуальними властивостями РКС, в якій поєднані процедури онлайнового тестового, функціонального діагностування, відновлення працездатності та раціонального управління диспетчеризацією процесів діагностування та обробки даних. Вперше розроблена графова діагностична ПМЧ модель МПСОД; вперше розроблені методи модифікації односпрямованих інтеративних обчислювальних мереж (ІОМ) і синтезу перевірних послідовностей. Вперше розроблені методи синтезу перевірних тестів з використанням циклічних і характеристичних символів автоматних моделей осередків ІОМ; удосконалено математичний інструментарій і метод розв'язання задачі диспетчеризації процесів тестового діагностування модулів РКС у ДІ-ІС шляхом групової вибірки запитів з індивідуальною сегментацією та підвищенням оперативності обробки запитів раціоналізації управління процесами діагностування та відновлення працездатності. Ступінь упровадження: НАУ “ХАІ” (м. Харків). ПрАТ “Енергооблік” (м. Харків). ДП "Проектно-конструкторське технологічне бюро з автоматизації систем управління на залізничному транспорті України" (м. Київ). Інститут сцинтиляційних матеріалів (м. Харків). Галузь використання: під час вирішення комплексу завдань, пов'язаних з розробкою і проектуванням модулів ДІ-ІС на мережах клітинних автоматів, які адаптовані до реалізації на ПЛІС типу FPGA з підвищенням достовірності процедур тестового, функціонального діагностування і відновлення працездатності БПСОД без деградації продуктивності та виключенням необхідності виконання трудомістких процедур генерації перевірних тестів і моделювання несправностей. Дата реєстрації 2013-04-11 Додано в НРАТ 2020-04-04 Закрити