Instituto Zuse de Berlín - Zuse Institute Berlin
 | |
| Lema | Zuses Werk weiterdenken |
|---|---|
| Establecido | 1984 |
| presidente | Christof Schütte |
| Ubicación | , , |
| Sitio web | http://www.zib.de |
El Zuse Institute Berlin (abreviado ZIB, o Konrad-Zuse-Zentrum für Informationstechnik Berlin ) es un instituto de investigación para matemáticas aplicadas e informática en el campus de Freie Universität Berlin en Dahlem , Berlín , Alemania .
El ZIB fue fundado por ley como un establecimiento estatutario y como un instituto de investigación no universitario del estado de Berlín en 1984. En estrecha cooperación interdisciplinaria con las universidades e instituciones científicas de Berlín, el Instituto Zuse implementa investigación y desarrollo en el campo de la tecnología de la información con un enfoque particular en Matemáticas algorítmicas orientadas a aplicaciones e informática práctica . ZIB también proporciona capacidad informática de alto rendimiento como servicio complementario como parte de la red de ordenadores de alto rendimiento en el norte de Alemania (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
Konrad Zuse , nacido en Berlín en 1910, es el homónimo del ZIB.
SCIP (software de optimización)
| Lanzamiento estable | 6.0.0 / 2 de julio de 2018
|
|---|---|
| Escrito en | C |
| Sistema operativo | Multiplataforma |
| Tipo | Optimización matemática |
| Licencia | Licencia académica ZIB |
| Sitio web | scip |
SCIP ( Solving Constraint Integer Programs ) es un solucionador de programación de enteros mixto y un marco para Branch and cut y Branch and price , desarrollado principalmente en Zuse Institute Berlin . A diferencia de la mayoría de los solucionadores comerciales, SCIP brinda al usuario un control de bajo nivel e información sobre el proceso de solución. Ejecutar como un solucionador independiente, es uno de los solucionadores no comerciales más rápidos para programas enteros mixtos.
SCIP se implementa como C biblioteca exigible . Para los complementos de usuario , se proporcionan clases contenedoras de C ++ . El solucionador de las relajaciones LP no es un componente nativo de SCIP, en su lugar se proporciona una interfaz LP abierta. Los solucionadores LP actualmente admitidos son CLP , CPLEX , Gurobi , MOSEK , QSopt , SoPlex y Xpress . SCIP se puede ejecutar en los sistemas operativos Linux , Mac , Sun y Windows .
Caracteristicas
El diseño de SCIP se basa en la noción de restricciones . Admite alrededor de 20 tipos de restricciones para programación lineal de enteros mixtos, programación no lineal de enteros mixtos, programación totalmente cuadrática de enteros mixtos y optimización pseudo-booleana. También puede resolver Steiner Trees y problemas de optimización multiobjetivo .
Interfaces
Hay varias bibliotecas de interfaces nativas disponibles para SCIP. Se puede acceder a SCIP a través del sistema de modelado de GAMS . Las interfaces para MATLAB y AMPL están disponibles dentro de la distribución estándar. Actualmente también hay dos interfaces externalizadas para Python y Java .
