A05 · 第 4 章 · 第二编 训练稳定性
正则化、数据增强与早停
比较 L1/L2 惩罚与解耦权重衰减,分析 dropout 的训练推理路径,以验证集实施早停,并把数据增强写成可核验的不变性或等变假设,说明标签平滑与模型选择边界。
报告页面错误本章目标
- 推导 L2 与 L1 惩罚的更新作用,区分梯度耦合正则和解耦权重衰减。
- 写出 inverted dropout 的训练前向、期望与推理路径,并核对随机状态。
- 用独立验证曲线定义早停、耐心和最佳检查点,不复用测试集。
- 把数据增强表述为标签保持不变性或目标同步变化的等变性假设。
- 解释标签平滑改变的目标分布、梯度和校准,并用消融限定贡献。
本页目录
正则化必须连同估计目标说明
训练损失只约束观测样本上的拟合。正则化通过参数惩罚、随机扰动、数据变换或停止时间限制学习流程,但不同方法改变的对象不同。L2 改变参数尺度,dropout 改变训练图,增强改变训练分布,早停改变使用同一优化轨迹的哪个检查点。把它们都称为“防过拟合”会隐藏具体假设。
每种强度都是超参数,应在训练与验证协议中选择。测试集只能评估冻结组合。若一次加入权重衰减、增强和早停后性能改善,不能知道谁贡献、谁抵消;需要以固定预算做逐项或有计划的组合消融,同时报告训练拟合、验证差值和计算成本。
L2 惩罚收缩参数但依赖目标缩放
若目标写成
则正则梯度为 。普通梯度下降更新
在这种简单情形,L2 惩罚与乘法权重衰减等价。若经验损失使用样本总和而非均值,同一个数值 的相对强度随样本量改变;跨实现比较必须统一损失归约和是否含二分之一。
偏置、归一化的 和嵌入是否衰减没有普遍答案。它们的尺度和不变性与普通权重不同,常分参数组处理,但选择要记录并验证。把所有张量无差别衰减可能破坏归一化尺度或稀有参数。
当前 ,数据梯度为 ,学习率 ,。总梯度为 ,更新后 。
也可分解为先按因子 收缩到 ,再减数据步长 得 。若损失本来是批内总和,数据梯度可能随批大小变而正则项不变,等效强度就改变。
自适应优化中要区分耦合与解耦衰减
把 加进梯度后交给 Adam 等自适应预条件器,正则项也会被每坐标的历史二阶矩缩放,不再是统一乘法收缩。解耦权重衰减先按数据梯度做自适应步,再独立执行类似
的收缩。两者在普通 SGD 下接近,在自适应方法中路径不同,超参数不能无条件互换。还要核对实现把学习率是否乘进衰减、调度器如何影响每步衰减以及参数组例外。
设两个坐标权重都为一、正则梯度都为 ,但自适应分母分别为一和十。若把正则耦合进预条件梯度,忽略数据梯度时两坐标正则步分别约为 与 ,收缩不一致。
解耦衰减则两坐标都乘 ,不经过自适应分母。选择哪一种是算法定义;复现实验需记录优化器、耦合方式、学习率调度和哪些参数衰减,不能只记录一个 weight_decay 数字。
L1 的尖角产生稀疏但不保证稳定选择
L1 惩罚为 。非零坐标次梯度是 ,零点次梯度属于区间 。普通小步梯度可能只让参数靠近零而不精确为零;近端更新使用软阈值
可产生精确零,其中 是数据梯度步后的值。
稀疏参数不自动带来实际速度,稀疏布局、硬件和算子必须支持。相关特征间,L1 可能任意保留一个,随机种子稍变就交换;零权重也不是因果无关证明。应报告重采样稳定性和真实延迟,而不是只报非零比例。
dropout 在训练中采样子网络
设保留概率为 ,训练时采样独立掩码 ,inverted dropout 输出
给定 ,其期望等于 ,因此推理时直接使用 ,不再额外缩放。训练方差增加为与 同阶,迫使表示不依赖某一条偶然路径。不同框架参数有时写丢弃概率 ,应核对语义。
隐藏向量 ,保留概率 。某次掩码为 ,训练输出为 。另一掩码可能完全不同;对许多掩码取期望,每个坐标分别回到 。
推理模式直接输出 。若训练已经除以 ,推理又乘 ,期望会错误减半。梯度检查必须固定掩码;检查点重算要恢复同一随机状态,否则正负扰动或重算前后不是同一个函数。
dropout 与 BatchNorm 组合时,随机掩码改变批统计,推理去掉掩码又改变激活分布;顺序和强度需要实证核对。序列模型若每个时间步独立掩码,会给状态增加快速噪声,常使用跨时间共享掩码等变体。dropout 概率不是预测不确定性的自动可信区间;任何随机推理解释都需要额外模型假设和校准。
早停把优化时间当作容量参数
随着训练推进,模型先学习稳定结构,也可能逐渐拟合噪声。早停在固定间隔评估验证指标,保存当前最佳检查点;若连续若干次没有超过最小改善,就停止并恢复最佳检查点,而不是保留最后一步。监控指标应与目标一致,方向、平滑、评估频率、耐心和最小改善都要事先定义。
验证损失按轮为 ,规定最小改善 、耐心三次评估。第三轮零点四二是最佳;第四、第五都未比零点四一五更低,第六仍未改善,触发停止,最终恢复第三轮参数。
若只保存第六轮就失去早停选择的意义。若反复改变耐心直到测试最好,测试已经参与超参数选择。多次查看验证会有选择噪声,应在独立测试上评估冻结流程,并跨种子报告停止轮次分布。
训练损失仍下降而验证变差是早停常见信号,但验证抖动也可能来自样本少、批统计或随机评估。耐心应覆盖合理噪声时间尺度。恢复训练需要保存模型、优化器、调度器、步数和随机状态;只恢复权重会改变后续轨迹。
数据增强是一条关于任务对称性的假设
增强从训练样本 采样变换。分类不变性要求 ;检测和分割通常是等变性,图像变换后边界框与掩码也要同步变换。变换必须在任务语义下成立:水平翻转对一般物体类别可能保持标签,对左右器官、文字和交通方向却可能改变;强裁剪可能删除目标,颜色扰动可能破坏颜色本身是标签的任务。
增强参数只用训练数据选择。验证和测试通常使用冻结的确定性预处理,以估计原目标分布;若部署本身包含多视图聚合,应把它定义为推理算法并计入延迟。增强后样本并非新的独立采集单位,不能把有效样本量简单乘以增强份数。
一张宽一百像素的图像水平翻转。分类标签“猫”保持不变;原检测框横坐标为 ,按半开或闭区间约定变为 ,必须统一坐标定义。语义分割掩码也要逐像素翻转,且类别索引掩码使用最近邻插值,不能双线性混出不存在的类别编号。
若任务标签是“病灶位于左肺”,水平翻转后标签需要同步变为右侧语义,或该增强应禁用。验证时分别检查原图和有临床意义的真实变换分组,不能只因训练损失降低就认定增强有效。
混合两样本的增强还会混合标签,隐含目标在输入间平滑的假设。生成式增强要检查是否复制、泄漏或引入伪影。对每种变换记录概率、参数范围、插值、边界填充和随机种子,视觉查看图像与标签叠加是基本核验。
标签平滑改变监督目标
多分类独热目标 可改为
有些约定把 只分给错误类别,数值不同,必须明确。交叉熵对 logits 的梯度由 变为 ,限制模型把真类概率推向一的压力。它可缓解过度自信和标签噪声敏感,但也改变最优概率与校准,不能假设必然改善可靠性。
例如三分类、,真类目标为 ,另两类各约 。若标签本身包含真实软分布,额外平滑可能抹去信息。类别不平衡时统一平滑还可能向不合理的均匀先验拉动,应与代价和目标先验共同设计。
验证边界与消融
构建正则方案时先固定无正则基线和计算预算;逐项加入参数惩罚、dropout、增强、标签平滑或早停,记录训练损失、验证主要指标、校准、分组和停止轮次。由于方法相互作用,最后再比较有理论或业务理由的少量组合。每一次选择都只用开发数据。
测试报告应比较冻结组合与基线的差值及区间,而不是罗列最佳单次数字。训练更慢的增强和 dropout 要计入总计算,推理时通常只有权重和架构成本,测试时增强则另计。若部署分布不满足增强不变性,训练验证增益也不能无限外推。
消融还应保持训练步数、数据预算和选择机会可比;否则更长训练或更多搜索会伪装成正则方法本身的收益。
练习
查看提示
查看解答
查看提示
查看解答
查看提示
查看解答
查看提示
查看解答
查看提示
查看解答
查看提示
查看解答
关系与资源
- 正则化、偏差与方差 提供参数惩罚和容量控制基础。
- 训练、验证、测试与数据泄漏 约束早停和强度选择。
- 神经网络与反向传播综合复习 提供梯度、更新和随机状态核验。
- 归一化方法与尺度控制 分析与dropout和权重尺度的交互。
- 对比学习 展示增强视图如何定义表示不变性。
- 调试、复现实验与工程方法综合复习 汇总检查点和消融证据。
Deep Learning
Ian Goodfellow, Yoshua Bengio, Aaron Courville
适合作为反向传播和优化章节的完整参考。
打开官方来源