베를린 주세 연구소

Zuse Institute Berlin
베를린 주세 연구소
Logo of the Zuse Institute Berlin.png
좌우명주스 베르크 웨이터덴켄
확립된1984
대통령크리스토프 슈트
위치
달렘
,
베를린
,
독일.
웹사이트http://www.zib.de
콘라트주세젠트럼 퓌르 정보스테크닉 베를린

주세 연구소 베를린(약칭 ZIB, 또는 콘래드-주세-젠트르 퓌르 정보스텝닉 베를린)은 독일 베를린 다렘에 있는 프리 우니베르시테트 베를린 캠퍼스에 있는 응용 수학 및 컴퓨터 과학 연구기관이다.

ZIB는 법률에 의해 법으로 설립되었고 1984년 베를린 주의 비대학 연구기관으로 설립되었다.베를린 대학 및 과학 기관과의 긴밀한 학제간 협력 속에서 주즈 연구소는 특히 응용 중심의 알고리즘 수학 및 실용 컴퓨터 과학에 중점을 두고 정보기술 분야의 연구개발을 실시한다.ZIB는 또한 북독의 고성능 컴퓨터 네트워크(Norddeutscher Bubund von Hoch- und Höchstleistungsrechenern (HLRN))의 일부로 고성능 컴퓨터 용량을 부가 서비스로 제공한다.

1910년 베를린에서 태어난 콘래드 주즈는 ZIB의 이름이다.

SCIP(최적화 소프트웨어)

SCIP
안정적 해제
6.0.0 / 2018년 7월 2일; 3년 전(2018-07-02)
기록 위치C
운영 체제크로스 플랫폼
유형수학적 최적화
면허증ZIB학술면허증
웹사이트scip.zib.de

SCIP(해결 제약 정수 프로그램)는 혼합 정수 프로그래밍 해결사로서 분기와 절단 및 분기와 가격을 위한 프레임워크로 주로 베를린 주세 연구소에서 개발되었다.대부분의 상용 해결사들과는 달리 SCIP는 사용자에게 해결 과정에 대한 낮은 수준의 제어와 정보를 제공한다.독립형 해결사로 운영되는 이 회사는 혼합 정수 프로그램을 위한 가장 빠른 비상업적 해결사 중 하나이다.[1]

SCIP는 C 호출 가능한 라이브러리로 구현된다.사용자 플러그인의 경우 C++ 래퍼 클래스가 제공된다.LP 릴렉스용 해결기는 SCIP의 기본 구성요소가 아닌 오픈 LP 인터페이스가 제공된다.현재 지원되는 LP솔러는 CLP, CPLEX, MOSEK, SoPlex, Xpress 등이다.SCIP는 Linux, Mac, Sun 및 Windows 운영 체제에서 실행될 수 있다.

특징들

SCIP의 설계는 제약조건의 개념에 기초한다.혼합정수제 선형 프로그래밍, 혼합정수제 비선형 프로그래밍, 혼합정수제 올정수 프로그래밍 및 유사부울 최적화 등을 위해 약 20개의 제약조건 유형을 지원한다.또한 Steiner Trees와 다목적 최적화 문제를 해결할 수 있다.[3][4]

인터페이스

SCIP에 사용할 수 있는 몇 가지 기본 인터페이스 라이브러리가 있다.SCIP는 GAMS의 모델링 시스템을 통해 접속할 수 있으며, MATLAB 및 AMP에 대한 인터페이스는 표준 분포 내에서 이용할 수 있다.또한 현재 파이썬과 자바를 위한 2개의 외부 인터페이스가 있다.[5]

참조

  1. ^ 혼합 정수 선형 프로그래밍 벤치마크 2012년 3월 18일.
  2. ^ 사이비 부울 챌린지 2009년 2월 11일 2011년 2월 11일.
  3. ^ 2015년 11월 9일 스테이너 트리 문제 및 변형 문제 해결을 위한 일반적 접근법
  4. ^ PolySCIP 2016년 8월 15일.
  5. ^ SCIP-인터페이스는 2016년 8월 15일.

추가 읽기

  • Achterberg, Tobias (2007), Constraint Integer Programming, ISBN 978-3-89963-892-9.

외부 링크