gps время, преобразование времени

Question

У меня есть время в формате UTC секунд. Может ли кто-нибудь помочь в том, как преобразовать такие числа в GPS время в обычной метке времени (dd-mm-yyyy hh: mm: ss)? Мне нужен код C или, может быть, алгоритм.

Answer 1

для проверки алгоритма этот сайт исходный код: UTC Converter

для встроенных функций в C++ проверить here - особенно CTIME()

Answer 2

Update (июнь 2017): В настоящее время 18 високосных секунд.

---

GPS время просто UTC, но без leap seconds. На момент написания этой статьи было 15 секундных секунд со времени GPS (6 января 1980 года 00:00:00), поэтому, если это 2012/02/13 @ 12:00:00 (UTC), то это 2012/02/13 @ 12:00:15 в режиме GPS. Если вы хотите сделать правильные преобразования в другое время, вам нужно будет учитывать, когда каждый прыжок второй вступил в силу.

Вот как вы можете вычислить ток смещения от пары различных «авторитетных» источников:

• http://www.ietf.org/timezones/data/leap-seconds.list - Подсчитать количество строк, начиная с 2571782400 20 # 1 Jul 1981 линии. Или просто вычесть 19 из последнего номера в списке (например, 37-19 = 18) в мае 2017.

• https://www.nist.gov/pml/time-and-frequency-division/atomic-standards/leap-second-and-ut1-utc-information - Подсчитайте число високосных секунд, вставленных (из раздела Leap Seconds Inserted into the UTC Time Scale), начиная с (и включая) запись 1981-06-30.

Answer 3

Существует библиотека Javascript, которая может конвертировать одноименный и обратно. Библиотека доступна на

http://www.lsc-group.phys.uwm.edu/~kline/gpstime/

Независимо от алгоритма вы используете, вы должны обновить его, когда новые високосные секунды объявляются.