孙凝晖 孙凝晖年月男籍贯安徽寿县生于上海中国科学院计算技术研究所所长研究员中国工程院院士