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

Название: Методы сравнения распределений и анализа программного кода для автоматической проверки решений задач: выпускная квалификационная работа магистра: направление 01.04.02 «Прикладная математика и информатика» ; образовательная программа 01.04.02_02 «Математические методы анализа и визуализации данных»
Авторы: Счастливцев Никита Александрович
Научный руководитель: Новиков Федор Александрович
Другие авторы: Кацман Виктор Игоревич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт
Выходные сведения: Санкт-Петербург, 2023
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Вычислительные машины электронные персональные — Программы; сравнение гистограмм; сравнение распределений; анализ программного кода; автоматическая проверка решений задач; похожесть гистограмм; классификатор похожести гистограмм; обработка естественного языка; histograms comparison; distributions comparison; program code analysis; task solutions automatic checking; histograms similarity; histograms similarity classifier; natural language processing
УДК: 004.422.8
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Магистратура
Код специальности ФГОС: 01.04.02
Группа специальностей ФГОС: 010000 - Математика и механика
DOI: 10.18720/SPBPU/3/2023/vr/vr23-5819
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи: ru\spstu\vkr\24354

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

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

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

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

Аннотация

Работа посвящена исследованию и разработке алгоритмов автоматической проверки решений задач, относящихся к двум рассмотренным классам: подбор распределений с похожими гистограммами и реализация алгоритма с заданными требованиями. Задачи, которые решались в ходе исследования: 1. Формулировка заданий к лабораторным работам для курса «Машинное обучение». 2. Подготовка инфраструктуры для сбора данных о решениях студентов и сбор этих данных с последующей разметкой. 3. Реализация алгоритмов автоматической проверки классов задач: - Задача о подборе распределений с похожими гистограммами; - Задача о реализации алгоритма с указанными требованиями. 4. Использование методов машинного обучения и собранных данных для выбора параметров разработанных алгоритмов автоматической проверки. 5. Оценка качества полученных алгоритмов автоматической проверки решений задач и их анализ. В результате были собраны необходимые данные и разработаны алгоритмы автоматической проверки решений поставленных задач. Разработанные алгоритмы показали на имеющихся данных достаточно высокое качество для того, чтобы их можно было использовать для проверки решений задач в учебном процессе.

The work is devoted to the research and implementation of task solution automatic checking algorithms related to the two examined classes: selection of distributions with similar histograms and implementation of an algorithm with specified requirements. The research sets the following goals: 1. Formulation the task statements for the practical labs of the course «Machine Learning». 2. Infrastructure development for gathering the task solutions by students including collecting and markupping datasets. 3. Implementation of algorithms for task solutions automatic checking of the following classes: - The task about selection of distributions with similar histograms; - The task about implementation of an algorithm with specified requirements. 4. The usage of machine learning models on the collected datasets in order to choose appropriate hyperparameters of automatic checking algorithms. 5. Quality estimation of implemented automatic checking algorithms. As the result, needed datasets have been collected and task solutions automatic checking algorithms have been implemented. The quality of proposed algorihtms is high enough to use them for checking task solutions in educational process.

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

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

Оглавление

  • Введение
  • Постановка задач и обзор
    • Типы задач, решения которых подлежат автоматической проверке
    • Построение и похожесть гистограмм
      • Гистограмма
      • Похожесть гистограмм
    • Постановка задач
      • Проверка решения задачи о подборе распределений с похожими гистограммами
      • Проверка решения задачи о реализации алгоритма с заданными требованиями
    • Актуальность
      • Сравнение гистограмм
      • Анализ программного кода
    • Анализ существующих решений
      • Существующие решения автоматической проверки решений задач
      • Анализ литературы по проверке решения задачи о подборе распределений с похожими гистограммами
      • Анализ литературы по проверке решения задачи о реализации алгоритма
  • Сравнение гистограмм
    • Параметры построения гистограмм
    • Получение тренировочной выборки
    • Используемые признаки
    • Обучение и оценка моделей
    • Алгоритм автоматической проверки
    • Анализ результатов
  • Анализ программного кода
    • Недостаточность языковых моделей для полноценной проверки
    • Построение запросов к языковой модели
      • Выбор подходящей языковой модели
      • Задача о преобразовании ограничивающей рамки
      • Задача об улучшении нейросети
      • Задача об обучении регрессионной модели
    • Алгоритм автоматической проверки решений задачи
    • Анализ результатов
  • Заключение
  • Список использованных источников
  • Приложения

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

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