Modelica 初始化、初始方程与稳态起点

动态模型开始积分前，需要找到满足代数约束和初始条件的一致状态。start 通常只是非线性求解初值，只有配合 fixed=true 或初始方程时才成为强制条件。

1. 初始化工具

• start：为变量提供求解初猜；
• fixed=true：要求变量初值等于 start；
• initial equation：仅在初始化阶段成立的方程；
• der(x)=0：常用于稳态初始化，但不能对所有状态盲目施加。

2. 结构平衡

每个需要初始化的状态要有足够独立条件。多个组件同时固定同一物理量会过定，完全不固定关键储能状态会欠定。先查看工具给出的初始化方程和选定状态。

3. 一致初值

压力、温度、流量和控制器状态必须同时满足连接与构成关系。给出互相矛盾的 start 值会导致初始化非线性系统失败，即使每个值单独看都合理。

4. 稳健策略

从简化模型或稳态解开始，逐步开启非线性、控制器和复杂物性。可使用同伦表达式、参数渐进和较合理的标称值改善缩放，但要保留真实目标模型的最终方程。

5. 验证

检查 t=0 时各守恒残差和状态是否符合工况，短时运行观察是否出现由不一致初值引起的尖峰。重新初始化不同 start 值，确认最终物理解不依赖偶然初猜。

6. 参考资料

1. Modelica Association, Modelica Language Specification.
2. Cellier & Kofman, Continuous System Simulation.