Дата публикации в реестре: 2025-05-27T14:20:59Z

Аннотация:

В данной работе проводится описание тестировочного инструмента для GInv ПО, предназначенного для решения систем алгебраических уравнений с помощью инволютивного метода Грёбнера. Созданная утилита в первую очередь направлена на автоматизированное тестирование GInv, исключающее ручной ввод необходимых для решения системы параметров. Для работы с тестировщиком пользователь указывает путь к архиву с JSON файлами, содержащими информацию об системе уравнений. Далее в статье подробно описывается структура приложения, состоящая из трёх ключевых функциональных блоков и алгоритмического цикла. Так, тестировщик осуществляет импорт тестов в формате JSON из архива, построение базиса Грёбнера, сохранение и вывод результатов тестирования. Работа системы основывается на использовании методов ПО GInv. Результаты тестов описываются названием, потраченным на решение временем, размерностью системы и другими параметрами. Полученные данные сохраняются в различных форматах для удобства последующего анализа, указывающего на зависимости между временем решения системы и её другими параметрами. Далее проводилось сравнение работы GInv и другой системы компьютерной алгебры SageMath, на основе которого можно сказать, что новый инструмент в будущем может значительно ускорить процесс решения систем уравнений и тестирования подобных систем компьютерной алгебры в целом.

Тип: Article

Источник: Информационно-телекоммуникационные технологии и математическое моделирование высокотехнологичных систем