📚 课程目录第4章 Simulink建模基础

4. Simulink建模基础：子系统、总线、数据类型、采样时间、模型参考与库封装

在飞控代码自动生成项目中，Simulink模型不仅仅是算法的图形化表达，更是最终嵌入式C代码的“蓝图”。模型的结构设计、数据管理方式以及时间语义，将直接决定生成代码的质量、可读性、执行效率与可维护性。本章将围绕六个核心建模要素展开：子系统（Subsystem）的架构划分、总线（Bus）的数据聚合、数据类型（DataType）的位宽控制、采样时间（SampleTime）的调度语义、模型参考（Model Reference）的工程化复用，以及库封装（Library）的标准化管理。理解并正确运用这些基础能力，是构建一个可交付、可认证、可高效运行的飞控模型的前提。

上图展示了本章六个核心要素之间的逻辑关系。模型参考与库封装是工程化管理的顶层手段，它们约束了子系统的组织方式；子系统是功能划分的基本单元，总线则负责在子系统之间高效传递结构化数据；数据类型与采样时间则是贯穿所有模块的底层属性，直接决定了生成代码在目标处理器上的行为。下面我们逐一深入剖析。

4.1 子系统：从功能划分到执行语义

核心原理

子系统是Simulink中实现模型层次化设计的基本容器。从代码生成的角度看，子系统并非简单的“画布分组”，而是具有明确执行语义的模块。默认情况下，非原子子系统（Non-Activated Subsystem）在代码生成时会被内联（Inline）到父系统中，不产生独立的函数调用。而原子子系统（Atomic Subsystem）则会被编译为独立的函数，拥有自己的变量作用域和调用上下文。对于飞控这种对实时性和代码可读性要求极高的应用，我们通常需要将关键算法模块（如姿态解算、控制律计算、混控输出）设置为原子子系统，以便在生成代码中形成清晰的函数边界，便于调试与测试。

操作流程：创建与配置原子子系统

在Simulink编辑器中，选中需要封装的功能模块区域，右键选择 Create Subsystem from Selection。
右键新建的子系统，选择 Block Parameters (Subsystem)。
在 Main 选项卡中，勾选 Treat as atomic unit。
在 Code Generation 选项卡中，可以指定 Function name 和 Function packaging（如 Nonreusable function 或 Reusable function）。对于飞控中多次调用的相同算法（如多旋翼的混控器），选择 Reusable function 可以显著减少代码体积。

经验提醒：在飞控模型中，建议将 传感器数据预处理、姿态控制、位置控制、混控输出 分别封装为独立的原子子系统。这不仅使模型结构清晰，更重要的是，在生成的C代码中，每个子系统对应一个独立的函数，方便在嵌入式集成时进行任务调度和函数指针映射。

案例拆解：姿态控制子系统的封装

假设我们正在开发一个四旋翼飞控，需要将姿态控制算法封装为子系统。初始现象是模型顶层连线混乱，且生成的代码全部堆在 step() 函数中，难以进行单元测试。我们采取以下步骤：

边界定义：输入为期望姿态角（Roll/Pitch/Yaw）和当前姿态估计值，输出为期望角速度（P/Q/R）。
内部实现：包含PID控制器、前馈补偿、限幅与抗积分饱和逻辑。
参数配置：将子系统设置为原子单元，函数命名为 Attitude_Control_Update，打包方式选择 Nonreusable function。
结果对比：封装后，生成的代码中出现了独立的 void Attitude_Control_Update(...) 函数，内部局部变量不再与主函数混淆，且可以通过Simulink Test直接对子系统进行单元测试，无需搭建整个模型。

风险提示：不要将所有子系统都设置为原子单元。过多的原子子系统会导致函数调用开销增加，且中断嵌套复杂化。对于简单的信号调理逻辑（如单位换算），保持内联即可。

4.2 总线：结构化数据的工程化传递

核心原理

飞控系统中存在大量高维数据，例如IMU的六轴原始数据（加速度计3轴+陀螺仪3轴）、GPS的经纬度与速度、电机的PWM指令（4路或8路）。若使用标量信号线逐一连接，模型将变得杂乱无章且极易出错。总线（Bus）允许我们将这些相关信号聚合为一个结构体，在模型中作为单一信号线传递。在代码生成阶段，总线对象会映射为C语言中的 struct 结构体，字段名与总线元素名一一对应，这极大地提升了代码的可读性。

判断方法：何时使用总线

场景	信号数量	推荐方式	理由
单轴角度反馈	1-2	标量信号	简单直接，无需引入结构体
IMU 9轴数据	9	总线 (Bus)	数据同源，需整体传递与处理
电机控制指令	4-8	总线 (Bus)	指令需同步更新，且与电机序号强相关
导航状态估计	15+	总线 (Bus)	包含位置、速度、姿态四元数等异构数据

操作流程：创建与使用总线对象

在MATLAB工作区使用 Simulink.Bus 创建总线对象，并定义其元素（Simulink.BusElement）。
在模型中添加 Bus Creator 模块，将多个输入信号打包为总线。
在子系统边界处，使用 In Bus Element 和 Out Bus Element 模块作为总线类型的输入输出端口。
在代码生成配置中，确保勾选 Pack bus data as struct 选项。

% MATLAB 脚本示例：定义 IMU 总线
imuBus = Simulink.Bus;
imuBus.Elements(1) = Simulink.BusElement;
imuBus.Elements(1).Name = 'Accel_X';
imuBus.Elements(1).DataType = 'single';
% ... 依次定义 Accel_Y, Accel_Z, Gyro_X, Gyro_Y, Gyro_Z
imuBus.Elements(7) = Simulink.BusElement;
imuBus.Elements(7).Name = 'Temperature';
imuBus.Elements(7).DataType = 'single';

实战要点：在飞控模型中，建议将 传感器数据、状态估计结果、控制指令 定义为三组独立的总线。这样在生成代码中，你将会看到类似 IMU_Data_t、Nav_State_t、Control_Cmd_t 的结构体类型，清晰且易于在中断服务函数与主循环之间传递。

4.3 数据类型：精度与效率的权衡

核心原理

飞控代码运行在MCU上，其浮点运算单元（FPU）通常只支持单精度（single）运算。若在模型中使用双精度（double），生成的代码将调用软件浮点库，导致计算速度下降数倍甚至数十倍。因此，在建模初期就必须明确数据类型策略。Simulink支持原生数据类型（single, int16, uint8等）以及定点类型（fixdt）。对于飞控应用，我们通常采用 单精度浮点 作为默认类型，仅在特定传感器采集或PWM输出等场景使用整数类型。

操作流程：设置与检查数据类型

在MATLAB命令窗口执行 set_param(bdroot,'DefaultParameterDataType','single') 将模型默认参数类型设为单精度。
使用 Signal Conversion 模块或 Data Type Conversion 模块进行显式类型转换。
启用模型配置中的 Signal name must resolve to Simulink signal object 选项，并利用 Signal Specification 模块强制信号类型。

常见误区

风险说明：一个常见的错误是在PID控制器内部使用了 double 类型的增益参数，而输入信号是 single 类型。这会导致Simulink自动插入数据类型转换模块，在生成的代码中产生隐式的 (double) 和 (float) 强制转换，不仅影响性能，还可能引入微小的数值误差。务必使用 Model Advisor 检查数据类型一致性问题。

4.4 采样时间：多速率飞控的调度基础

核心原理

飞控系统是一个典型的多速率实时系统。姿态控制环通常运行在 500Hz-1kHz，位置控制环运行在 100Hz-200Hz，而GPS数据更新率仅为 5Hz-20Hz。Simulink中的采样时间（Sample Time）定义了模块的执行频率。在代码生成时，定步长求解器会根据采样时间将模型划分为多个任务（Task）。正确设置采样时间是确保生成代码在RTOS上正确调度的前提。

判断方法：如何确定采样时间

飞控功能模块	典型频率	采样时间 (s)	任务优先级
陀螺仪/加速度计读取	1000 Hz	0.001	最高（中断级）
姿态控制律	500 Hz	0.002	高
位置控制律	200 Hz	0.005	中
GPS数据解析	10 Hz	0.1	低

操作流程：配置多速率模型

在模型配置参数中，设置 Solver 为 Fixed-step，并指定一个基础步长（如 0.001）。
对于需要不同速率的模块，在其 Sample Time 属性中填写对应的采样时间（如 0.005）。
使用 Rate Transition 模块处理不同速率信号之间的数据传递，确保数据同步与完整性。

经验提醒：在生成代码时，建议在配置参数中选择 Treat each discrete rate as a separate task。这样，生成的代码中会为每个速率生成独立的函数（如 Attitude_Control_1ms()、Position_Control_5ms()），你可以轻松地将这些函数映射到RTOS的不同任务或中断中。

4.5 模型参考与库封装：工程化协作的基石

核心原理

当飞控系统由多人团队开发时，模型参考（Model Reference）和库封装（Library）是两种截然不同的复用机制。模型引用允许一个模型（被引用模型）被另一个模型（父模型）引用，每个引用实例是独立的，拥有自己的状态和内存空间。这非常适合参数化、多实例的场景（如四轴与六轴共用一个姿态控制器）。而库封装则是一种“模板”机制，库中的模块被拖拽到模型中后，与库保持链接关系。当库模块更新时，所有引用该模块的模型可以选择同步更新，这保证了算法版本的一致性。

对比分析

特性	模型参考 (Model Reference)	库封装 (Library)
实例化方式	每次引用创建独立实例	拖拽创建链接副本
状态管理	每个实例拥有独立状态	所有副本共享库状态（通常无状态）
代码生成	被引用模型独立生成代码，可复用	库模块内联到主模型中
适用场景	多实例算法复用（如多旋翼混控）	标准模块库（如滤波器、限幅器）
更新机制	需重新构建被引用模型	库更新后，模型可选择同步

实战场景：构建飞控标准模块库

我们团队在开发过程中，将常用的 一阶低通滤波器、二阶巴特沃斯滤波器、PID控制器、信号限幅器 封装为库模块。每个库模块内部使用 mask 封装参数，并明确数据类型为 single。当我们需要修改滤波器的截止频率计算方法时，只需在库中修改一次，然后选择 Update Link 即可同步到所有无人机型号的模型中。这避免了在多个模型中重复修改的繁琐过程，也防止了因遗漏导致的版本不一致问题。

风险提示：使用库封装时，务必注意 Break Link 操作。一旦断开链接，该模块就变成了普通副本，后续库的更新将不再影响它。在飞控代码生成前，建议使用 Dependency Analyzer 检查模型是否包含意外断开的库链接。

4.6 总结与建模规范建议

本章所讲的六个要素并非孤立存在，它们共同构成了飞控Simulink建模的“语法”基础。子系统定义了代码的函数边界，总线定义了数据的结构，数据类型定义了变量的位宽，采样时间定义了任务的调度节奏，而模型参考与库封装则提供了团队协作的版本管理手段。在实际项目中，我们建议遵循以下规范：

顶层模型只包含模型引用和信号路由，不包含具体算法。
所有总线对象在MATLAB工作区集中定义，并通过 .m 脚本统一管理。
所有子系统必须明确采样时间，禁止使用继承（-1）的采样时间。
数据类型在模型边界处显式转换，避免隐式转换。