tf.quantization.quantize

Квантует тензор 'input' типа float в тензор 'output' типа 'T'.

tf.quantization.quantize(
    input,
    min_range,
    max_range,
    T,
    mode='MIN_COMBINED',
    round_mode='HALF_AWAY_FROM_ZERO',
    name=None,
    narrow_range=False,
    axis=None,
    ensure_minimum_range=0.01
)

[min_range, max_range] — скалярные числа с плавающей точкой, определяющие диапазон данных 'input'. Атрибут 'mode' управляет точными вычислениями для преобразования значений с плавающей точкой в их квантованные эквиваленты. Атрибут 'round_mode' управляет алгоритмом округления при разрыве связей при округлении значений с плавающей точкой до их квантованных эквивалентов.

В режиме 'MIN_COMBINED' каждое значение тензора будет подвергнуто следующим операциям:

out[i] = (in[i] - min_range) * range(T) / (max_range - min_range)
if T == qint8: out[i] -= (range(T) + 1) / 2.0

здесь range(T) = numeric_limits<T>::max() - numeric_limits<T>::min()

Пример режима MIN_COMBINED

Предположим, что вход имеет тип float и возможный диапазон [0.0, 6.0], а выходной тип — quint8 ([0, 255]). Значения min_range и max_range должны быть указаны как 0.0 и 6.0. Квантование от float к quint8 будет умножать каждое значение входа на 255/6 и преобразовывать в quint8.

Если выходной тип был qint8 ([-128, 127]), операция дополнительно вычтет из каждого значения 128 до преобразования, чтобы диапазон значений совпал с диапазоном qint8.

Если режим — 'MIN_FIRST', то используется такой подход:

num_discrete_values = 1 << (# of bits in T)
range_adjust = num_discrete_values / (num_discrete_values - 1)
range = (range_max - range_min) * range_adjust
range_scale = num_discrete_values / range
quantized = round(input * range_scale) - round(range_min * range_scale) +
  numeric_limits<T>::min()
quantized = max(quantized, numeric_limits<T>::min())
quantized = min(quantized, numeric_limits<T>::max())

Главное различие с MIN_COMBINED заключается в том, что минимальный диапазон округляется сначала, а затем вычитается из округленного значения. В режиме MIN_COMBINED вводится небольшое смещение, где повторяющиеся итерации квантования и деквантования приведут к накоплению ошибки.

Пример режима SCALED

SCALED режим соответствует подходу квантования, используемому в QuantizeAndDequantize{V2|V3}.

Если режим — SCALED, квантование выполняется путём умножения каждого входного значения на scaling_factor. Scaling_factor определяется из min_range и max_range как можно большее значение, такое что диапазон от min_range до max_range представим в значениях типа T.

const int min_T = std::numeric_limits<T>::min();
const int max_T = std::numeric_limits<T>::max();
const float max_float = std::numeric_limits<float>::max();

const float scale_factor_from_min_side =
    (min_T * min_range > 0) ? min_T / min_range : max_float;
const float scale_factor_from_max_side =
    (max_T * max_range > 0) ? max_T / max_range : max_float;

const float scale_factor = std::min(scale_factor_from_min_side,
                                    scale_factor_from_max_side);

Затем мы используем scale_factor для корректировки min_range и max_range следующим образом:

min_range = min_T / scale_factor;
max_range = max_T / scale_factor;

Например, если T = qint8, и изначально min_range = -10, и max_range = 9, мы бы сравнили -128/-10.0 = 12.8 и 127/9.0 = 14.11, и установили scaling_factor = 12.8. В этом случае min_range останется -10, но max_range будет скорректирован до 127 / 12.8 = 9.921875.

Таким образом, мы квантуем значения входа в диапазоне (-10, 9.921875) до (-128, 127).

Входной тензор теперь может быть квантован путем усечения значений до диапазона min_range до max_range, а затем умножения на scale_factor следующим образом:

result = round(min(max_range, max(min_range, input)) * scale_factor)

Откорректированные min_range и max_range возвращаются как выходы 2 и 3 этой операции. Эти выходы должны использоваться в качестве диапазона для дальнейших вычислений.

Атрибут narrow_range (bool)

Если true, мы не используем минимальное квантованное значение. То есть для int8 квантованный выход будет ограничен диапазоном -127..127 вместо полного -128..127. Это предоставляется для совместимости с определёнными бэкендами вывода. (Применяется только к режиму SCALED)

Атрибут axis (int)

Необязательный атрибут axis может указать индекс размерности входного тензора, такой что диапазоны квантования будут рассчитываться и применяться отдельно для каждого среза тензора вдоль этой размерности. Это полезно для квантования по каналам.

Если axis указан, min_range и max_range

если axis=None, выполняется квантование по всему тензору, как обычно.

Атрибут ensure_minimum_range (float)

Обеспечивает, что минимальный диапазон квантования не менее этого значения. Значение по умолчанию для этой версии — 0.01, но настоятельно рекомендуется установить его в 0 для новых случаев использования.