AIChE Symposium Series, Issue 323 |
From inside the book
Results 1-3 of 20
Page 75
... disjunctions between which exactly one variable Y ; changes sign . The resolvent is a disjunction of all of the literals in the two clauses except Y ; and Y. For example , the third disjunction below is the resolvent of the first two ...
... disjunctions between which exactly one variable Y ; changes sign . The resolvent is a disjunction of all of the literals in the two clauses except Y ; and Y. For example , the third disjunction below is the resolvent of the first two ...
Page 76
... disjunction can be given a useful relaxation by adding one or a few constraints , with no additional variables . Consider , for example , a disjunction of the following form , iED Y ( x ) l where h ; ( x ) ≤ 0 is a single inequality ...
... disjunction can be given a useful relaxation by adding one or a few constraints , with no additional variables . Consider , for example , a disjunction of the following form , iED Y ( x ) l where h ; ( x ) ≤ 0 is a single inequality ...
Page 77
... disjunction kЄSD only constraints corresponding to the Boolean variable Yîk that is true are imposed . Also , fixed ... disjunction terms Lik = { 1 | Y1ik = true } , one can define the following disjunctive OA master problem : Min s.t. z ...
... disjunction kЄSD only constraints corresponding to the Boolean variable Yîk that is true are imposed . Also , fixed ... disjunction terms Lik = { 1 | Y1ik = true } , one can define the following disjunctive OA master problem : Min s.t. z ...
Contents
INVITED PAPERS | 1 |
RECENT DEVELOPMENTS | 21 |
The Web and Flow of Information in Pharmaceutical RD | 23 |
Copyright | |
45 other sections not shown
Common terms and phrases
activities addition AIChE algorithm allow alternatives analysis application approach batch bound calculations changes Chem chemical codes column Comp complex components composition computational concepts considered constraints continuous cost defined described detailed determine distillation dynamic economic effect efficient energy engineering equations equipment et al evaluation example experiments feed Figure Floudas flow flowsheet formulation function given global optimization Grossmann heat important improve increase industry integration involved lifecycle linear material mathematical methods molecular networks nonlinear objective obtained operating parameters particle performance phase plant possible predict presented problem procedure process design process modeling programming properties proposed reaction reactor reduced selection separation shown shows simulation solution solved specific stage step strategy structure synthesis techniques temperature types unit variables