小行星8423 小行星又称为澳门星是由中国国家天文台兴隆观测基地进行的北京天文台施密特CCD小行星计划在年月日发现的主带小行星 小行星在年月日正式以澳门命名