алгебра предикатів, алгебра предикатов ; логічні оператори, логические операторы ; мінімізація, минимизация, minimization ; моделювання, моделирование, modeling, simulation ; мозкоподібні структури, мозгоподобные структуры ; реляційні мережі, реляционные сети

Исследованы предпосылки создания мозгоподобных структур, работающих по принципам мозга, и их реализация на языке алгебры конечних предикатов. Разработан метод расслоения конечного предиката, который осуществляет переход к модели мозгоподобной структуры, представленной реляционной сетью. Усовершенствована звуковая морфологическая модель склонения полных непритяжательных прилагательных русского языка за счет введения потенциальных словоформ и учета беглости последнего звука основы. Данная модель позволяет выполнять автоматизированный аналіз грамматической структуры текста. Исследован метод нулевого прибора и логической идентификации. Процесс выявления аномалий металлургического оборудования автоматизирован и внедрен в программную систему по магнитному мониторингу. Теоретические результаты исследований внедрены в учебный процесс в рамках дисциплин "Бионика интеллекта" и "Логический анализ" для студентов направления подготовки "Программная инженерия".

• УДК // Без людини-оператора. Автомати. Роботи
• УДК // Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж
• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА