Институт Цузе в Берлине
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
 | |
| Девиз | Подумайте дальше об этой работе |
|---|---|
| Учредил | 1984 |
| Президент | Кристоф Шютте |
| Расположение | , , |
| Веб-сайт | https://www.zib.de |
Институт Цузе в Берлине (сокращенно ZIB, или Konrad-Zuse-Zentrum für Informationstechnik Berlin ) — научно-исследовательский институт прикладной математики и информатики на территории кампуса Свободного университета Берлина в Далеме , Берлин , Германия .
ZIB был основан по закону как уставное учреждение и как неуниверситетский научно-исследовательский институт земли Берлин в 1984 году. В тесном междисциплинарном сотрудничестве с берлинскими университетами и научными учреждениями Институт Цузе реализует исследования и разработки в области информационных технологий с участием Особое внимание уделяется прикладно-ориентированной алгоритмической математике и практической информатике . ZIB также предоставляет высокопроизводительные компьютерные мощности в качестве сопутствующей услуги в рамках Сети высокопроизводительных компьютеров Северной Германии (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
Конрад Цузе , родившийся в Берлине в 1910 году, является тезкой ЗИБа.
SCIP (программное обеспечение для оптимизации)
[ редактировать ]| Стабильная версия | 8.0.3 / декабрь 2022 г |
|---|---|
| Написано в | С |
| Операционная система | Кросс-платформенный |
| Тип | Математическая оптимизация |
| Лицензия | Апач 2.0 |
| Веб-сайт | www |
SCIP ( Solution Constraint Integer Programs ) — это решатель смешанного целочисленного программирования и основа для ветвления и разреза , а также ветвления и цены , разработанная в первую очередь в Институте Цузе в Берлине. В отличие от большинства коммерческих решателей, SCIP предоставляет пользователю низкоуровневый контроль над процессом решения и информацию о нем. Запускаемый как автономный решатель, это один из самых быстрых некоммерческих решателей для программ со смешанными целыми числами. [1]
реализован как C. вызываемая библиотека SCIP Для пользовательских предусмотрены плагинов C++ классы-оболочки .Решатель релаксаций LP не является встроенным компонентом SCIP, вместо него предоставляется открытый интерфейс LP.В настоящее время поддерживаются решатели LP: CLP , CPLEX , MOSEK , SoPlex и Xpress .SCIP может работать в операционных системах Linux , Mac , Sun и Windows .
Предыдущие версии SCIP распространялись по лицензии с доступными исходными кодами, которая разрешала бесплатное академическое использование. Начиная с версии 8.0.3 полный пакет выпущен под лицензией Apache 2.0 . [2]
Функции
[ редактировать ]Конструкция SCIP основана на понятии ограничений . Он поддерживает около 20 типов ограничений для смешанно-целочисленного линейного программирования, смешанно-целочисленного нелинейного программирования, смешанно-целочисленного полностью квадратичного программирования и псевдологического программирования. [3] оптимизация. Он также может решать деревья Штейнера и многокритериальной оптимизации . задачи [4] [5]
Интерфейсы
[ редактировать ]Для SCIP доступно несколько библиотек собственного интерфейса. Доступ к SCIP можно получить через систему моделирования GAMS . Интерфейсы к MATLAB и AMPL доступны в стандартной поставке. В настоящее время также существуют внешние интерфейсы для Python , Java , Julia и Rust . [6]
Ссылки
[ редактировать ]- ^ Тест смешанного целочисленного линейного программирования , 18 марта 2012 г.
- ^ Примечания к выпуску SCIP 8.0 от 15 февраля 2023 г.
- ↑ Псевдобулева задача 2009, 11 февраля 2011 г.
- ^ Общий подход к решению проблемы дерева Штейнера и ее вариантов , 9 ноября 2015 г.
- ^ PolySCIP , 15 августа 2016 г.
- ↑ Сципопт , 22 мая 2023 г.
Дальнейшее чтение
[ редактировать ]- Ахтерберг, Тобиас (2007), Целочисленное программирование с ограничениями , ISBN 978-3-89963-892-9 .
Внешние ссылки
[ редактировать ]
