Process Synthesis without Integer Variables
Transcript of Process Synthesis without Integer Variables
![Page 1: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/1.jpg)
Process Synthesis without Integer Variables: Using Complementarity Constraints for Thermodynamic & Distillation Models
Alex Dowling, Cheshta Balwani & Larry Biegler
Carnegie Mellon University
AIChE Annual Meeting November 18th, 2014
![Page 2: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/2.jpg)
Agenda 1. Motivation: Oxy-fired Power Plant Optimization
2. Distillation Models
– Traditional MINLP synthesis approach – MESH with tray bypass model – Case study: air separation unit design
3. Cubic EOS Thermodynamic Models – Equation-based phase selection strategies – Reformulation for supercritical region – Strategy for avoiding trivial solutions – Case study: CO2 processing unit and compression train
2
![Page 3: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/3.jpg)
Motivation
Develop framework for full oxycombustion power plant optimization
– Estimate cost of electricity with carbon capture
– Balance trade-offs between systems
3
Oxycombustion Power Plant 1. Air Separation Unit 2. Boiler 3. Steam Turbines 4. Pollution Controls 5. CO2 Compression Train
1 2 3
4 5
![Page 4: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/4.jpg)
Thermodynamics &
Flash Calculations
Distillation Cascades Heat Integration Complex
Reactors
Framework for EO Flowsheet Optimization
4
Trust Region Optimization with Filter
![Page 5: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/5.jpg)
Thermodynamics &
Flash Calculations
Distillation Cascades Heat Integration Complex
Reactors
Framework for EO Flowsheet Optimization
5
Trust Region Optimization with Filter
![Page 6: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/6.jpg)
Classic MINLP
6
• Optimize number of trays and/or feed location
• Disable trays above reflux and below reboil feeds
• Binary variable ensures only one tray selected for reboiler/reflux feed(s)
Image from Viswanathan & Grossmann (1990)
Pioneered by:
Viswanathan, J., & Grossmann, I. E. (1990). A Combined Penalty Function and Outer-Approximation Method for MINLP Optimization. Computers & Chemical Engineering, 14(7), 769–782.
![Page 7: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/7.jpg)
MESH with Tray Bypass
7
Mass Balance: 𝑥𝑥𝑖𝑖+1𝑐𝑐 𝐿𝐿𝑖𝑖+1 + 𝑦𝑦𝑖𝑖−1𝑐𝑐 𝑉𝑉𝑖𝑖−1 = 𝑥𝑥𝑖𝑖𝑐𝑐𝐿𝐿𝑖𝑖 + 𝑦𝑦𝑖𝑖𝑐𝑐𝑉𝑉𝑖𝑖 , ∀ 𝑖𝑖 ∈ 𝑇𝑇𝑇𝑇𝑇𝑇𝑦𝑦𝑇𝑇 ,∀𝑐𝑐 ∈ 𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝑇𝑇. Equilibrium: 𝑦𝑦𝑖𝑖𝑐𝑐 = 𝐾𝐾𝑖𝑖𝑐𝑐𝑥𝑥𝑖𝑖𝑐𝑐 , ∀ 𝑖𝑖, 𝑐𝑐 Summation: ∑ 𝑦𝑦𝑖𝑖𝑐𝑐 − 𝑥𝑥𝑖𝑖𝑐𝑐 = 0𝑐𝑐 , ∀ 𝑖𝑖 Heat Balance: 𝐻𝐻𝑖𝑖+1𝑙𝑙 𝐿𝐿𝑖𝑖+1 + 𝐻𝐻𝑖𝑖−1𝑣𝑣 𝑉𝑉𝑖𝑖−1 = 𝐻𝐻𝑖𝑖𝑙𝑙𝐿𝐿𝑖𝑖 + 𝐻𝐻𝑖𝑖𝑣𝑣𝑉𝑉𝑖𝑖 𝑁𝑁𝑁𝑁𝐶𝐶𝑁𝑁𝑁𝑁𝑇𝑇 𝐶𝐶𝑜𝑜 𝑇𝑇𝑇𝑇𝑇𝑇𝑦𝑦𝑇𝑇 ≈ ∑ 𝜀𝜀𝑖𝑖𝑖𝑖
𝜀𝜀𝑖𝑖 = 1 − 𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵𝐵 𝐹𝐹𝑙𝑙𝐹𝐹𝐹𝐹𝐹𝐹𝐵𝐵𝐹𝐹𝐵𝐵𝑇𝑇𝐹𝐹𝐹𝐹𝐵𝐵𝑙𝑙 𝐹𝐹𝑙𝑙𝐹𝐹𝐹𝐹𝐹𝐹𝐵𝐵𝐹𝐹𝐵𝐵
Liquid Mixer: 𝑥𝑥𝑖𝑖𝑐𝑐𝐿𝐿𝑖𝑖 = (1 − 𝜀𝜀𝑖𝑖) 𝑥𝑥𝑖𝑖+1𝑐𝑐 𝐿𝐿𝑖𝑖+1 + 𝜀𝜀𝑖𝑖 𝑥𝑥𝑖𝑖𝑐𝑐�𝐿𝐿�𝑖𝑖
Liquid Mixer: 𝐻𝐻𝑖𝑖𝑙𝑙𝐿𝐿𝑖𝑖 = (1 − 𝜀𝜀𝑖𝑖) 𝐻𝐻𝑖𝑖+1𝑙𝑙 𝐿𝐿𝑖𝑖+1 + 𝜀𝜀𝑖𝑖 𝐻𝐻𝑖𝑖𝑙𝑙�𝐿𝐿�𝑖𝑖
Vapor Mixer: 𝑦𝑦𝑖𝑖𝑐𝑐𝑉𝑉𝑖𝑖 = (1 − 𝜀𝜀𝑖𝑖) 𝑦𝑦𝑖𝑖−1𝑐𝑐 𝑉𝑉𝑖𝑖−1 + 𝜀𝜀𝑖𝑖 𝑦𝑦𝑖𝑖𝑐𝑐�𝑉𝑉�𝑖𝑖 Vapor Mixer: 𝐻𝐻𝑖𝑖𝑣𝑣𝑉𝑉𝑖𝑖 = (1 − 𝜀𝜀𝑖𝑖) 𝐻𝐻𝑖𝑖−1𝑣𝑣 𝑉𝑉𝑖𝑖−1 + 𝜀𝜀𝑖𝑖 𝐻𝐻𝑖𝑖𝑣𝑣� 𝑉𝑉�𝑖𝑖
Tray i
Vi-1
Vi Li+1
Li
(1-εi )Vi-1
(1-εi )Li+1
𝜀𝜀𝑖𝑖 𝑉𝑉𝑖𝑖�
𝜀𝜀𝑖𝑖 𝐿𝐿𝑖𝑖�
![Page 8: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/8.jpg)
Case Study: Simple Cascade
8
Tray 2
Tray 1
Vapor-liquid equilibrium: 𝑦𝑦𝑐𝑐 = 𝐾𝐾𝑐𝑐𝑥𝑥𝑐𝑐
Binary separation
Two stages Constant
𝐾𝐾𝑐𝑐𝐵𝐵𝑒𝑒𝑒𝑒𝐵𝐵𝑐𝑐𝐹𝐹𝑖𝑖𝑣𝑣𝐵𝐵 =
𝑦𝑦𝑐𝑐𝐹𝐹𝑜𝑜𝐹𝐹
𝑥𝑥𝑐𝑐𝐹𝐹𝑜𝑜𝐹𝐹
Conclusion: Mixing is inefficient. Conjecture: Integer solutions are preferred.
𝜀𝜀1 + 𝜀𝜀2 = 1
Dowling, A. W., & Biegler, L. T. (2014). 24th European Symposium on Computer Aided Process Engineering. Computer Aided Chemical Engineering (Vol. 33, pp. 55–60).
![Page 9: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/9.jpg)
ASU Superstructure
9
• Many different column configurations realizable
• NLP optimizer selects
the best configuration Multistream Heat
Exchanger
![Page 10: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/10.jpg)
Optimization Formulation
Note: Upper and lower bounds not shown above are considered for many variables including stream/equipment temperatures and pressures. 10
![Page 11: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/11.jpg)
Implementation Details
• Non-convex problem – 16,000 variables & constraints
• Penalty formulation for complementarity constraints
• Automated initialization – Simple complex models – Custom multistart procedure
• Solved using CONOPT3 in GAMS – 16 CPU minutes average for
sequence on NLPs 11
Ideal Thermo & Shortcut Cascade
CEOS Thermo & Shortcut Cascade
CEOS Thermo & MESH Cascade
Decompose Heat Exchange Units &
Reoptimize
![Page 12: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/12.jpg)
Multi-start Initialization Concern: Mixers (bypass) and complementarities (thermodynamics) add non-convexities
12
“Quality” Solution • Self heat integrated • No ⊥ violation • Locally optimal
288 initial points (factorial design)
considered in 7 hours
Careful initialization allows for many
“quality” solutions
Out of the best 150 solutions, only 11 (7.3%) have partially bypassed trays.
![Page 13: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/13.jpg)
Thermodynamics &
Flash Calculations
Distillation Cascades Heat Integration Complex Reactors
Framework for EO Flowsheet Optimization
13
Trust Region Optimization with Filter
![Page 14: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/14.jpg)
Flash Calculations
14
Mole balances
Enthalpy balance Equilibrium
Raghunathan, A. U., & Biegler, L. T. (2003). Comp. & Chem. Eng. 27, 1381–1392. Biegler, L.T. (2010). Nonlinear Programming. Ch. 11.
![Page 15: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/15.jpg)
Flash Calculations
15
Complementarity Constraints
Slack variables for outlet streams
2-phase outlet:
Vapor only outlet:
Liquid only outlet:
Raghunathan, A. U., & Biegler, L. T. (2003). Comp. & Chem. Eng. 27, 1381–1392. Biegler, L.T. (2010). Nonlinear Programming. Ch. 11.
![Page 16: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/16.jpg)
Cubic Equations of State Analytic formulas for physical properties
Popular for general process modeling Ex: Peng–Robinson, Soave–Redlich–Kwong
Three roots for Z
16
EOS Specific Constants:
Critical Point Data:
Other Component Data: Not shown: mixing rules
![Page 17: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/17.jpg)
Roots for Z
17
1 or 3 distinct real solutions for fz(Z) = 0 depending on (T, P, x, y)
Single Root Liquid
fz(Z)
Z
Single Root Vapor
fz(Z)
Z
Three Roots
fz(Z)
Z
Vapor Liquid
Erroneous
Pre
ssur
e (b
ar)
Temperature (K)
1 Root Region
3 Root Region
![Page 18: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/18.jpg)
Challenge: Root Selection
Process simulators use heuristics, loops and conditional statements to select roots
– Not differentiable
Kamath et al proposed an equation-based approach
18
Three Roots
fz(Z)
Z
Vapor Liquid
Erroneous Liquid Vapor
Kamath, R. S., Biegler, L. T., & Grossmann, I. E. (2010). Comp. & Chem. Eng., 34(12), 2085–2096.
![Page 19: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/19.jpg)
Process simulators use heuristics, loops and conditional statements to select roots
– Not differentiable
Kamath et al proposed an equation-based approach
Challenge: Root Selection
19
Liquid Vapor
Three Roots
fz(Z)
Z
Vapor Liquid
Erroneous
Kamath, R. S., Biegler, L. T., & Grossmann, I. E. (2010). Comp. & Chem. Eng., 34(12), 2085–2096.
![Page 20: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/20.jpg)
Single Root Region
20 Kamath, R. S., Biegler, L. T., & Grossmann, I. E. (2010). Comp. & Chem. Eng., 34(12), 2085–2096.
Vapor Liquid 3 roots
1 root 3 roots
1 root
![Page 21: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/21.jpg)
Supercritical Region
21
Issue 1: Conjecture fails in the supercritical region
Aspen Plus® Kamath et al formulation
![Page 22: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/22.jpg)
Proposed Reformulation
22
Critical Point 2
T
P
1
3
Region 1: Relax fz’’(Z) Always liquid
Region 2: Relax fz’’(Z) Always vapor
Region 3: fz’’(Z) conditions holds possible 2-phase
Region 2: Region 1:
![Page 23: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/23.jpg)
Critical Point Calculations
23
![Page 24: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/24.jpg)
Demonstration Example
24
Super/near-critical CO2
Liquid Phase
![Page 25: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/25.jpg)
Demonstration Example
25
Super/near-critical CO2
![Page 26: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/26.jpg)
Spurious Phase Equilibrium Solutions
26
Issue 2: Complementarities allow for K = 1, 𝜷𝜷 = 𝟏𝟏 solutions
Example: Consider a liquid stream
Therefore
Copy to vapor
stream
Check VLE equations
Vapor
Liquid
![Page 27: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/27.jpg)
Bubble & Dew Point Calculations Strategy: Introduce shadow stream pairs for BP/DP calculations
27
Bubble point calculations without complementarities Previous pathway to 𝐾𝐾 = 1 solutions not possible
Implementation note: Typically only necessary for a few trouble streams
![Page 28: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/28.jpg)
Case Study: CO2 Processing Unit
28
83.5% CO2 330 K
1.03 bar
150 bar CO2 Recovery ≥ 96.3%
CO2 Purity ≥ 94.6%
Based on two-flash system from Fu, C. & Gundersen, T. (2012). Int. J. of Green. Gas Control, 9, 419-727.
Minimize Shaft Work + 0.01 Qcooling water
using Peng-Robison thermodynamics
30 - 35 bar
Multistream heat
exchanger
![Page 29: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/29.jpg)
Computational Results
29
Top: Fraction of problems terminating at “good” solutions using multi-start init. Bottom: Average CPU time for “good” solutions
“Good” solution criteria: No ⊥ violations, 𝑄𝑄𝐹𝐹𝑀𝑀𝑀𝑀𝑀𝑀𝑀𝑀 < 0.1, 𝑄𝑄𝐵𝐵 < 0.1
High Purity CO2 150 bar
CO2 compression train
Pump
Remainder of CPU included in optimization problems, but not shown
![Page 30: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/30.jpg)
Conclusions & Future Work • New NLP distillation model using tray bypasses
– Tends to prefer integer solutions
• Reformulation with complementarity constraints for correct phase prediction in supercritical region
• Embedded bubble/dew point calculations to avoid spurious (𝐾𝐾 = 1) phase equilibrium solutions
• Ongoing work: link cryogenic system models with boiler and steam cycle models
Funding: This presentation was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor any of their employees, makes any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, completeness, or usefulness of any information, apparatus, product, or process disclosed, or represents that its use would not infringe privately owned rights. Reference herein to any specific commercial product, process, or service by trade name, trademark, manufacturer, or otherwise does not necessarily constitute or imply its endorsement, recommendation, or favoring by the United States Government or any agency thereof. The views and opinions of authors expressed herein do not necessarily state or reflect those of the United States Government or any agency thereof.
![Page 31: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/31.jpg)
Example: Region 1
31
2 T
P
1 Region 1: (TA, PA)
(TB, PB)
Point A
Forced Relaxation
3
![Page 32: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/32.jpg)
Example: Region 1 Relaxation
32
2 T
P
1 Region 1: (TA, PA)
(TB, PB)
Point A Point B
No Relaxation Forced Relaxation
3
![Page 33: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/33.jpg)
O2 Purity Sensitivity
33
y = 227.62x - 20.288 R² = 0.9966
150
170
190
210
230
250
270
290
88% 89% 90% 91% 92% 93% 94% 95% 96% 97% 98%
Spec
ific
Ener
gy
(kW
h/to
nne)
Oxygen Purity (mole %)
This Study Xiong et al (2011) NETL (2010) - Low CapitalNETL (2010) - Low Energy Amann et al (2009) Linear (This Study)Linear (Amann et al (2009))
This Study: Δ𝑇𝑇𝑚𝑚𝑖𝑖𝑚𝑚 =1.5 𝐾𝐾
![Page 34: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/34.jpg)
Proposed Reformulation
34
Critical Point
2 T
P
1
3
Region 1: Relax fz’’(Z) Always liquid
Region 2: Relax fz’’(Z) Always vapor
Region 3: fz’’(Z) conditions holds possible 2-phase
Region 2: Complementarity Constraints
![Page 35: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/35.jpg)
Proposed Reformulation
35
Critical Point
2 T
P
1
3
Region 1: Relax fz’’(Z) Always liquid
Region 2: Relax fz’’(Z) Always vapor
Region 3: fz’’(Z) conditions holds possible 2-phase
Region 1: Region 2:
![Page 36: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/36.jpg)
Proposed Reformulation
36
Critical Point
2 T
P
1
3
Region 1: Relax fz’’(Z) Always liquid
Region 2: Relax fz’’(Z) Always vapor
Region 3: fz’’(Z) conditions holds possible 2-phase
Region 2: Region 1:
![Page 37: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/37.jpg)
Critical Point Calculations
37
![Page 38: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/38.jpg)
Critical Point Calculations
38
![Page 39: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/39.jpg)
Critical Point Calculations
39
![Page 40: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/40.jpg)
Proof: f’’(Z) Condition
40 Kamath, R. S., Biegler, L. T., & Grossmann, I. E. (2010). Comp. & Chem. Eng., 34(12), 2085–2096.
Assumption: Three distinct real roots exist
![Page 41: Process Synthesis without Integer Variables](https://reader030.fdocuments.us/reader030/viewer/2022012804/61bd258a61276e740b0fd5f8/html5/thumbnails/41.jpg)
Proof: f’(Z) Condition
41
Assumption: Three distinct real roots exist
Kamath, R. S., Biegler, L. T., & Grossmann, I. E. (2010). Comp. & Chem. Eng., 34(12), 2085–2096.