설명

이 모델은 세 가지 대안 EMP 변동 부등식 공식을 비교합니다.
상응하는 상보성 문제로

기여자: Steven Dirkse 및 Jan-H. Jagla , 2009년 1월

소형 모델 유형 :무료 슬롯

카테고리 : 무료 슬롯 테스트 라이브러리

메인 파일 : empvi03.gms

$title 대체 EMP-VI 모델 비교(EMPVI03,SEQ=425)

$onText

이 모델은 세 가지 대체 EMP 변동 부등식 공식을 비교합니다.
상응하는 상보성 문제로

기여자: Steven Dirkse 및 Jan-H. Jagla , 2009년 1월

$offText

$onText
VI를 MCP로 작성하는 방법을 보여주는 예
MCP로의 수동 변환을 피하기 위해 EMP를 사용하여 VI를 작성하고 싶습니다.
우리는 Dirkse Ph.D.의 4-6페이지에 있는 VI 및 MCP의 정의를 사용합니다. 논문
$offText
양의 변수 x, y;
자유 변수 t '가능한 영역을 지정하는 다른 방법';
t.up = 1;
방정식
  fx 'VI 함수 정의, x에 대한 perp'
  fy는 'VI 함수를 정의하고, y에 대해'
  g1 '실행 가능한 영역을 정의합니다'
  g2 'g1의 음수'
  g3 'g1을 작성하는 다른 방법 - 이것도 처리해야 합니다'
  ;

FX..1 =N= 0;
fy.. -2 =N= 0;
g1.. x + y =L= 1;
g2.. -x - y =G= -1;
g3.. x + y - t =E= 0;

모델 vi1 / fx, fy, g1 /;
모델 vi2 / fx, fy, g2 /;
모델 vi3 / fx, fy, g3 /;

* vi1, vi2 및 vi3에 대한 상보성 쌍
파일 myinfo / '%emp.info%' /;
putclose myinfo 'vi' / 'fx x' / 'fy y';

음수 변수 u1;
양의 변수 u2;
자유 변수 v3;
방정식
  fx1 '1차 공식에서 fx를 강화'
  fy1 '1차 공식에서 fy를 강화'
  fx2 '2차 공식에 FX를 추가'
  fy2 '2차 공식에서 fy를 강화'
  fx3 '3차 공식에 FX를 추가'
  fy3 '3차 공식에서 fy를 강화'
  ft '제로 함수'
  ;

fx1..1 - u1 =N= 0;
fy1.. -2 - u1 =N= 0;
fx2..1 + u2 =N= 0;
fy2.. -2 + u2 =N= 0;
fx3..1 - v3 =N= 0;
fy3.. -2 - v3 =N= 0;
피트 .. 0 + v3 =N= 0;

model mcp1 'vi1의 MCP 버전' / fx1.x, fy1.y, g1.u1 /;
model mcp2 'vi2의 MCP 버전' / fx2.x, fy2.y, g2.u2 /;
model mcp3 'vi3의 MCP 버전' / fx3.x, fy3.y, ft.t, g3.v3 /;

mcp를 사용하여 mcp1을 해결합니다.
vi1.iterlim = 0;
emp를 사용하여 vi1을 해결합니다.
abort$[vi1.objVal > 1e-6] '모델 vi1에 대한 입력은 최적이어야 하지만 그렇지 않았습니다.';

mcp를 사용하여 mcp2를 해결합니다.
vi2.iterlim = 0;
emp를 사용하여 vi2를 해결합니다.
abort$[vi2.objVal > 1e-6] '모델 vi2에 대한 입력은 최적이어야 하지만 그렇지 않았습니다.';

mcp를 사용하여 mcp3을 해결합니다.
vi3.iterlim = 0;
emp를 사용하여 vi3을 해결합니다.
abort$[vi3.objVal > 1e-6] '모델 vi3에 대한 입력은 최적이어야 하지만 그렇지 않았습니다.';