视频文件压缩实际上是视频帧频之间的一种转换。