4. 连接器与接口设计
在Modelica中，连接器（connector）是组件之间交互的唯一正式通道。它不是一个“画线工具”，而是一份接口契约：规定了两个或多个组件在物理或信号层面交换哪些量、这些量谁是势变量、谁是流变量，以及连接后自动生成什么方程。理解连接器，本质上就是理解Modelica如何把“物理守恒”翻译成“方程系统”。
4.1 连接器定义：接口即契约
连接器通过 connector 关键字定义，内部只能声明变量，不能包含方程。一个典型的电气连接器如下：
connector Pin
Modelica.Units.SI.Voltage v;
flow Modelica.Units.SI.Current i;
end Pin;这里 v 是势变量（potential variable），i 是流变量（flow variable）。势变量描述“接口处的状态”，流变量描述“通过接口的传输量”。在机械平动中，位移或速度是势变量，力是流变量；在热流体中，温度或压力是势变量，热流或质量流量是流变量。选择哪一对量，取决于该领域能量或物质守恒的自然表达方式。
连接器一旦定义，就应保持稳定。修改连接器变量名或类型，会导致所有引用它的组件和连接关系失效。因此，连接器设计应遵循“最小必要”原则：只暴露跨组件交互真正需要的量，不把内部状态或辅助变量塞进连接器。
4.2 势变量与流变量：守恒方程的种子
势变量与流变量的区分，是Modelica自动生成守恒方程的关键。当两个连接器通过 connect() 连接时，Modelica按以下规则生成方程：
- 所有被连接连接器的势变量相等：
a.v = b.v = c.v。 - 所有被连接连接器的流变量之和为零：
a.i + b.i + c.i = 0。
这两条规则分别对应“势连续”和“流守恒”。例如，三个电气引脚相连，电压相等，电流代数和为零，这正是基尔霍夫电流定律。若连接的是机械平动接口，则速度相等、力之和为零，对应牛顿第三定律与运动约束。
关键理解：势变量相等是“约束”，流变量求和为零是“守恒”。连接器不直接写方程，方程由连接语义自动生成。这也是Modelica能够跨领域统一建模的根本原因。
4.3 守恒方程自动生成：连接集与方程展开
当多个连接器通过 connect() 语句连在一起时，Modelica会把它们归入同一个连接集（connection set）。连接集不是简单的两两配对，而是一个等价类：集合内所有势变量相等，所有流变量求和为零。若连接集有 n 个连接器，则生成 n-1 个势相等方程和 1 个流求和方程，共 n 个方程，恰好与 n 个连接器引入的未知量数量匹配。
下面这张图展示了一个三组件连接集的方程生成逻辑：电阻、电容和电压源各有一个Pin连接器，三者连在一起后，连接集自动产生电压相等与电流守恒方程。
图中可以看到，连接集内部并不区分“谁连谁”，而是统一处理。这种等价类语义使得连接关系与组件顺序无关，也使得模型拓扑变化时方程自动重组。对于工程建模而言，这意味着你不需要手动推导节点方程，只需正确声明连接器并连线。
4.4 跨领域接口复用：标准库的连接器体系
Modelica标准库已经为常见领域定义了连接器，例如 Modelica.Electrical.Analog.Interfaces.Pin、Modelica.Mechanics.Translational.Interfaces.Flange、Modelica.Thermal.HeatTransfer.Interfaces.HeatPort。这些连接器之所以能复用，是因为它们遵循相同的“势-流”范式，并且命名和单位统一。
跨领域复用的关键在于：不同领域的连接器不能直接相连，但可以通过转换组件或中间模型耦合。例如，电机模型一侧是电气Pin，另一侧是机械Flange，内部通过能量转换方程把电流、电压与转矩、转速关联起来。连接器本身不跨领域，跨领域的是组件内部的物理关系。
复用建议：优先使用标准库连接器，而不是自定义相似接口。标准库连接器已经过验证，且与大量现成组件兼容。若必须自定义，应保持变量命名、单位、势流属性与标准库一致，降低集成成本。
4.5 连接语义与连接集处理：工程中的注意事项
连接语义虽然自动，但并非没有约束。以下情况需要特别注意：
- 连接集不能只含一个连接器：单个连接器不产生方程，若模型中某连接器未被连接，通常意味着接口悬空，需检查是否遗漏连线。
- 势变量与流变量不能混用：同一个连接器内，势变量和流变量必须成对出现，且语义明确。若把两个势变量放在同一连接器内，连接后会产生过约束。
- 连接集内的势变量必须类型一致：电压不能与温度直接相等，单位检查会在编译期报错。
- 流变量求和为零是代数和：方向约定必须统一。通常规定流入组件为正、流出为负，或相反，但全文必须一致。
在调试连接问题时，可以查看编译后的方程数量与未知量数量是否匹配。若出现“过约束”或“欠约束”，往往源于连接集处理异常。例如，两个电压源直接并联且电压值不同，会导致势相等方程与源方程冲突，此时应检查连接拓扑是否合理。
4.6 一个可执行的连接器设计检查清单
在实际工程中，设计一个新连接器或审查现有接口时，可以按以下清单逐项确认：
| 检查项 | 判断标准 | 常见问题 |
|---|---|---|
| 势变量是否唯一且物理意义明确 | 连接后势相等能表达真实约束 | 多个势变量导致过约束 |
| 流变量是否与势变量共轭 | 乘积具有功率或能量量纲 | 流变量选错，守恒方程无物理意义 |
| 单位是否与标准库一致 | 编译期单位检查通过 | 单位不匹配导致连接失败 |
| 连接集是否完整 | 无悬空连接器，无孤立节点 | 漏连导致欠约束 |
| 方向约定是否全文统一 | 流变量正方向定义一致 | 正负号混乱，结果反号 |
以电气Pin为例，若把 v 定义为势变量、i 定义为流变量，并约定电流流入组件为正，则连接后 sum(i) = 0 表示节点电流守恒。若某组件内部把电流方向定义为流出为正，则需要在组件方程中加负号，或在连接器层面统一约定。方向约定一旦确定，全文和所有图示必须保持一致。
连接器与接口设计是Modelica建模的“地基”。势变量与流变量的选择决定了守恒方程的形式，连接集处理决定了方程是否可解，跨领域复用决定了模型能否规模化。掌握这些内容后，后续的组件建模、系统集成和故障排查都会变得有据可依。