time-transfer-budget (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kellad, ajastus ja holdover. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Kahesuunaline satelliitaja ja sageduse edastus kahe jaama vahel geostatsionaarse releesatelliidi kaudu: kahesuunaline võrrand lahendatud suuruse T_A - T_B suhtes koos iga mittevastastikuse liikmega (jaama seadmete viivitused, Ku-riba ionosfäär, transponder, Sagnac), ruutude summa määramatuse eelarve, mille A-tüübi liige on simuleeritud lingi TDEV keskmistamisajal, simuleeritud link valge ja flicker-faasimüra ning ööpäevase mittevastastikkusega ning mis tahes antud BIPM Circular T jaotise 1 seeria, MJD,ns CSV või IGS RINEX jaamakella kirjete stabiilsus (kalle, jääk-RMS, TDEV, ADEV). MODELLED.

Ühe scenarios/time-transfer-budget.toml käivituse kokkuvõte: time-transfer-budget: europe - north-america nihe 12,500 ns (Sagnac 204,365 ns, ionosfäär 0,0213 ns); kombineeritud u 1,087 ns (A-tüüp 0,031 ns juures 86400 s); 0 tegelikku seeriat (MODELLED)

Sisendid#

Skeemist (kshana kinds --json):

• Kohustuslikud väljad: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Valikulised väljad: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

Näide scenarios/time-transfer-budget.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/time-transfer-budget.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemuse silt (mootori oma): MODELLED — TWSTFT kahesuunaline võrrand (jaama viivitused, Ku-riba ionosfäär, transponder, Sagnac) lahendatud nimetatud viivitustest, ruutude summa määramatuse eelarve simuleeritud lingi TDEV-iga A-tüübi liikmena, simuleeritud link flicker-faasimüra ja ööpäevase mittevastastikkusega ning mis tahes r

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

• MODELLED TWSTFT kahesuunaline võrrand lahendatud suuruse T_A - T_B suhtes jaama saatmis- ja vastuvõtuviivitustega, Ku-riba ionosfääri üles-/allalingi asümmeetriaga, transponderi viivituse erinevusega ja Sagnaci liikmetega, oma täpse otsemudeli vastu; ruutude summa määramatus

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• MODELLED TWSTFT kahesuunaline võrrand lahendatud suuruse T_A - T_B suhtes jaama saatmis- ja vastuvõtuviivitustega, Ku-riba ionosfääri üles-/allalingi asümmeetriaga, transponderi viivituse erinevusega. Sõltumatu etalon (sisemine kooskõla; InternalConsistency): sisemine kooskõla: otsemudel ja lahendatud võrrand ühtivad täpsusega 1e-15 s, Sagnaci liige on võrdne mooduli sõltumatu BIPM 2A omega/c^2 silmusekujuga, ionosfääri liige on 40,3 TEC (1/f_up^2 - 1/f_down^2)/c ning müraprotsessid näitavad oodatud TDEV kujusid. MIS EI OLE: tegelikku TWSTFT mõõtmist ega kalibreerimisaruannet ei ole võrreldud; nimetatud viivitused ja määramatused on sisendid, mitte mõõdetud; t

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• MODELLED — TWSTFT kahesuunaline võrrand (jaama viivitused, Ku-riba ionosfäär, transponder, Sagnac) lahendatud nimetatud viivitustest, ruutude summa määramatuse eelarve simuleeritud lingi TDEV-iga A-tüübi liikmena, simuleeritud link flicker-faasimüra ja ööpäevase mittevastastikkusega ning mis tahes antud tegeliku UTC-UTC(k) või jaamakella seeria stabiilsus; ei ole võrreldud tegeliku TWSTFT lingiga (tulemus label)
• MODELLED. (liikide kataloog (kshana kinds --json))
• Kahesuunaline satelliitaja ja sageduse edastus (TWSTFT) kahe ILLUSTRATIVE jaama vahel, üks Kesk-Euroopas ja teine Põhja-Ameerika idaosas, geostatsionaarse releesatelliidi kaudu 10 kraadi W juures. Jooks lahendab kahesuunalise võrrandi suuruse T_A - T_B suhtes nimetatud seadmete, transponderi, ionosfääri (Ku-riba, 14/11 GHz) ja Sagnaci liikmetest. See moodustab määramatuse eelarve, mille statistiline liige on ühe päeva TDEV simula (stsenaariumifaili kommentaar, read 1–8)
• Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• TWSTFT kahesuunaline võrrand, määramatuse eelarve ja lingi stabiilsus flicker- ja ööpäevase mittevastastikkusega on MODELLED, mitte valideeritud: kontrollitud oma kinnise kuju / analüütilise samasuse vastu — tabab ärakirjutus- ja koefitsiendivigu, kuid ei ole väline etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: Kellad, ajastus ja holdover
• Kõik liigid: KINDS.md