Знайдено документів: 1
Інформація × Реєстраційний номер 0415U005999, Кандидатська дисертація На здобуття к.т.н. Дата захисту 12-11-2015 Статус Запланована Назва роботи Онтологічні моделі та методи формування нормативного профілю при сертифікації програмного забезпечення Здобувач Бутенко Юлія Іванівна, Керівник Шостак Ігор Володимирович Опонент Стрижак Олександр Євгенійович Опонент Чередніченко Ольга Юріївна Опис Об'єкт дослідження: процес формування нормативного профілю для сертифікації програмного забезпечення. Предмет дослідження: моделі та методи комп'ютеризованого формування нормативного профілю для сертифікації програмного забезпечення. Методи дослідження:принципи системного аналізу: ієрархічності та системності, математичні моделі семантичної структури природної мови, формальні методи побудови онтологій. Теоретичні та практичні результати: створено лінгвістичну онтологічну модель тексту стандарту, удосконалено модель ядра семантичної цілісності вимоги до програмного забезпечення, подано базові класи предметних і предикатних лексичних одиниць мови стандартів, використано алгебру предикатних операцій для оброблення запитів аудитора сертифікаційного центру, удосконалено метод синтезу лінгвістичної онтології стандарту та метод синтезу онтологічної системи як інтелектуального ядра діалогової системи підтримки прийняття рішень аудитора сертифікаційного центру. Наукова новизна полягає у онтологічному поданні лінгвістичних об'єктів мови стандартів, удосконаленні моделі ядра семантичної цілісності шляхом подання у формі онтології, удосконаленні методу розроблення лінгвістичних онтологій стандартів шляхом урахування композиційної струкутури тексту стандарту, розвитку методу синтезу онтологічної системи шляхом її подання у вигляді ядра інтелектуальної діалогової підтримки прийняття рішень аудитора сертифікаційного центру. Результати дисертаційного дослідження знайшли практичне застосування при створенні автоматизованої підтримки прийняття рішень аудитором сертифікаційного центру в СЕРТЦЕНТР АСУ ХФ СЕРТАТОМ (м. Харків), а також використовуються в навчальному процесі Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ" на кафедрі прикладної лінгвістики при викладанні дисциплін "Основи прикладної лінгвістики", "Теорія алгоритмів та обчислювальних процесів", "Автоматична обробка текстів" та на кафедрі інженерії програмного забезпечення при викладанні дисциплін "Теорія алгоритмів та обчислювальних процесів" та "Системи штучного інтелекту". Дата реєстрації 2015-11-12 Додано в НРАТ 2020-04-03 Закрити
Дисертація кандидатська
1
Бутенко Юлія Іванівна. Онтологічні моделі та методи формування нормативного профілю при сертифікації програмного забезпечення : к.т.н. : спец.. 05.13.06 - Інформаційні технології : дата захисту 2015-11-12; Статус: Захищена; Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут". – , 0415U005999.
Знайдено документів: 1

Оновлено: 2026-03-17