联合仿真步长怎么选:通信误差、事件时序与计算代价一起检查
一、先分清楚究竟在改哪一种步长
联合仿真通常同时存在通信步长、各子模型内部求解步长和结果输出间隔。通信步长决定参与方什么时候交换数据,内部步长由FMU或工具的数值过程决定,输出间隔则影响保存与显示。把曲线保存得更密,并不代表耦合交换也更频繁。新航路仿真笔记建议先把这三项分别记录,再讨论精度与性能。本文讨论FMI 3.0.2协同仿真的一般检查思路,下面的一阶离散算例用于解释数值概念,不代表某个FMU的内部算法,也不是已执行的联合仿真实验。

示波器与信号测试台实拍;采样、通信与显示间隔应分别定义。
二、输入在通信点之间如何使用,会影响结果
在相邻通信点之间,子模型需要按约定使用外部输入,例如保持上一值,或在双方支持的条件下采用其他近似。即使每个FMU单独求解得很精细,交换间隔过大仍可能引入耦合误差。FMI提供接口与能力描述,但具体的协同算法不由标准统一规定;不能仅凭“符合FMI”推断两个工具的全部时间推进策略相同。检查时应记录交换顺序、输入近似、输出读取时刻及初始连接条件,并明确工具实际采用什么,而不是只记录一个步长数字。

OpenModelica官方FMU导出界面;交换接口之外仍需核对导入器的协同策略。
三、一个可手工复算的例子:稳定不代表足够准确
对教学方程dx/dt=−x/τ,取τ>0、x(0)=1,解析解在t=τ时为e⁻¹,约0.367879。若仅为说明概念而采用显式Euler离散,xₙ₊₁=(1−h/τ)xₙ;在t=τ分别用5、10和20个等长步,得到0.327680、0.348678和0.358486,相对解析值的误差约10.93%、5.22%和2.55%。这些数值由公式直接计算,并非FMU实测。它说明即便序列平稳衰减,误差仍可能超出用途要求;该离散方法的稳定条件也不能直接作为所有协同仿真系统的通信步长上限。

OpenModelica官方直流电机示例绘图界面;图中曲线与本文Euler算术例子分别看待。
四、把步长敏感性做成有条件的对照
选择一组允许的通信步长,在模型、参数、输入、求解设置和比较窗口固定的前提下重复运行。比较关键输出的峰值、稳态或积分量,并按任务需要检查事件时刻;连续量只有在时间对齐后才适合逐点比较。可用最大绝对差或具有明确归一化基准的指标,但阈值应在看结果之前约定。最细一步的结果可以作为本次差分参照,不能自动称为真值。如果差异没有收敛趋势,先排查配置、事件与交换策略,不能仅挑出最接近预期的一次运行。

OpenModelica官方数据协调示例表,展示数值、置信信息与检查结果的组织方式。
五、事件附近,检查“发生何时”也检查“发生什么”
开关、限位、控制模式切换等事件可能使输出不连续。两次运行若在不同时间触发事件,逐点误差会同时包含幅值差和时序差,单一平均误差容易掩盖关键行为。应分别记录触发条件、首个满足条件的时刻、事件后的状态及后续动作,必要时按事件对齐再比较连续片段。FMI 3.0的提前返回、中间更新和事件相关能力并非所有FMU与导入器都支持;使用前应核对能力标志和实际调用,不假设把步长减小就一定能补齐缺失的事件机制。

OpenModelica官方调试界面;事件定位需要结合状态与调用记录。
六、允许回退与重复计算,需要双方真实支持
一些协同算法会尝试回退到先前状态、减小步长或迭代交换,但这些操作需要相应的模型状态能力、导入器策略及外部资源行为共同支持。有文件写入、实时数据或外部硬件参与时,恢复模型状态不一定恢复整个外部世界。设计检查方案时,应先确认哪些状态可保存和恢复,哪些副作用只能记录而不能撤销,再选择适用算法。不能把某个工具界面上的“自适应”开关理解为全系统具备可靠回退,也不能通过反复执行有实际副作用的动作来试探数值稳定性。

OpenModelica工程与源码界面;模型状态和外部资源状态需要分别说明。
七、精度满足用途后,再比较计算代价
在同一设备、相同模型与工况下,记录仿真时长、墙钟时间、通信次数、输出差异和失败情况,才能讨论哪组设置适合当前用途。墙钟时间除以仿真时长可作为本次运行代价的一个观察量;它不等于端到端实时系统已经满足时限,也不能跨硬件直接比较。如果某个步长更快却漏掉关键事件,就不应当作为合格候选。最后保留可接受区间及其适用工况,而不是只公布一个“最佳步长”。用途、精度、事件和资源边界共同决定选择。

电子测试实验室实拍;计算代价应与同一配置下的有效结果一起评估。
八、交付一份可以复查的选择依据
一份步长选择记录至少列出模型与工具版本、接口类型、通信策略、候选设置、工况、比较指标、结果证据和采用理由;不支持的能力、未覆盖的事件和后续验证需求单独说明。新航路在联合仿真与数字孪生工程笔记中关注这种“选择依据可复查”的交付方式:接收方应能知道某项设置为何可用、在什么条件下需要重新评估。通信误差敏感性只是证据的一部分;要判断模型是否符合真实设备,还需要相应物理假设、参数来源和独立参考数据。

工程资料整理实拍;步长选择应留下条件、比较证据与适用范围。
团队与服务方式
新航路数字孪生由数衍孪生(杭州)网络软件开发有限公司运营,提供数字孪生、MBSE系统建模、Ontology本体建模、多物理域与任务仿真、工程AI智能体开发服务。团队围绕系统架构、物理模型、软件接口和任务场景开展工程协作,采用需求与接口梳理、模型开发、联调验证、成果移交的工作流程。交付内容按项目约定,包括模型工程、软件接口、运行配置与验证资料。

工程资料整理实拍;步长选择应留下条件、比较证据与适用范围。
参考资料与图片署名
Functional Mock-up Interface Specification 3.0.2
OpenModelica User’s Guide 1.26.0
https://creativecommons.org/licenses/by/4.0/
https://fmi-standard.org/docs/3.0.2/
https://openmodelica.org/doc/OpenModelicaUsersGuide/v1.26.0/dataReconciliation.html
https://openmodelica.org/doc/OpenModelicaUsersGuide/v1.26.0/fmitlm.html
https://openmodelica.org/doc/OpenModelicaUsersGuide/v1.26.0/index.html
https://openmodelica.org/doc/OpenModelicaUsersGuide/v1.26.0/omedit.html
软件界面取自OpenModelica User’s Guide v1.26.0,
Open Source Modelica Consortium (OSMC),CC BY 4.0,原图未修改。工程摄影按Pexels License使用。第三方画面不代表本团队客户项目或实测结果。方案数据来源:下一代数字孪生建模仿真实验室 https://www.xhltwin.com