Разработка обучающей программы по теме "Обыкновенные дифференциальные уравнения"
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
граммных средств учебного назначения" Приложение 1. Проект Создание отраслевой системы сертификации средств информационных технологий в сфере образования.
.Скибицкий Э.Г. К вопросу о разработке педагогического iенария компьютеризированных курсов. // Информационные технологии в образовании. - Новосибирск: ИПСО РАО. 1993. -Вып.10. - С. 26-41.
.Сливина Н.А., Морозов А.А., Морозов К.А., Воронов Р.С Учебный математический пакет ФОРМУЛА. Руководство пользователя,
.Соловов А.В. Проектирование компьютерных систем учебного назначения: Учебное пособие. Самара: СГАУ, 1995. 138 с.
.Сулейманов Д.Ш., Гильмуллин Р.А., Сафина Л.Р. - Использование компьютерных технологий в обучении: на примере обучающе-тестирующей программы Морфологический анализатор Educational Technology & Society 9(4), 2006 - стр. 293-305.
.Федоров А. Microsoft Visual Studio. NET // КомпьютерПресс. 2001. №9. C.158-161.
Приложение А
Иерархическая схема интерфейса программного средства
Приложение Б
DFD-диаграмма программного средства
Приложение В
Построение LL(1)-анализатора
Формальное описание с помощью форм Бекуса-Наура.
1.
2.::=y' | y''
.
.)
.)
.
.
8.::=VARIABLE
9.::=CONST
10.::=SO
11.::=UO
Множество терминалов/нетерминалов.
Множество нетерминалов
НетерминалыИндексраздел описаний1001переменная порядка1002Выражение1003бинарная операция1004унарная операция1005переменная1006константа1007
Множество терминалов
ТерминалыИндексПустая цепочка0VARIABLE1CONST2SO3UO4VARPOW5(6)7=8
Правила грамматики
Начальный нетерминал S.
1.1001 > 1002 8 10037.1003 > 10072.1002 > 58.1006 > 13.1003 > 1003 1004 10039.1007 > 24.1003 > 1005 6 1003 710.1004 > 35.1003 > 6 1003 711.1005 > 46.1003 > 1006
Эквивалентные преобразования грамматики
Цепных правил не имеется, недостижимых нетерминалов не имеется.
Имеется левокурсивное правило 3.
Введем дополнительный нетерминал - 1008
После преобразований имеем следующие правила грамматики:
. 1001 > 1002 8 10037. 1003 > 1007 1008
. 1002 > 58. 1006 > 1
. 1008 > 1004 1003 10089. 1007 > 2
. 1003 > 1005 6 1003 7 100810. 1004 > 3
. 1003 > 6 1003 7 100811. 1005 > 4
. 1003 > 1006 100812. 1008 > 0
Построение модели лексического анализатора
Множество допустимых для конструкции слов разбито на классы лексем.
Ключевые слова: =
Разделители (, )
Константы: целые, действительные
Переменные: x, y
Переменные порядка: y', y'', y'''.
Внутренние таблицы лексического анализатора:
1)таблица лексем ключевые слова
СловоКод=8
2)таблица лексем разделителей
СловоКод(6)7
3)лексема константа
СловоКодCONST2
4)лексема переменная
СловоКодVARIABLE1
5)лексема унарная операция
СловоКодUO46) лексема бинарная операция
СловоКодSO3
6)лексема переменные степени
СловоКодVARPOW5
Построение таблиц лексического анализатора.
Лексема константа.
1.
2.
3. > ?
4.
5. > ?
6. >, |.
Обозначения:
A - ,
B - , E - ошибка.
Таблица переходов лексемы константа
n,.?кон. цепABEEE0BBEEE1CEBBE0EEEEE0Лексема бинарная операция.
ЛексемаНазначение+сложение-вычитание*умножение/деление^возведение в степень
Лексема унарная операция
Таблица переходов*
sctaliognкон.цеп.ssi0cco0ttg0aasacat0lln0sisin0cocos0tg1asasi0acaco0atata0ln1sin1cos1ataatan0acoacos0asiasin0atan1acos1asin1
*Пустая ячейка в таблице соответствует обозначению ошибки.
Тестовые данные для проверки.
Таблица дескрипторов.
лексемаобозначениекодy'VARPOW5==8((6xVARIABLE1+SO31CONST2))7**3yVARIABLE1--3cosUO4((6xVARIABLE1))7*SO35CONST2
Дескрипторный текст:
8 6 1 3 2 7 3 1 3 4 6 1 7 3 2
Приведение грамматики к виду LL(1)-грамматики.
ВЫБОР(1) = {5}
ВЫБОР(2)= {5}
ВЫБОР(3)= {3}
ВЫБОР(4)= {4}
ВЫБОР(5)= {6}
ВЫБОР(6)= {1}
ВЫБОР(7)= {2}
ВЫБОР(8)= {1}
ВЫБОР(9)= {2}
ВЫБОР(10)= {3}
ВЫБОР(11)= {4}
ВЫБОР(12)= {1,2,7}
ВЫБОР(4)?ВЫБОР(6) ?ВЫБОР(1) ?ВЫБОР(2)= {4}?{6}?{1}?{2}=
ВЫБОР(3) ?ВЫБОР(12)={3}?{1,2,7}=
Таблица переходов.
12345678-|1001110022100367451004210052100621007210088838627282РОДоп.
Обозначения значений ячеек таблицы переходов.
1.ЗАМЕН(1003 8 1002)
2.ВЫТОЛК; СДВИГ
.ЗАМЕН (1008 1003 1004); ДЕРЖ
.ЗАМЕН (1008 7 1003 6 1005); ДЕРЖ
.ЗАМЕН (1008 7 1003); СДВИГ
.ЗАМЕН(1008 1006); ДЕРЖ
.ЗАМЕН(1008 1007);ДЕРЖ
.ВЫТОЛК; ДЕРЖ.
Приложение Г
Признаки для определения типов ДУ первого порядка
УровеньТипы дифференциальных уравнений первого порядкаС разделяющимися переменнымиЛинейныеБе