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

Інформація × Реєстраційний номер 0497U001868, Кандидатська дисертація На здобуття Дата захисту 24-10-1997 Статус Запланована Назва роботи Некоторые вопросы многоуровневого проектирования специализированных экспертных систем Здобувач Захария Любовь Михайловна, Керівник Цейтлин Г.Е. Опонент Стукало А.С. Опонент Дерецкий В.А. Опис Объект исследования: Флрмализованные средства проектирования алгоритмических баз знаний. Цель исследования: Разработка алгебраических, лингвистических и инструментальных средств проектирования алгоритмических баз знаний предметных областей и создание специализированных экспертных систем символьной обработки данных на базе метода многоуровневого структурного проектирования и дальнейшего развития систем алгоритмических алгебр. Методы исследования и аппаратура: Теория автоматов, алгебра логики, трехосновные системы алгоритмических алгебр проектирования алгоритмов и структур данных, алгоритмические базы знаний. Теоретические результаты и новизна: В рамках метаалгебры схематологии разработан подход к построению различных алгебр алгоритмов, которые формализуют разные средства проектирования классов алгоритмов и программ, сформулировано достаточные условия функциональной полноты системы образующих алгебры Дейкстры структурных схем алгоритмов, определены метаправила конструирования алгоритм. знанй. Практические результаты и новизна: Разработаны лингвитсические и инструментальные средства проектирования алгоритмических баз знаний предметных областей, реализовано механизм интерпретации САА схем алгоритмов и LL(1) граматик, предложенными средствами создана экспертная система СОРТ алгоритмов сортировки. Предмет и степень внедрения: Инструментальная система авоматизированного синтеза алгоритмов и программ Мультипроцессист, вошла в программное обеспечение "Нейрон", однородных вычислительных сред, экспертная система алгоритмов сортировки СОРТ, внедрена в учебный процесс ЛКА и Международного Соломонового университета. Эффективность внедрения: Автоматизирует процесс создания алгоритмических баз знаний и специализированных экспертных систем. Сфера (область) использования: Автоматизированное проектирование специализированных систем символьной обработки. Дата реєстрації 1997-10-24 Додано в НРАТ 2020-05-17 Закрити