time-transfer-budget (scenarietype)

Scenarietype i motoren v0.40.0, familie Ure, tidssynkronisering og holdover. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Tovejs tids- og frekvensoverførsel via satellit mellem to stationer gennem et geostationært relæ: tovejsligningen løst for T_A - T_B med hvert ikke-reciprokt led (stationsudstyrets forsinkelser, Ku-bånds-ionosfære, transponder, Sagnac), et usikkerhedsbudget i kvadratur, hvis type A-led er den simulerede forbindelses TDEV ved middelværditiden, en simuleret forbindelse med hvid og flicker-fasestøj og en døgnvariabel ikke-reciprocitet, samt stabiliteten (rate, residual-RMS, TDEV, ADEV) af alle leverede serier fra BIPM Circular T Section 1, MJD,ns CSV eller IGS RINEX-stationsurposter. MODELLED.

Én kørsel af scenarios/time-transfer-budget.toml opsummeres som: 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)

Input#

Fra skemaet (kshana kinds --json):

• Obligatoriske felter: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Valgfrie felter: 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 angiver blandt andet:

Kør den#

kshana scenarios/time-transfer-budget.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatbetegnelse (motorens): MODELLED — TWSTFT-tovejsligning (stationsforsinkelser, Ku-bånds-ionosfære, transponder, Sagnac) løst ud fra angivne forsinkelser, et usikkerhedsbudget i kvadratur med den simulerede forbindelses TDEV som type A-led, en simuleret forbindelse med flicker-fasestøj og døgnvariabel ikke-reciprocitet, og stabiliteten af enhver r

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED TWSTFT-tovejsligningen løst for T_A - T_B med stationens sende- og modtageforsinkelser, Ku-båndets ionosfæriske op/ned-asymmetri, transponderens forsinkelsesforskel og Sagnac-leddene, mod dens eksakte fremadmodel; et usikkerhedsbudget i kvadratur

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED TWSTFT-tovejsligningen løst for T_A - T_B med stationens sende- og modtageforsinkelser, Ku-båndets ionosfæriske op/ned-asymmetri, transponderens forsinkelsesforskel. Uafhængig reference (InternalConsistency): Intern konsistens: fremadmodellen og den løste ligning stemmer overens til 1e-15 s, Sagnac-leddet er lig modulets uafhængige BIPM 2A omega/c^2-sløjfeform, det ionosfæriske led er 40,3 TEC (1/f_up^2 - 1/f_down^2)/c, og støjprocesserne viser deres forventede TDEV-forløb. HVAD DET IKKE ER: ingen reel TWSTFT-måling eller kalibreringsrapport er sammenlignet; de angivne forsinkelser og usikkerheder er input, ikke målt; t

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED — TWSTFT-tovejsligning (stationsforsinkelser, Ku-bånds-ionosfære, transponder, Sagnac) løst ud fra angivne forsinkelser, et usikkerhedsbudget i kvadratur med den simulerede forbindelses TDEV som type A-led, en simuleret forbindelse med flicker-fasestøj og døgnvariabel ikke-reciprocitet, og stabiliteten af enhver leveret reel UTC-UTC(k)- eller stationsurserie; ikke sammenlignet med en reel TWSTFT-forbindelse (resultat label)
• MODELLED. (typekatalog (kshana kinds --json))
• Tovejs tids- og frekvensoverførsel via satellit (TWSTFT) mellem to ILLUSTRATIVE stationer, én i Centraleuropa og én i det østlige Nordamerika, gennem et geostationært relæ ved 10 deg W. Kørslen løser tovejsligningen for T_A - T_B ud fra de angivne led for udstyr, transponder, ionosfære (Ku-bånd, 14/11 GHz) og Sagnac. Den danner et usikkerhedsbudget, hvis statistiske led er TDEV ved én dag af en simule (kommentar i scenariefilen, linje 1 til 8)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• TWSTFT-tovejsligning, usikkerhedsbudget og forbindelsesstabilitet med flicker og døgnvariabel ikke-reciprocitet er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

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