Search academic texts

Information × Registration Number 0411U005308, Candidate dissertation Status к.т.н. Date 23-06-2011 popup.evolution o Title Models and methods of analysis and synthesis of logic networks based on algebra of predicates and predicate operations Author Protsay Nataliya Timofiivna, popup.head Shabanov-Kushnarenko Yuriy Petrovich popup.opponent Замаруєва Ірина Вікторівна popup.opponent Шостак Ігор Володимирович Description Об'єкт дослідження: процеси обробки інформації в природньо-мовних системах та процеси функціонування інформаційних систем. Мета дослідження: розробка математичних моделей і методів аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій для розширення можливостей та підвищення ефективності обробки інформації у природньо-мовних системах. Методи дослідження та апаратура: теорія штучного інтелекту, алгебра скінченних предикатів та предикатних операцій, методи композиції та декомпозиції моделей. Теоретичні та практичні результати: розв'язано науково-практичну задачу, яка полягає в розробці математичних моделей і методів моделювання та дослідження логічних мереж на основі алгебри предикатів і предикатних операцій. Новизна: кванторна алгебра предикатних операцій, методи композиції та декомпозиції за набором змінних предикатних моделей, синтез математичної предикатної моделі відмінювання іменних словосполучень російської мови типу узгодження та відповідної обчислювальної логічної мережі, метод побудови математичної моделі інформаційної архітектури системи для проведення аналізу функціональної стабільності. Ступінь впровадження: Державний науково-технічний центр ядерної та радіаційної безпеки (м. Харків). Сфера використання: інформаційні системи, системи штучного інтелекту. Registration Date 2011-06-23 popup.nrat_date 2020-04-04 Close