"Записки научных семинаров ПОМИ"
Том 543, стр. 56-67
Реализация автоматизированной системы классификации
и оценки эффективности алгоритмов вычисления базисов Грёбнера
Ю. А. Блинков, А. А. Мамонов, С. И. Салпагаров
Саратовский национальный
исследовательский государственный
университет им. Н. Г. Чернышевского,
ул. Астраханская, д. 83, Саратов
blinkovua@gmail.com
Саратовский национальный
исследовательский государственный
университет им. Н. Г. Чернышевского,
ул. Астраханская, д. 83, Саратов;
Российский университет дружбы народов имени Патриса Лумумбы, Москва
mamonov-aa@rudn.ru
salpagarov-si@rudn.ru
- Аннотация:
В настоящей работе представлено описание разработки
автоматизированной системы для классификации и оценки эффективности
алгоритмов вычисления базисов Грёбнера. Описаны этапы создания
специализированного инструмента тестирования для обработки
различных наборов входных данных, выполнения вычислений
с использованием различных алгоритмов и визуализации результатов.
Указаны этапы методологии классификации тестовых задач по
структурной сложности, вычислительным характеристикам
и тематической принадлежности. Особое внимание уделяется
механизмам оптимизации использования памяти и повышению
производительности вычислений. Планируется тестирование
системы на репрезентативном наборе задач различной сложности.
Библ. -- 14 назв.
- Ключевые слова: базисы Грёбнера, компьютерная алгебра,
система тестирования, классификация задач
[Grobner bases, computer algebra, testing system,
computational tasks classification]
Полный текст(.pdf)