The official English name of the system is BeiDou Navigation Satellite System. What is the Big Dipper constellation known as in Japanese?