4. 建模环境与配置规范

在团队协作的 Simulink 项目中，模型能否被正确打开、仿真、复用和生成代码，很大程度上不取决于模型里画了什么，而取决于模型配置参数（Configuration Parameters）里设了什么。同一张模型图，如果求解器、数据类型或采样时间约定不一致，不同工程师得到的仿真结果可能完全不同，甚至无法通过代码生成。因此，建模环境与配置规范的核心目标只有一个：让模型的行为可预测、可复现、可交付。

本节围绕五类配置展开：模型配置参数、求解器设置、数据类型、采样时间、代码生成选项。它们不是彼此独立的，而是层层约束的关系——求解器决定仿真如何推进，数据类型决定信号以什么精度参与运算，采样时间决定各模块何时被触发，代码生成选项则把这些约定固化为可部署的产物。下面先给出整体约束关系，再逐项说明统一约定与检查要点。

一、模型配置参数：把配置当作受控资产

模型配置参数包含求解器、数据类型、采样时间、代码生成等全部设置，默认保存在模型文件内部。团队协作中最大的隐患是“各改各的”：A 工程师把求解器改成定步长，B 工程师把数据类型改成 single，合并后模型行为已经变了，但没人察觉。

统一约定是：配置参数必须与模型一起纳入版本控制，并通过配置集（Configuration Set）或配置引用（Configuration Reference）管理。推荐做法是建立一个独立的配置脚本或配置集文件，例如 cfg_team.m，在模型加载时统一应用。检查要点包括：模型是否引用了团队配置集而非使用本地默认值；配置集版本是否与模型版本对应；是否存在被临时修改后忘记还原的参数。

% cfg_team.m —— 团队统一配置示例（示例参数，非实测值）
cfg = Simulink.ConfigSet;
cfg.set_param('Solver', 'FixedStepDiscrete');   % 定步长离散求解器
cfg.set_param('FixedStep', '0.001');            % 基采样时间 1 ms
cfg.set_param('StopTime', '10');
cfg.set_param('DefaultUnderspecifiedDataType', 'double');
cfg.set_param('ProdHWDeviceType', 'ARM Compatible->ARM Cortex-M');
setActiveConfigSet('MyController', cfg);

二、求解器设置：先定模型类型，再定求解器

求解器选择的第一原则是与模型类型匹配。纯离散控制器模型应使用定步长离散求解器（如 FixedStepDiscrete），步长通常等于控制周期；含连续被控对象的模型才考虑变步长求解器（如 ode45、ode23t）。如果离散模型误用变步长求解器，仿真会跳过部分采样点，结果不可信。

关键参数包括：固定步长值、相对/绝对容差、最大步长、求解器类型。对于要生成代码的模型，必须使用定步长求解器，因为生成代码按固定周期执行，变步长无法映射到实时任务。检查要点：定步长值是否与模型基采样时间一致；容差是否过松导致结果失真；是否存在代数环（Algebraic Loop）未处理。

三、数据类型：显式优于继承

Simulink 默认大量使用 double，这在桌面仿真中没问题，但嵌入式目标往往只有单精度或定点运算能力。数据类型规范的核心是在接口和关键运算处显式声明类型，避免依赖隐式继承。

统一约定建议：控制算法内部可使用 single 或定点类型；接口信号、总线、状态量必须显式声明；布尔量使用 boolean；枚举用于状态机。检查要点包括：是否存在从 double 到 single 的隐式转换警告；定点运算是否检查了溢出和精度损失；总线信号类型是否与接口定义一致。可通过“模型顾问（Model Advisor）”中的数据类型检查项批量扫描。

四、采样时间：多速率系统的秩序来源

采样时间决定模块何时执行。规范要求：每个离散模块必须明确采样时间，不允许大量使用继承（-1）导致执行顺序不可预测。团队应定义基采样时间 Ts（例如 1 ms），其他速率取整数倍或分频关系，如 10 ms、100 ms。

多速率模型必须使用速率转换模块（Rate Transition）处理跨速率信号，否则会触发代数环或数据不一致。检查要点：模型是否设置了基采样时间；是否存在未处理的速率转换；采样时间颜色显示是否开启（用于快速识别不同速率域）；是否出现采样时间冲突警告。

五、代码生成选项：把配置固化为交付物

代码生成选项决定模型如何变成 C 代码。关键设置包括：系统目标文件（如 ert.tlc）、硬件设备类型、存储类（Storage Class）、代码替换库、编译器选项。统一约定要求：目标硬件型号、编译器版本、存储类命名规则必须团队一致。

检查要点：生成代码前是否通过“代码生成就绪检查”；接口信号是否指定了存储类；是否使用了不兼容的代码替换库；生成代码的目录结构是否符合交付规范。建议在持续集成中自动执行代码生成，任何配置漂移都会导致构建失败，从而被及时发现。

六、统一检查清单（可直接用于提交前自检）