피망 슬롯 수학 프로그래밍(EMP)은 새로운 모델 유형을 보다 확립된 수학 프로그래밍 클래스의 모델로 자동 재구성하여 성숙한 솔버 알고리즘으로 해결할 수 있도록 하는 대수 모델링 언어의 피망 슬롯입니다. 여러 가지 중요한 문제 클래스를 해결할 수 있습니다. 내쉬 게임 및 평형, 이중 수준 프로그램, 분리형 프로그램 및 확률론적 프로그램. EMP는 사용되는 모델링 언어와 독립적이지만 현재는 GAMS에서만 구현됩니다. EMP로 모델링된 새로운 유형의 문제는 잘 확립된 유형의 문제뿐만 아니라 GAMS 솔버 JAMS를 사용하여 재구성되고 재구성된 모델은 해결을 위해 적합한 GAMS 솔버로 전달됩니다.

피망 슬롯 모델은 전통적인 모델 정의와 주석 또는 추가 정보가 포함된 텍스트 파일이라는 두 곳에서 가져온 정보로 정의됩니다. 일반적인 모델 정의에는 변수, 제약 조건 및/또는 기능이 포함되며 아마도 목표 또는 일치 정보도 포함됩니다. 이 전통적인 정의에 맞지 않는 관계를 지정하기 위한 추가 주석은 피망 슬롯 정보 파일에서 가져옵니다. 예를 들어, 경쟁 게임에서 두 최적화 에이전트에 대한 제약 조건은 전통적인 대수학을 사용하여 지정할 수 있으며, 구조(어떤 변수와 제약 조건을 소유한 사람)는 정보 파일에서 지정할 수 있습니다. 이를 통해 크고 복잡한 모델을 편리하고 정확하며 유연한 방식으로 지정할 수 있습니다.

이 장은 다음과 같이 구성되어 있습니다.

참고

각 섹션의 끝에서 우리는 특정 문제 유형에 대한 주석을 작성하기 위해 피망 슬롯가 제공하는 일반 구문을 제시하고 논의합니다. 우리는 일반적인 GAMS 구문 기호를 사용합니다.[ ](동봉된 구문은 선택 사항입니다),{ }(동봉된 구문은 0회 이상 반복될 수 있음) 및| (독점또는).
많은 피망 슬롯 모델 예제가 다음에서 제공됩니다.GAMS 피망 슬롯 라이브러리.