我们知道,在一定程度上,网络越深,参数越多,模型越复杂,其最终效果越好。神经网络的压缩算法是,旨在将一个庞大而复杂的预训练模型(pre-trained model)转化为一个精简的小模型。
按照压缩过程对网络结构的破坏程度,我们将模型压缩技术分为“前端压缩”和“后端压缩”两部分。
知识蒸馏
、轻量级网络(紧凑的模型结构设计)以及滤波器(filter)层面的剪枝(结构化剪枝)
等;低秩近似
、未加限制的剪枝(非结构化剪枝/稀疏)、参数量化
以及二值网络等,目标在于尽可能减少模型大小,会对原始网络结构造成极大程度的改造。总结:前端压缩几乎不改变原有网络结构(仅仅只是在原模型基础上减少了网络的层数或者滤波器个数),后端压缩对网络结构有不可逆的大幅度改变,造成原有深度学习库、甚至硬件设备不兼容改变之后的网络。其维护成本很高。
简单理解就是,卷积神经网络的权重矩阵往往稠密且巨大,从而计算开销大,有一种办法是采用低秩近似的技术将该稠密矩阵由若干个小规模矩阵近似重构出来,这种方法归类为低秩近似算法。
一般地,行阶梯型矩阵的秩等于其“台阶数”-非零行的行数。
低秩近似算法能减小计算开销的原理如下:
给定权重矩阵 W ∈ R m × n W\in \mathbb{R}^{m\times n} W∈Rm×n , 若能将其表示为若干个低秩矩阵的组合,即 W = ∑ i = 1 n α i M i W=\sum_{i=1}^{n}\alpha_{i}M_{i} W=∑i=1nαiMi , 其中 M i ∈ R m × n M_{i}\in \mathbb{R}^{m\times n} Mi∈Rm×n 为低秩矩阵,其秩为 r i r_{i} ri , 并满足 r i ≪ m i n ( m , n ) r_{i}\ll min(m,n) ri≪min(m,n) ,则其每一个低秩矩阵都可分解为小规模矩阵的乘积, M i = G i H i T M_{i}=G_{i}H_{i}^{T} Mi=GiHiT ,其中 G i ∈ R m × r i G_{i}\in \mathbb{R}^{m\times r_{i}} Gi∈Rm×ri , H i ∈ R m × r i H_{i}\in \mathbb{R}^{m \times r_{i}} Hi∈Rm×ri。当 r i r_{i} ri 取值很小时,便能大幅降低总体的存储和计算开销。
基于以上想法,Sindhwani
等人提出使用结构化矩阵来进行低秩分解的算法,具体原理可自行参考论文。另一种比较简便的方法是使用矩阵分解来降低权重矩阵的参数,如 Denton 等人提出使用奇异值分解
(Singular Value Decomposition,简称 SVD)分解来重构全连接层的权重。
低秩近似算法在中小型网络模型上,取得了很不错的效果,但其超参数量与网络层数呈线性变化趋势,随着网络层数的增加与模型复杂度的提升,其搜索空间会急剧增大,目前主要是学术界在研究,工业界应用不多。
给定一个预训练好的网络模型,常用的剪枝算法一般都遵从如下操作:
基于以上循环剪枝框架,不同学者提出了不同的方法,Han等人提出首先将低于某个阈值的权重连接全部剪除,之后对剪枝后的网络进行微调以完成参数更新的方法,这种方法的不足之处在于,剪枝后的网络是非结构化的,即被剪除的网络连接在分布上,没有任何连续性,这种稀疏的结构,导致CPU高速缓冲与内存频繁切换,从而限制了实际的加速效果。
基于此方法,有学者尝试将剪枝的粒度提升到整个滤波器级别,即丢弃整个滤波器,但是如何衡量滤波器的重要程度是一个问题,其中一种策略是基于滤波器权重本身的统计量,如分别计算每个滤波器的 L1 或 L2 值,将相应数值大小作为衡量重要程度标准。
利用稀疏约束来对网络进行剪枝也是一个研究方向,其思路是在网络的优化目标中加入权重的稀疏正则项,使得训练时网络的部分权重趋向于 0 ,而这些 0 值就是剪枝的对象。
总体而言,剪枝是一项有效减小模型复杂度的通用压缩技术,其关键之处在于如何衡量个别权重对于整体模型的重要程度
。剪枝操作对网络结构的破坏程度极小,将剪枝与其他后端压缩技术相结合,能够达到网络模型最大程度压缩,目前工业界有使用剪枝方法进行模型压缩的案例。
相比于剪枝操作,参数量化则是一种常用的后端压缩技术。所谓“量化”,是指从权重中归纳出若干“代表”,由这些“代表”来表示某一类权重的具体数值。“代表”被存储在码本(codebook)之中,而原权重矩阵只需记录各自“代表”的索引即可,从而极大地降低了存储开销。这种思想可类比于经典的词包模型(bag-of-words model)。常用量化算法如下:
scalar quantization
)。(Product Quantization, PQ)
,详情咨询查阅论文。QCNN(quantized CNN)
,主要思想在于Wu等人认为最小化每一层网络输出的重构误差,比最小化量化误差更有效。标量量化算法基本思路是,对于每一个权重矩阵 W ∈ R m × n W\in \mathbb{R}^{m\times n} W∈Rm×n,首先将其转化为向量形式: w ∈ R 1 × m n w\in \mathbb{R}^{1\times mn} w∈R1×mn。之后对该权重向量的元素进行 k k k 个簇的聚类,这可借助于经典的 k-均值(k-means)聚类
算法快速完成:
a r g m i n c ∑ i m n ∑ j k ∥ w i − c j ∥ 2 2 \underset{c}{arg min}\sum_{i}^{mn}\sum_{j}^{k}\begin{Vmatrix}w_{i}-c_{j}\end{Vmatrix}_{2}^{2} cargmini∑mnj∑k∥ ∥wi−cj∥ ∥22
这样,只需将 k k k 个聚类中心( c j c_{j} cj,标量)存储在码本中,而原权重矩阵则只负责记录各自聚类中心在码本中索引。如果不考虑码本的存储开销,该算法能将存储空间减少为原来的 l o g 2 ( k ) / 32 log_{2}(k)/32 log2(k)/32。基于 k k k 均值算法的标量量化在很多应用中非常有效。参数量化与码本微调过程图如下:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-8kwKvyWP-1665414191035)(…/data/images/参数量化与码本微调过程图.png)]
这三类基于聚类的参数量化算法,其本质思想在于将多个权重映射到同一个数值,从而实现权重共享,降低存储开销的目的。
参数量化是一种常用的后端压缩技术,能够以很小的性能损失实现模型体积的大幅下降,不足之处在于,量化的网络是“固定”的,很难对其做任何改变,同时这种方法通用性差,需要配套专门的深度学习库来运行网络。
这里,权重参数从浮点转定点、二值化等方法都是是试图避免浮点计算耗时而引入的方法,这些方法能加快运算速率,同时减少内存和存储空间的占用,并保证模型的精度损失在可接受的范围内,因此这些方法的应用是有其现实价值的。更多参数量化知识,请参考此 github仓库。
1bit
来存储Weight
和 Feature
。在普通神经网络中,一个参数是由单精度浮点数来表示的,参数的二值化能将存储开销降低为原来的 1/32
。Courbariaux
等人 2016 年发表的名为《Binarynet: Training deep neural networks with weights and activations constrained to +1 or -1》的一篇论文。这篇论文第一次给出了关于如何对网络进行二值化和如何训练二值化神经网络的方法。Conv
)->批标准化(BNorm
)->激活(Activ
)->池化(Pool
)这样的顺序操作组成的。对于异或神经网络,设计出的模块是由批标准化(BNorm
)->二值化激活(BinActiv)->二值化卷积(BinConv
)->池化(Pool
)的顺序操作完成。这样做的原因是批标准化以后,保证了输入均值为 0
,然后进行二值化激活,保证了数据为 -1
或者 +1
,然后进行二值化卷积,这样能最大程度上减少特征信息的损失。二值化残差网络结构定义实例代码如下:def residual_unit(data, num_filter, stride, dim_match, num_bits=1):
"""残差块 Residual Block 定义
"""
bnAct1 = bnn.BatchNorm(data=data, num_bits=num_bits)
conv1 = bnn.Convolution(data=bnAct1, num_filter=num_filter, kernel=(3, 3), stride=stride, pad=(1, 1))
convBn1 = bnn.BatchNorm(data=conv1, num_bits=num_bits)
conv2 = bnn.Convolution(data=convBn1, num_filter=num_filter, kernel=(3, 3), stride=(1, 1), pad=(1, 1))
if dim_match:
shortcut = data
else:
shortcut = bnn.Convolution(data=bnAct1, num_filter=num_filter, kernel=(3, 3), stride=stride, pad=(1, 1))
return conv2 + shortcut
现在的神经网络几乎都是基于梯度下降算法来训练的,但是二值网络的权重只有 ± 1 \pm 1 ±1,无法直接计算梯度信息,也无法进行权重更新。为解决这个问题,Courbariaux 等人提出二值连接(binary connect)算法,该算法采取单精度与二值结合的方式来训练二值神经网络,这是第一次给出了关于如何对网络进行二值化和如何训练二值化神经网络的方法。过程如下:
weight
初始化为浮点Forward Pass
:
sign(x)函数
)把 Weight 量化为 +1/-1
, 以0为阈值Backward Pass
:
+1/-1
, 以便 inference
使用网络二值化需要解决两个问题:如何对权重进行二值化和如何计算二值权重的梯度。
1,如何对权重进行二值化?
权重二值化一般有两种选择:
sign(x)
定义如下:2,如何计算二值权重的梯度?
二值权重的梯度为0,无法进行参数更新。为解决这个问题,需要对符号函数进行放松,即用 H t a n h ( x ) = m a x ( − 1 , m i n ( 1 , x ) ) Htanh(x) = max(-1, min(1,x)) Htanh(x)=max(−1,min(1,x)) 来代替 s i n x ( x ) sinx(x) sinx(x)。当 x 在区间 [-1,1] 时,存在梯度值 1,否则梯度为 0 。
之前的二值连接算法只对权重进行了二值化,但是网络的中间输出值依然是单精度的,于是 Rastegari 等人对此进行了改进,提出用单精度对角阵与二值矩阵之积来近似表示原矩阵的算法,以提升二值网络的分类性能,弥补二值网络在精度上弱势。该算法将原卷积运算分解为如下过程:
I × W ≈ ( I × B ) α I \times W\approx (I \times B)\alpha I×W≈(I×B)α
其中 I ∈ R c × w i n × h i n I\in \mathbb{R}^{c\times w_{in}\times h_{in}} I∈Rc×win×hin 为该层的输入张量, I ∈ R c × w × h I\in \mathbb{R}^{c\times w\times h} I∈Rc×w×h 为该层的一个滤波器, B = s i g n ( W ) ∈ { + 1 , − 1 } c × w × h B=sign(W)\in \{+1, -1\}^{c \times w\times h} B=sign(W)∈{+1,−1}c×w×h为该滤波器所对应的二值权重。
这里,Rastegari 等人认为单靠二值运算,很难达到原单精度卷积元素的结果,于是他们使用了一个单精度放缩因子 α ∈ R + \alpha \in \mathbb{R}^{+} α∈R+ 来对二值滤波器卷积后的结果进行放缩。而 α \alpha α 的取值,则可根据优化目标:
m i n ∥ W − α B ∥ 2 min \left \| W -\alpha B \right \|^{2} min∥W−αB∥2
得到 α = 1 n ∣ W ∣ ℓ 1 \alpha = \frac{1}{n}\left |W \right |\ell{1} α=n1∣W∣ℓ1。二值连接改进的算法训练过程与之前的算法大致相同,不同的地方在于梯度的计算过程还考虑了 α \alpha α 的影响。由于 α \alpha α 这个单精度的缩放因子的存在,有效降低了重构误差,并首次在 ImageNet 数据集上取得了与 Alex-Net 相当的精度。如下图所示:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-NgL5E80c-1665414191045)(…/data/images/二值化算法精度.png)]
可以看到的是权重二值化神经网络(BWN)
和全精度神经网络的精确度几乎一样,但是与异或神经网络(XNOR-Net)相比而言,Top-1 和 Top-5 都有 10+% 的损失。
相比于权重二值化神经网络,异或神经网络将网络的输入也转化为二进制值,所以,异或神经网络中的乘法加法 (Multiplication and ACcumulation) 运算用按位异或 (bitwise xnor) 和数 1 的个数 (popcount) 来代替。
更多内容,可以看这两篇文章:
Convolution
(包括 resnet 的 bottleneck):二值网络中的 weight 都为 1bit, 如果再是 1x1 大小, 会极大地降低表达能力Channel
数目 + 增大 activation bit 数 要协同配合:如果一味增大 channel 数, 最终 feature map 因为 bit 数过低, 还是浪费了模型容量。 同理反过来也是。activation bit
, 过高带来的精度收益变小, 而会显著提高 inference 计算量本文只简单介绍这个领域的开篇之作-Distilling the Knowledge in a Neural Network,这是蒸 "logits"方法,后面还出现了蒸 “features” 的论文。想要更深入理解,中文博客可参考这篇文章-知识蒸馏是什么?一份入门随笔。
知识蒸馏(knowledge distillation),是迁移学习(transfer learning)的一种,简单来说就是训练一个大模型(teacher)和一个小模型(student),将庞大而复杂的大模型学习到的知识,通过一定技术手段迁移到精简的小模型上,从而使小模型能够获得与大模型相近的性能。
在知识蒸馏的实验中,我们先训练好一个 teacher
网络,然后将 teacher
的网络的输出结果 q q q 作为 student
网络的目标,训练 student
网络,使得 student
网络的结果 p p p 接近 q q q ,因此,student
网络的损失函数为 L = C E ( y , p ) + α C E ( q , p ) L = CE(y,p)+\alpha CE(q,p) L=CE(y,p)+αCE(q,p)。这里 CE
是交叉熵(Cross Entropy), y y y 是真实标签的 onehot
编码, q q q 是 teacher
网络的输出结果, p p p 是 student
网络的输出结果。
但是,直接使用 teacher
网络的 softmax 的输出结果 q q q,可能不大合适。因此,一个网络训练好之后,对于正确的答案会有一个很高的置信度。例如,在 MNIST 数据中,对于某个 2 的输入,对于 2 的预测概率会很高,而对于 2 类似的数字,例如 3 和 7 的预测概率为 1 0 − 6 10^-6 10−6 和 1 0 − 9 10^-9 10−9。这样的话,teacher
网络学到数据的相似信息(例如数字 2 和 3,7 很类似)很难传达给 student
网络,因为它们的概率值接近0
。因此,论文提出了 softmax-T
(软标签计算公式),公式如下所示:
q i = z i / T ∑ j z j / T q_{i} = \frac{z_{i}/T}{\sum_{j}z_{j}/T} qi=∑jzj/Tzi/T
这里 q i q_i qi 是 s t u d e n t student student 网络学习的对象(soft targets), z i z_i zi 是 teacher
模型 softmax
前一层的输出 logit
。如果将 T T T 取 1,上述公式变成 softmax,根据 logit 输出各个类别的概率。如果 T T T 接近于 0,则最大的值会越近 1,其它值会接近 0,近似于 onehot
编码。
所以,可以知道 student
模型最终的损失函数由两部分组成:
这两个损失函数的重要程度可通过一定的权重进行调节,在实际应用中,T
的取值会影响最终的结果,一般而言,较大的 T 能够获得较高的准确度,T(蒸馏温度参数) 属于知识蒸馏模型训练超参数的一种。T 是一个可调节的超参数、T 值越大、概率分布越软(论文中的描述),曲线便越平滑,相当于在迁移学习的过程中添加了扰动,从而使得学生网络在借鉴学习的时候更有效、泛化能力更强,这其实就是一种抑制过拟合的策略。知识蒸馏的整个过程如下图:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-nVAC4kYb-1665414191046)(…/data/images/知识蒸馏模型过程.png)]
student
模型的实际模型结构和小模型一样,但是损失函数包含了两部分,分类网络的知识蒸馏 mxnet 代码示例如下::
# -*-coding-*- : utf-8
"""
本程序没有给出具体的模型结构代码,主要给出了知识蒸馏 softmax 损失计算部分。
"""
import mxnet as mx
def get_symbol(data, class_labels, resnet_layer_num,Temperature,mimic_weight,num_classes=2):
backbone = StudentBackbone(data) # Backbone 为分类网络 backbone 类
flatten = mx.symbol.Flatten(data=conv1, name="flatten")
fc_class_score_s = mx.symbol.FullyConnected(data=flatten, num_hidden=num_classes, name='fc_class_score')
softmax1 = mx.symbol.SoftmaxOutput(data=fc_class_score_s, label=class_labels, name='softmax_hard')
import symbol_resnet # Teacher model
fc_class_score_t = symbol_resnet.get_symbol(net_depth=resnet_layer_num, num_class=num_classes, data=data)
s_input_for_softmax=fc_class_score_s/Temperature
t_input_for_softmax=fc_class_score_t/Temperature
t_soft_labels=mx.symbol.softmax(t_input_for_softmax, name='teacher_soft_labels')
softmax2 = mx.symbol.SoftmaxOutput(data=s_input_for_softmax, label=t_soft_labels, name='softmax_soft',grad_scale=mimic_weight)
group=mx.symbol.Group([softmax1,softmax2])
group.save('group2-symbol.json')
return group
tensorflow
代码示例如下:
# 将类别标签进行one-hot编码
one_hot = tf.one_hot(y, n_classes,1.0,0.0) # n_classes为类别总数, n为类别标签
# one_hot = tf.cast(one_hot_int, tf.float32)
teacher_tau = tf.scalar_mul(1.0/args.tau, teacher) # teacher为teacher模型直接输出张量, tau为温度系数T
student_tau = tf.scalar_mul(1.0/args.tau, student) # 将模型直接输出logits张量student处于温度系数T
objective1 = tf.nn.sigmoid_cross_entropy_with_logits(student_tau, one_hot)
objective2 = tf.scalar_mul(0.5, tf.square(student_tau-teacher_tau))
"""
student模型最终的损失函数由两部分组成:
第一项是由小模型的预测结果与大模型的“软标签”所构成的交叉熵(cross entroy);
第二项为预测结果与普通类别标签的交叉熵。
"""
tf_loss = (args.lamda*tf.reduce_sum(objective1) + (1-args.lamda)*tf.reduce_sum(objective2))/batch_size
tf.scalar_mul
函数为对 tf
张量进行固定倍率 scalar
缩放函数。一般 T 的取值在 1 - 20 之间,这里我参考了开源代码,取值为 3。我发现在开源代码中 student
模型的训练,有些是和 teacher
模型一起训练的,有些是 teacher 模型训练好后直接指导 student 模型训练。
浅层网络:通过设计一个更浅(层数较少)结构更紧凑的网络来实现对复杂模型效果的逼近, 但是浅层网络的表达能力很难与深层网络相匹敌。因此,这种设计方法的局限性在于只能应用解决在较为简单问题上。如分类问题中类别数较少的 task
。
轻量网络:使用如 MobilenetV2、ShuffleNetv2
等轻量网络结构作为模型的 backbone
可以大幅减少模型参数数量。