[논문 리뷰] Compositional models for power systems

Dhananjay Anand, Blake S. Pollard외 3명|arXiv (Cornell University)|2019. 09. 08.

Model-Driven Software Engineering Techniques인용 수 2

한 줄 요약

이 논문은 분산 에너지 자원(DER)의 여러 겹치는 모델을 통합하고 추론하기 위해 범주론적 데이터베이스와 대칭 모나드 범주를 사용하는 구성적 모델링 프레임워크를 제안한다. 추상적 문제 명세와 수치적 해법기 사이의 연결을 형식화함으로써, 복잡한 DER 상호작용에 대응하는 가시적이고 모듈형이며 구성 가능한 전력 시스템 분석을 가능하게 한다.

ABSTRACT

The problem of integrating multiple overlapping models and data is pervasive in engineering, though often implicit. We consider this issue of model management in the context of the electrical power grid as it transitions towards a modern 'Smart Grid.' We present a methodology for specifying, managing, and reasoning within multiple models of distributed energy resources (DERs), entities which produce, consume, or store power, using categorical databases and symmetric monoidal categories. Considering the problem of distributing power on the grid in the presence of DERs, we show how to connect a generic problem specification with implementation-specific numerical solvers using the paradigm of categorical databases.

연구 동기 및 목표

• 스마트 그라이드로의 전환 기간 동안 특히 다수의 겹치는 모델을 관리하는 데 도전하는 문제를 해결하기 위해.
• 분산 에너지 자원(DER)의 추상적 문제 명세와 구체적 수치적 해법기 간의 원활한 통합을 가능하게 하기 위해.
• 복잡하고 이질적인 그라이드 시스템에서의 전력 분포에 대해 추론하기 위한 형식적이고 구성적인 프레임워크를 제공하기 위해.

제안 방법

• 구성성과 모ularity를 포착하기 위해 전력 시스템 구성 요소와 그 상호작용을 대칭 모나드 범주로 모델링하기 위해.
• 구조적이고 계층적이며 구성 가능한 데이터 관리를 지원하기 위해 모델과 데이터를 범주론적 데이터베이스로 표현하기 위해.
• 범주론적 구성으로 고수준 문제 명세와 구현 수준의 해법기 사이의 인터페이스를 형식화하기 위해.
• 함자적 매핑을 사용하여 추상적 모델 구조를 실행 가능한 수치적 공식으로 변환하기 위해.
• 대칭 모나드 범주의 대수적 구조를 활용하여 다양한 척도와 도메인 간에 모델을 조합하기 위해.
• 범주론적 유형 체계와 제약 조건을 통해 모델 조합의 일관성과 정확성을 보장하기 위해.

실험 결과

연구 질문

• RQ1 다양한 겹치는 분산 에너지 자원(DER) 모델을 통합된 프레임워크 내에서 형식적으로 조합하고 관리할 수 있는 방법은 무엇인가?
• RQ2 어떤 범주론적 구조가 추상적 전력 시스템 명세와 수치적 해법기 사이의 원활한 연결을 가능하게 하는가?
• RQ3 구성적 모델링은 스마트 그라이드 시뮬레이션에서 확장성과 모ularity를 어떻게 향상시키는가?
• RQ4 범주론은 전력 시스템에서 이질적인 데이터와 모델의 통합을 어떻게 지원하는가?
• RQ5 대칭 모나드 범주는 DER의 변동성 하에서 전력 분포에 대해 추론하는 데 탄탄한 기반을 제공할 수 있는가?

주요 결과

• 프레임워크는 대칭 모나드 범주를 통해 다양한 DER 모델의 형식적이고 모듈형 조합을 가능하게 하며, 구조적 일관성을 보장한다.
• 범주론적 데이터베이스는 모델 명세와 데이터 모두에 대한 통합된 표현을 제공하여 통합 오버헤드를 감소시킨다.
• 이 접근법은 고수준 문제 정의에서 수치적 해법기 실행까지의 종단 간 추적 가능성을 지원한다.
• 함자적 활용은 추상 모델과 실행 가능한 해법기 사이의 정확한 번역을 보장하여 명세 오류를 최소화한다.
• 구성적 구조는 다양한 그라이드 시나리오 간에 모델을 점진적으로 확장하고 재사용할 수 있도록 한다.
• 이 방법은 이질적인 구성 요소를 가진 복잡한 분산 전력 시스템을 모델링하는 데 실현 가능성을 입증한다.