[论文解读] Compositional models for power systems

Dhananjay Anand, Blake S. Pollard+3 more|arXiv (Cornell University)|Sep 8, 2019

Model-Driven Software Engineering Techniques被引用 2

一句话总结

本文提出了一种基于范畴数据库和对称单峰范畴的组合建模框架，用于智能电网，以整合和推理分布式能源资源（DERs）的多个重叠模型。通过形式化抽象问题规范与数值求解器之间的联系，该框架在面对复杂的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.

研究动机与目标

• 为应对在智能电网转型过程中管理多个重叠模型的挑战。
• 实现抽象问题规范与分布式能源资源（DERs）具体数值求解器之间的无缝集成。
• 提供一种形式化、组合化的框架，用于推理复杂、异构电网系统中的电力分配问题。

提出的方法

• 使用对称单峰范畴对电力系统组件及其相互作用进行建模，以捕捉组合性与模块化特性。
• 将模型和数据表示为范畴数据库，以支持结构化、分层且可组合的数据管理。
• 通过范畴构造形式化高阶问题规范与实现级求解器之间的接口。
• 使用函子映射将抽象模型结构转换为可执行的数值公式。
• 利用对称单峰范畴的代数结构，在不同尺度和领域之间组合模型。
• 通过范畴论类型系统和约束确保模型组合的一致性与正确性。

实验结果

研究问题

• RQ1 如何在统一框架内正式组合和管理多个重叠的分布式能源资源模型？
• RQ2 何种范畴结构能够实现抽象电力系统规范与数值求解器之间的无缝连接？
• RQ3 组合建模如何提升智能电网仿真中的可扩展性与模块化水平？
• RQ4 范畴论在电力系统中如何支持异构数据与模型的集成？
• RQ5 对称单峰范畴能否为应对DER波动性的电力分配推理提供稳健基础？

主要发现

• 该框架通过使用对称单峰范畴，实现了多样化DER模型的正式、模块化组合，确保了结构一致性。
• 范畴数据库为模型规范与数据提供了统一表示，降低了集成开销。
• 该方法支持从高层问题定义到数值求解器实现的端到端可追溯性。
• 函子的使用确保了抽象模型与可执行求解器之间的正确转换，最大限度减少了规范错误。
• 组合结构允许在不同电网场景中对模型进行增量式扩展与复用。
• 该方法在建模具有异构组件的复杂分布式电力系统方面展示了可行性。