Давидов А. А. Автоматизація побудови та обробки продукційних правил для діагностування комп'ютерних систем

Об'єкт дослідження - процеси функціонального діагностування несправних станів комп'ютерних систем та мереж. Мета дослідження - розвиток методів функціональної діагностики комп'ютерних систем і мереж з використанням структурного рівня моделювання, спрямованих на підвищення ефективності процесу діагностування за рахунок удосконалення інтелектуальних засобів формування знань експертів, та їх реалізація в нечітких експертних системах. Методи дослідження - теорія множин, теорія графів та теорія скінченних автоматів - для моделювання станів комп'ютерних систем і мінімізації продукційних правил; технічна діагностика цифрових систем та нечітка логіка - для розробки методів пошуку несправностей. Апаратура - персональний комп'ютер. Теоретичні і практичні результати досліджень - вирішена актуальна науково-практична задача розвитку методів діагностики комп'ютерних систем, спрямованих на підвищення ефективності процесу діагностування за рахунок удосконалення способів подання знань в експертних системах, що забезпечує збільшення коефіцієнта готовності комп'ютерної системи та зменшення часових витрат на пошук можливих несправностей у комп'ютерних системах. Наукова новизна - вперше запропоновано метод перетворення довільного вербального опису дефектів комп'ютерних систем у вигляді інтелектуальних словників несправностей в логічні продукційні правила із застосуванням теорії числення висловів, що дало можливість формалізувати опис несправних станів комп'ютерних систем у вигляді дерев рішень; вперше з використанням дерев рішень і теорії перемикальних функцій запропоновано метод синтезу діагностичних продукційних правил, який передбачає етапи аналізу обмеженої кількості діагностичних параметрів і прийняття рішень за наявності неповної та суперечливої інформації, що дозволяє діагностувати несправний стан комп'ютерної системи з більшою швидкодією в реальному часі; удосконалено процедуру синтезу продукційних правил на здатність визначення несправного довільного функціонального стану комп'ютерної системи, яка використовує, на відміну від існуючих таблиць функцій несправностей, бінарні відношення значень ознак діагностичних параметрів, що дозволяє скоротити кількість діагностичних продукційних правил; набув подальшого розвитку метод діагностування комп'ютерних систем з використанням нечіткої логіки шляхом опису стану та класифікаційних діагностичних ознак у вигляді нечітких змінних, що дозволило значно зменшити кількість продукційних правил і збільшити швидкодію експертної діагностичної системи. Результати дисертаційного дослідження знайшли практичне застосування в ПрАТ "Сєвєродонецьке НВО Імпульс" для діагностування технічного стану спеціалізованого комп'ютерного кластеру. Також наукові положення і результати дисертації використані на кафедрі автоматизації проектування обчислювальної техніки Харківського національного університету радіоелектроніки при підготовці навчальних курсів з проектування та діагностики комп'ютерних систем і мереж. Наукові та практичні результати дисертації можуть використовуватися у науково-технічних розробках та при проектуванні цифрових систем з діагностуванням і відновленням працездатності програмних та апаратних компонентів комп'ютерної системи або мережі.