«Базовая библиотека интервальной арифметики с определяемой пользователем точностью расчетов для языка Python»
интервальный анализ язык Python гарантированная точность расчетов
Программа предназначена для выполнения интервальных вычислений на языке Python с гарантированным внешним направленным расширением интервалов и задаваемой пользователем точностью. Поддерживаются базовые арифметические операции, элементарные функции экспонента и натуральный логарифм. Реализованная в библиотеке интервальная арифметика предназначена для выполнения вычислений, в которых операндами операций и аргументами функций выступают интервалы. Использование интервальной арифметики позволяет гарантированно оценивать диапазон значений функции при заданных интервалах, в которых находятся ее параметры. С использованием этой библиотеки можно реализовывать высокоточные методы гарантированного поиска глобального экстремума функций, корней алгебраических уравнений и систем, решать задачи робастного управления, верифицировать алгоритмы и нейросети, выполнять абстрактную интерпретацию программ, а также решать иные задачи, в которых требуется гарантированная точность вычислений. Программа разработана в рамках крупного научного проекта «Методы построения и моделирования сложных систем на основе интеллектуальных и суперкомпьютерных технологий, направленные на преодоление больших вызовов», финансируемого Министерством науки и высшего образования Российской Федерации по соглашению № 075-15-2020-799
Библиотека нужна для разработки программ, в которых требуется выполнять вычисления интервала, гарантированно включающего диапазон значений заданного выражения или функции. Библиотека может быть применена в задачах глобальной оптимизации, при решении систем алгебраических и дифференциальных уравнений, аппроксимации множеств решений уравнений и неравенств.
28.17.19
Математическое моделирование
27.23.25
Специальные функции
Михаил
Посыпкин
Анатольевич
"Доктор физико-математических наук"
"Член-корреспондент РАН"
"E-8738-2014"
"55893068900"
"-"
"0000-0002-4143-4353"
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Петр
Мордовской
Григорьевич
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ФИЦ ИУ РАН
Федеральное государственное  учреждение "Федеральный исследовательский центр "Информатика и управление" Российской академии наук"
1027739314030
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения