用C语言实现将GPS时间转为UTC时间

下面是一个简单的C语言程序，用于将GPS时间转换为UTC时间：

#include <stdio.h>

int main()
{
    int gps_week = 0;   // GPS周数
    double gps_time = 0;  // GPS秒数
    double utc_time = 0;  // UTC秒数

    printf("请输入GPS周数和秒数：");
    scanf("%d%lf", &gps_week, &gps_time);

    // 将GPS时间转换为UTC时间
    utc_time = gps_time - 18.0;

    // 计算当前GPS时间所处的GPS纪元
    int gps_epoch = gps_week / 1024;

    // 计算当前GPS时间所处的UTC闰秒数
    int utc_leap_seconds = 18 + (gps_epoch * 1024);

    // 考虑到UTC闰秒的影响，将UTC时间进行调整
    utc_time -= utc_leap_seconds;

    printf("对应的UTC时间为：%.2lf\n", utc_time);

    return 0;
}

上述程序中，我们首先通过用户输入获取了GPS周数和秒数。然后，我们使用公式将GPS时间转换为UTC时间，并计算当前GPS时间所处的GPS纪元和UTC闰秒数。最后，我们将UTC时间进行调整，考虑到UTC闰秒的影响，输出计算得到的UTC时间。