用答案集编程自动规划十年以上电网改造，兼顾稳定与可持续性。
Long-term Power Grid Planning via Answer Set Programming
- 用答案集编程（ASP）建模电网长期规划中的拓扑约束
- 在真实和合成数据上验证了方案的可行性和优化能力
- 适合电力系统规划、形式化方法研究者参考
电力网络是现代社会运行的关键基础设施，其有效性依赖于持续调整。为应对可持续发展目标、用电模式变化及城市化进程，需对电网结构进行长期更新。实际改造周期可能长达十余年，期间必须保证供电连续性和服务质量，符合多种拓扑与组合不变量。长期电网规划面临此类复杂约束，传统规划语言难以有效表达；而答案集编程（ASP）可简洁优雅地建模这些性质。本文首次提出基于ASP的自动化、优化型长期电网规划方法。在合成数据与真实电网数据上的实验验证了该方法的表达能力与有效性。
原文摘要 · Abstract (English)
The Power grid is a critical infrastructure underpinning all aspects of modern society and its services. Maintaining its effectiveness requires continuous adaptations. In particular, addressing sustainability targets, demand patterns, and urbanisation trends requires implementing changes to the network. Actual developments can potentially span over a decade, with supply continuity and service quality that must be preserved throughout by ensuring conformance to several topological and combinatorial invariants. Long-term power grid planning deals with the above process, and although planning languages could be a natural choice, the kind of properties and invariants needed are cumbersome to express in such languages; on the contrary, they can be elegantly and succinctly encoded in Answer Set Programming (ASP). In this paper, we propose the first approach to automate and optimise the long-term power grid planning process using ASP. Experimental evaluations conducted on synthetic and real-world grid data confirm the expressive power of the proposed ASP-based approach and demonstrate its effectiveness.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。