Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/time-transfer-budget.md

time-transfer-budget (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Hodiny, časování a holdover. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Obousměrný družicový přenos času a frekvence mezi dvěma stanicemi přes geostacionární relé: obousměrná rovnice řešená pro T_A - T_B se všemi nereciprokými členy (zpoždění zařízení stanic, ionosféra v pásmu Ku, transpondér, Sagnac), rozpočet nejistoty ve kvadratuře, jehož člen typu A je TDEV simulovaného spoje při době průměrování, simulovaný spoj s bílým a flickerovým fázovým šumem a denní nereciprocitou a stabilita (rychlost, zbytkové RMS, TDEV, ADEV) libovolné dodané řady BIPM Circular T oddíl 1, CSV MJD,ns nebo záznamů hodin stanic IGS RINEX. MODELLED.

Jeden běh scenarios/time-transfer-budget.toml se shrnuje takto: time-transfer-budget: europe - north-america posun 12,500 ns (Sagnac 204,365 ns, ionosféra 0,0213 ns); kombinovaná u 1,087 ns (typ A 0,031 ns při 86400 s); 0 reálných řad (MODELLED)

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
  • Volitelná pole: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

Příklad scenarios/time-transfer-budget.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
averaging_s 86400 s
diurnal_amplitude_ns 0.2 ns
downlink_ghz 11 GHz
flicker_noise_ns 0.05 ns
kind time-transfer-budget text
reciprocity_bias_ns 0 ns
satellite_lon_deg -10 deg
seed 2026 neuvedeno
span_days 30 d
station_a.height_m 100 m
station_a.lat_deg 50 deg
station_a.lon_deg 10 deg

Spusťte jej#

kshana scenarios/time-transfer-budget.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
combined_uncertainty_ns 1.086953 ns
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
inputs.averaging_s 86400 s
inputs.diurnal_amplitude_ns 0.2 ns
inputs.flicker_noise_ns 0.05 ns
inputs.reciprocity_bias_ns 0 ns
inputs.span_days 30 d
inputs.step_s 300 s

Popisek výsledku (z enginu): MODELLED — obousměrná rovnice TWSTFT (zpoždění stanic, ionosféra v pásmu Ku, transpondér, Sagnac) řešená z uvedených zpoždění, rozpočet nejistoty ve kvadratuře s TDEV simulovaného spoje jako členem typu A, simulovaný spoj s flickerovým fázovým šumem a denní nereciprocitou a stabilita libovolné r

Graf, který engine zapisuje pro scenarios/time-transfer-budget.toml, druh time-transfer-budget

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Obousměrná rovnice TWSTFT řešená pro T_A - T_B se zpožděními vysílání a příjmu stanic, asymetrií ionosféry v pásmu Ku mezi uplinkem a downlinkem, rozdílem zpoždění transpondéru a členy Sagnac, proti jejímu přesnému přímému modelu; kvadraturní nejist

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • MODELLED Obousměrná rovnice TWSTFT řešená pro T_A - T_B se zpožděními vysílání a příjmu stanic, asymetrií ionosféry v pásmu Ku mezi uplinkem a downlinkem, rozdílem zpoždění transpon. Orákulum (InternalConsistency): Vnitřní konzistence: přímý model a řešená rovnice se shodují na 1e-15 s, člen Sagnac se rovná nezávislému tvaru smyčky BIPM 2A omega/c^2 modulu, ionosférický člen je 40,3 TEC (1/f_up^2 - 1/f_down^2)/c a šumové procesy vykazují očekávané tvary TDEV. CO NENÍ: nebylo porovnáno žádné skutečné měření TWSTFT ani kalibrační zpráva; uvedená zpoždění a nejistoty jsou vstupy, nikoli naměřené; t

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • MODELLED — obousměrná rovnice TWSTFT (zpoždění stanic, ionosféra v pásmu Ku, transpondér, Sagnac) řešená z uvedených zpoždění, rozpočet nejistoty ve kvadratuře s TDEV simulovaného spoje jako členem typu A, simulovaný spoj s flickerovým fázovým šumem a denní nereciprocitou a stabilita libovolné dodané reálné řady UTC-UTC(k) nebo hodin stanice; neporovnáno se skutečným spojem TWSTFT (výsledek label)
  • MODELLED. (katalog druhů (kshana kinds --json))
  • Obousměrný družicový přenos času a frekvence (TWSTFT) mezi dvěma ILLUSTRATIVE stanicemi, jednou ve střední Evropě a jednou ve východní Severní Americe, přes geostacionární relé na 10 deg W. Běh řeší obousměrnou rovnici pro T_A - T_B z uvedených členů zařízení, transpondéru, ionosféry (pásmo Ku, 14/11 GHz) a Sagnac. Sestavuje rozpočet nejistoty, jehož statistický člen je TDEV, při jednom dni, simulova (komentář v souboru scénáře, řádky 1 až 8)
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Obousměrná rovnice TWSTFT, rozpočet nejistoty a stabilita spoje s flickerovým šumem a denní nereciprocitou jsou MODELLED, nikoli ověřené: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#