擅长:python、mysql、java
<p>我用<a href="http://www.ffmpeg.org/" rel="noreferrer">ffmpeg</a>解决了这个问题,一个转换程序通过命令行运行。
所以,首先我保存所有独立的图片,然后把它们变成一个avi和一个gif的avi。</p>
<pre><code> print(i)
#pylab.ion()
pylab.scatter( x, y, c=(j/nbodies,j/nbodies,j/nbodies) )
pylab.axis([-400, 400, -400, 400])
#pylab.draw()
pylab.savefig('picture'+str(i))
os.chdir('C://Users/Alex')
subprocess.call(['ffmpeg', '-i', 'picture%d0.png', 'output.avi'])
subprocess.call(['ffmpeg', '-i', 'output.avi', '-t', '5', 'out.gif'])
</code></pre>