AVI: Audio Video Interleave 是一个container format
MPEG-4: 是视频编码技术
XviD: 实现了MPEG-4的程序库
DivX: 另一个实现了MPEG-4的程序库
libavcodec: 实现了MPEG-4及大量其他编码格式的程序库
FFmpeg: 一个项目名称,libavcodec是它的产品之一
mencoder: 使用了XviD,libavcodec等其他程序库的视频编码解码器。打个比喻的话,XviD,libavcodec等相当于libc,而mencoder 相当于使用了libc的程序