全球卫星通讯系统中的数学问题