Пошук академічних текстів

Інформація × Реєстраційний номер 0218U007937, 0116U006720 , Науково-дослідна робота Назва роботи Розробка методiв побудови та моделювання iнтелектуальних систем пiдтримки прийняття рiшень з ситуацiйною обiзнанiстю Назва етапу роботи Керівник роботи Буров Євген Вікторович, Дата реєстрації 27-12-2018 Організація виконавець Національний університет "Львівська політехніка" Опис етапу В результатi виконання роботи розроблено моделi, методи та засоби iдентифiкацiї проблемних ситуацiй на базi онтологiй з використанням механiзмiв логiчного виведення. Запропоновано математичний апарат алгебри систем, розроблено вiдображення алгебраїчної моделi подання знань у моделi дескриптивної логiки та iнтерпретованих систем. Розроблень онтологiю галузi тестування програмного забезпечення. Розроблено програмний комплекс для аналiзу та моделювання проблемних ситуацiй для систем пiдтримки прийняття рiшень для галузi тестування програмного забезпечення який дає змогу вчасно виявити та попередити тестувальника про ситуацiї процесу тестування. За результатами роботи захищено кандидатську дисертацію. Опис продукції В результаті виконання роботи розроблено моделі, методи та засоби ідентифікації проблемних ситуацій на базі онтологій з використанням механізмів логічного виведення. Запропоновано математичний апарат алгебри систем, розроблено відображення алгебраїчної моделі подання знань у моделі дескриптивної логіки та інтерпретованих систем. Розроблень онтологію галузі тестування програмного забезпечення. Автори роботи Завущак Ірина Кісь Ярослав Петрович Микич Христина Ігорівна Ришковець Юрій Володирович Худий Андрій Миколайович Додано в НРАТ 2020-04-02 Закрити