Publication: Исследование и реализация интегрированной с LMS Moodle системы изучения категориальной абстрактной машины
Дата
2023
Авторы
Султанов, Р. Л.
Journal Title
Journal ISSN
Volume Title
Издатель
Аннотация
Ключевые слова: ОБОБЩЕННОЕ ПРОГРАММИРОВАНИЕ, ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ, КАТЕГОРИАЛЬНАЯ АБСТРАКТНАЯ МАШИНА, ОТКАЗОУСТОЙЧИВЫЕ СИСТЕМЫ. Создано 34 классов (из них 7 моделей, 4 контроллера, 3 компонента, 3 теста), написано около 1500 строк кода (90% – Scala, 6% – YAML, 4% – HyperText Markup Language (HTML)). Объектом исследования в данной работе являются способы компиляции лямбда-исчисления в команды категориальной абстрактной машины, и методы построения функциональных интерактивных веб-ориентированных систем изучения абстрактных вычислительных машин. Целью данной работы является реализация интегрированной с LMS Moodle системы изучения категориальной абстрактной машины на основе подходов функционального программирования на языке Scala в облачной академической среде РУСТЭК. В данной работе использовались методы функционального программирования для построения синтаксического анализатора через парсер-комбинаторы, а также техника сравнения с образцом для компиляции лямбда термов в команды КАМ. Для построения интеграции с LMS Moodle системы изучения КАМ использовалась техника объектных алгебр для спецификации LTI протокола общения. Клиентская часть генерации и выполнения заданий использует методы функционального реактивного программирования для достижения максимальной интерактивности системы. В результате удалось разработать систему изучения категориальной абстрактной машины интегрированной с LMS Moodle с методами генерации заданий на поиск ошибок в шагах вычислений команд КАМ. Протокол взаимодействия КАМ и LMS Moodle описан типизированно через объектную алгебру. А сама система адаптирована и развернута в академическом облаке РУСТЭК на базе платформы оркестрации контейнеров. Данная система будет использована для лабораторных занятий по курсу «Абстрактные вычислительные машины» для студентов магистратуры кафедры №22 «Кибернетика» НИЯУ МИФИ
Описание
Уровень образования: магистратура; Код направления/специальности: 09.04.04; Группа: М21-514
Ключевые слова
ВКР , Выпускная квалификационная работа
Цитирование
Султанов, Р. Л. Исследование и реализация интегрированной с LMS Moodle системы изучения категориальной абстрактной машины : Выпускная квалификационная работа, магистратура, 09.04.04 / Р. Л. Султанов ; рук. работы ШАПКИН П.А., 2023