[論文レビュー] Detecting Symmetry in Designing Heat Exchanger Networks

Georgia Kouyialis, Ruth Misener|arXiv (Cornell University)|Nov 7, 2017

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）をコア定式化として用い、温度区間を跨ぐ熱流量を、ストリームのマッチングを示す2値変数でモデル化する。
• 複数のストリームが同一のパラメータを有する場合、それらの置換がMILPモデル内で対称解を生成することを数学的証明により導出する。
• 3つのホットストリームおよび3つのコールドストリームを有するテストケースを提示し、対称解の存在およびその群構造を計算的に検証する。
• 対称性が分枝・切り離し探索木に与える影響を分析し、対称解は目的関数値において同等であるが、対称性検出が行われない限り別々に探索を要することを示す。

実験結果

リサーチクエスチョン

• RQ1 熱交換器ネットワーク合成のMILP輸送モデルには、どのような種類の対称性が存在するか？
• RQ2 ストリームパラメータに基づいて、HENSモデルで対称解がどのような条件下で出現するか？
• RQ3 群論を用いてHENSにおける対称性をどのように形式的に特徴づけられるか？
• RQ4 HENSのMILP問題を解く際、対称性検出が計算負荷を低減できるか？
• RQ5 HENS最適化における対称解と解空間の構造の関係は何か？

主な発見

• HENSのMILPモデルにおける対称性は、複数のホットストリームまたはコールドストリームが同一の温度および比熱パラメータを有する場合に生じ、同等の最適解をもたらす。
• 本稿では、このような対称ストリームの置換が、目的関数および制約式を不変に保つ対称性群を形成することを証明しており、具体的には対称群S_nとして特定される。
• 3×3ストリームテストケースにおける計算結果により、対称性によって複数の同等の最適解が存在することを確認し、6つの対称的構成が同定された。
• CPLEX 12.6ですら、対称性機能を有効にしても対称性を検出できないことから、現在のソルバがHENS問題に対して対称性を適切にサポートしていないことが示唆される。
• 著者らは、群作用を用いて1つの解から対称解を体系的に生成できることを示しており、将来的な対称性破壊戦略の実装に有効である。
• これらの知見は、ソルバーに対称性に配慮した分枝またはカット戦略を統合することで、HENS問題の解法時間を顕著に短縮できる可能性があることを示唆している。