标题： modelSolver：一种用于电力网络仿真和监测的符号模型驱动求解器 显示英文标题

标题： modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring

摘要： 开发用于电力系统分析的高级软件工具需要广泛的编程专业知识。 即使使用开源工具，编程技能对于修改内置模型也是必不可少的。 这对于缺乏编码能力的领域专家来说可能尤其具有挑战性。 本文介绍了modelSolver，一种以符号数学建模为中心的新框架的软件解决方案。 所提出的范式通过直观的数学表达式来定义模型，从而消除了传统编程结构（如数组、循环和稀疏矩阵计算）的需要。 modelSolver专注于使用开放箱方法进行潮流计算和状态估计，允许用户使用实数或复数变量指定自定义模型。 与依赖硬编码模型的现有工具不同，modelSolver能够表示各种先进的功能，包括带有电压调节器和负载分接开关的潮流计算、延续潮流计算以及带有等式约束的高斯-牛顿状态估计。 通过一个转换器确保与MATPOWER的兼容性，该转换器可自动导入数据文件。 该框架优先考虑模型驱动开发，使领域专家能够在没有编程障碍的情况下专注于电力系统建模。 它的目标是简化电力系统计算，使其更易于学生、科学家和从业者使用。 显示英文摘要

摘要： The development of advanced software tools for power system analysis requires extensive programming expertise. Even when using open-source tools, programming skills are essential to modify built-in models. This can be particularly challenging for domain experts who lack coding proficiency. This paper introduces modelSolver, a software solution with a new framework centered around symbolic mathematical modeling. The proposed paradigm facilitates defining models through intuitive mathematical expressions, thus eliminating the need for traditional programming constructs such as arrays, loops, and sparse matrix computations. The modelSolver focuses on power flow and state estimation using an open-box approach, which allows users to specify custom models using either real or complex variables. Unlike existing tools that rely on hard-coded models, modelSolver enables the representation of a wide range of advanced functionalities, including power flow with voltage regulators and load tap changers, continuation power flow, and Gauss-Newton state estimation with equality constraints. Compatibility with MATPOWER is ensured via a converter that automates importing data files. The framework prioritizes model-driven development and empowers domain experts to focus on power system modeling without programming barriers. It aims to simplify power system computations, making them more accessible to students, scientists, and practitioners.