天文台 小行星搜寻 天文学家 中国科学院 命名法则 专名 图象消减合并法 卫星