论文标题
电力系统的组成模型
Compositional Models for Power Systems
论文作者
论文摘要
整合多个重叠模型和数据的问题在工程中普遍存在，尽管通常是隐式的。我们认为，在电力电网向现代“智能电网”过渡时，在电力网络的背景下，我们考虑了这个问题。我们提出了一种在分布式能源资源（DER）的多个模型中指定，管理和推理的方法，这些模型，使用分类数据库和对称的单体类别产生，消耗或存储功率的实体。考虑到在DER的存在下，在网格上分配功率的问题，我们展示了如何使用分类数据库的范式将通用问题规范与实现特定的数值求解器连接起来。
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.
