Я нашел несколько источников, которые используют python и ffmpeg для генерации видео из массивов пикселей, передавая флаг -f rawvideo
1 2 .Тем не менее, это очень медленно для видео высокой четкости, поскольку каждый отдельный пиксель должен передаваться в ffmpeg.
На самом деле это доказуемо расточительно, так как я обнаружил, что 2,5 ГБ пиксельных массивов генерируют около 80 КБ видео,Я также случайно натолкнулся на некоторые примеры, когда javascript может воспроизводить высококачественные анимации в почти реальном времени 1 , что делает меня еще более подозрительным, что я делаю что-то не так.
Есть лиспособ сделать это более эффективно, возможно, путем передачи различий между массивами пикселей в ffmpeg, а не в сами пиксели?
(edit) Эта строка , которую я использую.Большинство казней используют следующий путь else
.