Search academic texts

Information × Registration Number 0408U001563, Candidate dissertation Status к.т.н. Date 19-03-2008 popup.evolution o Title Linear logical transformations and their application in an artificial intellect Author Vechirskaya Irina Dmitrievna, popup.head Shabanov-Kushnarenko Yurij Petrovich popup.opponent Шаронова Наталія Валеріївна popup.opponent Шостак Ігор Володимирович Description Дисертація присвячена побудові методів формального подання відношень за допомогою лінійних логічних перетворень. Вперше розроблено метод знаходження ступеня лінійного логічного перетворення, що характеризується прямою залежністю кінцевого вектора лише від розмірності вхідного вектора та забезпечує підвищення швидкості та точності пошуку розв'язку системи предикатних рівнянь логічною мережею як засобом реалізації відношень довільної природи. Вдосконалено метод обчислення лінійних логічних перетворень, що враховує способи задання області визначення ядра перетворення множиною, універсумом та функцією, і дозволяє розширити клас задач, що розв'язують за допомогою логічних мереж. Отримав подальшого розвитку метод розв'язання рівнянь алгебри скінченних предикатів з параметрами, який дозволяє знаходити загальний вигляд розв'язку для задачі ідентифікації та оберненої задачі для довільних лінійних логічних перетворень. Розроблений комплекс алгебро-логічних методів та алгоритмічних моделей застосовано для підвищення ефективності роботи автоматизованих систем за допомогою логічних мереж паралельної дії. Registration Date 2008-03-19 popup.nrat_date 2020-04-04 Close