معهد زوسه في برلين

معهد زوس برلين (مختصر ZIB، أو Konrad-Zuse-Zentrum für Informationstechnik Berlin ) هو معهد أبحاث للرياضيات التطبيقية وعلوم الكمبيوتر في حرم جامعة برلين الحرة في داهلم ، برلين ، ألمانيا .
تأسس معهد زوسه (ZIB) بموجب القانون كمؤسسة قانونية ومعهد بحثي غير جامعي تابع لولاية برلين عام 1984. وبالتعاون الوثيق متعدد التخصصات مع جامعات برلين والمؤسسات العلمية، يُجري معهد زوسه أبحاثًا وتطويرًا في مجال تكنولوجيا المعلومات، مع التركيز بشكل خاص على الرياضيات الخوارزمية التطبيقية وعلوم الحاسوب العملية . كما يوفر المعهد قدرات حاسوبية عالية الأداء كخدمة مصاحبة ضمن شبكة الحواسيب عالية الأداء في شمال ألمانيا (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
كونراد تسوزه ، المولود في برلين عام 1910، هو صاحب اسم ZIB.
برنامج SCIP (برنامج التحسين)
SCIP ( حل برامج الأعداد الصحيحة المقيدة ) هو برنامج لحل برامج الأعداد الصحيحة المختلطة ، وإطار عمل لخوارزميات التفرع والقطع والتفرع والتسعير ، وقد طُوّر بشكل أساسي في معهد زوس ببرلين. على عكس معظم برامج الحل التجارية، يمنح SCIP المستخدم تحكمًا دقيقًا ومعلومات شاملة حول عملية الحل. عند تشغيله كبرنامج مستقل، يُعدّ من أسرع برامج الحل غير التجارية لبرامج الأعداد الصحيحة المختلطة. [ 1 ]
تم تنفيذ SCIP كمكتبة قابلة للاستدعاء بلغة C. بالنسبة للملحقات التي يُضيفها المستخدم ، تُوفّر فئات تغليف بلغة C++ . لا يُعدّ مُحلِّل استرخاء البرمجة الخطية مُكوّنًا أصليًا في SCIP، بل تُوفّر واجهة برمجة خطية مفتوحة. مُحلِّلات البرمجة الخطية المدعومة حاليًا هي 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-07-2011 في Wayback Machine بتاريخ 18 مارس 2012.
- ↑ ملاحظات الإصدار لـ SCIP 8.0 بتاريخ 15 فبراير 2023.
- ↑ تحدي المنطق البولياني الزائف 2009، 11 فبراير 2011.
- ↑ نهج عام لحل مشكلة شجرة شتاينر ومتغيراتها 9 نوفمبر 2015.
- ↑ PolySCIP 15 أغسطس 2016.
- ↑ scipopt 22 مايو 2023.
للمزيد من القراءة
- أشتربيرج ، توبياس (2007)، برمجة الأعداد الصحيحة المقيدة ، ISBN 978-3-89963-892-9.
روابط خارجية
- معاهد البحوث في برلين
- المنظمات العلمية التي تتخذ من ألمانيا مقراً لها
- مواقع الحواسيب العملاقة
