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)、生产、消耗或存储电力的实体的多个模型中指定、管理和推理。考虑到存在 DER 时在电网上分配电力的问题，我们展示了如何使用分类数据库范式将通用问题规范与特定于实现的数值求解器连接起来。