time-transfer-budget (scenariosoort)

Scenariokind van de engine v0.40.0, familie Klokken, tijdsynchronisatie en holdover. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Tweewegs-tijd- en frequentieoverdracht via satelliet tussen twee stations via een geostationair relais: de tweewegsvergelijking opgelost voor T_A - T_B met elke niet-reciproke term (apparatuurvertragingen van de stations, Ku-band-ionosfeer, transponder, Sagnac), een kwadratisch onzekerheidsbudget waarvan de type-A-term de TDEV van de gesimuleerde verbinding bij de middelingstijd is, een gesimuleerde verbinding met witte en flicker-faseruis en een dagelijkse niet-reciprociteit, en de stabiliteit (snelheid, residu-RMS, TDEV, ADEV) van elke aangeleverde reeks uit BIPM Circular T Section 1, MJD,ns-CSV of IGS RINEX-stationsklokgegevens. MODELLED.

Eén run van scenarios/time-transfer-budget.toml vat samen als: time-transfer-budget: europe - north-america offset 12,500 ns (Sagnac 204,365 ns, ionosfeer 0,0213 ns); gecombineerde u 1,087 ns (type A 0,031 ns bij 86400 s); 0 echte reeks (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

• Verplichte velden: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Optionele velden: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

Het voorbeeld scenarios/time-transfer-budget.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/time-transfer-budget.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaatlabel (van de engine): MODELLED — TWSTFT-tweewegsvergelijking (stationsvertragingen, Ku-band-ionosfeer, transponder, Sagnac) opgelost uit opgegeven vertragingen, een kwadratisch onzekerheidsbudget met de TDEV van de gesimuleerde verbinding als type-A-term, een gesimuleerde verbinding met flicker-faseruis en dagelijkse niet-reciprociteit, en de stabiliteit van elke r

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• MODELLED De TWSTFT-tweewegsvergelijking opgelost voor T_A - T_B met zend- en ontvangstvertragingen van de stations, de up/down-asymmetrie van de Ku-band-ionosfeer, het verschil in transpondervertraging en de Sagnac-termen, tegen het exacte voorwaartse model; een kwadratisch onzekerheidsbudget

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• MODELLED De TWSTFT-tweewegsvergelijking opgelost voor T_A - T_B met zend- en ontvangstvertragingen van de stations, de up/down-asymmetrie van de Ku-band-ionosfeer, het verschil in transpondervertraging. Onafhankelijke referentie (InternalConsistency): Interne consistentie: het voorwaartse model en de opgeloste vergelijking komen overeen tot 1e-15 s, de Sagnac-term is gelijk aan de onafhankelijke BIPM-2A-omega/c^2-lusvorm van de module, de ionosfeerterm is 40,3 TEC (1/f_up^2 - 1/f_down^2)/c, en de ruisprocessen vertonen hun verwachte TDEV-vormen. WAT NIET: er is geen echte TWSTFT-meting of kalibratierapport vergeleken; de opgegeven vertragingen en onzekerheden zijn invoer, niet gemeten; t

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MODELLED — TWSTFT-tweewegsvergelijking (stationsvertragingen, Ku-band-ionosfeer, transponder, Sagnac) opgelost uit opgegeven vertragingen, een kwadratisch onzekerheidsbudget met de TDEV van de gesimuleerde verbinding als type-A-term, een gesimuleerde verbinding met flicker-faseruis en dagelijkse niet-reciprociteit, en de stabiliteit van elke aangeleverde echte UTC-UTC(k)- of stationsklokreeks; niet vergeleken met een echte TWSTFT-verbinding (resultaat label)
• MODELLED. (kindcatalogus (kshana kinds --json))
• Tweewegs-tijd- en frequentieoverdracht via satelliet (TWSTFT) tussen twee ILLUSTRATIVE stations, een in Midden-Europa en een in het oosten van Noord-Amerika, via een geostationair relais op 10 deg W. De run lost de tweewegsvergelijking op voor T_A - T_B uit de opgegeven apparatuur-, transponder-, ionosfeer- (Ku-band, 14/11 GHz) en Sagnac-termen. Hij vormt een onzekerheidsbudget waarvan de statistische term de TDEV is, bij één dag, van een simula (opmerking in het scenariobestand, regels 1 tot 8)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• TWSTFT-tweewegsvergelijking, onzekerheidsbudget en verbindingsstabiliteit met flicker en dagelijkse niet-reciprociteit is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd tegen de eigen gesloten-vorm- of analytische identiteit — vangt transcriptie- en coëfficiëntfouten op, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Klokken, tijdsynchronisatie en holdover
• Alle kinds: KINDS.md