能够多张图像保存在同一个文件中，显示时按预定的时间间隔逐一显示，从而形成动画效果的文件格式是( )。