Инструментальные средства синтеза языков и протоколов взаимодействия распределенных систем

• Автор: Никифоров, Андрей Юрьевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Москва
• Количество страниц: 132 с. : ил.

Глава 1. Подходы к созданию компьютерных систем обучения и методов индивидуализации средств поддержки, а также анализ языков формального описания

1.1. Анализ работ по созданию компьютеризированных систем обучения

1.1.1. Тенденции мирового образования

1.1.2. Таксономия Блума

1.1.3. Пять поколений систем дистанционного обучения

1.1.4. Организационные модели ДО

1.2. Модели предметных областей и обучающего, классификация и сравнительная характеристика практикумов

1.2.1. Структура предметной области с точки зрения процесса обучения

1.2.2. Структура компьютерного курса

1.2.3. Индивидуализация обучающих систем

1.3. Языки описания

1.3.1. Модели, используемые в методах формального описания
1.3.2. Язык ESTELLE
1.3.3. Язык LOTOS
1.3.4. Язык SDL
1.3.5. Язык PDIL
1.3.6. Язык PDL
1.3.7. Язык FAPL
1.3.8. Язык ОСА
1.3.9. Язык ЯСМОД
1.3.10. Язык Promela
1.3.11. Язык UML
1.3.12. Сводное описание языков описания
1.4. Понятие предметных областей и языки описания
1.5. Оценка сложности языков
1.6. Выводы
Глава 2. Разработка моделей обучения и архитектуры индивидуализированных языковых инструментальных сред поддержки обучения
2.1. Процесс обучения
2.2. Разработка формальной модели обучающего
2.3. Разработка формальной модели студента
2.4. Архитектура индивидуализированных языковых инструментальных сред поддержки обучения
2.5. Выводы
Глава 3. Разработка языка описания функционально-иерархизированных систем и метод персонификации средств поддержки
3.1. Метод создания 1ЮС языков
3.2. Разработка базового языка
3.3. Теорема о полноте разработанного языка
3.4. Расширение базового языка для использования в комплексе поддержки лабораторных работ по курсу «Взаимосвязь открытых систем»
3.5. Метод генерации языковых инструментальных сред
3.6. Выводы
Глава 4. Программный комплекс поддержки лабораторных занятий
4.1. Состав и структура программных средств лабораторного комплекса
4.2. Среда поддержки разработки протоколов
4.2.1. Системный исполнитель
4.2.2. Эмулятор сетевого уровня
4.2.3. Интерпретатор встроенного языка
4.2.4. Встроенный отладчик
4.2.5. Набор редакторов
4.2.6. Транслятор из индивидуального языка в базовый
4.3. Система оценки выполненного задания
4.4. Редактор синтаксисов
4.5. Справочная система
4.6. Система генерации вариантов заданий
4.7. Выводы
Глава 5. Данные экспериментов по использованию разработанных инструментов и методов генерации индивидуальных сред и оценки выполненных заданий
5.1. Результаты эксперементальной проверки
5.2. Методика работы с комплексом обучающего
5.3. Выбор функционального наполнения заданий
5.3.1. Общие критерии функционального наполнения
5.3.2. Функциональная наполненность задания транспортного уровня
5.3.3. Функциональная наполненность задания сеансового уровня
5.3.4. Функциональная наполненность задания уровня представления
5.3.5. Функциональная наполненность задания прикладного уровня
5.3.6. Функциональная наполненность задания прикладного процесса
5.3.7. Определение требований к заданиям
5.4. Работа студента с комплексом
5.4.1. Пример заданий
5.5. Апробация в проекте «Инфраменаджер»
5.6. Выводы
Заключение
Список литературы
Приложения
Акты о внедрении использовании результатов диссертации

ванной для конкретной предметной области, случай, с которым имеем дела и мы (см. п. 3.2).
1.5. ОЦЕНКА СЛОЖНОСТИ ЯЗЫКОВ
В работах Е. Csuhaj-Varju, A. Kelemenova, J.F. Power, В.А. Malloy и др. рассматриваются проблемы оценки сложности языков [81, 83, 87, 88, 100, 101]. В них для измерения сложности языка предлагается адаптировать метрики, используемые для измерения сложности программного обеспечения. Несмотря на эмпиричность предложенного подхода, он продемонстрировал свою полезность. Рассмотрим некоторые из таких метрик.
Грамматика G-(N, Т, S, Р), где N - множество нетерминальных символов, Т — множество нетерминальных символов, S - начальный символ, Р — продукции вида п—>а. а состоит из применения грамматических операторов к терминалам и нетерминалам. Обозначим эти применения как f(x), где кЕ{-, |, ?, *, +, е} представляющие операции сцепления, объединения, выбора, звезда Клини, плюс Клини, пустое слово. Операнды, обозначенные х, должны соответствовать арности операции, т.е. 0 для пустого слова, 1 - для выбора и замыканий, 2 - для остальных.
Простейшей метрикой, которая может быть применена для определения размера грамматики, является число нетерминальных символов [100]:
VAR = #N, где # - мощность множества (1.1)
Другой метрикой размера служит средний размер правой части продукции [101]:

'2jsize{ai)
AVS = ^ , где (1.2)
UN v
a.i - правая часть продукции/?,=( n-^ai), р^ЕР,
size(v) = 1 для vG(MJ7),
size (f(x)) = size(x) для &e{-, |, ?, *, +, e}.