Information × Registration Number 0496U001060, Candidate dissertation Status к.т.н. Date 17-06-1996 popup.evolution o Title Author Шаповалова Светлана Игоревна, popup.head Елизаренко Г.Н. popup.opponent Нагорный Л.Я. popup.opponent Кондратенко А.И. Description Объект исследования: Механизм формирования моделей сложных систем, который не имеет заранее определенных алгоритмов. Цель исследования: Создание системы автоматизированного формирования моделей. Методы исследования и аппаратура: Логика предикатов, арифметические преобразования булевых функций, язык программирования- Пролог. Теоретические результаты и новизна: Реализация способа представления и ускоренной обработки знаний с оптимизацией пути вывода заключений. Практические результаты и новизна: Реализация методики представления информации про моделируемую систему, которая имеет переменные характеристики. Предмет и степень внедрения: Требует внедрения. Эффективность внедрения: Без экономэффекта, ускорение обработки информации. Сфера (область) использования: Базы данных и знаний. Registration Date 1996-06-17 popup.nrat_date 2020-05-17 Close