Валидатор решений задач линейного программирования VaLiPro
Валидатор задачи линейного программирования линейное программирование
Программа предназначена для валидации решений больших задач линейного программирования на кластерных вычислительных системах. Параллельный код программы получен с помощью алгоритмического каркаса BSF и библиотеки MPI. Входными параметрами валидатора являются задача линейного программирования и ее решение, полученное с помощью некоторого решателя, подлежащего в сертификации. Программа VaLiPro проверяет решение с заданной точностью. Если обнаруживается, что решение ошибочно, то VaLiPro выводит соответствующее сообщение, после чего находит и выдает правильное решение. Исходные коды программы свободно доступны в интернет-репозитории GitHub.
Исследователи и программисты, занимающиеся разработкой новых методов и алгоритмов для решения больших задач линейного программирования.
Леонид
Соколинский
Борисович
Проректор по информатизации
Доктор физико-математических наук
Профессор
E-2421-2013
6506818504
99314
https://sok.susu.ru/
0000-0001-9997-3918
РОССИЯ
Ольга
Хайруллина
Юрьевна
Начальник отдела
РОССИЯ
27.41.23
Машинные, графические и другие методы вычислительной математики
28.19.23
Адаптивные и обучающие системы
87.17.02
Общие проблемы
50.01.85
Автоматизация и автоматизированные системы на предприятиях отрасли
02.02.AC
AUTOMATION & CONTROL SYSTEMS
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
01.01.PN
MATHEMATICS, APPLIED
Леонид
Соколинский
Борисович
Разработка всей программы в целом
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ФГАОУ ВО "ЮУрГУ" (НИУ), Южно-Уральский государственный университет
Федеральное государственное автономное образовательное учреждение высшего образования "Южно-Уральский государственный университет (национальный  исследовательский университет)"
1027403857568
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения