Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
2 results
Search Results
Item Використання онтологічних мереж у системах підтримки прийняття рішень в умовах неоднозначності(Видавництво Львівської політехніки, 2020-02-24) Карпов, Ігор; Буров, Євген; Karpov, Ihor; Burov, Eugene; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityЗростання обсягів інформації, яку потрібно брати до уваги при прийнятті рішень визначають актуальність побудови інтелектуальних систем підтримки прийняття рішень. Передумовою прийняття коректного рішення є побудова коректної концептуальної моделі проблемної ситуації, яка враховує усі фактори, релевантні до цієї ситуації. Концептуалізація проблемної ситуації подається онтологією цієї ситуації. При формуванні онтології ситуації доцільно використовувати знання з існуючих онтологій. При цьому виникає проблема неоднозначності вибору елементів існуючих онтологій, які якнайточніше відповідають ситуації. Метою розроблення є дослідження особливостей застосування мереж онтологій для побудови онтологій проблемних ситуацій в умовах неоднозачності вибору, тобто коли потрібно вибрати найточніше за змістом онтологічне джерело. Наведено формальні визначення онтології проблемної ситуації, відповідності між елементами онтології, мережі онтологій та правил відповідності. Правила відповідності визначено як відображення між підмножинами концептів, відношень та функцій інтерпретації двох онтологій. У роботі наведено концептуальну модель формування онтології проблемної ситуації на основі декількох вихідних онтологій. Розроблено структуру системи підтримки прийняття рішень на основі онтологічних мереж та визначено процес підтримки прийняття рішень у випадку застосування мереж онтологій. Центральним елементом такої системи є база знань, що містить моделі ситуації та посилання на зовнішні онтології з мережі для кожної такої моделі. Основою цих посилань є правила відвідності, що визначають, з яких онтологій отримувати знання та як перетворити їх перед записом в онтологію ситуації. При настанні проблемної ситуації онтологія ситуаціі формується динамічно, з врахуванням наявного контексту ситуації. Це також надає можливість використати актуальні знання з пов’язаних онтологій. Запропоновано підходи до побудови систем підтримки прийняття рішень, що використовують мережі онтологій надають можливість динамічно вибрати концепти та відношення, що відповідають контексту ситуації. Результати роботи доцільно використовувати для розроблення систем підтримки прийняття рішень, що потребують даних з різних предметних областей та в умовах неоднозначності.Item Система ідентифікації проблемних ситуацій тестування програмного забезпечення(Видавництво Львівської політехніки, 2019-02-26) Буров, Є. В.; Микіч, Х. І.; Верес, О. М.; Литвин, В. В.; Burov, Eugene; Mykich, Khrystyna; Veres, Oleh; Lytvyn, Vasyl; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityДосліджено та розроблено методи та засоби ідентифікації проблемних ситуацій на базі онтологій із використанням механізмів логічного виведення, які застосовано в інтелектуальних системах підтримки прийняття рішень для завдань тестування програмного забезпечення. Розглянуто актуальну проблему тестування програмного забезпечення із використанням онтологічного моделювання для своєчасного виявлення помилок та поліпшення якості розроблюваного програмного продукту. Використання онтологічного моделювання для подання та ідентифікації ситуацій створює додаткові можливості для розв’язання задачі ідентифікації та обмеження. Перевагою є здатність застосування логічного виведення та використання аксіом під час міркувань про ситуації. Це забезпечує перспективу розроблення методів ідентифікації ситуацій, що ґрунтуються на логічному виведенні на основі інформації про поточний стан предметної області та знань про цю область. Використана модель завдань дає змогу не лише автоматизувати виконання деяких простих завдань, але й на основі наявних знань про ситуації здійснювати логічне міркування у системах тестування. Онтологічне подання знань про предметну область дало змогу формалізувати знання про проблемні ситуації, що виникають у проєкті, а застосування розроблених методів ідентифікації ситуацій у системі забезпечило вчасне виявлення загрозливих ситуацій та формування рекомендацій щодо їх уникнення. Всі ці фактори сприяють поліпшенню якості програмного продукту під час його розроблення. У роботі подано онтологію галузі тестування програмного забезпечення, а також наведено алгоритм роботи системи та здійснено моделювання на базі UML. Розроблено архітектуру системи ідентифікації ситуацій та програмний комплекс для аналізу і моделювання проблемних ситуацій на прикладі систем підтримки прийняття рішень галузі тестування, центральним компонентом яких є інструментальний засіб для онтологічного моделювання – Protégé. Для розширення функціональних можливостей редактора Protégé використано два плагіни, за допомогою яких здійснено моделювання за допомогою мов SWRL, SQWRL. Результати роботи доцільно використовувати для розв’язування задач виявлення критичних ситуацій під час розроблення та тестування програмного забезпечення, повторного використання інформації в базах знань організацій з розроблення програмного забезпечення, що поліпшить якість створюваного програмного забезпечення.