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

Інформація × Реєстраційний номер 0593U000524, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 18-12-1992 Статус Запланована Назва роботи Исследование, разработка и реализация алгебрологических конструкций для повышения уровня машинного интеллекта Здобувач Асельдеров Зайнутдин Макашарипович, Опонент Стогний А.О. Опонент Молчанов О.А. Опонент Кириченко Н.Ф. Опис Объект исследования: Алгебрологические конструкции, необходимые при поиске логического вывода теорем в формализованных математических теориях. Цель исследования: Разработка и реализация природно-логического вывода в формализованных теориях; исследование проблемы реконструкции графа по его подграфами. Методы исследования и аппаратура: Современная теория дискретной математики: теория формасних языков, теория доказательства теорем, теория алоритмов, теория градов, теория свободных групп. Теоретические результаты и новизна: Разработано и реализовано алгоритм логического вывода теорем теории свободных групп; разработано и реализовано алгоритм решения уравнений в свободных группах; решена проблема реконструкции графа. Практические результаты и новизна: Реализовано алгоритм поиска логического вывода теорем теории свободных групп; реализовано алгоритм реконструирования р-вершинного графа. Предмет и степень внедрения: Пакет программ "Сетевой монитор процессов". Эффективность внедрения: Подтвержденный годовой экономический эффект составляет 0,5 млн.крб. Сфера (область) использования: Средства для создания дедективных баз знаний и специализированных экспертных систем для решения актуальных заданий ИАСУ. Дата реєстрації 1993-03-20 Додано в НРАТ 2021-03-18 Закрити