ПК USPARS — ДЛЯ РЕШЕНИЯ БОЛЬШИХ РАЗРЕЖЕННЫХ СЛАУ

Программный комплекс представляет собой прямой решатель больших разреженных систем линейных уравнений (СЛАУ) на многопроцессорных системах с общей памятью. Включен в Реестр российского ПО — N записи 18945 от 5.09.2023

Разреженные системы уравнений – это системы с матрицами коэффициентов, у которых число ненулевых элементов много меньше размера матрицы. В зависимости от размера доступной памяти, размерности матриц решаемых систем могут достигать несколько миллионов, с несколькими сотнями миллионов ненулевых элементов.

Такой объем данных возникает в задачах связанных с численным моделированием физических процессов (теплоперенос, акустические, упругие и электромагнитные волновые процессы), математическим моделированием в различных сферах (экономика, логистика, медицина), при проведении инженерных расчетов в системах CAD/CAE.

Для повышения производительности вычисления распараллеливаются с использованием библиотеки OpenMP. Это позволяет ускорить работу при увеличении количества вычислительных ядер.

ПК USPARS может использоваться как независимая вычислительная программа или как вычислительное ядро в прикладных ИТ-системах.

Стоимость и Услуги

Базовая версия — для нее несколько раз в год выходят новые релизы.

Заказные версии — строятся на основе базовой версии, и включают в себя дополнительный функционал.

Расчеты СЛАУ на заказ — этим мы тоже занимаемся.

Информацию о стоимости можно посмотреть здесь.

Документация

ПК USPARS имеет руководство пользователя, подробно описывающее весь набор его функциональных возможностей.

Чтобы начать пользоваться ПК, достаточно воспользоваться инструкцией по установке и инструкцией по эксплуатации.

Сравнение с конкурентами

Наиболее известными аналогами решателя USPARS являются пакеты MKL PARDISO, MUMPS, PARDISO, SuperLU, TAUCS, UMFPACK.

В таблицах и на графиках можно посмотреть сравнительные данные о производительности  решателя USPARS на ряде тестов из специализированной сюиты SuiteSparse Matrix Collection.

Математическая детализация  

Для хранения разреженных матриц существуют специальные структуры, которые позволяют минимизировать объем требуемой памяти для таких матриц и обеспечить эффективную работу с ними. USPARS использует для хранения и обработки разреженных матриц формат CSR (compressed sparse row). В USPARS входные матрицы для вычислений должны подаваться в таком формате, а в качестве результата выдается плотный вектор решений.

Для решения системы линейных уравнений

A X = F

с разреженной матрицей коэффициентов размера NxN и плотной матрицей F размера Nxk выполняется разложение матрицы A в произведение нескольких матриц, являющихся нижне- или верхнетреугольными и диагональными, с последующим решением полученных систем уравнений с треугольными матрицами. В USPARS используются несколько видов треугольной факторизации разреженных матриц, конкретный вид определяется принадлежностью матрицы тому или иному классу и задается в виде параметра решателю. В зависимости от свойств симметрии и положительной определенности матрицы коэффициентов используются следующие виды факторизации

Свойства матрицы Тип факторизации Треугольная система
Вещественная симметричная, положительно определенная  A = LLT LY = F ; LT X = Y
Комплексная Эрмитова, положительно определенная A = LLH  LY = F ; LH X = Y
Комплексная симметричная A = LDLT LY = F ; DZ = Y; LT X = Z
Комплексная Эрмитова A = LDLH LY = F ; DZ = Y; LH X = Z
Общая несимметричная A = LU LY = F ; UX = Y

uspars

USPARS позволяет решать системы с одинарной и двойной точностью. Для хранения матриц, заданных с двойной точностью, требуется в два раза больше памяти, а для вычислений может потребоваться в два раза больше времени. Но использование двойной точности позволяет более точно выполнять арифметические операции, что может быть существенно для матриц с большими числами обусловленности. Для матриц, представленных с одинарной точностью, существует большая вероятность получения недостаточной точности при вычислениях, поэтому рекомендуется по возможности всегда использовать двойную точность.

Наиболее известными аналогами решателя USPARS являются пакеты MKL PARDISO, MUMPS, PARDISO, SuperLU, TAUCS, UMFPACK.

Презентации

Достижения команды УНИПРО в разработке программного пакета USPARS освещались в докладах на международных симпозиумах (см. ниже). Можно посмотреть презентации за 2022 и за 2021 гг. В ноябре 2022 г  новые результаты были представлены  на семинаре ИВМиМГ СО РАН.

Публикации

1. M. Cherepanov, V.Kostin, A.Semenov, S.Solovyev. Developing a direct sparse solver for the Elbrus processors. // Тезисы международной конференции “Марчуковские научные чтения-2021”, c.121, Новосибирск, 2021.

2. M. Cherepanov, V.Kostin, A.Semenov, S.Solovyev. Efficient direct sparse solver for different processor architectures. //Тезисы  международной конференции «Марчуковские научные чтения-2022», с.99, Новосибирск, 2022.

Связь с командой

Если вас интересует информация об этом продукте, напишите нам.