Secondi intercalari UTC↔TAI
Trovi lo scarto tra il tempo atomico e UTC in qualsiasi data, oppure veda i secondi intercalari che lo spiegano: il 2 gennaio 2017 TAI−UTC vale 37 secondi. La tabella è integrata nello strumento. Gratis nel suo browser.
- Gratis
- Funziona nel suo browser
- Senza registrazione
- I suoi dati restano sul dispositivo
Esegui gratis nel browser
Esempio risolto
- Modalità di calcolo
- Offset
- Data
- 2017-01-02
- Scarto TAI−UTC (secondi)
- 37
Strumento gratuito e deterministico. Elenca i secondi intercalari IERS incorporati e converte le date civili UTC nello scarto TAI-UTC senza alcun accesso alla rete.
Come funziona
Questa capacità elenca i secondi intercalari pubblicati dall'IERS e converte una data civile UTC nello scarto TAI-UTC, senza il minimo accesso alla rete. In modalità « list » ottieni la tabella completa di tutti i salti storici; in modalità « offset » indichi una data in formato ISO-8601 e il calcolo restituisce la differenza esatta tra il Tempo atomico internazionale e il Tempo coordinato universale in quell'istante preciso.
Prima di integrare questa funzione nei tuoi flussi di produzione o nei test automatici, consulta gli esempi di riferimento che illustrano sia i casi di successo sia i percorsi di errore.
Ingressi e uscite
Le risposte di successo includono sempre i campi di uscita principali, così che i collegamenti dell'interfaccia restino stabili nel tempo e non debbano mai gestire un'assenza imprevista. La convalida segue un ordine fisso e ripetibile, quindi lo stesso ingresso produce sempre la stessa uscita e la stessa stringa di errore, condizione indispensabile per la certificazione. Ti consigliamo di leggere gli esempi di riferimento, che coprono sia i percorsi di successo sia quelli di errore, prima di collegare questa capacità ai tuoi processi.
Casi limite e vincoli
Le stringhe vuote, i tipi errati e gli intervalli contraddittori vengono respinti fin da subito, prima che qualsiasi calcolo abbia luogo. Le date civili prive di fuso orario sono trattate come date di calendario e non subiscono alcuna conversione implicita che potrebbe falsare lo scarto restituito. Le tabelle dei secondi intercalari viaggiano incorporate all'interno della cartella della capacità, perciò in fase di esecuzione non viene effettuata alcuna chiamata di rete e il risultato resta riproducibile anche completamente offline.
Questo comportamento rende la funzione adatta ad ambienti isolati, alle pipeline di integrazione continua e ai contesti in cui la connettività non è garantita.
Casi d'uso
Lavoro quotidiano
Ottieni una risposta affidabile senza ricorrere a un foglio di calcolo.
Didattica
Set di prova stabili e riproducibili per le tue dimostrazioni.
Domande frequenti
Rete?
Nessun accesso alla rete; tutto è calcolato sul dispositivo.
Che cosa significa TAI−UTC?
Indica di quanti secondi il Tempo atomico internazionale è avanti rispetto al Tempo coordinato universale in una certa data. Lo scarto cambia solo quando si aggiunge un secondo intercalare a UTC, perciò si legge dalla tabella.
Posso vedere l'elenco dei secondi intercalari?
Sì. Scelga l'opzione elenco per vedere i secondi intercalari della tabella integrata, eventualmente limitati a un periodo tra due date. Un periodo che finisce prima di iniziare viene rifiutato invece di essere indovinato.
Devo indicare un'ora o un fuso orario?
No. Inserisca solo la data del calendario. Una data senza fuso viene letta come un semplice giorno in UTC, quindi il luogo in cui si trova non cambia mai lo scarto che ottiene.
Perché il mio dato viene rifiutato?
Voci vuote, valori del tipo sbagliato e periodi di date contraddittori vengono rifiutati prima di qualsiasi calcolo, così riceve un messaggio chiaro invece di uno scarto che sembra giusto ma non lo è.
Strumenti correlati
Per sviluppatori — accesso via API
Tutto quello che vedi in questa pagina è disponibile anche via API. Questa sezione è per i team che vogliono integrarlo nei propri sistemi; chi non ne ha bisogno può semplicemente usare lo strumento qui sopra.
Endpoint
Autenticazione con Bearer token: un POST mette in coda l'attività e il risultato arriva via webhook o link firmato.
Chiamala dal tuo stack
curl -X POST https://api.kit.forhosting.com/date/leap-seconds \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"mode":"offset","date":"2017-01-02"}'const res = await fetch("https://api.kit.forhosting.com/date/leap-seconds", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"mode": "offset",
"date": "2017-01-02"
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/date/leap-seconds",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"mode": "offset",
"date": "2017-01-02"
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/date/leap-seconds", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"mode":"offset","date":"2017-01-02"}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"mode":"offset","date":"2017-01-02"}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/date/leap-seconds", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)Esempio di richiesta
{
"mode": "offset",
"date": "2017-01-02"
}Esempio di risposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "date.leap_seconds",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}L'API è asincrona: ricevi subito un task_id e puoi fare polling fino a 1 richiesta al secondo.
Prezzi
Prezzo pubblicato, senza token né crediti. Se l'attività fallisce, non paghi.
Errori
| HTTP | Codice | Significato |
|---|---|---|
401 | unauthorized | Chiave API mancante o non valida: controlla l'header Authorization. |
402 | insufficient_balance | Credito esaurito: ricarica per continuare a eseguire attività. |
404 | unknown_type | Tipo di attività sconosciuto: controlla il campo type della richiesta. |
429 | rate_limited | Troppe richieste in poco tempo: rallenta e riprova tra qualche secondo. |
Note tecniche
Come funziona
Il calcolo è interamente deterministico e viene eseguito gratuitamente nel tuo browser, con la stessa funzione pura dell'API: il risultato mostrato online è quindi identico, byte per byte, a quello che il servizio fattura. Gli ingressi vengono convalidati prima di qualsiasi operazione aritmetica, così un tipo errato produce un chiaro errore invalid_input anziché un risultato fuorviante.
Ingressi e uscite
I campi obbligatori dello schema devono essere presenti e correttamente tipizzati, mentre i campi facoltativi ricadono su valori predefiniti documentati. I valori intermedi molto grandi che superano la rappresentazione IEEE-754 diventano errori di intervallo espliciti anziché valori nulli silenziosi, perché un errore dichiarato è sempre preferibile a un dato corrotto che passa inosservato.
Casi limite e vincoli
Ricorda di esaminare gli esempi di riferimento prima dell'integrazione: mostrano con precisione quali ingressi restituiscono un risultato valido e quali generano invece un errore invalid_input, così da evitare sorprese in produzione.
Casi di integrazione
Automazione
La stessa funzione pura nel widget e nell'API.
Domande tecniche
È gratuito?
Sì, livello A direttamente nel browser.
Ingresso non valido?
Un errore invalid_input con un'etichetta chiara.
È stabile?
Set di riferimento deterministici bloccano il contratto.
Autore?
samurai.