Main characteristics Tier one: powerful modeling Tier two: intelligent control Tier three: fast algorithms

Main characteristics

• 최적화 문제를 풀기 위한 C++ library
• 제약프로그래밍과 스케줄링 알고리즘에 기초함
• 문제해결과는 분리된 문제 모델링
• 편리한 관리
• 사용하기 쉬운 어플리케이션
• 모든 제약과 목적함수를 만족하는 믿을 만한 해결책을 찾음
• 발전 가능성이 큼

Tier one: powerful modeling

• 업무 구분이 활동 타입에 따라 표시됨
• Interval activities
• Breakable activities
• 시작 시간, 종료 시간, 지속과 같은 활동
• 장비, 원자재, 기타 장비가 유형에 따라 분리되어 표시됨
• Unary 자원
• 이산 자원
• 공급소
• 에너지 자원
• State 자원
• 자원 교대 시간과 비용이 곧바로 표현됨
• 미리 지정된 제약의 확장팩
• 일시 제약 (시작 전후, 종료 전후)
• 자원 제약 (필요도, 생산, 소비, 필요 상태 표시)
• 수송 경로 제약 (대안)
• 최대 최소 용량 제약
• 분리 제약
• 연속 제약
• o 기타
• 최종 사용자의 제약이 쉽게 추가 가능
• 미리 지정된 제약과 최종 사용자 제약 알고리즘이 똑 같은 방식으로 쓰여짐
• 새로운 제약이 ILOG Solver 에 의해 정의됨

• 광범위한 범위의 미리 지정된 스케줄링 전략
• 자원 할당
• 시간 조정
• Ranking
• Sequencing
• Customize할 수 있는 Search 알고리즘 및 전략
• 변수에 기초한 전략
• 도메인과 관련한 know-how가 서치 heuristics에서 코딩
• 전략과 local improvement strategies의 복잡한 조합을 쉽게 개발 가능
• online scheduling, 상호적 스케줄링, 문제 해결 전략을 위한 특별 기능
• 지속되는 자원
• multiple threads에 의해 공유되는 자원
• 잠재적 사용을 위한 선택
• scratch에서 하나, 모두, 혹은 최상의 솔루션을 계산
• 새로운 정보를 포함하기 위해 기존 솔루션을 업데이트
• 제약이 제대로 반영되었는지 주어진 해결책을 확인
• 솔루션이 최적의 해인지 확인
• 문제 규정이 실행 불가능한 지점을 확인

• ILOG Solver 를 이용해, 제약전파를 위한 가장 효과적인 알고리즘
• 미리 지정된 제약으로서의 유한 용량 스케줄링 알고리즘
• 실시간 스케줄링이 가능한 뛰어난 수행 능력
• 유한 용량 스케줄링 문제 풀이
• 각 미리 지정된 제약을 위한 알고리즘
• 자원제약을 위한 알고리즘
• 최소 및 최대 용량 제약을 위한 time table 알고리즘과 state-resource constraint
• 연속 제약을 위한 sequence 알고리즘
• 휴식시간, 교대 시간과 같은 추가 제약을 위해 개발된 수행능력이 뛰어난 특별 알고리즘