Валидатор решений задач линейного программирования VaLiPro
линейное программирование задачи линейного программирования валидатор решений
Программа предназначена для валидации решений больших задач линейного программирования на кластерных вычислительных системах. Входными параметрами валидатора являются задача линейного программирования и ее решение, полученное с помощью некоторого решателя, подлежащего в сертификации. Программа проверяет решение с заданной точностью. Если обнаруживается, что решение ошибочно, то программа выводит соответствующее сообщение, после чего находит и выдает правильное решение.
Линейное программирование
50.05.13
Технология программирования. Автоматизация программирования.
Леонид
Соколинский
Борисович
"Доктор физико-математических наук"
"Профессор"
"E-2421-2013"
"6506818504"
"99314"
"https://sok.susu.ru/"
"0000-0001-9997-3918"
РОССИЯ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ЮЖНО-УРАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ (НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ)"
1027403857568
АЛЕКСАНДР
ВАГНЕР
РУДОЛЬФОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ЮЖНО-УРАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ (НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ)"
1027403857568
АЛЕКСАНДР
ВАГНЕР
РУДОЛЬФОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения