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

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.