Конференції-2026
Permanent URI for this communityhttps://crust.ust.edu.ua/handle/123456789/22046
ENG: Proceedings of conferences held in 2026
Browse
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item type:Item, Формування алгоритмів сортування засобами конструктивно-продукційного моделювання та генетичного алгоритму(Український державний університет науки і технологій, ІВК «Системні технології», Дніпро, 2026) Макаров, Олексій Вікторович; Шинкаренко, Віктор ІвановичUKR: Розглянуто підхід до автоматизованого синтезу алгоритмів сортування на основі конструктивно‑продукційного моделювання. Описано конструктивну модель хромосоми деревовидної структури, яка кодує алгоритм сортування у вигляді ієрархічної композиції алгоритмічних фрагментів і допоміжних операцій. Представлено систему з трьох взаємопов’язаних конструкторів: конструктора формування хромосоми‑дерева, конструктора‑трансформера для перетворення деревоподібної хромосоми у лінійну послідовність генів та конструктора‑ трансформера, що забезпечує генерацію програмного коду алгоритму сортування мовою програмування. Показано, що використання чотирьох етапів конструктивно‑продукційного моделювання – спеціалізації, інтерпретації, конкретизації та реалізації – дозволяє формалізувати процес переходу від абстрактного опису алгоритму до його виконуваної програмної реалізації. Застосування генетичного алгоритму забезпечує еволюційний відбір та оптимізацію алгоритмів сортування за заданими критеріями якості з урахуванням властивостей вхідних даних і обмежень обчислювального середовища. Запропонований підхід створює умови для структурної адаптації алгоритмів, поєднання базових алгоритмічних примітивів у нові коректні композиції та розширення простору пошуку ефективних алгоритмічних рішень. Отримані результати підтверджують доцільність використання конструктивно‑продукційного моделювання як основи для автоматизованого синтезу та оптимізації алгоритмів сортування.