转移到超级用户：
我想要转换成视频的多个系列图像。图像和系列具有以下特征：
- .PNG格式。视频格式并不重要，只要它得到普遍支持。
- 系列中的所有图片大小相同。
- 不同的系列有不同的图像尺寸。
- 图片尺寸最高可达4800 * 4800像素
- 所有图像均为8位/通道RGB
- 在特定系列中，图像从一个“框架”到下一个框架变化很小 - 通常远低于1％。
- 每个系列包含100-1500张图片。
- 系列中的所有图像都具有相同的颜色映射和配准 - 从一帧到另一帧不会对这些特征中的任何一个进行调整。
我正在寻找一个开源工具或便宜的COTS工具来应用这些系列将它们变成视频。该工具需要以下功能：
- 能够利用帧与帧之间高度共同的图像，最大限度地压缩生成的视频。
- 拍摄此类剧集并将其转换为视频。
- 在四核64位处理器上运行Windows7。
- 接受创建日期或文件名序列作为框架顺序。
- 虽然不需要保持图像深度，但不能操纵单个帧（压缩，颜色展平等）以至于丢失了细节。如果该工具采用这些方法中的任何一种，则其完成程度必须是用户可控制的。
- 允许在一系列图像中更改帧速度。 （我可能希望第一秒为13帧;接下来的64帧;依此类推。）
- 每个系列都要转换为一个视频 - 不需要任何高级视频编辑功能。
我做了一些初步调查，发现this question，我正在调查，但是关于Linux。另外，我有Irfan图形查看和编辑软件，虽然看起来非常有用，但在首次使用时，似乎不符合上面列出的所有要求。
对符合我要求的解决方案有任何建议吗？