Прикладна математика та комп'ютинг. ПМК
Постійне посилання на фонд
Переглянути
Перегляд Прикладна математика та комп'ютинг. ПМК за Ключові слова "004.04"
Зараз показуємо 1 - 5 з 5
Результатів на сторінці
Налаштування сортування
Документ Відкритий доступ Засіб оптимізації обчислювальних процесів створення інтерактивних задач у Unity(КПІ ім. Ігоря Сікорського, 2024) Петрашенко, А. В.; Тарасенко, В. П.; Тегза, Д. І.Документ Відкритий доступ Комп'ютерна система для віддаленого моніторингу руху об’єктів(КПІ ім. Ігоря Сікорського, 2024) Дробязко, І. П.; Цимбал, В. Ю.Документ Відкритий доступ Система інтелектуального аналізу та персоналізованих рекомендацій контенту з використанням машинного навчання(КПІ ім. Ігоря Сікорського, 2024) Дробязко, І. П.; Неживий, Б. М.Документ Відкритий доступ Спосіб оптимізації програмних моделей освітлення тривимірних об’єктів в реальному часі(КПІ ім. Ігоря Сікорського, 2023) Дробязко, І. П.; Пащенко, А. І.Документ Відкритий доступ Спосіб порівняння абстрактних семантичних дерев програм написаних LISP-подібними мовами(КПІ ім. Ігоря Сікорського, 2022) Марченко, О. І.; Єрмоленко, Д. В.Задача порівняння абстрактних семантичних дерев програм є однією з тих задач, що дозволяє аналізувати зміни на структурному рівні в різних версіях кодової бази програми, виконувати пошук плагіату тощо. Наявні способи порівняння використовують різноманітні модифікації алгоритму пошуку TED (tree edit distance), бо класичний алгоритм пошуку TED не вміє знаходити переміщені фрагменти програми, а його операція визначення “перейменованого” вузла не враховує семантичного чи синтаксичного сенсу. Також треба зауважити, що пошук переміщених фрагментів у загальному випадку є NP-повною задачею [1], а тому наявні способи використовують різноманітні спрощення чи емпіричні підходи, але вони пристосовані та враховують специфіку саме тих мов програмування для яких були створені [2]. Оскільки популярність використання функціональних мов програмування зростає, то розробка таких особливих способів пошуку переміщених фрагментів програм для LISP-подібних мов є задачею актуальною.