A05 · 第 4 章 · 第二编 训练稳定性

正则化、数据增强与早停

比较 L1/L2 惩罚与解耦权重衰减,分析 dropout 的训练推理路径,以验证集实施早停,并把数据增强写成可核验的不变性或等变假设,说明标签平滑与模型选择边界。

报告页面错误
预备知识归一化方法与尺度控制正则化训练、验证、测试与数据泄漏神经网络与反向传播综合复习

本章目标

  1. 推导 L2 与 L1 惩罚的更新作用,区分梯度耦合正则和解耦权重衰减。
  2. 写出 inverted dropout 的训练前向、期望与推理路径,并核对随机状态。
  3. 用独立验证曲线定义早停、耐心和最佳检查点,不复用测试集。
  4. 把数据增强表述为标签保持不变性或目标同步变化的等变性假设。
  5. 解释标签平滑改变的目标分布、梯度和校准,并用消融限定贡献。
页面阅读位置0% · 仅保存在此浏览器
章节未开始
本册完成进度0/6 章 · 0%
本页目录

正则化必须连同估计目标说明

训练损失只约束观测样本上的拟合。正则化通过参数惩罚、随机扰动、数据变换或停止时间限制学习流程,但不同方法改变的对象不同。L2 改变参数尺度,dropout 改变训练图,增强改变训练分布,早停改变使用同一优化轨迹的哪个检查点。把它们都称为“防过拟合”会隐藏具体假设。

每种强度都是超参数,应在训练与验证协议中选择。测试集只能评估冻结组合。若一次加入权重衰减、增强和早停后性能改善,不能知道谁贡献、谁抵消;需要以固定预算做逐项或有计划的组合消融,同时报告训练拟合、验证差值和计算成本。

L2 惩罚收缩参数但依赖目标缩放

若目标写成

J(w)=L^(w)+λ2w22,J(w)=\widehat L(w)+\frac\lambda2\|w\|_2^2,

则正则梯度为 λw\lambda w。普通梯度下降更新

wt+1=(1ηλ)wtηL^(wt).w_{t+1}=(1-\eta\lambda)w_t-\eta\nabla\widehat L(w_t).

在这种简单情形,L2 惩罚与乘法权重衰减等价。若经验损失使用样本总和而非均值,同一个数值 λ\lambda 的相对强度随样本量改变;跨实现比较必须统一损失归约和是否含二分之一。

偏置、归一化的 γ,β\gamma,\beta 和嵌入是否衰减没有普遍答案。它们的尺度和不变性与普通权重不同,常分参数组处理,但选择要记录并验证。把所有张量无差别衰减可能破坏归一化尺度或稀有参数。

例 1:一次 L2 更新的数值分解

当前 w=2w=2,数据梯度为 0.50.5,学习率 η=0.1\eta=0.1λ=0.2\lambda=0.2。总梯度为 0.5+0.2×2=0.90.5+0.2\times2=0.9,更新后 w=20.1×0.9=1.91w=2-0.1\times0.9=1.91

也可分解为先按因子 10.1×0.2=0.981-0.1\times0.2=0.98 收缩到 1.961.96,再减数据步长 0.050.051.911.91。若损失本来是批内总和,数据梯度可能随批大小变而正则项不变,等效强度就改变。

自适应优化中要区分耦合与解耦衰减

λw\lambda w 加进梯度后交给 Adam 等自适应预条件器,正则项也会被每坐标的历史二阶矩缩放,不再是统一乘法收缩。解耦权重衰减先按数据梯度做自适应步,再独立执行类似

w(1ηλ)wetaAdaptiveStep(g)w\leftarrow(1-\eta\lambda)w-eta\,\operatorname{AdaptiveStep}(g)

的收缩。两者在普通 SGD 下接近,在自适应方法中路径不同,超参数不能无条件互换。还要核对实现把学习率是否乘进衰减、调度器如何影响每步衰减以及参数组例外。

例 2:预条件器使两种衰减不再相同

设两个坐标权重都为一、正则梯度都为 0.10.1,但自适应分母分别为一和十。若把正则耦合进预条件梯度,忽略数据梯度时两坐标正则步分别约为 0.1η0.1\eta0.01η0.01\eta,收缩不一致。

解耦衰减则两坐标都乘 10.1η1-0.1\eta,不经过自适应分母。选择哪一种是算法定义;复现实验需记录优化器、耦合方式、学习率调度和哪些参数衰减,不能只记录一个 weight_decay 数字。

L1 的尖角产生稀疏但不保证稳定选择

L1 惩罚为 λw1\lambda\|w\|_1。非零坐标次梯度是 λsign(w)\lambda\operatorname{sign}(w),零点次梯度属于区间 [λ,λ][-\lambda,\lambda]。普通小步梯度可能只让参数靠近零而不精确为零;近端更新使用软阈值

wsign(u)max(uηλ,0)w\leftarrow\operatorname{sign}(u)\max(|u|-\eta\lambda,0)

可产生精确零,其中 uu 是数据梯度步后的值。

稀疏参数不自动带来实际速度,稀疏布局、硬件和算子必须支持。相关特征间,L1 可能任意保留一个,随机种子稍变就交换;零权重也不是因果无关证明。应报告重采样稳定性和真实延迟,而不是只报非零比例。

dropout 在训练中采样子网络

设保留概率为 qq,训练时采样独立掩码 miBernoulli(q)m_i\sim\operatorname{Bernoulli}(q),inverted dropout 输出

h~i=miqhi.\widetilde h_i=\frac{m_i}{q}h_i.

给定 hih_i,其期望等于 hih_i,因此推理时直接使用 hh,不再额外缩放。训练方差增加为与 (1q)/q(1-q)/q 同阶,迫使表示不依赖某一条偶然路径。不同框架参数有时写丢弃概率 1q1-q,应核对语义。

例 3:inverted dropout 的数值与期望

隐藏向量 h=(2,4,6)h=(2,4,6),保留概率 q=0.5q=0.5。某次掩码为 (1,0,1)(1,0,1),训练输出为 (4,0,12)(4,0,12)。另一掩码可能完全不同;对许多掩码取期望,每个坐标分别回到 (2,4,6)(2,4,6)

推理模式直接输出 (2,4,6)(2,4,6)。若训练已经除以 qq,推理又乘 qq,期望会错误减半。梯度检查必须固定掩码;检查点重算要恢复同一随机状态,否则正负扰动或重算前后不是同一个函数。

dropout 与 BatchNorm 组合时,随机掩码改变批统计,推理去掉掩码又改变激活分布;顺序和强度需要实证核对。序列模型若每个时间步独立掩码,会给状态增加快速噪声,常使用跨时间共享掩码等变体。dropout 概率不是预测不确定性的自动可信区间;任何随机推理解释都需要额外模型假设和校准。

早停把优化时间当作容量参数

随着训练推进,模型先学习稳定结构,也可能逐渐拟合噪声。早停在固定间隔评估验证指标,保存当前最佳检查点;若连续若干次没有超过最小改善,就停止并恢复最佳检查点,而不是保留最后一步。监控指标应与目标一致,方向、平滑、评估频率、耐心和最小改善都要事先定义。

例 4:耐心不等于选择最后一轮

验证损失按轮为 (0.50,0.44,0.42,0.43,0.425,0.44)(0.50,0.44,0.42,0.43,0.425,0.44),规定最小改善 0.0050.005、耐心三次评估。第三轮零点四二是最佳;第四、第五都未比零点四一五更低,第六仍未改善,触发停止,最终恢复第三轮参数。

若只保存第六轮就失去早停选择的意义。若反复改变耐心直到测试最好,测试已经参与超参数选择。多次查看验证会有选择噪声,应在独立测试上评估冻结流程,并跨种子报告停止轮次分布。

训练损失仍下降而验证变差是早停常见信号,但验证抖动也可能来自样本少、批统计或随机评估。耐心应覆盖合理噪声时间尺度。恢复训练需要保存模型、优化器、调度器、步数和随机状态;只恢复权重会改变后续轨迹。

数据增强是一条关于任务对称性的假设

增强从训练样本 (x,y)(x,y) 采样变换。分类不变性要求 y(Tx)=y(x)y(Tx)=y(x);检测和分割通常是等变性,图像变换后边界框与掩码也要同步变换。变换必须在任务语义下成立:水平翻转对一般物体类别可能保持标签,对左右器官、文字和交通方向却可能改变;强裁剪可能删除目标,颜色扰动可能破坏颜色本身是标签的任务。

增强参数只用训练数据选择。验证和测试通常使用冻结的确定性预处理,以估计原目标分布;若部署本身包含多视图聚合,应把它定义为推理算法并计入延迟。增强后样本并非新的独立采集单位,不能把有效样本量简单乘以增强份数。

例 5:同一几何变换的分类与分割标签

一张宽一百像素的图像水平翻转。分类标签“猫”保持不变;原检测框横坐标为 [10,30][10,30],按半开或闭区间约定变为 [70,90][70,90],必须统一坐标定义。语义分割掩码也要逐像素翻转,且类别索引掩码使用最近邻插值,不能双线性混出不存在的类别编号。

若任务标签是“病灶位于左肺”,水平翻转后标签需要同步变为右侧语义,或该增强应禁用。验证时分别检查原图和有临床意义的真实变换分组,不能只因训练损失降低就认定增强有效。

混合两样本的增强还会混合标签,隐含目标在输入间平滑的假设。生成式增强要检查是否复制、泄漏或引入伪影。对每种变换记录概率、参数范围、插值、边界填充和随机种子,视觉查看图像与标签叠加是基本核验。

标签平滑改变监督目标

多分类独热目标 yy 可改为

yk=(1ε)yk+εK.y'_k=(1-\varepsilon)y_k+\frac{\varepsilon}{K}.

有些约定把 ε\varepsilon 只分给错误类别,数值不同,必须明确。交叉熵对 logits 的梯度由 pyp-y 变为 pyp-y',限制模型把真类概率推向一的压力。它可缓解过度自信和标签噪声敏感,但也改变最优概率与校准,不能假设必然改善可靠性。

例如三分类、ε=0.1\varepsilon=0.1,真类目标为 0.9+0.1/30.93330.9+0.1/3\approx0.9333,另两类各约 0.03330.0333。若标签本身包含真实软分布,额外平滑可能抹去信息。类别不平衡时统一平滑还可能向不合理的均匀先验拉动,应与代价和目标先验共同设计。

验证边界与消融

构建正则方案时先固定无正则基线和计算预算;逐项加入参数惩罚、dropout、增强、标签平滑或早停,记录训练损失、验证主要指标、校准、分组和停止轮次。由于方法相互作用,最后再比较有理论或业务理由的少量组合。每一次选择都只用开发数据。

测试报告应比较冻结组合与基线的差值及区间,而不是罗列最佳单次数字。训练更慢的增强和 dropout 要计入总计算,推理时通常只有权重和架构成本,测试时增强则另计。若部署分布不满足增强不变性,训练验证增益也不能无限外推。

消融还应保持训练步数、数据预算和选择机会可比;否则更长训练或更多搜索会伪装成正则方法本身的收益。

权重衰减与L2在所有优化器中完全相同
自适应预条件会改变耦合正则路径,解耦衰减是不同更新。
增强样本都是新的独立数据
它们共享同一原始单位,只编码变换假设,不能直接增加独立样本数。
早停后应保留最后一个检查点
应恢复验证协议选择的最佳检查点,并保持测试独立。

练习

练习 1:L2更新
推导普通梯度下降下的L2收缩形式。
查看提示
总梯度是数据梯度加 λw\lambda w
查看解答
目标含 λw2/2\lambda ||w||^{2}/2 时,更新为 w(1ηλ)wηgw\leftarrow(1-\eta \lambda)w-\eta g。若损失由均值改总和,需重新定义 λ\lambda 的相对强度。
练习 2:解耦衰减
解释自适应优化中两种权重衰减为何不同。
查看提示
耦合正则项会经过自适应分母,解耦收缩不会。
查看解答
Adam式预条件对不同坐标缩放 λw\lambda w,因而不再统一乘法;解耦方法把数据自适应步和 w(1ηλ)ww\leftarrow(1-\eta \lambda)w 分开。应记录参数组与调度。
练习 3:dropout期望
证明inverted dropout的条件期望不变。
查看提示
m的期望为q,训练输出除以q。
查看解答
E[mh/q]=hE[mh/q]=h,所以inverted dropout推理直接用h;训练若已缩放,推理不能再乘q。方差随(1-q)/q增加。
练习 4:早停协议
写出可复现的早停规则。
查看提示
定义指标、最小改善、评估频率、耐心和恢复点。
查看解答
在验证集监控预定指标,超过最小改善才更新最佳检查点;连续达到耐心后停止并恢复最佳,测试只在全部冻结后运行。
练习 5:增强语义
如何判断水平翻转是否合法?
查看提示
分类可不变,检测分割需要同步变换标注。
查看解答
先判断任务是否对变换不变或等变;图像翻转时同步更新框与掩码,类别索引用最近邻插值。若方向本身是标签,禁用或改标签。
练习 6:标签平滑
计算四分类标签平滑目标并说明边界。
查看提示
使用(1ϵ)y+ϵ/K(1-\epsilon)y+\epsilon/K
查看解答
四分类、ϵ=0.2\epsilon=0.2时真类为0.8+0.05=0.850.8+0.05=0.85,其余各0.05。它限制极端置信,但改变概率目标,仍需独立检查校准。

关系与资源

书籍 · 2016

Deep Learning

Ian Goodfellow, Yoshua Bengio, Aaron Courville

适合作为反向传播和优化章节的完整参考。

打开官方来源