[논문 리뷰] Peng: A program for transport properties of low-density binary gas mixtures

Yu Zhai, You Li외 2명|arXiv (Cornell University)|2022. 08. 06.

Phase Equilibria and Thermodynamics인용 수 10

한 줄 요약

Peng는 고정밀 분자간 위치 에너지 곡선(PECs)을 사용하여 저밀도 이성분 기체 혼합물의 운동성, 열전도도, 분산 및 열확산성과 같은 운반 성질을 계산하는 C++ 기반의 객체지향 프로그램이다. 충돌 적분과 버트만 방정식의 찰프먼–엔스코그 해법을 고차수까지 수치적으로 풀어 계산 자원에 의해 제한되는 고정밀도 결과를 도출할 수 있으며, 동적 공유 라이브러리를 통한 확장성도 제공한다.

ABSTRACT

The fundamental properties of molecules bridge experiment and theory. Transport properties (diffusion, thermal diffusion, thermal conductivity and viscosity) of binary mixtures are measurable in experiments, and well-defined in theory, but difficult to compute with high accuracy. In addition to high-accuracy inter-molecular potential energy curves (PECs), a reliable and high-order solution program that compute the properties based on the PECs is required. In this work, we present a computer program called Peng that performs the collision integration numerically, and solves the Boltzmann equation in Chapman-Enskog fashion. The program has been devised to perform both parts of the solution procedure to arbitrary order, so that no hard-coded limitation will prevent a user from computing at higher precision, except the amount of RAM and the required computational time. Peng is well-designed in an Object-Oriented Programming (OOP) fashion, which make the program clear and easy to modify. In addition to the end-user oriented program, Peng is also compiled as a dynamic shared library that may readily be extended and embedded in users' programs.

연구 동기 및 목표

• 이론적 분자간 위치 에너지 곡선과 측정 가능한 운반 성질 간의 다이어그램을 저밀도 이성분 기체 혼합물에서 연결하고자 한다.
• PECs로부터 운반 성질을 계산하는 데 사용할 수 있는 공개 가능하고 유지보수 가능하며 확장 가능한 소프트웨어의 부족을 보완하고자 한다.
• 충돌 적분과 찰프먼–엔스코그 운반 성질 계산을 위한 고정밀도, 객체지향적, 동적으로 통합 가능한 솔루션을 제공하고자 한다.
• 고정밀도를 하드코딩한 코드, 단일 구조, 유지보수성 부족 등의 문제점을 해결하고자 한다.

제안 방법

• 프로그램은 정밀한 PECs를 사용하여 온도 범위에 걸쳐 충돌 적분 $\Omega^{(\ell,s)}$ 를 수치적으로 계산한다.
• 버트만 방정식은 찰프먼–엔스코그 방법을 통해 고차수까지 해석하며, 하드코딩된 정밀도 제한을 피한다.
• 모듈성, 명확성, 확장 가능성을 확보하기 위해 객체지향 설계 원칙을 기반으로 C++로 소프트웨어를 구현한다.
• 동적 공유 라이브러리 컴파일을 지원하여 다른 애플리케이션에 통합할 수 있다.
• 사용자는 코드의 아키텍처를 재설계하지 않고도 새로운 위치 에너지 함수나 통합 방법을 추가할 수 있다.
• 운동학 이론 프레임워크 내에서 텐서 대수와 편미분을 처리하여 수학적 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 어떻게 고정밀도 분자간 PECs로부터 저밀도 이성분 기체 혼합물의 운반 성질을 고차수 찰프먼–엔스코그 전개를 통해 고정밀도로 계산할 수 있는가?
• RQ2 어떤 설계 원칙이 현대 HPC 환경에서 고도로 확장 가능하고 유지보수 가능한 운반 성질 프로그램을 가능하게 하는가?
• RQ3 객체지향 C++ 코드는 기존 운동학 이론 소프트웨어의 유지보수성과 재사용성에 어떻게 기여할 수 있는가?
• RQ4 동적으로 로드 가능한 라이브러리 인터페이스는 큰 시뮬레이션 워크플로우에 운반 성질 계산을 효과적으로 통합하는 데 사용될 수 있는가?
• RQ5 고정밀도 제한이 없는 것이 운반 성질 계산의 정확도와 확장성에 어떤 영향을 미치는가?

주요 결과

• Peng는 사용 가능한 RAM과 계산 시간에 의해 제한되는 바까지 찰프먼–엔스코그 전개의 임의의 차수에서 운반 성질을 계산할 수 있다.
• 프로그램의 객체지향 설계 덕분에 구성 요소 간의 명확한 분리가 가능하여 기존 코드보다 수정 및 확장이 용이하다.
• 소프트웨어는 동적 공유 라이브러리로 컴파일되어 외부 애플리케이션과 워크플로우에 쉽게 통합할 수 있다.
• 기존 프로그램의 일반적인 한계, 즉 단일 구조, 전역 변수 의존성, 오래된 프로그래밍 스타일 등의 문제를 해결한다.
• 고정밀도 수치 통합을 통해 충돌 적분을 정확하게 계산하여 고품질 PECs에 대한 정확도를 보장한다.
• 현대 시스템과 호환되며, GNU/Linux에서 바로 컴파일이 가능하여 이전 도구의 이식성 문제를 해결한다.