您不知道北大的地球物理系，有天文专业吗？