WikiDer > Институт Цузе Берлин

Zuse Institute Berlin
Институт Цузе Берлин
Логотип Института Цузе Берлин.png
ДевизZuses Werk weiterdenken
Учредил1984
ПрезидентКристоф Шютте
Место расположения
Далем
,
Берлин
,
Германия
Интернет сайтhttp://www.zib.de
Konrad-Zuse-Zentrum für Informationstechnik Berlin

В Институт Цузе Берлин (сокращенно ZIB, или Konrad-Zuse-Zentrum für Informationstechnik Berlin) - научно-исследовательский институт прикладной математики и информатики на территории кампуса Freie Universität Berlin в Далем, Берлин, Германия.

ZIB был основан по закону как учреждение, учрежденное законом, и как неуниверситетский исследовательский институт Государства Берлин в 1984 году. В тесном междисциплинарном сотрудничестве с берлинскими университетами и научными учреждениями Институт Цузе проводит исследования и разработки в области информационных технологий, уделяя особое внимание прикладным алгоритмам. Математика и практичный Информатика. ZIB также предоставляет высокопроизводительные вычислительные мощности в качестве сопутствующей услуги в рамках Сеть высокопроизводительных компьютеров в Северной Германии (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).

Конрад ЗузеРодился в Берлине в 1910 году и является тезкой ZIB.

SCIP (программное обеспечение для оптимизации)

SCIP
Стабильный выпуск
6.0.0 / 2 июля 2018 г.; 2 года назад (2018-07-02)
Написано вC
Операционная системаКроссплатформенность
ТипМатематическая оптимизация
ЛицензияАкадемическая лицензия ZIB
Интернет сайтскип.zib.de

SCIP (Решение целочисленных программ с ограничениями) это смешанное целочисленное программирование решатель и фреймворк для Разделить и разрезать и Филиал и цена, разработанные в основном в Институт Цузе Берлин. В отличие от большинства коммерческих решателей, SCIP предоставляет пользователю низкоуровневый контроль и информацию о процессе решения. Это один из самых быстрых некоммерческих решателей для смешанных целочисленных программ, выполняемый как автономный решатель.[1]

SCIP реализован как C вызываемая библиотека.Для пользователя плагины, C ++ Предоставляются классы-оболочки. Решатель для релаксации LP не является собственным компонентом SCIP, вместо него предоставляется открытый интерфейс LP. Поддерживаемые в настоящее время решатели LP: CLP, CPLEX, Гуроби, МОСЕК, QSopt, SoPlex и Xpress.SCIP можно запустить на Linux, Mac, солнце, и Windows операционные системы.

Функции

Дизайн SCIP основан на понятии ограничения. Он поддерживает около 20 типов ограничений для смешанно-целочисленного линейного программирования, смешанно-целочисленного нелинейного программирования, смешанно-целочисленного полностью квадратичного программирования и псевдобулевого программирования. [2] оптимизация. Это также может решить Деревья Штайнера и многокритериальная оптимизация проблемы.[3][4]

Интерфейсы

Для SCIP доступно несколько библиотек собственного интерфейса. Доступ к SCIP можно получить через систему моделирования GAMS. Интерфейсы к MATLAB и AMPL доступны в стандартной поставке. Также в настоящее время есть два внешних интерфейса для Python и Ява.[5]

Рекомендации

  1. ^ Тест смешанного целочисленного линейного программирования 18 марта 2012 г.
  2. ^ Псевдобулев вызов 2009 11 февраля 2011 г.
  3. ^ Общий подход к решению проблемы дерева Штейнера и варианты 9 ноя 2015.
  4. ^ PolySCIP 15 августа 2016 г.
  5. ^ SCIP-интерфейсы 15 августа 2016 г.

дальнейшее чтение

  • Ахтерберг, Тобиас (2007), Целочисленное программирование с ограничениями, ISBN 978-3-89963-892-9.

внешняя ссылка