Infeasible solution - modelling a new refrigerant

Problems with modeling
Post Reply
BFT
User
User
Posts: 3
Joined: 2 years ago

Infeasible solution - modelling a new refrigerant

Post by BFT »

Hi guys:

I am modelling a new refrigerant molecule using the contribution method and integer cut with MINLP/RMINLP with Baron/CONOPT solver. The program terminated normally and show that the solution is infeasible but given no reason why this happen. I have tried several ways such as giving an initial guess and setting the lower boundary etc but none of them works.

I have attached the GAMS file and related excel file that requires to run the code. I will appreciate any help.
contribution_table.xlsx
(19 KiB) Downloaded 136 times
Data_molecular_conformation.xlsx
(13.06 KiB) Downloaded 138 times
Molecular_design_2.gms
(9.34 KiB) Downloaded 147 times
User avatar
bussieck
Moderator
Moderator
Posts: 1038
Joined: 7 years ago

Re: Infeasible solution - modelling a new refrigerant

Post by bussieck »

When you solve the RMINLP with BARON you get with the option you already supply compIIS the following information in the listing file:

Code: Select all

A problem may contain several independent IISs. Only one IIS will be
found per run. Alternative IISs may be obtained by using different
values of the CompIIS option in BARON.

Number of equations in the IIS:  2.
Lower: Treduce(1) >= 272
Upper: Treduce(3) <= 0

Number of variables in the IIS:  2.
Lower: Tr(1) >= 0.0001
Lower: Tr(3) >= 0.0001
Since T(3)=0 and TR is strictly positive (.lo=1e-4), the only way to make Treduce feasible for m=3 is to set Tc=0. That collides with T(1) being=272 which can't be done with Tc=0.

-Michael
BFT
User
User
Posts: 3
Joined: 2 years ago

Re: Infeasible solution - modelling a new refrigerant

Post by BFT »

Hi Micheal:

Thank you for the answer. I was still quite confused why T(3) is 0 in this case, as T(2) and T(3) are calculated in similar ways, if T(2) has a value, how can T(3) = 0? is this caused by formulation or another reason?
User avatar
bussieck
Moderator
Moderator
Posts: 1038
Joined: 7 years ago

Re: Infeasible solution - modelling a new refrigerant

Post by bussieck »

What else should it be? Your data statement is

Code: Select all

 
m 'Calculation of vapour pressure, 1 @ eaporation temperature, 2 @ condensing temperature' /1*3/

T(m)   This parameter set is assignment for the convience of vapour pressure calculation
  /1 272
   2 316/
without the m=3. GAMS is a sparse system and assumes 0 where no data is given. Hence T(3)=0.

-Michael
BFT
User
User
Posts: 3
Joined: 2 years ago

Re: Infeasible solution - modelling a new refrigerant

Post by BFT »

Hi Micheal:

Thank you for the insight.

The fact is I have removed the pressure calculation part so T('3') should not be a problem at this point. I have also get rid of the unnecessary data point.
contribution_table.xlsx
(17.83 KiB) Downloaded 133 times
However, I still got the infeasibility message with extremely large lower bond as the figure indicate in the attachment.
Molecular_design_2.gms
(6.77 KiB) Downloaded 132 times
Attachments
image.png
image.png (5.92 KiB) Viewed 1950 times
abhosekar
Moderator
Moderator
Posts: 295
Joined: 3 years ago

Re: Infeasible solution - modelling a new refrigerant

Post by abhosekar »

Siyu,

The model is simply infeasible.

Code: Select all

Number of equations in the IIS:  41.
Upper: Octet <= -80
Upper: Bonding2(M1) <= -2
Upper: Bonding2(M2) <= -2
Upper: Bonding2(M3) <= -2
Upper: Bonding2(M5) <= -2
Upper: Bonding2(M6) <= -2
Upper: Bonding2(M7) <= -2
Upper: Bonding2(M8) <= -2
Upper: Bonding2(M9) <= -2
Upper: Bonding2(M10) <= -2
Upper: Bonding2(M11) <= -2
Upper: Bonding2(M12) <= -2
Upper: Bonding2(M13) <= -2
Upper: Bonding2(M14) <= -2
Upper: Bonding2(M15) <= -2
Upper: Bonding2(M16) <= -2
Upper: Bonding2(M17) <= -2
Upper: Bonding2(M18) <= -2
Upper: Bonding2(M19) <= -2
Upper: Bonding2(M20) <= -2
Upper: Bonding2(M21) <= -2
Upper: Bonding2(M22) <= -2
Upper: Bonding2(M23) <= -2
Upper: Bonding2(M24) <= -2
Upper: Bonding2(M25) <= -2
Upper: Bonding2(M26) <= -2
Upper: Bonding2(M27) <= -2
Upper: Bonding2(M28) <= -2
Upper: Bonding2(M29) <= -2
Upper: Bonding2(M30) <= -2
Upper: Bonding2(M31) <= -2
Upper: Bonding2(M32) <= -2
Upper: Bonding2(M33) <= -2
Upper: Bonding2(M34) <= -2
Upper: Bonding2(M35) <= -2
Upper: Bonding2(M36) <= -2
Upper: Bonding2(M37) <= -2
Upper: Bonding2(M38) <= -2
Upper: Bonding2(M39) <= -2
Upper: Bonding2(M40) <= -2
Upper: Bonding2(M41) <= -2

Number of variables in the IIS:  2.
Upper: sum_ni <= 10
Upper: n(M4) <= 5
here is the infeasibility information from compIIS. I would start by checking equation Bonding2('M4').
You can get this information by using the following code

Code: Select all

$onecho > baron.opt
compIIS 1
$offecho
MD.optfile=1;
Good luck.

- Atharv
Post Reply