Search academic texts

Information × Registration Number 0513U000431, Doctoral dissertation Status д.т.н. Date 11-04-2013 popup.evolution o Title Models and Methods for the Synthesis of Intelligent Diagnostic Infrastructure of Distributed Computer Systems Author Miroshnik Marina Anatoliyvna, popup.head Zagariy Genadiy Ivanovih popup.opponent Малиновский Михаіл Леонидович popup.opponent Лужецький Володимир Андрейович popup.opponent Кривуля Геннадій Федорович Description Об'єкт дослідження: процес синтезу діагностичної інфраструктури для відмовостійких розподілених комп'ютерних систем. Мета дослідження: підвищення надійності та відмовостійкості розподілених комп’ютерних систем на основі розвитку теоретичних основ, концепції та архітектурно-структурної організації діагностичної інфраструктури з інтелектуальними властивостями, розробки моделей і методів синтезу легкотестованих модулів сигнатурного моніторингу, діагностичних експериментів і вирішення завдань раціонального управління процедурами діагностування відмов та відновлення працездатності. Методи дослідження: методи теорії масового обслуговування та марковських процесів для вирішення задачі раціонального управління процесами диспетчеризації, запитів на тестове діагностування процесорних модулів і виявлення переміжних несправностей; методи технічної діагностики, які застосовані для розробки функціональних і тестових засобів діагностування РКС та компонентів; методи теорії графів, використані під час розробки графових моделей РКС; методи теорії цифрових автоматів – для організації діагностичних експериментів з автоматними моделями функціональних модулів РКС, розробки концепції сигнатурного моніторингу та вбудованих легкотестованих програмно-апаратних засобів діагностування, які легкотестуються. Теоретичні і практичні результати: полягають у розробці та обгрунтуванні перспективної концепції побудови інтелектуальної ДІ, легкотестованих модулів сигнатурного моніторингу БПСОД, що є теоретичною основою для вирішення практичних завдань та архітектурно-структурної організації ДІ-ІС, яка забезпечує раціональне управління процедурами діагностування БПСОД, методи синтезу легкотестованих моделей ДІ-ІС для вирішення конкретних практичних завдань. Новизна: Вперше запропоновані та розроблені основи теорії, концепція та архітектурно-структурна організація діагностичної інфраструктури з інтелектуальними властивостями РКС, в якій поєднані процедури онлайнового тестового, функціонального діагностування, відновлення працездатності та раціонального управління диспетчеризацією процесів діагностування та обробки даних. Вперше розроблена графова діагностична ПМЧ модель МПСОД; вперше розроблені методи модифікації односпрямованих інтеративних обчислювальних мереж (ІОМ) і синтезу перевірних послідовностей. Вперше розроблені методи синтезу перевірних тестів з використанням циклічних і характеристичних символів автоматних моделей осередків ІОМ; удосконалено математичний інструментарій і метод розв'язання задачі диспетчеризації процесів тестового діагностування модулів РКС у ДІ-ІС шляхом групової вибірки запитів з індивідуальною сегментацією та підвищенням оперативності обробки запитів раціоналізації управління процесами діагностування та відновлення працездатності. Ступінь упровадження: НАУ “ХАІ” (м. Харків). ПрАТ “Енергооблік” (м. Харків). ДП "Проектно-конструкторське технологічне бюро з автоматизації систем управління на залізничному транспорті України" (м. Київ). Інститут сцинтиляційних матеріалів (м. Харків). Галузь використання: під час вирішення комплексу завдань, пов'язаних з розробкою і проектуванням модулів ДІ-ІС на мережах клітинних автоматів, які адаптовані до реалізації на ПЛІС типу FPGA з підвищенням достовірності процедур тестового, функціонального діагностування і відновлення працездатності БПСОД без деградації продуктивності та виключенням необхідності виконання трудомістких процедур генерації перевірних тестів і моделювання несправностей. Registration Date 2013-04-11 popup.nrat_date 2020-04-04 Close