2. Simulink 环境搭建：库浏览器、模型配置、求解器与步长
好，咱们正式开始动手。上一章聊了编码器换相的原理，这一章得把战场搬到 Simulink 里。环境搭不对，后面全是白费功夫。我见过不少新手，模型画得挺漂亮，一仿真就崩，十有八九是求解器或者步长没选对。
咱们这一章就解决三件事：找对工具、设对参数、选对步长。说白了，就是让你知道 Simulink 这个工具箱里哪些是干活的，哪些是摆设。
本章核心目标：搭建一个稳定、可复用的编码器换相仿真环境。不求花哨，只求跑得稳、算得准。
2.1 库浏览器：你的工具箱
打开 Simulink，第一眼看到的就是库浏览器（Library Browser）。很多人觉得它就是个模块列表，其实不然。我个人习惯把它当作一个活目录——你得知道常用的东西藏在哪，才能干活快。
咱们做编码器换相，最常用的几个库：
- Simscape / Electrical：电机模型、功率电子器件（MOSFET、IGBT）、三相逆变桥。别去 Simulink 基础库找电机，那里面只有数学积分，没有物理特性。
- Sinks：示波器（Scope）、数据记录（To Workspace）。调试换相信号时，Scope 是你的眼睛。
- Sources：脉冲发生器（Pulse Generator）、阶跃信号（Step）、常数（Constant）。用来模拟霍尔信号或者编码器脉冲。
- Logic and Bit Operations：换相逻辑本质上就是布尔运算，这里面的逻辑门、查找表（Lookup Table）很实用。
我的小技巧：在库浏览器搜索框里直接敲模块名，比翻目录快得多。比如敲 "PWM" 或者 "H桥"，一秒定位。我刚开始做项目时傻乎乎地一层层点，后来被老同事笑话了才改过来。
2.2 模型配置：别用默认值
新建一个模型，Ctrl+E 打开配置参数（Configuration Parameters）。默认配置能跑，但跑出来的东西你敢信吗？
咱们重点看几个页签：
2.2.1 Solver（求解器）页签
这是最关键的页面。Simulink 默认是变步长（Variable-step），但做电机控制仿真，我强烈建议改成定步长（Fixed-step）。为什么？
- 变步长在信号跳变（比如换相时刻）会自动缩小步长，仿真会变慢，甚至卡死。
- 定步长仿真更接近真实控制器行为——控制器就是固定周期运行的。
- 代码生成时，定步长模型可以直接转成嵌入式代码，变步长不行。
| 求解器类型 | 适用场景 | 编码器换相推荐？ |
|---|---|---|
| 变步长（Variable-step） | 连续系统、精度要求极高、仿真时间短 | ❌ 不推荐 |
| 定步长（Fixed-step） | 离散系统、实时仿真、代码生成 | ✅ 强烈推荐 |
2.2.2 Data Import/Export 页签
这里我踩过坑。默认情况下，Simulink 会把仿真结果存在工作区（Workspace）里，变量名叫 tout、yout。但如果你模型里用了多个 To Workspace 模块，变量名冲突了怎么办？
我的做法：勾选 "Single simulation output"，这样所有信号都打包成一个结构体，不会乱。然后在模型里用 logsout 统一管理。
% 仿真后提取数据示例
time = logsout{1}.Values.Time;
hall_a = logsout{2}.Values.Data;2.2.3 Optimization 页签
做代码生成时，这里有个坑：默认勾选了 "Implement logic signals as boolean data"。如果你模型里用了 double 类型的逻辑信号，仿真没问题，但生成代码时会报类型不匹配。我建议一开始就统一用 boolean 类型，省得后面改。
⚠️ 注意：模型配置参数会随求解器类型变化。如果你从变步长切到定步长，部分参数（如最大步长、最小步长）会消失或变成灰色。这是正常的，别慌。
2.3 求解器选择：ode1、ode4 还是 ode45？
求解器选不对，仿真结果就是错的。咱们做编码器换相，本质上是一个离散事件驱动系统——换相发生在特定角度或霍尔边沿，中间的状态是连续的电机运动。
我推荐以下两种：
- ode1（Euler）：一阶显式，计算量最小。如果你的步长足够小（比如 1e-6 秒），精度够用。适合快速原型验证。
- ode4（Runge-Kutta）：四阶显式，精度比 ode1 高很多，计算量也大一些。适合做最终验证。
为什么不推荐 ode45？它是变步长求解器，虽然精度高，但步长不固定。你想想看，换相那一瞬间步长突然缩到 1e-9，仿真跑 1 秒实际时间可能要等 10 分钟。我在项目里吃过这个亏，后来老老实实换回 ode4。
| 求解器 | 阶数 | 步长类型 | 精度 | 速度 | 推荐场景 |
|---|---|---|---|---|---|
| ode1 | 1 | 定步长 | 低 | 快 | 快速原型、步长极小时 |
| ode4 | 4 | 定步长 | 高 | 中 | 最终验证、代码生成 |
| ode45 | 4/5 | 变步长 | 很高 | 慢 | 纯连续系统、非实时仿真 |
2.4 仿真步长选择：多大才合适？
步长选大了，仿真发散；选小了，跑得慢。那到底选多少？
我有个经验公式：步长 ≤ 最小时间常数的 1/10。对于编码器换相，最小时间常数通常是电气时间常数（L/R）或者 PWM 周期。
举个例子：
- PWM 频率 10 kHz → 周期 100 μs
- 建议步长 ≤ 10 μs（1e-5 s）
- 如果电机电感很小（比如 100 μH），电气时间常数可能只有几十微秒，步长要缩到 1 μs（1e-6 s）
我的推荐起点：先设 1e-5 s（10 μs），跑一次看看波形。如果波形毛刺多或者发散，减到 1e-6 s。如果跑得太慢，检查模型里有没有不必要的连续模块。
嗯，这里要注意：步长不是越小越好。步长太小，数值误差累积反而可能变大。我见过有人设 1e-9 s，仿真跑了三天没跑完，最后发现用 ode4 + 1e-6 s 结果一模一样。
2.5 实操：搭建一个最小验证环境
光说不练假把式。咱们快速搭一个最小模型，验证配置是否正确。
- 新建模型，Ctrl+E 打开配置参数。
- Solver 页签：Type 选 Fixed-step，Solver 选 ode4，Fixed-step size 填 1e-5。
- 从库浏览器拖一个 Pulse Generator（Sources 库），频率设 1000 Hz，占空比 50%。
- 拖一个 Scope（Sinks 库），连上脉冲信号。
- 仿真时间设 0.01 秒（10 个周期），运行。
如果 Scope 里看到方波，说明环境搭好了。如果波形变形或者有毛刺，检查步长是不是太大了。
避坑指南：我曾经在 Pulse Generator 里设了 10 kHz，但步长用了 1e-4 s（100 μs），一个周期只采 1 个点，Scope 里看到的是锯齿波。后来才意识到是采样定理的问题——步长必须小于信号周期的一半。