Title: Reliability Engineering of BeiDou Navigation Satellite