Search academic texts

Information × Registration Number 0497U001868, Candidate dissertation Status Date 24-10-1997 popup.evolution o Title Author Захария Любовь Михайловна, popup.head Цейтлин Г.Е. popup.opponent Стукало А.С. popup.opponent Дерецкий В.А. Description Объект исследования: Флрмализованные средства проектирования алгоритмических баз знаний. Цель исследования: Разработка алгебраических, лингвистических и инструментальных средств проектирования алгоритмических баз знаний предметных областей и создание специализированных экспертных систем символьной обработки данных на базе метода многоуровневого структурного проектирования и дальнейшего развития систем алгоритмических алгебр. Методы исследования и аппаратура: Теория автоматов, алгебра логики, трехосновные системы алгоритмических алгебр проектирования алгоритмов и структур данных, алгоритмические базы знаний. Теоретические результаты и новизна: В рамках метаалгебры схематологии разработан подход к построению различных алгебр алгоритмов, которые формализуют разные средства проектирования классов алгоритмов и программ, сформулировано достаточные условия функциональной полноты системы образующих алгебры Дейкстры структурных схем алгоритмов, определены метаправила конструирования алгоритм. знанй. Практические результаты и новизна: Разработаны лингвитсические и инструментальные средства проектирования алгоритмических баз знаний предметных областей, реализовано механизм интерпретации САА схем алгоритмов и LL(1) граматик, предложенными средствами создана экспертная система СОРТ алгоритмов сортировки. Предмет и степень внедрения: Инструментальная система авоматизированного синтеза алгоритмов и программ Мультипроцессист, вошла в программное обеспечение "Нейрон", однородных вычислительных сред, экспертная система алгоритмов сортировки СОРТ, внедрена в учебный процесс ЛКА и Международного Соломонового университета. Эффективность внедрения: Автоматизирует процесс создания алгоритмических баз знаний и специализированных экспертных систем. Сфера (область) использования: Автоматизированное проектирование специализированных систем символьной обработки. Registration Date 1997-10-24 popup.nrat_date 2020-05-17 Close