计算机科学 国家自然科学基金委员会 自动化实验室 资助项目 优化研究 大学生 公务员 实时时钟