Детальная информация

Название: Модели пользовательского интерфейса систем автоматической проверки решений задач на преобразование формул: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_02 «Системное программирование»
Авторы: Дойников Илья Дмитриевич
Научный руководитель: Новиков Федор Александрович
Другие авторы: Кацман В. И.
Организация: Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт
Выходные сведения: Санкт-Петербург, 2022
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: пользовательский интерфейс; система автоматической проверки задач; mathquill; контекстно свободная грамматика; user interface; context free grammar
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Бакалавриат
Код специальности ФГОС: 01.03.02
Группа специальностей ФГОС: 010000 - Математика и механика
DOI: 10.18720/SPBPU/3/2022/vr/vr22-2807
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Дополнительно: Новинка
Ключ записи: ru\spstu\vkr\18842

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Тема выпускной квалификационной работы: «Модели пользовательского интерфейса систем автоматической проверки решений задач на преобразование формул». Данная работа посвящена разработке моделей пользовательского интерфейса, используемые в системе автоматической проверки задач для ввода решений задач в виде формул и их преобразований, а также исследованию эффективности разработанных моделей. Задачи, которые решались в ходе работы: Разработка моделей пользовательского интерфейса, используемые в системе автоматической проверки задач для ввода решений задач в виде формул и их преобразований, а также проверки правильности решения и визуализации ошибок. Сравнение разработанного интерфейса с существующими решениями. Исследование эффективности разработанных интерфейсов по сравнению с предыдущими интерфейсами. Работа выполнялась на базе системы автоматической проверки задач, которая выполняет проверку решений на преобразования формул, введенных пользователем. Были разработаны контекстно свободные грамматики интерфейсов многострочного ввода и обработки ошибок. Были проведены исследования по измерению средней скорости ввода символов, среднего времени решения и среднего количеству переходов в решении и сравнении данных, полученных с использованием разработанного интерфейса с данными, полученных с использованием предыдущего интерфейса. В результате работы были получены модели интерфейсов для ввода и проверки решений задач на преобразование формул. Разработанные интерфейсы в результате исследований показали свою эффективность, улучшив среднее время решения задач.

The subject of the graduate qualification work is « User Interface Models of systems for automatic verification of solutions for formula conversion». This work is devoted to the development of user interface models used in the system of automatic task checking for entering solutions to problems in the form of formulas and their transformations, as well as to the study of the effectiveness of the developed models. Tasks that were solved during the work: Development of user interface models used in the automatic problem checking system for entering problem solutions in the form of formulas and their transformations, as well as checking the correctness of the solution and visualizing errors. Comparison of the developed interface with existing solutions. Study of the effectiveness of the developed interfaces in comparison with previous interfaces. The work was carried out on the basis of an automatic task check system, which checks solutions for transformations of formulas entered by the user. Context-free grammars for multiline input and error handling interfaces have been developed. Studies were carried out to measure the average character input rate, the average solution time and the average number of transitions in the solution and compare the data obtained using the developed interface with the data obtained using the previous interface.As a result of the work, interface models were obtained for entering and verifying solutions to problems for transforming formulas. The developed interfaces as a result of research have shown their effectiveness by improving the average time to solve problems.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Внешние организации №2 Все Прочитать
Внешние организации №1 Все
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
Интернет Авторизованные пользователи (не СПбПУ, №2) Прочитать
Интернет Авторизованные пользователи (не СПбПУ, №1)
-> Интернет Анонимные пользователи

Статистика использования

stat Количество обращений: 4
За последние 30 дней: 4
Подробная статистика