[논문 리뷰] Detecting Symmetry in Designing Heat Exchanger Networks

Georgia Kouyialis, Ruth Misener|arXiv (Cornell University)|2017. 11. 07.

Process Optimization and Integration참고 문헌 13인용 수 8

한 줄 요약

이 논문은 열교환기 네트워크 합성(HENS)을 위한 혼합정수선형계획(MILP) 운반모델에서 대칭성을 탐지하고 분류하기 위해 군론적 프레임워크를 제안한다. 이는 동일한 스트림 파라미터와 순열 불변성에 기인한 대칭적 해가 발생함을 증명한다. 저자들은 대칭성을 체계적으로 식별하고 분기-절단 알고리즘에서 계산 비용을 줄이기 위해 활용할 수 있음을 보여주며, 대칭군 하에 동일한 최적 해를 가진 테스트 케이스를 통해 계산적 검증을 수행한다.

ABSTRACT

Symmetry in mathematical optimisation is of broad and current interest. In problem classes such as mixed-integer linear programming (MILP), equivalent solutions created by symmetric variables and constraints may combinatorially increase the search space. Identifying problem symmetries is an important step towards expediting tree-based algorithms such as branch-and-cut because computationally classifying equivalence allows state-of-the-art solver software to omit symmetric solutions. But symmetry has not been characterised in several critically important process systems engineering applications such as heat exchanger network synthesis; neither do current MILP solvers detect or use symmetries for these energy efficiency problems. This paper uses group theory to study the MILP transshipment model of heat exchanger network synthesis and identifies several types of symmetry arising in the problem.

연구 동기 및 목표

• 열교환기 네트워크 합성(HENS)을 위한 혼합정수선형계획(MILP) 운반모델에서 대칭성을 식별하고 분류하는 것. 이는 과거에 특성화되지 않은 공정시스템공학 분야의 핵심 문제이다.
• 동일한 온도와 열용량을 가진 스트림 파라미터와 순열에 대한 불변성에 기반해 대칭적 해가 어떻게 발생하는지 분석하는 것.
• 대칭 탐지가 분기-절단 알고리즘에서 중복 탐색을 줄여 수렴 속도를 향상시킬 수 있음을 보여주는 것.
• HENS에서의 대칭성에 대한 공식적인 군론적 프레임워크를 제공하여 향후 최적화 솔버에의 통합을 가능하게 하는 것.
• 대칭으로 인해 여러 동일한 최적 해가 존재하는 소규모 테스트 케이스를 사용해 이론적 결과를 계산적으로 검증하는 것.

제안 방법

• HENS의 MILP 운반 공식화에서 대칭성을 모델링하기 위해 군 이론을 적용하며, 동일한 특성을 가진 열 및 냉각 스트림의 순열 기반으로 대칭군을 식별한다.
• 같은 온도와 열용량을 가진 스트림에 대한 일대일 대응(순열)을 정의하여 목적함수와 제약조건에서의 불변성을 보여준다.
• 운반모델(Papoulias와 Grossmann, 1983)을 핵심 공식화로 사용하며, 열 흐름이 온도 간격을 따라 모델링되고 스트림 매칭을 위한 이진변수가 포함된다.
• 다수의 스트림이 동일한 파라미터를 가질 경우 그 순열이 MILP 모델에서 대칭적 해를 생성함을 수학적으로 증명한다.
• 3개의 뜨거운 스트림과 3개의 냉각 스트림을 가진 테스트 케이스를 도입하여 대칭적 해의 존재성과 그 군 구조를 계산적으로 검증한다.
• 대칭이 분기-절단 탐색 트리에 미치는 영향을 분석하여, 대칭적 해는 목적함수 값에서 동일하지만 대칭 탐지 기능이 없을 경우 별도의 탐색이 필요함을 보여준다.

실험 결과

연구 질문

• RQ1 열교환기 네트워크 합성(HENS)을 위한 MILP 운반모델에서 존재하는 대칭 유형은 무엇인가?
• RQ2 스트림 파라미터에 기반해 HENS 모델에서 언제 대칭적 해가 발생하는가?
• RQ3 군 이론을 사용해 HENS의 대칭성을 어떻게 공식적으로 기술할 수 있는가?
• RQ4 대칭 탐지 기능이 HENS MILP 문제 해결의 계산 부담을 줄일 수 있는가?
• RQ5 HENS 최적화에서 대칭적 해와 해 공간의 구조 간의 관계는 무엇인가?

주요 결과

• HENS MILP 모델에서 다수의 뜨거운 또는 냉각 스트림이 동일한 온도와 열용량 파라미터를 가질 경우 대칭이 발생하며, 이는 동일한 최적 해로 이어진다.
• 논문은 이러한 대칭 스트림의 순열이 목적함수와 제약조건을 유지하는 대칭군을 형성함을 증명하며, 특히 대칭군 S_n으로 표현됨을 보여준다.
• 3x3 스트림 테스트 케이스의 계산 결과는 대칭으로 인해 다수의 동일한 최적 해가 존재함을 확인하였으며, 6개의 대칭 구성을 확인하였다.
• CPLEX 12.6는 대칭 기능을 활성화해도 대칭을 탐지하지 못함을 보여주며, 이는 현재의 솔버에서 HENS 문제에 대한 대칭 지원에 격차가 있음을 시사한다.
• 저자들은 단일 해에서 군 작용을 통해 대칭적 해를 체계적으로 생성할 수 있음을 보여주며, 향후 대칭 깨기 전략의 가능성을 제시한다.
• 이러한 발견들은 솔버에 대칭 인식 브랜치 또는 커팅 전략을 통합할 경우 HENS 문제의 해소 시간을 크게 단축시킬 수 있음을 시사한다.