Институт Цузе Берлин - Zuse Institute Berlin
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
 | |
| Девиз | Zuses Werk weiterdenken |
|---|---|
| Учредил | 1984 |
| Президент | Кристоф Шютте |
| Место расположения | , , |
| Интернет сайт | http://www.zib.de |
В Институт Цузе Берлин (сокращенно 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 (программное обеспечение для оптимизации)
| Стабильный выпуск | 6.0.0 / 2 июля 2018 г. |
|---|---|
| Написано в | C |
| Операционная система | Кроссплатформенность |
| Тип | Математическая оптимизация |
| Лицензия | Академическая лицензия ZIB |
| Интернет сайт | скип |
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]
Рекомендации
- ^ Тест смешанного целочисленного линейного программирования 18 марта 2012 г.
- ^ Псевдобулев вызов 2009 11 февраля 2011 г.
- ^ Общий подход к решению проблемы дерева Штейнера и варианты 9 ноя 2015.
- ^ PolySCIP 15 августа 2016 г.
- ^ SCIP-интерфейсы 15 августа 2016 г.
дальнейшее чтение
- Ахтерберг, Тобиас (2007), Целочисленное программирование с ограничениями, ISBN 978-3-89963-892-9.