该工具能够将BMP文件转化为PGM文件格式,对需要PGM格式图片的学习者有用