time-transfer-budget (scenariotype)

Scenariotype i motoren v0.40.0, familie Klokker, tidssynkronisering og holdover. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Toveis satellittbasert tid- og frekvensoverføring mellom to stasjoner via et geostasjonært relé: toveisligningen løst for T_A - T_B med hvert ikke-resiprokt ledd (stasjonsutstyrets forsinkelser, ionosfære i Ku-bånd, transponder, Sagnac), et usikkerhetsbudsjett i kvadratsum der type A-leddet er den simulerte lenkens TDEV ved midlingstiden, en simulert lenke med hvit og flicker-fasestøy og en døgnlig ikke-resiprositet, og stabiliteten (rate, residual-RMS, TDEV, ADEV) til enhver oppgitt serie fra BIPM Circular T, seksjon 1, MJD,ns-CSV eller IGS RINEX-stasjonsklokkeposter. MODELLED.

Én kjøring av scenarios/time-transfer-budget.toml gir denne oppsummeringen: time-transfer-budget: europe - north-america offset 12,500 ns (Sagnac 204,365 ns, ionosphere 0,0213 ns); combined u 1,087 ns (type A 0,031 ns at 86400 s); 0 real series (MODELLED)

Inndata#

Fra skjemaet (kshana kinds --json):

• Obligatoriske felt: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Valgfrie felt: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

Eksemplet scenarios/time-transfer-budget.toml setter blant annet:

Kjør den#

kshana scenarios/time-transfer-budget.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens egen): MODELLED — TWSTFT-toveisligning (stasjonsforsinkelser, ionosfære i Ku-bånd, transponder, Sagnac) løst ut fra oppgitte forsinkelser, et usikkerhetsbudsjett i kvadratsum med den simulerte lenkens TDEV som type A-ledd, en simulert lenke med flicker-fasestøy og døgnlig ikke-resiprositet, og stabiliteten til enhver r

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED TWSTFT-toveisligningen løst for T_A - T_B med stasjonenes sende- og mottaksforsinkelser, den ionosfæriske opp/ned-asymmetrien i Ku-bånd, transponderens forsinkelsesforskjell og Sagnac-leddene, mot sin eksakte forovermodell; et usikkerhetsbudsjett i kvadr

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• MODELLED TWSTFT-toveisligningen løst for T_A - T_B med stasjonenes sende- og mottaksforsinkelser, den ionosfæriske opp/ned-asymmetrien i Ku-bånd, transponderens forsinkelsesforskjell. Uavhengig referanse (InternalConsistency): Intern konsistens: forovermodellen og den løste ligningen stemmer overens til 1e-15 s, Sagnac-leddet er lik modulens uavhengige sløyfeform BIPM 2A omega/c^2, det ionosfæriske leddet er 40,3 TEC (1/f_up^2 - 1/f_down^2)/c, og støyprosessene viser de forventede TDEV-formene. HVA DET IKKE ER: ingen reell TWSTFT-måling eller kalibreringsrapport er sammenlignet; de oppgitte forsinkelsene og usikkerhetene er inndata, ikke målt; t

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED — TWSTFT-toveisligning (stasjonsforsinkelser, ionosfære i Ku-bånd, transponder, Sagnac) løst ut fra oppgitte forsinkelser, et usikkerhetsbudsjett i kvadratsum med den simulerte lenkens TDEV som type A-ledd, en simulert lenke med flicker-fasestøy og døgnlig ikke-resiprositet, og stabiliteten til enhver reell UTC-UTC(k)- eller stasjonsklokkeserie som oppgis; ikke sammenlignet med en reell TWSTFT-lenke (resultat label)
• MODELLED. (typekatalog (kshana kinds --json))
• Toveis satellittbasert tid- og frekvensoverføring (TWSTFT) mellom to ILLUSTRATIVE stasjoner, én i Sentral-Europa og én i det østlige Nord-Amerika, via et geostasjonært relé ved 10 grader vest. Kjøringen løser toveisligningen for T_A - T_B ut fra de oppgitte leddene for utstyr, transponder, ionosfære (Ku-bånd, 14/11 GHz) og Sagnac. Den danner et usikkerhetsbudsjett der det statistiske leddet er TDEV, ved én dag, av en simula (kommentar i scenariofilen, linje 1 til 8)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• TWSTFT-toveisligningen, usikkerhetsbudsjettet og lenkestabiliteten med flicker og døgnlig ikke-resiprositet er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet — fanger opp transkripsjons- og koeffisientfeil, men er ikke en ekstern uavhengig referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Klokker, tidssynkronisering og holdover
• Alle typer: KINDS.md