Search academic texts

Information × Registration Number 0409U002422, Candidate dissertation Status к.т.н. Date 22-04-2009 popup.evolution o Title Relational construction tools of logic networks models and their application in an artificial intellect Author Ivanilov Artem Oleksandrovich, popup.head Shabanov-Kushnarenko Yuri Petrovich popup.opponent Шаронова Наталія Валеріївна popup.opponent Шостак Ігор Володимирович Description Дисертація присвячена розробці формальних засобів побудови моделей логічних мереж. Ці засоби засновані на теоремах з розділу нормалізації теорії реляційних баз даних і дозволяють перетворювати довільні рівняння алгебри предикатів у моделі логічних мереж. Апаратна реалізація логічних мереж на програмувальних логічних інтегральних схемах утворює нові високопродуктивні процесори, що обробляють моделі природної мови. Упе-рше розроблений метод формального опису операцій реляційної алгебри на мові алгебри скінченних предика-тів. Одержав подальший розвиток метод декомпозиції предикатів, який засновано на твердженнях про функціо-нальні, багатозначні залежності та залежності з'єднання реляційних відношень, теоремах Хеза та Фейгина і твер-дженнях про предикатні залежності. Уперше розробле-ний і обґрунтований метод бінарної декомпозиції функ-ціональних предикатів. Побудована модель логічної ме-режі для флективної обробки дієслівних словоформ. Ви-конано оцінку розмірів отриманої моделі й представлені результати апаратного моделювання логічної мережі на інтегральних схемах програмувальної логіки. Побудова-на в роботі модель логічної мережі впроваджена в систе-мі граматичної обробки дієслівних закінчень російської мови. Ця система була описана мовою VHDL і реалізова-на у вигляді IP-core.о та апаратного забезпечення логічних мереж пара-лельної дії. Registration Date 2009-04-22 popup.nrat_date 2020-04-04 Close