Nonsmooth Formulation for Handling Unclassified Process Streams in the Optimization of Work and Heat Exchange Networks
Title
Nonsmooth Formulation for Handling Unclassified Process Streams in the Optimization of Work and Heat Exchange Networks
Pinch analysis provides a systematic methodology for improving efficiency through enhanced process integration. Originally, the methodology focused on heat integration with heat exchanger network (HEN) synthesis. However, most chemical processes also include pressure manipulation with the inclusion of equipment such as compressors, expanders, pumps, and valves that affect heat integration. Recently, attention has therefore been directed toward simultaneous work and heat integration and the synthesis of work and heat exchange networks (WHENs). Mathematical programming has proven effective in solving heat integration problems. Several pinch location algorithms exist in the literature that calculate the minimum utility consumption given a set of hot and cold process streams. However, classification of streams into hot and cold streams prior to optimization is difficult when integrating compressors and expanders in HENs. Depending on the integration problem, the compression/expansion temperatures can vary greatly in order to fully utilize the heat of compression (or cooling from expansion) in the process. This represents a modeling issue, as classifying the stream identities prior to optimization essentially impose an upper or lower bound on the temperature variable. Instead, pinch location algorithms must be modified to handle unclassified process streams. Different strategies for handling unclassified process streams in exergy targeting and synthesis of WHENs were proposed by Yu et al. This article presents an alternative and more compact formulation using a nonsmooth extension to the simultaneous optimization and heat integration algorithm by Duran and Grossmann in order to handle unclassified process streams. Optimization is performed using IPOPT, and the sensitivities (gradients) are obtained using recent developments in nonsmooth analysis. The nonsmooth extension is tested for WHEN targeting using a number of examples from the literature.