|
  |
|
|
|
Main characteristics
- 최적화 문제를 풀기 위한 C++ library
- 제약프로그래밍과 스케줄링 알고리즘에 기초함
- 문제해결과는 분리된 문제 모델링
- 모든 제약과 목적함수를 만족하는 믿을 만한 해결책을 찾음
- 발전 가능성이 큼
Tier one: powerful modeling
- 업무 구분이 활동 타입에 따라 표시됨
- Interval activities
- Breakable activities
- 시작 시간, 종료 시간, 지속과 같은 활동
- 장비, 원자재, 기타 장비가 유형에 따라 분리되어 표시됨
- Unary 자원
- 이산 자원
- 공급소
- 에너지 자원
- State 자원
- 자원 교대 시간과 비용이 곧바로 표현됨
- 미리 지정된 제약의 확장팩
- 일시 제약 (시작 전후, 종료 전후)
- 자원 제약 (필요도, 생산, 소비, 필요 상태 표시)
- 수송 경로 제약 (대안)
- 최대 최소 용량 제약
- 분리 제약
- 연속 제약
- o 기타
- 최종 사용자의 제약이 쉽게 추가 가능
- 미리 지정된 제약과 최종 사용자 제약 알고리즘이 똑 같은 방식으로 쓰여짐
- 새로운 제약이 ILOG Solver 에 의해 정의됨
Tier two: intelligent control
- 광범위한 범위의 미리 지정된 스케줄링 전략
- 자원 할당
- 시간 조정
- Ranking
- Sequencing
- Customize할 수 있는 Search 알고리즘 및 전략
- 변수에 기초한 전략
- 도메인과 관련한 know-how가 서치 heuristics에서 코딩
- 전략과 local improvement strategies의 복잡한 조합을 쉽게 개발 가능
- online scheduling, 상호적 스케줄링, 문제 해결 전략을 위한 특별 기능
- 지속되는 자원
- multiple threads에 의해 공유되는 자원
- 잠재적 사용을 위한 선택
- scratch에서 하나, 모두, 혹은 최상의 솔루션을 계산
- 새로운 정보를 포함하기 위해 기존 솔루션을 업데이트
- 제약이 제대로 반영되었는지 주어진 해결책을 확인
- 솔루션이 최적의 해인지 확인
- 문제 규정이 실행 불가능한 지점을 확인
Tier three: fast algorithms
- ILOG Solver 를 이용해, 제약전파를 위한 가장 효과적인 알고리즘
- 미리 지정된 제약으로서의 유한 용량 스케줄링 알고리즘
- 실시간 스케줄링이 가능한 뛰어난 수행 능력
- 유한 용량 스케줄링 문제 풀이
- 각 미리 지정된 제약을 위한 알고리즘
- 자원제약을 위한 알고리즘
- 최소 및 최대 용량 제약을 위한 time table 알고리즘과 state-resource constraint
- 연속 제약을 위한 sequence 알고리즘
- 휴식시간, 교대 시간과 같은 추가 제약을 위해 개발된 수행능력이 뛰어난 특별 알고리즘
|
|
|
|
