哪些工具可用于从png创建视频？

我有多个要转换为视频的图像。图像和系列具有以下特征：

1. .PNG格式。视频格式并不重要，只要它得到普遍支持即可。
2. 系列中的所有图像均具有相同的尺寸。
3. 不同系列的图像大小不同。
4. 图像尺寸最大为4800 * 4800像素
5. 所有图像均为8位/通道RGB
6. 在特定的系列中，图像从一个“帧”到下一帧的变化很小-通常远小于1％。
7. 每个系列包含100-1500张图像。
8. 系列中的所有图像都具有相同的颜色图和配准-逐帧不对这些特征中的任何一个进行调整。

我正在寻找适用于这些系列的开源工具或廉价的COTS工具，以将其转换为视频。该工具需要以下功能：

1. 能够利用逐帧图像的高度通用性来最大程度地压缩生成的视频。
2. 拍摄这样的系列并将其转换为视频。
3. 在四核64位处理器上的Windows7上运行。
4. 接受创建日期或文件名顺序作为帧顺序。
5. 虽然不需要保持图像深度，但切勿操纵单个帧（压缩，色彩变平等），以免丢失细节。如果工具采用这些方法中的任何一种，则其完成的程度必须是用户可控制的。
6. 允许在一系列图像中改变帧速。（我可能希望第一秒是13帧；接下来的64帧，依此类推）。
7. 每个系列都将变成一个视频-不需要任何高级视频编辑功能。

我进行了一些初步的调查，发现了这个问题，我正在调查，但它涉及Linux。另外，我还有Irfan图形查看和编辑软件，虽然它在初次使用时看起来非常有用，但似乎不能满足上述所有要求。

对满足我要求的解决方案有何建议？

编辑：进度报告我有以下建议：

1. @kusma（在SO上）建议使用VirtualDub
2. @rems（下）建议使用ffmpeg。

在开始研究这些建议时，很明显，我原来的问题比我预期的要复杂得多。尤其是：

1. 看来大多数设备的图像分辨率为4800 * 4800都会出现问题
2. AV1不允许使用可变帧率，这要求固定帧率

从http://ffmpeg.mplayerhq.hu尝试ffmpeg 。在http://packman.links2linux.de有预编译的二进制包。

但是您必须在Windows上对其进行编译，请参见FAQ http://www.ffmpeg.org/faq.html#TOC35。

ImageMagick的。

只需执行以下操作：

convert -delay 5 *.png movie.mpeg