Hispanopedia Wiki
El Instituto Zuse de Berlín (abreviado ZIB, o Konrad-Zuse-Zentrum für Informationstechnik Berlin ) es un instituto de investigación de matemáticas aplicadas e informática en el campus de la Freie Universität Berlin en Dahlem , Berlín , Alemania .
El ZIB fue fundado por ley en 1984 como una entidad estatutaria y un instituto de investigación no universitario del Estado de Berlín. En estrecha colaboración interdisciplinaria con las universidades e instituciones científicas de Berlín, el Instituto Zuse lleva a cabo investigación y desarrollo en el campo de la tecnología de la información, con especial énfasis en las matemáticas algorítmicas aplicadas y la informática práctica . El ZIB también proporciona capacidad informática de alto rendimiento como servicio complementario a la Red de supercomputadoras del norte de Alemania (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
Konrad Zuse , nacido en Berlín en 1910, da nombre al ZIB.
SCIP (software de optimización)
SCIP ( Solving Constraint Integer Programs ) es un solucionador de programación entera mixta y un marco de trabajo para ramificación y corte , y ramificación y precio , desarrollado principalmente en el Instituto Zuse de Berlín. A diferencia de la mayoría de los solucionadores comerciales, SCIP ofrece al usuario control de bajo nivel e información sobre el proceso de resolución. Al ejecutarse como un solucionador independiente, es uno de los solucionadores no comerciales más rápidos para programas enteros mixtos. [ 1 ]
SCIP se implementa como una biblioteca invocable en C. Para los complementos de usuario , se proporcionan clases de envoltura en C++ . El solucionador para las relajaciones LP no es un componente nativo de SCIP; en su lugar, se proporciona una interfaz LP abierta. Los solucionadores LP compatibles actualmente son CLP , CPLEX , MOSEK , SoPlex y Xpress . SCIP puede ejecutarse en los sistemas operativos Linux , Mac , Sun y Windows .
Las versiones anteriores de SCIP se distribuían bajo una licencia de código abierto que permitía el uso académico gratuito. A partir de la versión 8.0.3, el paquete completo se publicó bajo la licencia Apache 2.0 . [ 2 ]
Características
El diseño de SCIP se basa en la noción de restricciones . Admite aproximadamente 20 tipos de restricciones para programación lineal entera mixta, programación no lineal entera mixta, programación cuadrática entera mixta y optimización pseudobooleana [ 3 ] . También puede resolver árboles de Steiner y problemas de optimización multiobjetivo . [ 4 ] [ 5 ]
Interfaces
Existen varias bibliotecas de interfaz nativas disponibles para SCIP. Se puede acceder a SCIP a través del sistema de modelado GAMS . Las interfaces para MATLAB y AMPL están disponibles en la distribución estándar. Actualmente también existen interfaces externas para Python , Java , Julia y Rust . [ 6 ]
Referencias
- ↑ Prueba comparativa de programación lineal entera mixta archivada el 18 de julio de 2011 en Wayback Machine el 18 de marzo de 2012.
- ↑ Notas de la versión SCIP 8.0 del 15 de febrero de 2023.
- ↑ Desafío pseudobooleano 2009, 11 de febrero de 2011.
- ↑ Un enfoque genérico para resolver el problema del árbol de Steiner y sus variantes 9 de noviembre de 2015.
- ↑ PolySCIP 15 de agosto de 2016.
- ↑ scipopt 22 de mayo de 2023.
Lecturas adicionales
- Achterberg, Tobias (2007), Programación entera con restricciones , ISBN 978-3-89963-892-9.
Enlaces externos
- Página de inicio Instituto Zuse Berlín
- Institutos de investigación en Berlín
- Organizaciones científicas con sede en Alemania
- Sitios de supercomputación
