WikiSort.ru - Кино и мультфильмы

Интервальная арифметика — математическая структура, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Эту область математики называют также интервальным анализом или интервальными вычислениями. Данная математическая модель удобна для исследования различных прикладных объектов:

• Величины, значения которых известны только приближённо, то есть определён конечный интервал, в котором эти значения содержатся.
• Величины, значения которых в ходе вычислений искажены ошибками округления.
• Случайные величины.

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

История вопроса

Операции над интервалами

Мы будем рассматривать всевозможные конечные вещественные интервалы ${\displaystyle [a,b]\ (a\leqslant b)}$ . Операции над ними определяются следующим образом:

• Сложение: [a,b] + [c,d] = [a + c, b + d]
• Вычитание: [a,b] − [c,d] = [a − d, b − c]
• Умножение: [a,b] × [c,d] = [min (ac, ad, bc, bd), max (ac, ad, bc, bd)]
• Деление: [a,b] / [c,d] = [min (a/c, a/d, b/c, b/d), max (a/c, a/d, b/c, b/d)]

Из определения видно, что интервал-сумма содержит всевозможные суммы чисел из интервалов-слагаемых и определяет границы множества таких сумм. Аналогично трактуются прочие действия. Отметим, что операция деления определена только в том случае, когда интервал-делитель не содержит нуля.

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

Свойства операций

Сложение и умножение интервалов коммутативны и ассоциативны. Дистрибутивное свойство имеет место в ослабленном виде:

${\displaystyle X(Y+Z)\subset XY+XZ}$

Варианты и расширения интервальной арифметики

Стандарт IEEE 1788

Стандарт компьютерной реализации интервальной арифметики IEEE 1788-2015 был принят в июне 2015 года.^[1] Рабочей группой по подготовке стандарта были подготовлены две свободно распространяемые референсные его реализации:^[2] библиотека C++ libieeep1788^[3] library for C++, и пакет, реализующий интервальные вычисления для свободного математического ПО GNU Octave^[4].

Минимальное подмножество стандарта, предназначенное для упрощения и ускорения его реализации - IEEE Std 1788.1-2017, было принято в декабре 2017 и и опубликовано в феврале 2018.^[5]

Программное обеспечение

Существует много реализаций интервальной арифметики в различных пакетах программного обеспечения^[6]. Зачастую они оформляются как специализированные библиотеки. Ряд компиляторов Fortran и C++ включают в себя поддержку интервальных значений как специального типа данных.

См. также

• Приближённые вычисления
• IEEE 754

Примечания

Литература

• Алефельд Г., Херцбергер Ю.. Введение в интервальные вычисления. М.: Мир, 1987. 356 с.
• Добронец Б. С. Интервальная математика. Красноярск: Издательство КГУ, 2004.
• Шарый С. П. Конечномерный интервальный анализ. М.: 2007.
• Шокин Ю. И. Интервальный анализ. Новосибирск: Сибирское отделение изд-ва «Наука», 1981.

Ссылки

• Интервальный анализ и его приложения.
• Интервальная арифметика (недоступная ссылка).

Это заготовка статьи по математике. Вы можете помочь проекту, дополнив её.