Программное обеспечение и языки программирования

Interval arithmetic specification, Sun Microsystems, 2000.

– рабочая cпецификация, на основе которой был создан интервальный Фортран-95 корпорации Sun Microsystems (ныне поглощена Oracle). Документ эпохи, имеющий не только историческую ценность, поскольку в дальнейшем он послужил основой для реализации нескольких библиотек и языков программирования, поддерживающих интервальные вычисления. Под псевдонимом «D. Chiriaev» одного из авторов скрываются, в действительности, Д.В. Ширяев и целая команда разработчиков новосибирской компании «УниПро».

Интервалы в Java – проект JInterval

Обзоры основных принципов построения этой библиотки даны в презентации С.И. Жилина на конференции МАК-2009 (Алтайский госуниверситет, Барнаул, июнь 2009 года) и в заметке С.И. Жилина с соавторами из трудов этой конференции.

Современный взгляд на состояние библиотеки JInterval представлен в докладе С.И. Жилина, Д.Ю. Надёжина и Е.Н. Тепикина на Всероссийской научно-практической конференции «Статистика, моделирование, оптимизация – 2011» (Южно-Уральский госуниверситет, Челябинск, 28 ноября – 2 декабря 2011 года).
Int4Sci – интервальное расширение Scilab'а

Scilab – система компьютерной математики, созданная как европейский аналог Matlab'а. Особенностью Scilab'а является то, что это свободно распространяемый некоммерческий продукт с открытыми исходными кодами. Существуют его версии для Gnu/Linux, Windows 2000/XP/Vista и других платформ. Хорошим введением в систему Scilab является книга Е.Р. Алексеева, Е.А. Чесноковой и Е.А. Рудченко «Scilab: Решение инженерных и математических задач» (Москва: ALT Linux, Бином, 2008), электронную версию которой можно увидеть здесь.

Int4Sci – интервальное расширение Scilab'а, разработка которого была начата группой французских специалистов в INRIA. Они выпустили самый первый релиз пакета, который успешно работал с Scilab 4, но устарел при переходе на Scilab 5. Окончательные сборки второго релиза Int4Sci, работающего в среде Scilab 5 для различных операционных систем, выполнены на кафедре информатики АлтГУ под руководством С.И. Жилина. Int4Sci также распространяется свободно.

Некоторые интервальные программы на Scilab'е.
INTLAB – интервальное расширение MATLAB'а

Помимо реализации низкоуровневых операций и отношений с интервальными типами данных INTLAB содержит ряд процедур для решения интервальными методами стандартных задач численного анализа. Например, процедура VERIFYLSS предназначена для решения систем линейных уравнений (как обычных, так и интервальных), и выдаёт гарантированные двусторонние оценки решения. Крупным недостатком пакета INTLAB с некоторых пор является то, что он небесплатен.

Хорошим руководством по INTLAB'у (и введением в вычислительный интервальный анализ в целом) является текст

Hargreaves G.I. Interval analysis in MATLAB // Manchester Center for Computational Mathematics, 2002.

Ценность его несколько снижается тем, что приводимые в нём листинги программ на INTLAB'е содержат ряд «глюков».

Некоторые интервальные программы на MATLAB'е.
Пакет VERSOFT — программы И. Рона для решения интервальных задач линейной алгебры

– эти программы, написанные для системы MATLAB с интервальным расширением INTLAB (см. предыдущий пункт), предназначены для решения обычных (точечных) и интервальных задач линейной алгебры и оптимизации.

VERSOFT содержит, в частности, программы для внешнего оценивания множеств решений интервальных линейных систем. Из программ для решения обычных («точечных») задач стоит отметить алгоритмы для доказательного решения задач линейного и квадратичного программирования. Особый интерес представляют реализации интервальных методов для доказательного вычисления гарантированных двусторонних оценок собственных и сингулярных чисел матриц.

Designed and implemented by Jirí Rohn (Czech Republic), VERSOFT package is written in INTLAB, an interval extension of MATLAB, and is intended for numerical solution of both point and interval problems of linear algebra and optimization. VERSOFT includes, in partucular, procedures for computing enclosures of the solution sets to interval linear systems of equations. Among the codes for usual ('point') problems, it is worth mentioning procedures for verified solution of linear and quadratic programming problems. Of special interest are implementations of interval methods for verified solution of matrix eigenvalue problems and matrix singular value problems.

Краткое руководство по пакету VERSOFT (A short VERSOFT guide)

Примеры использования программ пакета VERSOFT (VERSOFT examples)
Программы И.А. Шарой для визуализации множеств решений интервальных и точечных систем линейных отношений
- IntLinIncR3 – пакет программ для визуализации множеств решений интервальных линейных систем с тремя неизвестными.
  Версия для MATLAB: Релиз 01.09.2014 (в кодировке UTF-8, в кодировке Windows-1251), Руководство пользователя
  Англоязычный вариант:
  IntLinInc3D, software package for visualization of solution sets to interval linear 3D systems.
  Version for MATLAB, Release 01.09.2014: Source codes, User manual.
- IntLinIncR2 – пакет программ для визуализации множеств решений интервальных линейных систем с двумя неизвестными.
  Версия для MATLAB: Релиз 01.09.2014 (в кодировке UTF-8, в кодировке Windows-1251), Руководство пользователя
  Англоязычный вариант:
  IntLinInc2D, software package for visualization of solution sets to interval linear 2D systems.
  Version for MATLAB, Release 01.09.2014: Source codes, User manual.
  
  В основе пакетов серии IntLinInc лежит метод граничных интервалов для визуализации полиэдральных множеств. Для бóльшей переносимости пакеты написаны на «чистом» MATLAB'е без привлечения интервальной надстройки INTLAB.
- AEsolset.ps – файл-программа на языке PostScript для визуализации множеств АЕ-решений
  интервальной системы линейных уравнений размера 2х2.
  Файл-программа рисует множество решений, а также вычисляет координаты его вершин и точек пересечения границы с координатными осями.
  Программа может выполняться любым интерпретатором языка PostScript (ghostview, gsview, gv, evince, okular и др.).
  Исходные данные для работы программы, – матрица системы, вектор правой части и, по желанию, начальный брус – вводятся с помощью текстового редактора непосредственно в текст этого файла. Для удобства внесения данных в тексте приведены пояснительные комментарии на русском языке (в кодировке win1251).
  Версия – Декабрь 2008
  
  Англоязычный вариант:
      AE-solset.ps, file in PostScript language for visualization of AE-solution sets to 2x2-system of interval linear equations.
      The code included in this file draws the solution set and, additionally, computes coordinates of its vertices and coordinates of points where boundary of the set intersects coordinate axes.
      The program can be executed by any PostScript interpreter (ghostview, gsview, gv, evince, okular and so on).
      The input data (i.e., a matrix, a right-hand side vector of the system and, optionally, an initial enclosing box) can be entered into this file by any text editor. The file contains commentaries and examples of data input.
      Version December-2008
Программы для вычисления формальных решений интервальных линейных систем

– программы на языке С для вычисления формальных решений интервальных систем линейных алгебраических уравнений различного вида. English-language version of the page is here.
Программа MCN для построения линейной регрессионной модели
по данным с интервальной неопределённостью

– написана Н.М.Оскорбиным и А.В.Максимовым в Алтайском госуниверситете ещё в конце 80-х годов XX века для 16-разрядной MS DOS. Для запусков её в современных условиях потребуется эмулятор этой системы. Особую ценность программе придают комментарии и помощь, реализованные с помощью трёх отдельных файлов с расширением .hlp. Фактически, это отдельная научная статья, объясняющая основы метода центра неопределённости и его применение. Для удобства все четыре файла (один исполняемый и 3 файла помощи) упакованы в один tar-архив.
intpakX – интервальное расширение для Maple
Система компьютерной математики Sage

– это свободно распространяемая система компьютерной математики, во многом напоминающая Maple, Mathematica и Matlab, в которой реализована интервальная арифметика переменной точности. На сайте Sage есть русскоязычная ветка с обучающими видеороликами.
Библиотеки интервальных вычислений для C++
- Интервальная библиотека boost
- Интервальная библиотека filib++
  
  – далее с указанной страницы надо перейти по ссылке «Software (Download)». Обзор возможностей и приложений библиотеки filib++, написанный самими её авторами, дан в статье M. Lerch, H. Tischler, J. Wolff von Gudenberg, FILIB++, a fast interval library supporting containment computations // ACM Transactions on Mathematical Software. – 2006. – Vol. 32, No. 2. – P. 299-324.
- Интервальная библиотека C-XSC
- Интервальная библиотека Gaol
Языки высокого уровня для интервальных вычислений
– материалы с сайта «Interval Computations»
Интервальное программное обеспечение
– материалы с сайта «Interval Computations»