|
|
제 목 |
정확한 문법사용 요구 |
|
작성자 |
임승빈 |
작성일 |
2008-10-30 |
조회수 |
1318 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
안녕하세요.
opl 작성된 모델 파일을 확인하여 보았습니다.
대체로 올바른 문법을 사용하셨는데, 몇 부분에서 잘못된 문법을 사용하셨습니다.
내용은 아래와 같습니다.
1. 변수 선언부
dvar Boolean X[targets][targets];
-> dvar boolean X[targets][targets];
Boolean 의 대문자 B를 소문자 b로 사용하셔야 합니다.
2. Set 선언부
{range} TAR[targets] = ...;
-> {int} TAR[targets] = ...;
{} 표현은 셋을 의미합니다. 따라서 {range}는 범위 집합을 의미하는데, opl에서는 범위 집합을 사용하지 않습니다. 데이터를 확인해 보니 범위 집합이라기 보다는 정수집합이 올바른 것으로 판단 됩니다. 따라서, {int}를 사용하시면 됩니다.
3. 제약 선언부
constraint(3-8)
constraint(3-9)
여긴 특별히 잘못된 부분이 아니라.. 제약 마지막 부분에 세미콜론을 붙여주시면 됩니다.
if(j < k)
{
start_time[i][k] >= start_time[i][j] + z[i][j]*Duration_time[i][j] - M*(1-X[j][k]);//-fixed. semi-colon
}; //constraint(3-8)
if(j < k)
{
start_time[i][j] >= start_time[i][k] + z[i][j]*Duration_time[i][k] - (M*X[j][k]);//-fixed. semi-colon
}; //constraint(3-9)
마지막 제약인,
forall(i in battery, j in targets)
start_time[B][11] == 20;
forall(i in battery, j in targets)
finish_time[B][11] == start_time[B][11] + 5; //constraint(3-14)
이 부분은 제약에 적용된 B와 11 인덱스가 무엇을 의미하는지 전혀 알 수가 없습니다. forall 형태로 i,j로 루프를 돌리시는데 뜬금없이 B, 11 인덱스가 튀어나온 이유를 알 수가 없네요. 쉽게 확인될 수 있는 부분이라고 생각합니다.
이상과 같이 수정하시면, 문법적으로 발생하는 오류는 모두 수정됩니다.
감사합니다. |
|
|
|
