http://repository.ukd.edu.ua/xmlui/handle/123456789/1359 Fri, 03 Apr 2026 19:33:20 GMT 2026-04-03T19:33:20Z http://repository.ukd.edu.ua/xmlui/handle/123456789/557 Підвищення ефективності та оптимальності моделей та методів керування знаннями Якубовський, Володимир Петрович Кваліфікаційна робота присвячена підвищенню ефективності та оптимальності моделей та методів керування знаннями шляхом використання візуальних представлень при керуванні знаннями в процесі побудови програмних рішень. В першому розділі виконано аналіз концепцій обробки та керування знаннями в новітніх інформаційних технологіях та рішеннях, описана предметна область керування знаннями. Досліджено проблеми та підходи планування інформаційних систем, наведені концепції, методи та методології процесу планування інформаційних систем. Розглянуто підхід стратегічного планування інформаційних систем на основі знань. В другому розділі виконана побудова архітектури процесів проектування інформаційних систем на основі знань, представлено процеси проектування інформаційної системи як дослідницький підхід. Застосовані герменевтичні принципи побудови систем на основі знань та виконано дослідження архітектури процесів в інформаційних системах на основі інтерпретаційних прикладів та онтологій. В третьому розділі виконана розробка концепції візуалізації знань та ефективного підходу планування системи керування знаннями. Застосовано принцип використання візуальних представлень при керуванні знаннями, наведені концепції знань та приклади візуалізації знань. Виконано застосування візуалізації для покращення ефективності при керуванні знаннями для прикладних інформаційних задач і розроблено концепції планування та підвищення ефективності систем керування знаннями. Якубовський В. П. Підвищення ефективності та оптимальності моделей та методів керування знаннями: кваліфікаційна робота на здобуття кваліфікації магістра студента групи МІПЗс-22, спеціальності 121 "Інженерія програмного забезпечення" / ЗВО "Університет Короля Данила", факультет суспільних і прикладних наук, кафедра інформаційних технологій; керівник роботи: М. М. Демчина. Івано-Франківськ, 2024. 86 с.: рис.19, табл.3. Mon, 01 Jan 2024 00:00:00 GMT http://repository.ukd.edu.ua/xmlui/handle/123456789/557 2024-01-01T00:00:00Z http://repository.ukd.edu.ua/xmlui/handle/123456789/556 Імплементація підходу на основі моделей для побудови гнучких та адаптивних програмних рішень та сервісів Скірчук, Владислав Васильович Кваліфікаційна робота присвячена виконанню імплементації підходу на основі моделей для побудови гнучких та адаптивних програмних рішень та сервісів шляхом розробки архітектур програмного забезпечення, які підтримують динамічні коаліції програмних служб шляхом введення нових методів складання гетерогенних компонентів і сертифікації властивостей цих композицій. В першому розділі проаналізовано технології побудови контекстно-адаптивних програмних рішень та сервісів, наведено концепції повторного використання та варіативність програмного забезпечення, досліджено процес варіативності програмного рішення. Наведені сучасні підходи до моделювання програмних систем та сервісів. В другому розділі проведено наведені підходи до моделювання гнучких та контекстно-адаптивних програмних рішень та сервісів, описано підходи адаптивного моделювання на основі просторів рішень, наведені структури моделей рішень предметної області та атрибутів для контекстно-адаптивних програмних рішень. В третьому розділі здійснена побудова та імплементація моделей побудови гнучких та контекстно-адаптивних архітектур програмних сервісів, виконано дослідження функціональності інструментів моделювання архітектур програмних сервісів, наведено підхід до моделювання гнучких та контекстно-адаптивних архітектур програмного забезпечення і проведена перевірка відповідності та адекватності побудови моделей. Скірчук В. В. Імплементація підходу на основі моделей для побудови гнучких та адаптивних програмних рішень та сервісів: кваліфікаційна робота на здобуття кваліфікації магістра студента групи МІПЗс-22, спеціальності 121 "Інженерія програмного забезпечення" / ЗВО "Університет Короля Данила", факультет суспільних і прикладних наук, кафедра інформаційних технологій; керівник роботи: М. М. Демчина. Івано-Франківськ, 2024. 89 с.: рис.33, табл.4. Mon, 01 Jan 2024 00:00:00 GMT http://repository.ukd.edu.ua/xmlui/handle/123456789/556 2024-01-01T00:00:00Z http://repository.ukd.edu.ua/xmlui/handle/123456789/555 Імплементація формальних моделей оптимізації методів побудови адаптивних розподілених систем Сак, Владислав Іванович Кваліфікаційна робота присвячена виконанню імплементації формальних моделей оптимізації методів побудови адаптивних розподілених систем шляхом розробки шаблонів специфікації поведінки для моделювання контурів зворотного зв’язку для реалізації адаптивності програмних рішень. В першому розділі проаналізовано формальні методи досягнення високої адаптивності розподілених програмних систем. Наведено основні принципи самоадаптації в програмних системах, описана еталонна модель MAPE-K, трирівнева модель архітектури. Виконано дослідження якісних властивостей високої адаптивності програмних систем, наведені формальні методи в процесах адаптації. В другому розділі наведені формальні методи оптимізації та моделі верифікації рівня адаптивності систем, здійснено опис передумов використання самоадаптивного підходу та техніки MAPE-K. Виконано опис процесу імітаційного моделювання для дослідження надійності мобільного додатку, розглянуто сценарій використання мобільної платформи з елементами високої адаптивності з додаванням самоадаптивного шару. Запропоновані процеси самоадаптації з використанням верифікованих циклів MAPE-K. В третьому розділі побудовано формальні шаблони забезпечення адаптивності розподіленої системи, розглянуто цільовий домен для застосування шаблонів високо адаптивних систем на прикладі мобільного додатку та логістичної роботизованої системи. Виконано розробку шаблонів специфікації поведінки для моделювання контурів зворотного зв’язку для реалізації адаптивності. Сак В. І. Імплементація формальних моделей оптимізації методів побудови адаптивних розподілених систем: кваліфікаційна робота на здобуття кваліфікації магістра студента групи МІПЗс-22, спеціальності 121 "Інженерія програмного забезпечення" / ЗВО "Університет Короля Данила", факультет суспільних і прикладних наук, кафедра інформаційних технологій; керівник роботи: М. М. Демчина. Івано-Франківськ, 2024. 83 с.: рис.42, табл.1. Mon, 01 Jan 2024 00:00:00 GMT http://repository.ukd.edu.ua/xmlui/handle/123456789/555 2024-01-01T00:00:00Z http://repository.ukd.edu.ua/xmlui/handle/123456789/554 Покращення ефективності методів та засобів моделювання контенту в web-рішеннях та сервісах Рущак, Олексій Ярославович Кваліфікаційна робота присвячена дослідженню процесів покращення ефективності методів та засобів моделювання контенту в web-рішеннях та сервісах шляхом імплементації моделі для організації web-контенту та використання підходів розробки web-додатків з використанням CMS та концепції Model-Driven Engineering. В першому розділі здійснено аналіз підходів web-розробки та засобів моделювання web-контенту на основі моделей, описано концепції та підходи розробки web-додатків, наведена концепція моделювання та розробки web-додатків на основі моделей. Виконано дослідження та опис стандартів моделювання згідно концепції OMG, приведена методологія проектування і розробки на основі методів Domain-Specific Modeling (DSM). В другому розділі виконано моделювання процесів ефективної розробки web- контенту та додатків, досліджено процеси розробки з використанням моделі Query-View-Transformation та підходи розробки web-додатків на основі моделей. Здійснено порівняльний аналіз систем управління контентом (CMS) для розробки web-додатків з використанням моделі. В третьому розділі виконана імплементація моделі cms-рішення для моделювання контенту в web-рішеннях та сервісах, запропоновано підхід розробки web-додатків з використанням CMS та концепції Model-Driven Engineering. Представлено робочий процес розробки та метамоделі Revised Metamodel for Multiple Metalevels, описано сутність використання мови CMS-ML для розробки веб-додатків. Проведена реалізація метарівнів та архітектури концепції CMS-ML та моделювання шаблону web-сервісу на основі CMS. Рущак О. Я. Покращення ефективності методів та засобів моделювання контенту в web-рішеннях та сервісах: кваліфікаційна робота на здобуття кваліфікації магістра студента групи МІПЗс-22, спеціальності 121 "Інженерія програмного забезпечення" / ЗВО "Університет Короля Данила", факультет суспільних і прикладних наук, кафедра інформаційних технологій; керівник роботи: А. М. Бойчук. Івано-Франківськ, 2024. 90 с.: рис.25, табл.2. Mon, 01 Jan 2024 00:00:00 GMT http://repository.ukd.edu.ua/xmlui/handle/123456789/554 2024-01-01T00:00:00Z