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

Інформація × Реєстраційний номер 0409U002422, Кандидатська дисертація На здобуття к.т.н. Дата захисту 22-04-2009 Статус Запланована Назва роботи Реляційні засоби побудови моделей логічних мереж та їх застосування в штучному інтелекті Здобувач Іванілов Артем Олександрович, Керівник Шабанов-Кушнаренко Юрій Петрович Опонент Шаронова Наталія Валеріївна Опонент Шостак Ігор Володимирович Опис Дисертація присвячена розробці формальних засобів побудови моделей логічних мереж. Ці засоби засновані на теоремах з розділу нормалізації теорії реляційних баз даних і дозволяють перетворювати довільні рівняння алгебри предикатів у моделі логічних мереж. Апаратна реалізація логічних мереж на програмувальних логічних інтегральних схемах утворює нові високопродуктивні процесори, що обробляють моделі природної мови. Упе-рше розроблений метод формального опису операцій реляційної алгебри на мові алгебри скінченних предика-тів. Одержав подальший розвиток метод декомпозиції предикатів, який засновано на твердженнях про функціо-нальні, багатозначні залежності та залежності з'єднання реляційних відношень, теоремах Хеза та Фейгина і твер-дженнях про предикатні залежності. Уперше розробле-ний і обґрунтований метод бінарної декомпозиції функ-ціональних предикатів. Побудована модель логічної ме-режі для флективної обробки дієслівних словоформ. Ви-конано оцінку розмірів отриманої моделі й представлені результати апаратного моделювання логічної мережі на інтегральних схемах програмувальної логіки. Побудова-на в роботі модель логічної мережі впроваджена в систе-мі граматичної обробки дієслівних закінчень російської мови. Ця система була описана мовою VHDL і реалізова-на у вигляді IP-core.о та апаратного забезпечення логічних мереж пара-лельної дії. Дата реєстрації 2009-04-22 Додано в НРАТ 2020-04-04 Закрити