我有一个简单的功能来代表GPS周的int
和代表GPS秒的双倍。 GPS Week
是自1980年1月6日午夜起的周数,GPS seconds
是自上一个GPS周开始以来的秒数。我想将这些转换为具有特定格式的字符串,以便我可以将GPS数据与来自其他乐器的数据相匹配。
我的功能如下:
private DateTime GetFromGps(int weeknumber, double seconds)
{
DateTime datum = new DateTime(1980, 1, 6, 0, 0, 0);
DateTime week = datum.AddDays(weeknumber * 7);
DateTime time = week.AddSeconds(Math.Floor(seconds));
double millisecs = (seconds - Math.Floor(seconds)) * 1000;
Console.WriteLine("{0}, {1}, {2}", seconds, Math.Floor(seconds), (int)millisecs);
time.AddMilliseconds((int)millisecs);
Console.WriteLine(time.ToString("yyyy.MM.dd,HH:mm:ss.fff"));
return time;
}
现在,当weeknumber = 1254
和seconds = 412250.000
得到正确的输出时:
412250, 412250, 0
2004.01.22,18:30:50.000
但是,当我使用weeknumber = 1254
和seconds = 412250.123
时,输出如下所示:
412250.123, 412250, 123
2004.01.22,18:30:50.000
我还试过没有花费毫秒到int
并仍然遇到同样的问题。我真的很感激任何帮助。
答案 0 :(得分:7)
您未存储AddMilliseconds()
电话的结果。你需要说
DateTime newTime = time.AddMilliseconds(millisecs);
Console.WriteLine(newTime.ToString("yyyy.MM.dd,HH:mm:ss.fff"));