cplex - CPLEX - 使用表达式定义变量

Question

我正在研究车队分配问题，并且正在 xpress-Mosel 中构建模型。但是，我也需要在 OPL - Cplex 中构建它。

我是 OPL 的新手，所以我有一些疑问。我不能通过一些不是约束或输入给出的表达式来定义变量。

我的 .dat 文件中有以下向量，这是所有数据文件的一部分：

proc_low=[...];
cof=[...];
cov_km=[...];
dist_km=[...];
penalty=[...];

以这种方式定义：

range N0=0..n;  
range N=1..n;
range Fleet=1..3;
range liga=1..30; 
range POSS=1..poss;
int legs[N]=...;
int org[N]=...;
int dest[N]=...;
int proc_low[N]=...;
int tp_cod[Fleet]=...;
int cap[Fleet]=...;
int test1[Fleet]=...;
int cof[Fleet]=...;
int cov_km[Fleet]=...;
int cod_org[lig]=...;
int cod_dest[lig]=...;
int penalty[lig]=...;
float dist_km[lig]=...;
int leg_atual[POSS]=...;
int leg_after[POSS]=...;
int tp_fleet[POSS]=...;

tuple T {
  int atual;
  int after;
  int type_f;
}

//Decicion variables
{T} tuples = { <leg_atual[k], leg_after[k], tp_fleet[k]> | k in POSS };
dvar boolean x[tuples];

所以，这是我的疑问：我不能定义这个表达式......每条腿的溢出乘客，这取决于销售量（proc_low）和机队容量，如果这条腿是由某些飞机飞行的。上面的代码不是 cplex 格式...在 xpress mosel 中，在这里我需要帮助以编写 cplex 格式...

forall(l in 1..n2) pass_out(l):= spill(l)>=proc_low(l)-sum(f in Fleet)cap(f)*(sum(i in n3..n)x(i,l,f)+x(0,l,f))
forall(l in n3..n) pass_in(l) := spill(l)>=proc_low(l)-sum(f in Fleet)cap(f)*sum(i in 1..n2)x(i,l,f)

然后，对每个溢出乘客的目标函数的惩罚

forall(j in N,i in lig|org(j)=cod_org(i) and dest(j)=cod_dest(i))do
pen(j):=penalty(i)*spill(j)
end-do

最后，在某个航段分配某些飞机的成本

forall(j in N,i in ligs,  f in Fleet|org(j)=cod_org(i) and dest(j)=cod_dest(i))do
cost(j,f):=cof(f)+cov_km(f)*dist_km(i)
end-do

我已经按照上面显示的方式定义了这个变量，但我不确定......也许它与dexpr. 我真的不知道...

dvar int spill[N];
dvar float+ pen[N];
dvar float+ cost[N][Fleet];

谢谢！问候

标签： cplexopl