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

Інформація × Реєстраційний номер 0413U006438, Кандидатська дисертація На здобуття к.т.н. Дата захисту 31-10-2013 Статус Запланована Назва роботи Еволюційні методи генерації тестів для неконстантних несправностей Здобувач Іяд К М Нассер, Керівник Скобцов Юрій Олександрович Опонент Сперанський Дмитро Васильович Опонент Федоров Євгеній Євгенович Опис Об'єкт дослідження - процес побудови перевіряючих тестів для тестування сучасних цифрових логічних схем. Мета роботи - підвищення ефективності автоматизованого діагностування цифрових систем шляхом розробки еволюційних методів генерації перевіряючих тестів для перехресних несправностей. Методи дослідження: теорії булевих функцій, скінчених автоматів, технічної діагностики, еволюційних обчислень і логічного моделювання. Використана апаратура - комп'ютерна техніка. Наукова новизна полягає в тому, що в роботі модифіковано багатозначні моделі логічних елементів, що дозволило підвищити адекватність і швидкодію логічного моделювання перехресних несправностей. Також удосконалено генетичний алгоритм побудови тестових послідовностей для індукованих імпульсів, що дає можливість підвищити ефективність генерації тестів для перехресних несправностей. Ступінь упровадження: розроблені методи й програмне забезпечення використовуються в Інституті прикладної математики і механіки НАН України у вигляді модуля системи моделювання й діагностики АСМІД. Галузь використання - автоматизація проектування та діагностування елементної бази комп'ютерних систем. Дата реєстрації 2013-10-31 Додано в НРАТ 2020-04-04 Закрити