3. TinyML声学模型常用架构

TinyML声学应用（如关键词唤醒、异常声音检测、声学事件分类）对模型架构的选择有着极为苛刻的约束：Flash/RAM通常限制在数百KB以内，算力资源往往只有几十MHz到几百MHz的MCU级别，同时推理延迟必须控制在实时响应窗口内。面对从DNN到CNN、TCRN、Transformer轻量化变体等众多候选架构，工程师需要建立一套系统化的评估与决策方法，而不是简单追求“最新”或“最准”。本章将从各架构的核心原理出发，给出可量化的选型判断流程，并结合实际部署案例拆解决策过程。

上图展示了TinyML声学模型选型的完整决策框架：输入特征经过四种候选架构的评估，在部署约束的硬性限制下，最终输出满足条件的架构与量化配置。实际工程中，这个框架需要反复迭代——第一次选型往往无法同时满足所有约束，需要根据瓶颈点进行架构调整或特征优化。

3.1 四种架构的核心原理与适用边界

3.1.1 DNN：最简单的基线模型

DNN（深度神经网络）由多个全连接层堆叠而成，输入通常是展平后的MFCC特征向量。其核心优势在于实现极其简单——仅需矩阵乘法和激活函数，任何推理框架都能高效支持。对于声学任务，DNN可以捕捉特征维度之间的静态相关性，但完全丧失了对时间序列的建模能力。因此，DNN仅适用于帧级独立分类任务，例如单帧音色识别，或者作为后续对比实验的基线模型。

在TinyML场景下，DNN的参数量主要由输入维度、隐藏层宽度和层数决定。一个典型的DNN配置（输入40维MFCC，隐藏层64-64，输出10类）参数量约为7K，模型大小仅28KB（8bit量化后），RAM占用约2KB。这种极低的资源消耗使得DNN在资源极度受限的MCU上仍然可行，但其准确率上限通常比CNN低5-15个百分点。

3.1.2 CNN：时频局部特征提取器

CNN将输入视为二维图像（时间帧×频率bin），通过卷积核在时频域上滑动提取局部模式。其核心优势在于：参数共享大幅减少参数量，局部感受野能够捕捉声音事件中的时频纹理特征（如音高跳变、共振峰结构）。对于关键词唤醒、环境声分类等任务，CNN通常比DNN有显著提升。

在TinyML部署中，CNN需要特别关注两个问题：池化层的下采样策略（过大的池化会丢失时间分辨率，影响短时事件的检测）和卷积核尺寸的选择（3×3是最常用的配置，但针对声学特征，频率轴上的核可以适当加宽，如3×5）。一个轻量CNN（2个卷积层+2个全连接层）参数量约15K-50K，模型大小60-200KB，RAM占用10-30KB，在多数Cortex-M4/M7内核上可实现30-80ms的推理延迟。

3.1.3 TCRN：时域卷积+循环门控

TCRN（Temporal Convolutional Recurrent Network）结合了时域卷积（TCN）和循环门控单元（GRU/LSTM）的优势。时域卷积通过膨胀因子扩大感受野，捕捉长时依赖；循环门控则对序列状态进行建模，适合处理变长输入。TCRN在声学事件检测、语音情感识别等需要长时上下文的任务中表现优异。

然而，TCRN的部署代价不容忽视：GRU/LSTM的循环结构在推理时存在顺序依赖，难以充分利用MCU的并行计算能力；同时，循环单元的激活函数（sigmoid/tanh）在量化后精度损失较大。一个TCRN模型（2层TCN+1层GRU，隐藏单元32）参数量约20K-40K，但RAM占用可能达到50-100KB（需要保存循环状态），对内存受限的MCU构成挑战。

3.1.4 Transformer轻量化变体：注意力机制的边缘化尝试

Transformer通过自注意力机制建模全局依赖，在云端声学任务上取得了SOTA效果。但标准Transformer的参数量和计算量对TinyML极不友好，因此衍生出多种轻量化变体：蒸馏后的TinyBERT、线性注意力（将Softmax注意力近似为核函数映射）、卷积辅助的CoAtNet等。这些变体在保持全局建模能力的同时，将参数量压缩到100K-500K范围。

在MCU上部署Transformer变体仍然面临巨大挑战：多头注意力的矩阵运算需要较大的中间缓冲区，LayerNorm的统计量计算在量化时容易产生误差。目前，Transformer轻量化变体更适合带有NPU或DSP加速器的边缘SoC（如Cortex-A系列+NPU），而非纯MCU。如果必须在MCU上使用，建议将序列长度限制在32帧以内，并采用8bit动态量化。

3.2 选型判断方法：从需求到架构的映射

面对具体项目，选型不应凭经验拍板，而应遵循以下四步判断流程：

1. 约束清单建立：明确目标MCU的Flash/RAM上限、CPU频率、是否支持DSP指令（如CMSIS-DSP）、功耗预算、实时性要求（如关键词唤醒需<100ms响应）。
2. 任务复杂度评估：声学任务是简单分类（如2-5类环境声）、序列检测（如连续语音中的关键词）还是事件定位（如异常声音的起止时间）？任务越复杂，对时域建模能力要求越高。
3. 候选架构初筛：根据约束清单排除明显不满足的架构。例如，Flash<200KB时直接排除Transformer变体；RAM<50KB时慎用TCRN。
4. 原型验证与量化评估：对初筛通过的架构进行训练、量化和在目标硬件上的benchmark测试，以实际数据为准。

3.3 案例拆解：智能门锁的声学事件检测模型选型

背景与约束：某智能门锁产品需要集成声学事件检测功能，用于识别开门时的特定敲击声、环境中的异常爆破声以及语音“开门”指令。目标硬件为Cortex-M4F内核MCU，主频80MHz，Flash可用空间200KB（其中声学模型分配≤150KB），RAM可用64KB（模型推理占用≤40KB），要求从声音发生到识别输出的端到端延迟≤150ms，电池供电场景下平均功耗≤5mW。

初始方案与问题：团队最初直接采用了一个在云端表现优异的TCRN模型（2层TCN+GRU，隐藏单元64），训练后准确率达94%。但部署到目标MCU后发现：模型量化后Flash占用180KB（超出预算），RAM峰值达到85KB（直接溢出），单次推理延迟320ms（远超150ms要求）。

分析判断过程：通过profiling工具定位瓶颈：GRU循环层的状态缓存占RAM的60%，TCN的膨胀卷积在MCU上无法并行计算导致延迟过高。进一步分析任务特性——三类声音事件（敲击声、爆破声、语音指令）的时域特征差异明显，且每类声音的持续时间不超过500ms，实际上不需要超过1秒的长时上下文。

实际操作步骤：

1. 将TCRN替换为2层CNN（第一层3×5卷积核，第二层3×3），池化改为stride=2的最大池化，保留时间分辨率。
2. 输入特征从40维MFCC降为32维Mel-Spectrogram（减少计算量）。
3. 采用8bit对称量化，并针对CNN的ReLU激活进行量化校准（使用1000条真实环境音频）。
4. 在目标MCU上进行逐层benchmark，发现第一层卷积耗时占比60%，通过CMSIS-NN的im2col优化将延迟降低35%。

结果对比：最终CNN模型参数量28K，Flash占用112KB，RAM峰值22KB，推理延迟68ms，准确率91.5%（相比TCRN下降2.5个百分点，但完全满足部署约束）。功耗实测3.8mW，符合电池供电要求。

风险与代价：准确率下降主要出现在低信噪比环境（如空调噪声背景下的敲击声识别）。团队通过数据增强（添加环境噪声、混响）将准确率提升至92.8%，但仍比TCRN低1.2个百分点。作为补偿，在决策层增加了“置信度阈值”机制——当模型置信度低于0.7时触发二次确认（延长50ms等待），有效降低了误报率。

复盘经验：选型不能只看准确率，必须将部署约束作为第一优先级。TCRN的时域建模优势在本任务中并未充分发挥，因为三类声音的区分主要依赖频谱纹理而非长时依赖。如果任务改为连续语音中的多关键词检测，TCRN的优势才会显现。

3.4 常见误区与总结复盘

总结复盘：TinyML声学模型选型是一个多目标优化问题，需要在准确率、资源占用、延迟和功耗之间寻找平衡点。建议团队建立标准化的选型流程：先明确约束，再评估任务复杂度，然后通过原型验证获取真实数据，最后基于数据决策。同时，保持对量化敏感度的关注——一个对量化友好的架构（如CNN）往往比一个理论上更强大但对量化敏感的架构（如TCRN）在MCU上表现更稳定。在实际项目中，建议至少对比2-3种架构的量化后性能，而不是只依赖单一模型的训练准确率。