Вступ
Із збільшенням складності керуючих систем, а також з підвищенням вимог, що пред'являються до надійності їх функціонування, всю більшу увагу доводиться приділяти контролю справності і діагностиці несправностей цих систем. Якщо несправності елементів систем, що управляють, є досить стійкими, то для виявлення і перевірки таких несправностей можна використовувати перевіряючи контрольні тести. Доведено, побудова таких тестів - NP-складна задача [10,14,18,21], і тому всі відомі алгоритми розбиття є евристичними і дають наближений до оптимального результат. Було розроблено багато методів для більш-менш ефективної побудови контрольних тестів, що дають високоякісний результат за малий час. До їх числа відносяться генетичні алгоритми. Вони відображають природну еволюцію методів розв’язку проблем, і в першу чергу завдань оптимізації. Генетичні алгоритми засновані на механізмах природного відбору і спадковості з використанням еволюційного принципу виживання найбільш пристосованих особин. Вони відрізняються від традиційних методів оптимізації декількома особливостями, а саме: 1) обробляють не значення параметрів самої задачі, а її закодовану форму; 2) здійснюють пошук відразу декількох «непоганих» розв’язків; 3) використовують тільки цільову функцію, а не її похідні або іншу додаткову інформацію 4) застосовують імовірнісні, а не детерміновані правила вибору. Перераховані чотири властивості, приводять в результаті до стійкості генетичних алгоритмів і до їх переваги над іншими широко вживаними технологіями. Таким чином, метою нашого дослідження є розробка ефективного алгоритму для побудови контрольних тестів за допомогою генетичних алгоритмів. Відповідно до мети визначено такі задачі дослідження: - розглянути проблеми, що пов’язані з побудовою контрольних тестів для булевих функцій; - розглянути теоретичні основи побудови генетичних алгоритмів; - розробити алгоритм ефективної побудови контрольних тестів із використанням методів генетичних алгоритмів та зробити їх програмну реалізацію. Під час дослідження були використані різноманітні методи дослідження аналіз наукової літератури, моделювання та експериментування, оцінка результату. Дипломна робота складається із вступу, трьох розділів, розбитих на підрозділи, висновків та списку використаних джерел. Загальний обсяг роботи – 48 сторінок. Список використаних джерел включає 23 найменування.
| 
Поиск