time-transfer-budget (scenariotyp)

Scenariotyp i motor v0.40.0, familj Klockor, tidssynkronisering och holdover. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Tvåvägs tids- och frekvensöverföring via satellit mellan två stationer genom ett geostationärt relä: tvåvägsekvationen löst för T_A - T_B med varje icke-reciprok term (stationsutrustningens fördröjningar, Ku-bandets jonosfär, transponder, Sagnac), en osäkerhetsbudget i kvadratur vars typ A-term är den simulerade länkens TDEV vid medelvärdesbildningstiden, en simulerad länk med vitt brus och flimmerbrus i fas samt en dygnsvarierande icke-reciprocitet, och stabiliteten (hastighet, residual-RMS, TDEV, ADEV) hos en medföljande BIPM Circular T Section 1-serie, MJD,ns-CSV eller IGS RINEX-stationsklockposter. MODELLED.

En körning av scenarios/time-transfer-budget.toml sammanfattas som: time-transfer-budget: europe - north-america förskjutning 12,500 ns (Sagnac 204,365 ns, jonosfär 0,0213 ns); kombinerad u 1,087 ns (typ A 0,031 ns vid 86400 s); 0 verkliga serier (MODELLED)

Indata#

Från schemat (kshana kinds --json):

• Obligatoriska fält: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Valfria fält: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

Exemplet scenarios/time-transfer-budget.toml anger bland annat:

Kör den#

kshana scenarios/time-transfer-budget.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultatetikett (motorns egen): MODELLED — TWSTFT:s tvåvägsekvation (stationsfördröjningar, Ku-bandets jonosfär, transponder, Sagnac) löst utifrån angivna fördröjningar, en osäkerhetsbudget i kvadratur med den simulerade länkens TDEV som typ A-term, en simulerad länk med flimmerbrus i fas och dygnsvarierande icke-reciprocitet, samt stabiliteten hos valfri r

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

• MODELLED TWSTFT:s tvåvägsekvation löst för T_A - T_B med stationernas sänd- och mottagningsfördröjningar, Ku-bandets jonosfäriska asymmetri mellan upp- och nerlänk, skillnaden i transponderfördröjning och Sagnac-termerna, mot dess exakta framåtmodell; en osäkerhetsbudget i kvadratur

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

• MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
• MODELLED TWSTFT:s tvåvägsekvation löst för T_A - T_B med stationernas sänd- och mottagningsfördröjningar, Ku-bandets jonosfäriska asymmetri mellan upp- och nerlänk, skillnaden i transponderfördröjning. Oberoende referens (InternalConsistency): Intern konsistens: framåtmodellen och den lösta ekvationen stämmer överens inom 1e-15 s, Sagnac-termen är lika med modulens oberoende BIPM-slingform 2A omega/c^2, den jonosfäriska termen är 40,3 TEC (1/f_up^2 - 1/f_down^2)/c, och brusprocesserna visar sina förväntade TDEV-former. VAD SOM INTE ÄR: ingen verklig TWSTFT-mätning eller kalibreringsrapport har jämförts; de angivna fördröjningarna och osäkerheterna är indata, inte uppmätta; t

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

• MODELLED — TWSTFT:s tvåvägsekvation (stationsfördröjningar, Ku-bandets jonosfär, transponder, Sagnac) löst utifrån angivna fördröjningar, en osäkerhetsbudget i kvadratur med den simulerade länkens TDEV som typ A-term, en simulerad länk med flimmerbrus i fas och dygnsvarierande icke-reciprocitet, samt stabiliteten hos valfri verklig UTC-UTC(k)- eller stationsklockserie som tillhandahålls; inte jämförd med en verklig TWSTFT-länk (resultat label)
• MODELLED. (typkatalog (kshana kinds --json))
• Tvåvägs tids- och frekvensöverföring via satellit (TWSTFT) mellan två ILLUSTRATIVE stationer, en i centrala Europa och en i östra Nordamerika, genom ett geostationärt relä vid 10 grader V. Körningen löser tvåvägsekvationen för T_A - T_B utifrån de angivna termerna för utrustning, transponder, jonosfär (Ku-band, 14/11 GHz) och Sagnac. Den bildar en osäkerhetsbudget vars statistiska term är TDEV, vid en dag, hos en simula (kommentar i scenariofilen, rad 1 till 8)
• Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• TWSTFT:s tvåvägsekvation, osäkerhetsbudget och länkstabilitet med flimmerbrus och dygnsvarierande icke-reciprocitet är MODELLED, inte validerad: kontrollerad mot sin egen slutna eller analytiska identitet — fångar transkriptions- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Klockor, tidssynkronisering och holdover
• Alla typer: KINDS.md