3. Simulink定点建模环境准备

定点化设计不是打开 Simulink 就能直接开始的，它依赖一套专门的工具链和工程组织方式。如果环境没有准备好，后续会出现三类典型问题：数据类型助手无法正确推导范围、定点工具找不到要转换的子系统、不同人改动的字长和定标互相覆盖。本节的目标是把 Fixed-Point Designer、数据类型助手（Data Type Assistant）、定点工具（Fixed-Point Tool）三者的关系理清，并建立一套可复用的工程目录与参数管理规范。

三个工具的分工与协作关系

Fixed-Point Designer 是提供定点数据类型、量化运算、溢出处理与定点化工作流的底层产品。它给 Simulink 增加了 fixdt()、numerictype()、fi 等对象，以及定点工具和数据类型助手这两个交互入口。数据类型助手负责“定义和推导类型”：在信号线上打开它，可以选择 Inherit、Fixed-point、Double 等模式，并在定点模式下填写 Signedness、Word length、Fraction length、Scaling 等字段。定点工具负责“批量转换与验证”：它扫描模型，列出所有待定点的信号和参数，给出建议类型，支持一键应用、仿真对比和溢出报告。

三者的关系可以概括为：Fixed-Point Designer 提供能力，数据类型助手定义单个对象的类型，定点工具在整个模型范围内执行转换并回收结果。理解这一点，就不会出现“在数据类型助手里改了一个信号，却期望定点工具自动同步全部”的误解。

建立可复用的工程目录

定点化项目通常要经历“浮点建模 → 范围收集 → 类型转换 → 定点验证”四个阶段，每个阶段都会产生新文件。如果所有文件堆在同一个目录，几轮迭代后就无法判断哪个模型是当前版本。建议在项目根目录下建立如下结构：

FixedPointProject/
├── models/          % 模型文件
│   ├── plant.slx
│   └── controller.slx
├── data/            % 参数与类型定义
│   ├── params.m
│   └── types.m
├── scripts/         % 自动化脚本
│   ├── run_range_collect.m
│   └── apply_fixdt.m
├── tests/           % 测试用例
│   └── test_fixed_point.m
├── reports/         % 定点工具输出
│   └── overflow_report.html
└── docs/            % 设计说明
    └── scaling_notes.md

其中 data/params.m 是参数管理的核心。它不应只是简单罗列数值，而应把“物理量—浮点值—定点类型”三者绑定在一起。例如一个温度控制回路，采样周期 0.01 s，温度范围 −40～125 ℃，传感器分辨率 0.0625 ℃：

% params.m —— 定点建模参数定义（示例）
Ts = 0.01;                          % 采样周期 (s)

% 物理量范围
temp_min = -40;                     % ℃
temp_max = 125;                     % ℃
temp_res = 0.0625;                  % ℃/LSB

% 由范围推导所需字长与小数位
% 动态范围 165 ℃，分辨率 0.0625 → 需 165/0.0625 = 2640 个量化级
% 取 2^12 = 4096 > 2640，故整数位 12 bit
% 小数位：0.0625 = 2^-4 → fl = 4
temp_wl = 16;                       % 总字长
temp_fl = 4;                        % 小数位
temp_dt = numerictype(1, temp_wl, temp_fl);   % 有符号 16.4

% 控制器增益（浮点设计值，后续定点化）
Kp = 2.35;
Ki = 0.48;

这里的关键是：字长和小数位不是拍脑袋定的，而是从物理范围和分辨率反推出来的。上例中 165 ℃ 的动态范围除以 0.0625 ℃ 的分辨率得到 2640 个量化级，向上取到 2 的整数次幂 4096，对应 12 位整数部分；小数部分 0.0625 恰好是 2⁻⁴，所以 fl = 4；加上符号位，总字长 16 位。这个推导过程应写进注释，否则半年后没人知道为什么是 16.4 而不是 16.3。

参数命名与类型对象的统一约定

定点化最容易出问题的地方是“同一个物理量在不同模块里用了不同的字长”。为避免这种情况，建议采用前缀命名法：wl_ 表示字长，fl_ 表示小数位，dt_ 表示完整的 numerictype 对象。例如：

wl_temp = 16;
fl_temp = 4;
dt_temp = numerictype(1, wl_temp, fl_temp);

wl_gain = 12;
fl_gain = 8;
dt_gain = numerictype(1, wl_gain, fl_gain);

在 Simulink 模块中，数据类型一栏填写 dt_temp 而不是直接写 fixdt(1,16,4)。这样当需要把温度字长从 16 位改成 18 位时，只需修改 params.m 中的 wl_temp，全模型同步生效。定点工具在扫描时也能识别这些命名对象，生成的报告会按参数名分组，而不是按模块路径散落一地。

建模前的环境自检

在开始第一个定点模型之前，用一段脚本确认环境可用。下面这段检查脚本可以直接放进 scripts/ 目录：

% check_fixpt_env.m —— 定点建模环境自检
assert(~isempty(ver('fixpoint')), 'Fixed-Point Designer 未安装');
assert(exist('numerictype','file') == 2, 'numerictype 不可用');
assert(exist('fixdt','file') == 2, 'fixdt 不可用');

% 确认参数已加载
assert(exist('Ts','var') == 1, 'Ts 未定义，请先运行 data/params.m');
assert(exist('dt_temp','var') == 1, 'dt_temp 未定义');

% 验证类型对象可正常构造
t = numerictype(1, 16, 4);
assert(t.WordLength == 16 && t.FractionLength == 4);

disp('定点建模环境检查通过');

运行后如果输出“定点建模环境检查通过”，说明工具链、参数文件和类型对象三者都已就位。如果报错，按提示逐项排查：缺少产品就安装，参数未定义就先运行 params.m，类型对象构造失败则检查 numerictype 的输入参数顺序是否为 (signed, wordlength, fractionlength)。

定点工具的首次打开与模型准备

定点工具通过 Simulink 菜单 Analysis → Fixed-Point Tool 打开。首次打开前，模型需要满足两个条件：求解器设为定步长（Fixed-step），且至少运行过一次仿真以产生范围数据。定点工具打开后会显示三个区域：左侧是模型层次树，中间是信号与参数的当前类型和建议类型，右侧是操作按钮。此时不要急着点“Apply”，先确认 data/params.m 已加载，否则工具推导出的建议类型会基于默认的 double 范围，而不是你定义的物理范围。

一个常见的操作顺序是：先运行浮点模型收集范围，再打开定点工具查看建议，把建议值与 params.m 中的推导值对比。如果两者差异较大，说明浮点激励没有覆盖全部工况，需要补充测试用例，而不是直接接受工具建议。这一步是定点化质量的分水岭：工具给的是“基于当前仿真的统计建议”，工程师给的是“基于物理范围的设计保证”，两者应相互校验。