AIChE Symposium Series, Volume 91, Issue 304American Institute of Chemical Engineers, 1972 - Chemical engineering |
From inside the book
Results 1-3 of 33
Page 204
... logic , the techniques used for this class are essential to higher order representations like predicate log- ic which involve additional logic operators like for all [ V ] and it exists [ 3 ) . Table 2. Representation of Logical ...
... logic , the techniques used for this class are essential to higher order representations like predicate log- ic which involve additional logic operators like for all [ V ] and it exists [ 3 ) . Table 2. Representation of Logical ...
Page 208
... logic both in DNF and CNF form have been automated in a special version of OSL , the MILP solver from IBM ( Raman and Grossmann , 1993a ) . Also systematic methods have been developed to automate the generation of logic cuts in process ...
... logic both in DNF and CNF form have been automated in a special version of OSL , the MILP solver from IBM ( Raman and Grossmann , 1993a ) . Also systematic methods have been developed to automate the generation of logic cuts in process ...
Page 217
... Logic Based Optimiza- tion Comparing the review on MINLP given by Gross- mann ( 1990a ) at the previous Snowmass meeting , it is ap- parent that the work on logic based optimization has provided a new direction to address the need of ...
... Logic Based Optimiza- tion Comparing the review on MINLP given by Gross- mann ( 1990a ) at the previous Snowmass meeting , it is ap- parent that the work on logic based optimization has provided a new direction to address the need of ...
Contents
Keynote Address | 1 |
Separation System Synthesis and Design | 7 |
Modeling and Analysis of Multicomponent Separation Processes | 19 |
Copyright | |
29 other sections not shown
Common terms and phrases
acetic acid activities AIChE algorithm alternatives analysis application approach attainable region azeotrope azeotropic distillation batch branch and bound calculations cess Chem Chemical Engineering chemical process complex components composition concepts constraints cost CSTR data models decision-mapping defined described developed distillation column dynamic energy Engng environment equations equilibrium equipment example feed Figure Floudas flow flowsheet formulation function global optimization Grossmann hierarchical implementation industrial integration interface linear liquid logic mass material mathematical methanol methods methyl acetate MILP MINLP mixture n-dim network synthesis Newton's method nonlinear nonlinear programming paper parameters phase pinch plant pressure problem procedure process design process modelling process synthesis programming properties reac reaction reactive distillation reactor network recycle Seider separation system SimRefinery simulation solution solvent solving specific stage strategy stream structure target task techniques temperature tion unit operations values vapor variables