Кафедра системного програмування і спеціалізованих комп'ютерних систем (СПСКС)
Постійне посилання на фонд
Переглянути
Перегляд Кафедра системного програмування і спеціалізованих комп'ютерних систем (СПСКС) за Ключові слова "004.02"
Зараз показуємо 1 - 2 з 2
Результатів на сторінці
Налаштування сортування
Документ Відкритий доступ Модифікований метод статичного аналізу коду для рішення задачі згортки рядкових констант(КПІ ім. Ігоря Сікорського, 2023) Касянчук, Дмитро Павлович; Марченко, Олександр ІвановичАктуальність теми. Рядки широко використовуються в сучасних мовах програмування, зокрема у рядкових літералах для надання інформації користувачу, у програмах обробки текстів, у програмах, що використовують рефлексію тощо. Тому розробка спеціальних методів статичного аналізу для задачі згортки рядкових констант є актуальною і важливою задачею, як з наукової, так і з практичної точки зору. Об’єктом дослідження є процес згортки рядкових констант програми. Предметом дослідження є методи статичного аналізу для рішення задачі згортки рядкових констант. Мета роботи: прискорення процесу згортки рядкових констант програми; розробка більш швидкого методу чи модифікованого методу згортки рядкових констант програми. Наукова новизна полягає у наступному. 1. Вперше запропоновано модифікований метод згортки рядкових констант, який полягає у анотуванні пропагованих значень додатковою інформацією, аналіз якої дозволяє не здійснювати конкатенацію значень, які не можуть існувати разом під час реального виконання програми, відрізняється від існуючих використанням вкладеної хеш-таблиці в якості значень основної хеш-таблиці замість структури даних типу «множина» та модифікованої трансферної функції і дозволяє зменшити розмір проміжних результатів аналізу потоку даних, завдяки чому зменшується складність алгоритмів, що використовуються, тим самим покращуючи швидкість і точність згортки рядкових констант програми. 2. Вперше виконано порівняльний аналіз розробленого модифікованого методу із стандартним методом і показано ефективність запропонованого модифікованого методу. Практична цінність отриманих в роботі результатів полягає в тому, що запропонований модифікований метод дає змогу використати його у більшій кількості застосунків, ніж стандартний метод, в яких треба визначити повну множину рядків, що використовуються в програмі, але наявні методи не можуть бути ефективно використані через їх незадовільну швидкодію. Апробація роботи. Основні положення роботи були представлені у випуску №50 2023 року наукового фахового журналу «Комп'ютерно-інтегровані технології: освіта, наука, виробництво». Порівняльний аналіз розробленого методу з існуючими був представлений у випуску №152 2023 року науково дослідницького центру «InterConf». Структура та обсяг роботи. Магістерська дисертація складається з вступу, п'яти розділів та висновків. У вступі подано загальну характеристику роботи, зроблено оцінку сучасного стану проблеми, обґрунтовано актуальність напрямку досліджень, сформульовано мету і задачі досліджень. У першому розділі розглянуто існуючі методи для аналізу рядкових констант, їхні особливості, недоліки та переваги. У другому розділі розглянуто основні моделі статичного аналізу коду на яких базується запропонований метод. У третьому розділі розглянуто основні положення запропонованого методу. У четвертому розділі наведена програмна реалізація системи статичного аналізу коду, що базується на моделях описаних у другому розділі, а також реалізація аналізу згортки рядкових констант у мові Java на основі розробленого методу. У п'ятому розділі наведено опис системи для оцінки ефективності запропонованого методу на основі його програмної реалізації, а також здійснено порівняльний аналіз з існуючим методами аналізу рядкових констант. У висновках представлені результати проведеної роботи. Робота представлена на 91 аркушах, містить 3 додатки та посилання на список використаних літературних джерел.Документ Відкритий доступ Способи розпаралелення алгоритмів класу Random Walk за допомогою фреймворків PyTorch та TensorFlow(КПІ ім. Ігоря Сікорського, 2021) Курдус, Анастасія Олександрівна; Марченко, Олександр Іванович