|
|
제 목 |
[RE] OPL tree... |
|
작성자 |
유환주 |
작성일 |
2002-01-29 |
조회수 |
1332 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
:1.
:OPL에서 탐색트리가 실시간으로 볼 수 있는데,
:사용된 기호설명을 보면
:파란원(choice point), 빨간원(failure), 녹색원(solution)을
:볼 수가 있습니다.
:그런데, 실제 트리를 보면 이 밖에도 흰색원이 있습니다.
:흰색원의 의미는 무엇인가요?
:choice-point에서 파생된 경우는 파란원이나 녹색원 혹은 빨간원외에 어떤 경우가 있는지...매뉴얼에는 없더군요...
흰색원은 아직 탐색하지 않은 트리를 나타 냅니다.
:2.
:아울러, OPL에서는 solver와 같이 goal(탐색전략)을 사용할 수 없습니까?? 그리고 OPL에서 solver코드를 자동생성하는지요? (code-generator...)
Search 전략을 줄 수 있습니다, 아래는 Search 전략을 준 예 입니다
search {
forall(t in Transmitters ordered by increasing )
...
코드 생성 기능은 없고, OPL에서 만든 모델은 OPL library와 CPLEX, Solver, Scheduler library를 이용하여 실행 가능한 파일로 만들 수 있습니다
:3.
:OPL log창을 보니까 solver + scheduler라는 메시지가 뜨던데, OPL도 내부엔진은 solver와 scheduler를 사용하나보죠?
물론 입니다. OPL은 그냥 모델링 및 디버깅 환경이고, 엔진은 CPLEX, Solver, Scheduler를 사용합니다.
:4.
:각 activity의 도메인을 보여주는 창에서 bar의 앞쪽 파란부분과 끝의 붉은부분은 각각 startVariable과 endVariable domain의 범위를 나타내는 건가요?
아닙니다. 파란 부분은 EST에 시작했을 경우를 가정한 배치를 보여주고 있으며, 빨간 부분은 LCT에 마치는 경우를 가정한 배치를 보여주는 것입니다. 즉, 파란(빨간)색 칠이 되어 있는 길이가 Duration 입니다.
도움 되시길 ...
|
|
|
|
