Введение
Глава 1. Обзор задач контроля результатов обучения с помощью виртуальных лабораторий в современных электронных курсах 10
1.1 Нормативные положения контроля результатов обучения в современном высшем образовании 10
1.2 Массовое электронное обучение и автоматизированные инструменты контроля результатов обучения 12
1.3 Виртуальные лаборатории и технологии их разработки 18
1.4 Классификация виртуальных лабораторий 23
1.5 Задачи применения виртуальных лабораторий в электронных курсах 28
Выводы 40
Глава 2. Универсальная модель распределенной электронной информационно образовательной среды, основанная на протоколе RLCP и обеспечивающая автоматическое оценивание составных результатов обучения 41
2.1 Среда управления виртуальными лабораториями 41
2.2 Порядок выполнения упражнения с помощью виртуальной лаборатории...45
2.3 Обеспечение безопасного функционирования виртуальных лабораторий ...48
2.4 RLCP - протокол управления сервером виртуальной лаборатории 54
2.5 Спецификация программных интерфейсов виртуального стенда и кадра упражнения 70
2.6 Требования к инструментам поддержки и разработки RLCP-совместимых виртуальных лабораторий 79
Выводы 81
Глава 3. Проектирование RLCP-совместимых виртуальных лабораторий для алгоритмических упражнений с помощью автоматной модели эталонного алгоритма 83
3.1 Особенности применения алгоритмических упражнений в виртуальных лабораториях 83
3.2 Автоматная модель эталонного алгоритма 85
3.3 Оценивание решений вариативных алгоритмических упражнений с помощью автоматной модели эталонного алгоритма 94
3.4 Формальное определение сложности вариантов алгоритмических упражнений с помощью автоматной модели эталонного алгоритма 97
3.5 Функции сложности и проектирование параметризованных алгоритмов построения вариантов алгоритмических упражнений 98
3.6 Учет коллизий при определении сложности вариантов алгоритмических упражнений, проектировании алгоритмов оценивания и составления вариантов 102
3.7 Применение автоматной модели эталонного алгоритма для проектирования виртуальных лабораторий на примере упражнения поиска минимального маршрута в графе с помощью алгоритма Ли 103
3.8 Применение автоматной модели эталонного алгоритма для проектирования виртуальных лабораторий на примере упражнения определения изоморфизма графов с помощью локальных характеристик 111
Выводы 117
Глава 4. Внедрение результатов исследования 118
4.1 Реализация компонентов среды управления RLCP-совместимыми виртуальными лабораториями 118
4.2 Средства разработки RLCP-совместимых виртуальных лабораторий 153
4.3 Методика проектирования и разработки RLCP-совместимых виртуальных лабораторий 164
4.4 Итоги внедрения среды управления виртуальными лабораториями и инструментов разработки 175
4.5 Способ применения RLCP-совместимых виртуальных лабораторий на платформе Open edX 177
4.6 Примеры разработки RLCP-совместимых виртуальных лабораторий 181
Выводы 221
Заключение 224
Список источников 226
