Мельнікова Роксана Валеріївна. Алгебрологічні моделі морфології та їх застосування в логічних мережах : дис... канд. техн. наук: 05.13.23 / Харківський національний ун- т радіоелектроніки. - Х., 2006.
Анотація до роботи:
Мельнікова Р.В. Алгебрологічні моделі морфології та їх застосування в логічних мережах. – Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.23 – системи та засоби штучного інтелекту. - Харківський національний університет радіоелектроніки, Харків, 2006.
Дисертація присвячена рішенню актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логічних мережах. Побудова логічних мереж необхідна при проектуванні мозкоподібних ЕОМ паралельної дії.
Розроблений метод схемної реалізації предикатних операцій заміни, перестановки, підстановки та обчислення значень кванторів. Отримане представлення довільного відображення. Сформульовані властивості квазідекартового добутку. Розроблений метод схемної реалізації відображень. Отриманий формульний запис мовою алгебри предикатів функції закінчення словоформ прикметників. Запропонований алгебрологічний метод загальної роботи логічних мереж. Побудована логічна мережа, що моделює морфологічне відношення відмінювання повних неприсвійних прикметників російської мови для звукового варіанту.
У дисертаційній роботі наведено результати, які, у відповідності з метою дослідження, в сукупності є вирішенням актуальної наукової задачі – підвищення якості формалізації природної мови за рахунок створення алгебрологічних моделей морфології та їх застосування у логічних мережах, які необхідні для створення мозкоподібних ЕОМ паралельної дії. Вирішення цієї задачі полягає в застосуванні розробленої моделі та методів в системах автоматичної обробки текстів природної мови та має велике значення для створення ефективного інтерфейсу спілкування між рядовими користувачами та автоматичними системами. У результаті вирішення сформульованої задачі:
Проведений аналіз основних наукових досягнень у галузі алгебрологічної формалізації та моделювання інтелектуальної діяльності людини показав, що, незважаючи на великі досягнення в теорії інтелектуальних інформаційних систем, багато задач у цій області ще чекають свого теоретичного і практичного рішення. Це обумовило вибір напрямку досліджень, формулювання мети та задач дисертаційної роботи.
Уперше розроблено метод схемної реалізації предикатних операцій заміни, перестановки, підстановки і обчислення значень кванторів, використання якого дозволяє розпаралелити обробку цих операцій в логічних мережах за рахунок застосування послідовностних схем.
Уперше розроблено метод схемної реалізації відображень, що дозволяє синтезувати логічні мережі для проектування мозкоподібних комп’ютерів, завдяки відтворенню алгебрологічного запису відображень на логічних інтегральних схемах, що програмуються.
Уперше розроблений алгебрологічний метод загальної роботи логічних мереж, призначених для створення мозкоподібних процесорів, що дозволяє розпаралелювати обробку символьної інформації.
Удосконалена алгебрологічна модель відмінювання повних неприсвійних прикметників російської мови, яка, завдяки запропонованій модифікації, описує функцію закінчення ширше, ніж попередні моделі та придатна для використання у логічних мережах.
Побудовані бінарні зв’язки між тими вузлами логічної мережі звукового варіанта відмінювання прикметників, які відсутні чи відрізняються від вузлів логічної мережі текстового варіанту. Створена відповідна логічна мережа.
Розроблені в дисертації алгебрологічний апарат, методи, алгоритми та програмна реалізація, що призначені для формалізації механізмів морфології природної мови, довели високу ефективність логічних мереж. Результати роботи впроваджені в системах синтаксичного аналізу прикметників російської мови, реалізованих на кристалі FPGA (ХНУРЕ, кафедра АПОТ сумісно з фірмою Aldec Inc. (USA)) .
Розроблені методи і модель формалізації механізмів морфології були програмно реалізовані та впроваджені в ТОВ „Віптел” у вигляді програмного керуючого модулю по наданню послуг IP-телефонії.
Публікації автора:
Дударь З.В., Калиниченко О.В., Козяев Л.Л., Мельникова Р.В. О программной реализации логической сети // АСУ и приборы автоматики. - 2005. - № 130. - С. 103- 111.
Дударь З.В., Мельникова Р.В. Об алгебраической формализации полных имен прилагательных // АСУ и приборы автоматики. - 2005.- № 131. - С. 104-112.
Дударь З.В., Мельникова Р.В. О методах схемной реализации отображений // Східно-Європейський журн. передових технологій. - 2005. – № 2/2 (14). - С. 102-105.
Дударь З.В., Мельникова Р.В., Шабанов-Кушнаренко Ю.П. Отношения как предмет формульного описания // Радиоэлектроника и информатика. – 1997. – № 1. – С. 115-119.
Калиниченко О.В., Козяев Л.Л., Мельникова Р.В. О формальной структуре логических сетей // Радиоэлектроника и информатика. - 2005. - № 2. - С. 79-83.
Дударь З.В., Мельникова Р.В. Представление смысла текста в естественном языке // 6-я Междунар. конф. "Теория и техника передачи, приема и обработки информации" ("Новые информационные технологии"): Сб. науч. тр. - Харьков: ХТУРЭ, 2000, - С. 151-152.
Дударь З.В., Мельникова Р.В. Разработка системы логической поддержки проектирования информационных структур // 3-я Междунар. конф. “Теория и техника передачи, приема и обработ-ки информации”. - Харьков – Туапсе: ХТУРЭ, 1997. - С. 295.
Мельникова Р.В. Отношения и действия над ними в алгебре предикатов // 9-й Міжнар. молодіжний форум «Радіоелектроніка і молодь в XXI ст.»: Зб. матеріалів форуму. – Харків: ХНУРЕ, 2005. - С. 384.
Мельникова Р.В. О схемной реализации отображений // 9-й Міжнародний молодіжний форум «Радіоелектроніка і молодь в XXI ст.»: Зб. матеріалів форуму. – Харків: ХНУРЕ, 2005. - С. 383.
Мельникова Р.В. Об одном подходе к вычислению смысла текста // Зб. наук. пр. міжнар. конф. „Інформаційні технології: наука, техніка, технологія, освіта, здоров'я”. - Харків: Харк. держ. політехн. ун-т, 1999. -Ч. 1. - С. 131- 133.
