Тестирование и экспериментальный анализ алгоритмов решения неотрицательных линейных диофантовых уравнений Кулаков Кирилл Александрович Научные руководители: - презентация

1 Тестирование и экспериментальный анализ алгоритмов решения неотрицательных линейных диофантовых уравнений Кулаков Кирилл Александрович Научные руководители: к.т.н., доцент, Богоявленский Ю.А. к.ф.-м.н., ст. преподаватель Корзун Д.Ж.

2 Цель работы: Разработка технологии тестирования и экспериментального анализа алгоритмов решения систем НЛДУ Поставленные задачи: 1)Разработка алгоритмов генерации тестовых систем АНЛДУ и соответствующих им базисов Гильберта 2)Разработка программного обеспечения для выполнения комплексного тестирования и экспериментального анализа 3)Выполнение тестирования и экспериментального анализа алгоритмов решения систем НЛДУ

3 Система АНЛДУ Общий вид системы:

4 Пример системы АНЛДУ Система АНЛДУ: Базис Гильберта :

5 Классификация алгоритмов генерации

6 Схема работы ПО

7 Экспериментальная часть anlde slopessys Распределение времени решения по числу векторов базиса Гильберта Тестирование: более 1.5 миллиона тестовых систем Экспериментальный анализ: 9500 тестовых систем

8 Результаты работы Разработано и реализовано ПО для проведения тестирования и экспериментального анализа Разработаны и реализованы алгоритмы генерации специальных классов систем АНЛДУ Разработан алгоритм генерации полного класса систем АНЛДУ Проведено тестирование алгоритма решения систем АНЛДУ Проведен экспериментальный анализ и сравнение алгоритмов решения