4. 仿真模型类型与建模工具

在MBSE的验证闭环中，仿真模型是承载“可执行语义”的核心资产。系统模型描述的是结构与行为约束，而仿真模型则把这些约束转化为随时间演化的数值轨迹或事件序列。选择哪种仿真模型类型，取决于被验证对象的动态特性：是连续变化的物理量，还是离散发生的状态跃迁，抑或是多个物理域强耦合的复杂行为。本节围绕四类典型仿真模型展开，并说明它们与建模工具、接口技术的对应关系。

连续系统仿真：用微分方程描述时间演化

连续系统仿真的核心是状态变量随时间连续变化，通常由微分方程或差分方程描述。以卫星姿态控制为例，姿态角θ、角速度ω与力矩T之间满足刚体转动方程：J·dω/dt = T - D·ω，其中J为转动惯量，D为阻尼系数。在工具中，这类模型常用积分器求解：给定初始θ₀、ω₀和输入力矩T(t)，通过定步长或变步长积分推进时间。典型工具包括MATLAB/Simulink、Modelica、AMESim等。Simulink以模块化框图表达微分方程，Modelica则用方程语言直接声明物理关系，二者都支持连续状态求解。

连续仿真的关键参数是步长与求解器。以四阶龙格-库塔法为例，步长h=0.01s时，若系统时间常数为0.5s，则每时间常数约50步，精度通常足够；若步长过大，会出现数值振荡甚至发散。判断结果是否可信，可观察能量是否守恒、稳态误差是否收敛，以及减小步长后轨迹是否稳定。

离散事件仿真：用事件序列描述状态跃迁

离散事件仿真（DES）关注的是系统状态在离散时间点上的跳变，而不是连续积分。典型对象包括生产线、通信协议、任务调度和排队系统。以一条装配线为例，工件到达、加工开始、加工完成、设备故障都是事件；仿真时钟只在事件发生时推进。常用工具包括AnyLogic、Arena、SimPy和Plant Simulation。

DES模型的核心要素是实体、资源、队列和事件调度器。例如，工件到达间隔服从指数分布，均值λ=5s；加工时间服从正态分布，均值μ=8s，标准差σ=1s；设备数量为2台。仿真运行1000个工件后，可统计平均等待时间、设备利用率和吞吐量。判断模型是否合理，可检查队列长度是否稳定、资源利用率是否接近预期，以及多次重复运行后置信区间是否收敛。

多物理场仿真：跨域耦合与网格求解

多物理场仿真处理两个或多个物理域在同一空间上的耦合，例如热-结构耦合、电磁-热耦合、流-固耦合。其数学本质是求解偏微分方程组，通常需要空间离散（有限元、有限体积或有限差分）。以电子芯片散热为例，焦耳热作为热源输入热传导方程，温度场又反过来影响材料电阻率，形成电-热弱耦合。常用工具包括COMSOL Multiphysics、ANSYS Mechanical/Flotherm、Abaqus等。

多物理场仿真的关键判断在于网格收敛性和耦合顺序。若采用单向耦合，先算电磁损耗再算温度场，计算量小但忽略温度对电性能的反馈；若采用双向耦合，需迭代直至残差小于设定阈值（如1e-4）。网格无关性验证通常要求加密网格后关键点温度变化小于2%。

联合仿真工具链与接口技术

当系统由多个异构模型组成时，单一工具往往无法覆盖全部物理域，需要联合仿真。联合仿真的核心是接口技术：功能 mockup 接口（FMI）是当前最通用的标准，分为模型交换（Model Exchange）和联合仿真（Co-Simulation）两种模式。FMI 2.0/3.0 允许将 Simulink、Modelica、AMESim 等工具生成的 FMU（功能 mockup 单元）导入到支持 FMI 的主仿真器中协同运行。

联合仿真的典型配置包括：主仿真器负责时间推进和步长协调，FMU 提供输入输出端口。以一辆混合动力汽车为例，整车控制器模型（Simulink）输出扭矩请求，电机模型（AMESim FMU）返回实际扭矩和电流，电池模型（Modelica FMU）返回电压和SOC。三者通过 FMI 接口以固定步长 1ms 交换数据。若接口步长过大，会出现代数环或能量不守恒；若过小，则通信开销显著增加。判断联合仿真是否成功，可检查接口变量是否在每一步都被正确读写、能量误差是否在可接受范围内，以及各子系统时间戳是否对齐。

工具链选型与接口配置要点

在实际项目中，工具链选型应遵循“物理域匹配、接口兼容、步长可协调”三条原则。连续系统优先选择 Simulink 或 Modelica；离散事件优先选择 AnyLogic 或 SimPy；多物理场优先选择 COMSOL 或 ANSYS；联合仿真则必须确认各工具是否支持 FMI 2.0 及以上版本。配置 FMI 接口时，需注意以下参数：

• 接口步长：主仿真器与 FMU 之间的数据交换周期，通常取系统最小时间常数的 1/10 至 1/5。例如电机电流环时间常数约 5ms，则接口步长可取 0.5ms 至 1ms。
• 输入输出端口映射：确保 VCU 的 T_req 连接到电机 FMU 的 torque_in，电机 FMU 的 current_out 连接到电池 FMU 的 current_in，避免端口悬空或类型不匹配。
• 初始化顺序：电池 SOC 初值、电机初始转速、VCU 初始模式需在联合仿真开始前统一设置，否则首步可能出现代数环。
• 结果记录：建议以 CSV 或 MAT 格式记录各 FMU 的输入输出轨迹，便于事后对比单域仿真与联合仿真的偏差。

四类仿真的对比与选用建议

选用时，先判断系统的主导动态是连续还是离散；若两者兼有，可采用混合仿真，例如 Simulink 中的 Stateflow 处理离散逻辑，连续模块处理物理动态。若涉及三个以上物理域且各域由不同团队维护，则优先采用 FMI 联合仿真，以保留各领域工具的最佳求解能力。无论选择哪种类型，验证目标都应明确：是检查稳态精度、动态响应，还是统计性能指标。只有把仿真类型、工具能力和验证目标对齐，MBSE 的仿真联动才能真正支撑系统验证。