西安交通大学 维尔纳 原子簇化合物 路易斯 群论方法 包括在内 理论方面 年度 哥伦比亚大学 多面体分子 共享电子对 量子化学计算方法 分子轨道法 国家最高科学技术奖