Какие инструменты доступны для создания видео из pngs?

У меня есть несколько рядов изображений, которые я хочу преобразовать в видео. Изображения и ряд имеют следующие характеристики:

1. Формат.PNG. Формат видео, не важный, пока это обычно поддерживается.
2. Все изображения в ряду являются тем же размером.
3. Различные ряды имеют различные размеры изображения.
4. Размеры изображения располагаются до 4800*4800 пикселей
5. Всеми изображениями является 8bits/channel RGB
6. В конкретном ряду изображения изменяются очень мало от одного "кадра" до следующего - обычно намного меньше чем 1%.
7. Каждый ряд состоит из 100-1500 изображений.
8. Все изображения в ряду имеют ту же карту цветов и регистрацию - нет никакой корректировки ни к одной из этих характеристик от кадра до кадра.

Я ищу инструмент с открытым исходным кодом или дешевый инструмент COTS для применения к этим рядам для превращения их в видео. Инструменту нужна следующая функциональность:

1. Способный использовать в своих интересах высокую общность изображения от кадра до кадра, максимально сжать получающееся видео.
2. Взять такой ряд и преобразовать его в видео.
3. Работавший Windows7 на четырех базовых процессорах на 64 бита.
4. Примите дату создания или последовательность имени файла как порядок кадров.
5. В то время как нет никакого требования для поддержания глубины изображения, отдельными кадрами нельзя управлять (сжатие, цветное выравнивание; и т.д.) так много, что деталь потеряна. Если инструмент принимает какой-либо из этих подходов, градус, до которого он сделан, должен быть управляемым пользователем.
6. Позволяет скорости кадра быть измененной в ряду изображений. (Я мог бы хотеть, чтобы первая секунда была 13 кадрами; следующие 64 кадра; и так далее).
7. Каждый ряд должен быть превращен в одно видео - нет никакого требования ни для какой усовершенствованной возможности редактирования видео.

Я сделал немного предварительного расследования и нашел этот вопрос, который я исследую, но в отношении Linux. Кроме того, у меня есть Irfan графический просмотр и редактирование программного обеспечения, которое, в то время как это выглядит очень полезным на первом использовании, кажется, не отвечает всем упомянутым выше требованиям.

Какие-либо предложения для решения, которое отвечает моим требованиям?

Править: Отчет о выполнении работ у меня были следующие предложения:

1. @kusma (на ТАК) предложил VirtualDub
2. @rems (ниже) предложенного ffmpeg.

При том, чтобы начинать исследовать эти предложения стало очевидно, что мой исходный вопрос намного более сложен, чем я ожидал. В особенности:

1. кажется, что большинство устройств будет иметь проблемы с разрешением изображения 4800*4800
2. переменная частота кадров не разрешена AV1, который передает под мандат это частота кадров быть зафиксированным