290 likes | 456 Views
ESCAPE-16 & PSE 2006. Garmisch-Partenkirchen, Germany. Developments in the Sequential Framework for Heat Exchanger Network Synthesis of industrial size problems. Rahul Anantharaman and Truls Gundersen Dept of Energy and Process Engineering
E N D
ESCAPE-16 & PSE 2006 Garmisch-Partenkirchen, Germany Developments in the Sequential Framework for Heat Exchanger Network Synthesis of industrial size problems Rahul Anantharaman and Truls Gundersen Dept of Energy and Process Engineering Norwegian University of Science and Technology Trondheim, Norway
Overview • Introducing the Sequential Framework • Motivation • Our Goal • Our Engine • Subproblems • Loops • Challenges • Combinatorial Explosion – MILP • Temperature Intervals • EMAT as an area variable • Non-convexities - NLP • Automated starting values • Modal trimming method • Examples • 7 stream problem • 15 stream problem • Concluding remarks
Motivation for the Sequential Framework • Pinch Methods for Network Design • Improper trade-off handling • Time consuming • Several topological traps • MINLP Methods for Network Design • Severe numerical problems • Difficult user interaction • Fail to solve large scale problems • Stochastic Optimization Methods for Network Design • Non-rigorous algorithms • Quality of solution depends on time spent on search
Motivation for the Sequential Framework • HENS techniques decompose the main problem • Pinch Design Method is sequential and evolutionary • Simultaneous MINLP methods let math considerations define the decomposition • The Sequential Framework decomposes the problem into subproblems based on knowledge of the HENS problem • Engineer acts as optimizer at the top level • Quantitative and qualitative considerations
Our Ultimate Goal • Solve Industrial Size Problems • Defined to involve 30 or more streams • Include Industrial Realism • Multiple Utilities • Constraints in Heat Utilization (Forbidden matches) • Heat exchanger models beyond pure countercurrent • Avoid Heuristics and Simplifications • No global or fixed ΔTmin • No Pinch Decomposition • Develop Semi-Automatic Design Tool • A tool SeqHENS is under development • EXCEL/VBA (preprocessing and front end) • MATLAB (mathematical processing) • GAMS (core optimization engine) • Allow significant user interaction and control • Identify near optimal and practical networks
Our Engine – A Sequential Framework Adjust EMAT 2 New HLD 1 Final Network Vertical MILP MILP QH Pre- optim. HLD U HRAT LP NLP QC (EMAT=0) EMAT 3 Adjust Units 4 Adjust HRAT Compromise between Pinch Design and MINLP Methods
Challenges • Combinatorial explosion (binary variables) • Problem proved to be NP -complete in the strong sense • Any algorithm may take exponential number of steps to reach optimality • Use physical/engineering insights based on understanding of the problem • Will not remove the problem but help mitigate it • MILP and VMILP are currently the bottlenecks w.r.t. time (and thus size) • Local optima (non-convexities in the NLP model) • Convex estimators developed for MINLP models are computationally intensive • Only very small problems have been solved • Explore other options • Time to solve the NLP is not a problem • Relatively easier to solve than MINLP formulations
H1 C1 n-1 m-1 j i m n CC HH n+1 m+1 Temperature Intervals (TIs) in the VertMILP model • Objective function is minimizing pseudo area • VertMILP model works best when the pseudo area accurately reflects the actual HX area • This happens when the number of TIs approaches infinity • Size of the VertMILP model increases exponentially with the number of temperature intervals • The transportation model has a polynomial time algorithm • Keep number of TIs to a minimum while ensuring the model achieves its objective
Temperature Intervals (TIs) in the VertMILP model • Original philosophy of the VertMILP model • Minimum area is achieved by vertical heat transfer • Temperature intervals must facilitate vertical heat transfer • Use Enthalpy Intervals to develop the vertical TIs • The Normal and Enthalpy based (vertical) TIs are the basis for the VertMILP model • Elaborate testing show that the VertMILP model achieves its objective with this set of TIs • Size of the model is reduced, on an average, by 10% (more for larger models) EMAT
EMAT as an Area Variable • Choosing EMAT is not straightforward • EMAT set too low (close to zero) • non-vertical heat transfer (m=n) will have very small ΔTLM,mn and very large penalties in the objective function • EMAT set too high (close to HRAT) • Potentially good HLDs will be excluded from the feasible set of solutions • HLDs are affected by the choice of EMAT • EMAT comes into play only when there is an extra degree of freedom in the system : U > Umin
Automated Starting Values and Bounds for the NLP subproblem • Multiple starting values for the NLP subproblem • Ensure a feasible solution • Explore different local optima • Use physical insight to ensure `good´ local optima • Heat Capacity Flowrates (mCps) identified to be the decision variables • Lower Bounds for Area were found to be crucial in getting a feasible solution • Information from the VertMILP subproblem is utilized • 4 different strategies for starting values were explored • Ref.: Hilmersen S. E. and Stokke A., M.Sc Thesis , NTNU 2006
Serial/Parallel mCp Generator • Simple & flexible method • Little physical insight needed • Parallel arrangement gives feasible solution to most problems (90%)
Clever Serial mCp Generator • Serial configuration assumed for all streams • Assigns demanding exchangers at the supply end • Only stream temperatures are considered • Heat exchanger duties & stream mCp values are not considered • Assumed sequence of heat exchangers • Hot supply end matched with ranked set of cold targets & vice versa • Similar to the Ponton/Donaldson heuristic synthesis approach • Only serial configuration is limiting in many cases • Feasible solution in 50% of cases tested
Combinatorial mCp Generator • Utilizes heat loads, temperatures and overall mCp values to assign stream flows • Uses physical insight to determine flows • Provides a feasible solution to the NLP subproblem in all cases tested
Modal Trimming Method for Global Optimization of NLP subproblem
Modal Trimming Method for Global Optimization of NLP subproblem • Search for feasible solutions is the most important step Testing showed the Modal Trimming method to be inefficient and computationally expensive for solving the NLP model
Illustrating Example 1 References: Example 3 in Colberg, R. D. and Morari M., Area and Capital Cost Targets for Heat Exchanger Network Synthesis with Constrained Matches and Unequal Heat Transfer Coefficients, Computers chem. Engng. Vol. 14, No. 1, 1990 Example 4 in Yee, T. F. and Grossmann I. E., Simulataneous Optimization Models for Heat Integration - II. Heat Exchanger Network Synthesis, Computers chem. Engng. Vol. 14, No. 10, 1990
Example 1 – Initial Values Adjust EMAT 2 New HLD 1 Vertical MILP Final Network QH MILP HRAT U HLD LP NLP (EMAT=0) QC EMAT 3 Adjust Units Absolute Minimum Number of Units = 8 HRAT fixed at 20K QH = 244.1 kW QC = 172.6 kW
Example 1 – Looping to Solution Adjust EMAT 2 New HLD 1 Vertical MILP Final Network QH MILP HRAT U HLD LP NLP (EMAT=0) QC EMAT 3 Adjust Units
Example 1 – `Best´ Solution HRAT = 20, EMAT = 2.5, ΔTsmall= 3
Illustrating Example 2 Reference: Björk K.M and Nordman R., Solving large-scale retrofit heat exchanger network synthesis problems with mathematical optimization methods, Chemical Engineering and Processing. Vol. 44, 2005
Example 2 – Initial Values Adjust EMAT 2 New HLD 1 Vertical MILP Final Network QH MILP HRAT U HLD LP NLP (EMAT=0) QC EMAT 3 Adjust Units Absolute Minimum Number of Units = 14 HRAT fixed at 20.35 C QH = 11539.25 kW QC = 9164.25 kW
Example 2 – Looping to Solution Adjust EMAT 2 New HLD 1 Vertical MILP Final Network QH MILP HRAT U HLD LP NLP (EMAT=0) QC EMAT 3 Adjust Units
Example 2 – `Best´ Solution HRAT = 20.35 EMAT = 5 ΔTsmall= 4.9
Example – Solution Comparison • The solution given here with a TAC of $1,529,968, about the same cost as the solution presented in the original paper (TAC $1,530,063) • When only one match was allowed between a pair of streams the TAC is reported as $1,568,745 - Björk & Nordman (2005) • The Sequential Framework allows only 1 match between a pair of streams • Solution at Iteration 2 (TAC $ 1,532,148) provides a slightly more expensive but slightly less compless network • Unable to compare the solutions apart from cost as the paper did not present the networks in their work
Global vs Local Optimum • Global optima in each of the subproblems does not, by itself, ensure overall global optimum for the HENS problem • Inherent feature of any problem decomposition • The emphasis has been on utilizing knowledge of the problem and engineering insight to achieve a network close to global optimum
Concluding Remarks • Sequential Framework has many advantages • Automates the design process • Allows significant User interaction • Numerically much easier than MINLPs • Progress • EMAT identified as an optimizing `area variable´ • Improved HLDs from VertMILP subproblem • Algorithm for generating optimal TIs for the VertMILP • Significantly better and automated starting values for NLP subproblem • Limiting elements • NLP model for Network Generation and Optimization • Enhanced convex estimators are required to ensure global optimum • VertMILP Transportation Model for promising HLDs • Significant improvements required to fight combinatorial explosion • MILP Transhipment model for minimum number of units • Similar combinatorial problems as the Transportation model