инаючи з 15го кроку число згенерованих вирішувача гіпотез і число знайдених в них заборонених комбінацій стійко зменшується, а також на 16м і 17м кроках частка спростованих БКО гіпотез скоротилася до 7%, що говорить про дуже високий рівень навченості розв'язувача. У зв'язку з ці на 17м кроці рішення було зупинено і з усіх отриманих раніше локальних максимумів було вибрано найкраще рішення на 8м кроці (рис. 16). br/>В
Рис. 16. Найкраще рішення
Найкращому вирішенню найбільш відповідає мікросхема ПЛІС XC7VX550T серії Virtex-7 [1]. Ця мікросхема включає в себе 554 тис. еквівалентних осередків 4 * 4-LUT + 4 * FF, 42 Мбіт блокової пам'яті, 2880 блоків DSP48E1, а також 64 трансивера стандарту GTH пропускною здатністю до 13.1 Гбіт/с. Варто відзначити, що дана ПЛІС дійсно знаходиться в ціновому діапазоні від 7 до 20 тисяч доларів, тому що не володіє найвищими характеристиками за кількостю логічних осередків і високошвидкісних приемопередатчиков (трансиверів).
Графіки залежностей числа згенерованих вирішувача гіпотез, а також числа підтверджених і спростованих БКО гіпотез представлені на рис. 17. br/>В
Рис. 17. Залежності числа гіпотез від рівня знань розв'язувача
All - загальне число згенерованих вирішувача гіпотез, Oprov - число спростованих БКО гіпотез, ZK - число виявлених ЗК
Розрахуємо коефіцієнт скорочення переборовши, який допоможе нам оцінити ефективність роботи розв'язувача
К сп = (N повн - N поч )/N < b align = "justify"> оцен, де:
N повн - повне число переборів;
N поч - число фактів в початковій базі знань;
N оцен - число оцінених фактів у процесі навчання розв'язувача.
До сп = (162000 - 10)/1836? 88 - дуже гідний результат, що показує високий рівень навченості розв'язувача.
Розрахуємо коефіцієнт В«новизниВ» найкращого рішення:
В
де:
n - кількість параметрів,
| T (1) | - кількість вдалих фактів в початковій базі,
i - номер пар...
