小行星9517 小行星聂海胜星是一顆小行星以中国航天员聂海胜命名的