2005年至2009年的中国科学院自动化研究所的数学考博真题。