Ель-Хатіб А. І. Еволюційні методи побудови перевіряючих тестів цифрових систем

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0407U004349

Облікова картка дисертації

0407U004349.pdf

Здобувач

Спеціальність

  • 05.13.13 - Обчислювальні машини, системи та мережі

18-10-2007

Спеціалізована вчена рада

K 11.052.03

Анотація

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

Читати повністю

Файли

full djs.doc

Аднан автореферат июль_УКР.doc

Схожі дисертації

0407U004844

Хассан Ктейман

Моделі та методи апаратного моделювання несправно-стей цифрових систем на крислах

0407U004845

Хабіс А А Зідат

Методи діагностики комп'ютерних систем та мереж з використовуванням експертних систем реального часу

0407U004846

Уаді Гарібі

Моделі та методи апаратного моделювання цифровиз систем на кристалах

0507U000653

Міхаль Олег Пилипович

Обчислювальні методи, засоби та реалізація локально-паралельної обробки нечіткої інформації

0407U004567

Пітух Ігор Романович

Методи організації руху даних в розподілених комп'ютерних системах на основі матричних моделей