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

Інформація × Реєстраційний номер 0408U001563, Кандидатська дисертація На здобуття к.т.н. Дата захисту 19-03-2008 Статус Запланована Назва роботи Лінійні логічні перетворення та їх застосування в штучному інтелекті Здобувач Вечірська Ірина Дмитрівна, Керівник Шабанов-Кушнаренко Юрій Петрович Опонент Шаронова Наталія Валеріївна Опонент Шостак Ігор Володимирович Опис Дисертація присвячена побудові методів формального подання відношень за допомогою лінійних логічних перетворень. Вперше розроблено метод знаходження ступеня лінійного логічного перетворення, що характеризується прямою залежністю кінцевого вектора лише від розмірності вхідного вектора та забезпечує підвищення швидкості та точності пошуку розв'язку системи предикатних рівнянь логічною мережею як засобом реалізації відношень довільної природи. Вдосконалено метод обчислення лінійних логічних перетворень, що враховує способи задання області визначення ядра перетворення множиною, універсумом та функцією, і дозволяє розширити клас задач, що розв'язують за допомогою логічних мереж. Отримав подальшого розвитку метод розв'язання рівнянь алгебри скінченних предикатів з параметрами, який дозволяє знаходити загальний вигляд розв'язку для задачі ідентифікації та оберненої задачі для довільних лінійних логічних перетворень. Розроблений комплекс алгебро-логічних методів та алгоритмічних моделей застосовано для підвищення ефективності роботи автоматизованих систем за допомогою логічних мереж паралельної дії. Дата реєстрації 2008-03-19 Додано в НРАТ 2020-04-04 Закрити