video - 如何从一堆图像和音频文件中生成具有同步音频的可变帧率视频？

Question

我有一系列使用运动激活相机拍摄的图像——现在，我正在对它们进行一些处理，每个图像都存储为 PNM/PBM 文件，但我可以轻松地将它们转换回 PNG。我有一个第一次创建每个时间戳的 unix 时间戳。我还有一个音频文件（我知道开始时间），记录在同一时期。

有什么方法可以从这些图像中构建一个可以从 VLC 播放的无损视频？理想情况下，我希望音频同步。