现代卷积神经网络 - 批量规范化

批量规范化

训练深层神经网络是十分困难的，特别是在较短时间内使它们收敛更加棘手。在本节中中，我们将介绍批量规范化（batch normalization），这是一种流行且有效的技术，可持续加速深层网络的收敛速度。再结合残差块，批量规范化使得研究人员能够训练100层以上的网络

1 - 训练深层网络

为什么需要批量规范化层呢?让我们来回顾一下训练神经网络时出现的一些实际挑战

首先，数据预处理的方式通常会对最终结果产生巨大影响。以应用多层感知机来预测房价为例，使用真实数据时，我们的第一步是标准化输入特征，使其平均值为0，方差为1.直观地说，这种标准化可以很好地与我们的优化器配合使用，因为它可以将参数的量级进行统一

第二，对于典型的多层感知机或卷积神经网络。当我们训练时，中间层的变量（例如，多层感知机中的仿射变化输出）可能具有更广的变化范围：不论是沿着从输入到输出的层，跨同一层中的单元，或是随着时间的推移，模型参数随着训练更新变幻莫测。批量规范化的发明者非正式地假设，这些变量分布中的这种偏移可能会阻碍网络的收敛。直观地说，我们可能会猜想，若一层的可变值是另一层的100倍，这可能需要对学习率进行补偿调整

第三，更深层的网络很复杂，容易过拟合，这意味着正则化变得更加重要。

批量规范化应用于单个可选层（也可以应用到所有层），其原理如下：在每次训练迭代中，我们首先规划化输入，即通过减去其均值并除以其标准差，其中两者均基于当前小批量处理。接下来，我们应用比例系数和比例偏移。正是由于这个基于批量统计的标准化，才有了批量规范化的名称

2 - 批量规范化层

回想一下，批量规范化和其他层之间的一个关键区别是，由于批量规范化在完整的小批量上允许，因此我们不能像以前在引入其他层时那样忽略批量大小。我们在下面讨论这两种情况：全连接层和卷积层，它们的批量规范化实现略有不同

全连接层

卷积层

同样，对于卷积层，我们可以在卷积层之后和非线性激活函数之前应用批量规范化。当卷积有多个输出通道时，我们需要对这些通道的“每个”输出执行批量规范化，每个通道都有自己的拉伸（scale）和偏移（shift）参数，这两个参数都是标量。假设我们小批量包含m个样本，并且对于每个通道，卷积的输出具有高度p和宽度q。那么对于卷积层，我们在每个输出通道的m * p * q个元素上同时执行每个批量规范化。因此，在计算平均值和方差时，我们会收集所有空间位置的值，然后在给定通道内应用相同的均值和方差，以便在每个空间位置对值进行规范化

预测过程中的批量规范化

正如我们前面提到的，批量规范化在训练模式和预测模式下的行为通常不同。首先，将训练好的模型用于预测时，我们不再需要样本均值中的噪声以及在微批次上估计每个小批次产生的样本方差了。其次，例如，我们可能需要使用我们的模型对逐个样本进行预测，一种常用的方法时通过移动平均估算整个训练数据集的样本均值和方差，并在预测时使用它们得到确定的输出。可见，和暂退法一样，批量规范化层在训练模式和预测模式下的计算结果也是不一样的

3 - 从零开始实现

下面，我们从头开始实现一个具有张量的批量规范化层

import torch
from torch import nn
from d2l import torch as d2l

def batch_norm(X,gamma,beta,moving_mean,moving_var,eps,momentum):
    # 通过is_grad_enabled来判断当前模式是训练模式还是预测模式
    if not torch.is_grad_enabled():
        # 如果是在预测模式下，直接使用传入的移动平均所得的均值和方差
        X_hat = (X - moving_mean) / torch.sqrt(moving_var + eps)
    else:
        assert len(X.shape) in (2,4)
        if len(X.shape) == 2:
            # 使用全连接层的情况，计算特征维上的均值和方差
            mean = X.mean(dim=0)
            var = ((X - mean) ** 2).mean(dim=0)
        else:
            # 使用二维卷积层的情况，计算通道维上（axis = 1）的均值和方差
            # 这里我们需要保持X的形状以便后面可以做广播运算
            mean = X.mean(dim=(0,2,3),keepdim=True)
            var = ((X -mean) ** 2).mean(dim=(0,2,3),keepdim=True)
        # 在训练模式试下，用当前的均值和方差做标准化
        X_hat = (X - mean) / torch.sqrt(var + eps)
        # 更新移动平均的均值和方差
        moving_mean = momentum * moving_mean + (1.0 - momentum) * mean
        moving_var = momentum * moving_var + (1.0 - momentum) * var
    Y = gamma * X_hat + beta # 缩放和移位
    return Y,moving_mean.data,moving_var.data

我们现在可以创建一个正确的BatchNorm层。这个层将保持适当的参数：拉伸gamma和偏移beta，这两个参数将在训练过程中更新。此外，我们的层将保持均值和方差的移动平均值，以便在模型预测起见后使用。

跑开算法细节，注意我们实现层的基础设计模式。通常情况下，我们用一个单独的函数定义其数学原理，比如说batch_norm。然后，我们将此功能集成到一个自定义层中，其代码主要处理数据移动到训练设备（如GPU）、分配和初始化任何必须的变量、跟踪移动平均线（此处维均值和方差）等问题。为了方便起见，我们并不担心在这里自动推断输入形状，我们需要指定整个特征的数量。不用担心，深度学习框架中的批量规范化API将为我们解决上述问题，我们稍后将展示这一点

class BatchNorm(nn.Module):
    # num_features：完全连接层的输出数量或卷积层的输出通道数
    # num_dims：2表示完全连接层，4表示卷积层
    def __init__(self,num_features,num_dims):
        super().__init__()
        if num_dims == 2:
            shape = (1,num_features)
        else:
            shape = (1,num_features,1,1)
        # 参与求梯度和迭代的拉伸和偏移参数，分别初始化成1和0
        self.gamma = nn.Parameter(torch.ones(shape))
        self.beta = nn.Parameter(torch.zeros(shape))
        # 非模型参数的变量初始化为0和1
        self.moving_mean = torch.zeros(shape)
        self.moving_var = torch.ones(shape)
        
    def forward(self,X):
        # 如果X不在内存上，将moving_mean和moving_var复制到X所在显存上
        if self.moving_mean.device != X.device:
            self.moving_mean = self.moving_mean.to(X.device)
            self.moving_var = self.moving_var.to(X.device)
        # 保存更新过的moving_mean和moving_var
        Y,self.moving_mean,self.moving_var = batch_norm(
            X,self.gamma,self.beta,self.moving_mean,
            self.moving_var,eps=1e-5,momentum=0.9)
        return Y

4 - 使用批量规范化层的LeNet

为了更好理解如何应用BatchNorm，下面我们将其应用于LeNet模型，回想一下，批量规范化是在卷积层或全连接层之后，相应的激活函数之前应用的

net = nn.Sequential(
    nn.Conv2d(1,6,kernel_size=5),BatchNorm(6,num_dims=4),nn.Sigmoid(),
    nn.AvgPool2d(kernel_size=2,stride=2),
    nn.Conv2d(6,16,kernel_size=5),BatchNorm(16,num_dims=4),nn.Sigmoid(),
    nn.AvgPool2d(kernel_size=2,stride=2),nn.Flatten(),
    nn.Linear(16*4*4,120),BatchNorm(120,num_dims=2),nn.Sigmoid(),
    nn.Linear(120,84),BatchNorm(84,num_dims=2),nn.Sigmoid(),
    nn.Linear(84,10))

和以前一样，我们将在Fashion-MNIST数据集上训练网络。这个代码与我们第一次训练LeNet时几乎完全相同，主要区别在于学习率大得多

lr,num_epochs,batch_size = 1.0,10,256
train_iter,test_iter = d2l.load_data_fashion_mnist(batch_size)
d2l.train_ch6(net,train_iter,test_iter,num_epochs,lr,d2l.try_gpu())

loss 0.272, train acc 0.900, test acc 0.802
30242.4 examples/sec on cuda:0

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4TOhda3I-1663681468361)(https://yingziimage.oss-cn-beijing.aliyuncs.com/img/202209202139322.svg)]

让我们来看看从第一个批量规范化层中学到的拉伸参数gamma和偏移参数beta

net[1].gamma.reshape((-1,)),net[1].beta.reshape((-1,))

(tensor([2.4895, 3.3656, 3.4663, 3.5516, 0.3830, 1.6749], device='cuda:0',
        grad_fn=),
 tensor([ 2.9318, -1.9159,  2.1393,  1.7923,  0.6447,  1.7206], device='cuda:0',
        grad_fn=))

5 - 简明实现

除了使用我们刚刚定义的BatchNorm，我们也可以直接使用深度学习框架中定义的BatchNorm。该代码看起来几乎与我们上面代码相同

net = nn.Sequential(
    nn.Conv2d(1, 6, kernel_size=5), nn.BatchNorm2d(6), nn.Sigmoid(),
    nn.AvgPool2d(kernel_size=2, stride=2),
    nn.Conv2d(6, 16, kernel_size=5), nn.BatchNorm2d(16), nn.Sigmoid(),
    nn.AvgPool2d(kernel_size=2, stride=2), nn.Flatten(),
    nn.Linear(256, 120), nn.BatchNorm1d(120), nn.Sigmoid(),
    nn.Linear(120, 84), nn.BatchNorm1d(84), nn.Sigmoid(),
    nn.Linear(84, 10))

下面，我们使用相同超参数来训练模型，请注意，通常高级API变体运行速度快得多，因为它的代码已编译为C++或CUDA，而我们自定义的代码由Python实现

d2l.train_ch6(net,train_iter,test_iter,num_epochs,lr,d2l.try_gpu())

loss 0.265, train acc 0.902, test acc 0.839
32595.7 examples/sec on cuda:0

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Qjwu98vy-1663681468361)(https://yingziimage.oss-cn-beijing.aliyuncs.com/img/202209202139323.svg)]

6 - 争议

直观地说，批量规范化被认为可以使优化更加平滑。然而，我们必须小心区分直觉对我们观察到的现象的真实解释，回想一下，我们甚至不知道简单的神经网络（多层感知机和传统的卷积神经网络）为什么如此有效，即使在暂退法和权重衰减的情况下，它们仍然非常灵活，因此无法通过常规的学习理论泛化保证来解释它们是否能够泛化到看不见的数据

在提出批量规范化的论文中，作者除了介绍其应用，还解释了其原理：通过减少内部协变量偏移（internal convariate shift）。据推测，作者所说的“内部协变量转移”类似于上述的投机直觉，即变量值的分布在训练过程会发生变化，然而，这种解释有两个问题：

1. 这种偏移与严格定义的协变量偏移非常不同，故这个名字用词不当
2. 这种解释只提供了一种不明确的直觉，但留下了一个有待后续挖掘的问题：为什么这项技术如此有效?
   本书旨在传达实践者用来发展深层神经网络的直觉。然而，重要的是将这些指导性直觉与既定的科学事实区分开来。最终，当你掌握这些方法后，并开始撰写自己的研究论文时，你会清楚地区分技术和直觉

随着批量规范化的普及，“内部协变量偏移”的解释反复出现在技术文献的辩论中，特别时关于“如何展示机器学习研究”的更广泛讨论中。Ali Rahimi在接受2017年NeurIPS⼤会的“接受时间考验奖”（Test of Time Award）时发表了⼀篇令⼈难忘的演讲。他将“内部协变量转移”作为焦点，将现代深度学习的实践⽐作炼⾦术。他对该⽰例进⾏了详细回顾 [Lipton & Steinhardt, 2018]，概述了机器学习中令⼈不安的趋势。此外，⼀些作者对批量规范化的成功提出了另⼀种解释：在某些⽅⾯，批量规范化的表现出与原始论⽂ [Santurkar et al., 2018]中声称的⾏为是相反的

然而，与机器学习文献中成千上万类似模糊的说法相比，内部协变量偏移没有更值得批评。很可能，它作为这些辩论的焦点而产生共鸣，要归功于目标受众对它的广泛认可，批量规范化以及被证明是一种不可或缺的方法。它适用于几乎所有图像分类器，并在学术界获得了数万引用

7 - 小结

• 在模型训练过程中，批量规范化利用小批量的均值和标准差，不断调整神经网络的中间输出，使整个神经网络各层的中间输出值更加稳定
• 批量规范化在全连接层和卷积层的使用略有不同
• 批量规范化层和暂退层一样，在训练模式和预测模式下计算不同
• 批量规范化和许多有益的副作用，主要是正则化。另一方面，“减少内部协变量偏移”的原始动机似乎不是一个有效的解释