Тестирование и экспериментальный анализ алгоритмов решения неотрицательных линейных диофантовых уравнений Кулаков Кирилл Александрович Научные руководители: к.т.н., доцент, Богоявленский Ю.А. к.ф.-м.н., ст. преподаватель Корзун Д.Ж.
Цель работы: Разработка технологии тестирования и экспериментального анализа алгоритмов решения систем НЛДУ Поставленные задачи: 1)Разработка алгоритмов генерации тестовых систем АНЛДУ и соответствующих им базисов Гильберта 2)Разработка программного обеспечения для выполнения комплексного тестирования и экспериментального анализа 3)Выполнение тестирования и экспериментального анализа алгоритмов решения систем НЛДУ
Система АНЛДУ Общий вид системы:
Пример системы АНЛДУ Система АНЛДУ: Базис Гильберта :
Классификация алгоритмов генерации
Схема работы ПО
Экспериментальная часть anlde slopessys Распределение времени решения по числу векторов базиса Гильберта Тестирование: более 1.5 миллиона тестовых систем Экспериментальный анализ: 9500 тестовых систем
Результаты работы Разработано и реализовано ПО для проведения тестирования и экспериментального анализа Разработаны и реализованы алгоритмы генерации специальных классов систем АНЛДУ Разработан алгоритм генерации полного класса систем АНЛДУ Проведено тестирование алгоритма решения систем АНЛДУ Проведен экспериментальный анализ и сравнение алгоритмов решения