中科院自动化研究所,博士生考试,数学真题,2012年