|
ILOG CP Optimizer는 많은 고급 기능을 제공하여, 사용자가 시간을 절약하고, 효율성을 증대시킬 수 있도록 도와줍니다. |
|
효율적이고 정밀한 모델링 랭귀지는 할당, 시퀀싱, 타임테이블링 문제를 위해 특별하게 설계되었습니다.
ILOG CP Optimizer 는 수학적 선형/비선형 제약, 논리 제약, 다양한 변수간 관계를 정의하는 특별 제약을 제공합니다. 지원 제약 및 표현은 다음과 같습니다.
- AllDiff 제약: 각 변수를 일렬로 배열하여 특이성을 강화합니다.
- Pack 제약: 유한 용량의 컨테이너 내에 아이템들을 일차원으로 채워 넣습니다. (시간, 무게, 예산 등.)
- lexicographic 제약: 의사결정 변수 그룹간 사전적 순서 배열을 진행합니다.
- 카운트 표현
- 표준 편차 표현
- 호환성 및 비호환성 제약: 의사결정 변수의 배열을 위한 가능한 배열 정의 예를 들어, 시퀀싱 문제에서 허용된 변환을 모델링 하기 위해 본 기능을 사용할 수 있다.
"Model and run" 개발 프로세스
ILOG CP Optimizer 는 제약 확장 엔진과 솔루션 서치 엔진을 포함하고 있습니다. 그리고, 최고의 해를 얻을 때까지 솔루션을 개선 시킵니다. ILOG의 초기 세대 제품을 포함한 모든 기존 CP 엔진에서 요구했던 해의 탐색 전략을 작성하지 않습니다. ILOG CP Optimizer를 활용하면 사용자는 모델을 개발한 후에 탐색전략을 작성하지 않고 제공되는 엔진으로 바로 실행할 수 있습니다.
신속한 “실행 가능한 솔루션” 제너레이터
ILOG CP Optimizer 솔루션 서치 테크놀로지는 개별 변수의 가능해를 찾은 후에 해를 개선하는 서치 테크닉을 기반으로 하고 있습니다. ILOG CP Optimizer는 문제 구성 및 멀티 모델 솔루션이 최고의 옵션일 때, ILOG CPLEX와 통합하여 사용됩니다. 멀티 모델 아키텍쳐 내에서, ILOG CP Optimizer 모델은 두 번째 ILOG CPLEX 모델을 위한 컬럼 제너레이터로써 작동됩니다.

튜닝 가능한 최적화 엔진
ILOG CP Optimizer는 제약의 수학적 공식을 기반으로 솔루션 스페이스를 자동으로 탐색하는 강력한 서치 알고리즘 입니다. 특정 서치 알고리즘을 강조하거나, 제약 전파 정도의 조정을 통해 서치를 명확하게 하므로써 이러한 서치 알고리즘을 튜닝할 수 있습니다.
ILOG OPL-CPLEX-ODM Development System으로 작업하십시오.
ILOG CP Optimizer 는 ILOG OPL-CPLEX-ODM Development System을 활용하기 위해 설계되었습니다. 이러한 환경 속에서 구축된CP 모델은 ILOG CPLEX 모델과 같은 방법으로 테스트, 디버깅 및 튜닝할 수 있습니다. 단, 충돌 제약 Refiner는 CP Optimizer 에는 적용할 수 없는 ILOG CPLEX 툴 입니다. 이러한 방식으로 구축된 모델은 GUI가 자동 생성되므로 비즈니스 사용자를 위한 의사결정 지원 애플리케이션으로 활용할 수 있습니다.
C++, Java, C# 에서 인터페이스
ILOG CP Optimizer 는 C++, Java, C#용 API (advanced programming interfaces) 를 제공합니다. 개발자들은 이러한 언어를 사용하여 모델을 생성할 수 있으며, 엔진을 운영하고, 맞춤형 확장 기능과 서치 컨트롤을 작성합니다.
맞춤형 서치 절차를 위한 API
ILOG CP Optimizer 는 맞춤형 서치 절차를 작성하기 위해 고급 API 를 제공합니다. 경험있는 CP 개발자와 연구진들은 문제해결시간을 단축시키기 위한 자신만의 서치 전략을 작성할 수 있습니다. 이러한 API는 ILOG CP 기반 모델을 ILOG CP Optimizer 아키텍쳐로 원활하게 마이그레이션 하도록 도와줍니다.

|