1 documents found
Information × Registration Number 0415U005999, Candidate dissertation Status к.т.н. Date 12-11-2015 popup.evolution o Title Ontology models and methods of normative profile forming for software certification Author Butenko Iuliia, popup.head Shostak Igor popup.opponent Стрижак Олександр Євгенійович popup.opponent Чередніченко Ольга Юріївна Description Об'єкт дослідження: процес формування нормативного профілю для сертифікації програмного забезпечення. Предмет дослідження: моделі та методи комп'ютеризованого формування нормативного профілю для сертифікації програмного забезпечення. Методи дослідження:принципи системного аналізу: ієрархічності та системності, математичні моделі семантичної структури природної мови, формальні методи побудови онтологій. Теоретичні та практичні результати: створено лінгвістичну онтологічну модель тексту стандарту, удосконалено модель ядра семантичної цілісності вимоги до програмного забезпечення, подано базові класи предметних і предикатних лексичних одиниць мови стандартів, використано алгебру предикатних операцій для оброблення запитів аудитора сертифікаційного центру, удосконалено метод синтезу лінгвістичної онтології стандарту та метод синтезу онтологічної системи як інтелектуального ядра діалогової системи підтримки прийняття рішень аудитора сертифікаційного центру. Наукова новизна полягає у онтологічному поданні лінгвістичних об'єктів мови стандартів, удосконаленні моделі ядра семантичної цілісності шляхом подання у формі онтології, удосконаленні методу розроблення лінгвістичних онтологій стандартів шляхом урахування композиційної струкутури тексту стандарту, розвитку методу синтезу онтологічної системи шляхом її подання у вигляді ядра інтелектуальної діалогової підтримки прийняття рішень аудитора сертифікаційного центру. Результати дисертаційного дослідження знайшли практичне застосування при створенні автоматизованої підтримки прийняття рішень аудитором сертифікаційного центру в СЕРТЦЕНТР АСУ ХФ СЕРТАТОМ (м. Харків), а також використовуються в навчальному процесі Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ" на кафедрі прикладної лінгвістики при викладанні дисциплін "Основи прикладної лінгвістики", "Теорія алгоритмів та обчислювальних процесів", "Автоматична обробка текстів" та на кафедрі інженерії програмного забезпечення при викладанні дисциплін "Теорія алгоритмів та обчислювальних процесів" та "Системи штучного інтелекту". Registration Date 2015-11-12 popup.nrat_date 2020-04-03 Close
Candidate dissertation
1
Butenko Iuliia. Ontology models and methods of normative profile forming for software certification : к.т.н. : spec.. 05.13.06 - Інформаційні технології : presented. 2015-11-12; popup.evolution: .; National Aerospace University named by N.E.Zhukovsky "Kharkov aviation institute". – , 0415U005999.
1 documents found

Updated: 2026-03-25