slot-timing (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#

Slottidssynkronisering: sekunder tills en fritt gående klocka lämnar skyddsintervallet för en tidsindexerad routing- eller uppgiftsslot (det största absoluta tidsfel som slotten tål), bidraget från varje term vid den tidpunkten med den dominerande namngiven (osäkerhet i positionsbestämningen, vitt fasbrus, vitt, flicker-, random-walk- och random-run-frekvensbrus, kvarstående frekvensoffset, temperatur, åldring), tiden kvar sedan den senaste positionsbestämningen och det största intervall mellan positionsbestämningar som håller klockan inom, netto efter latensen för positionsbestämningen. Oscillatorn är ett KLASSstandardvärde (csac, uso, dsac, tcxo, ocxo eller rafs: en citerad Allan-avvikelse för en sekund och ett antaget golv av rött brus), en DATABLADSFÖRINSTÄLLNING för telekomtidssynkronisering eller ett inline-DATABLAD (maxvärden för Allan-avvikelse anpassade som ett envelopp, plus åldring och en temperaturkoefficient), eller en inline MEASURED FASREGISTRERING (dess överlappande Allan-avvikelse anpassad med viktad minsta kvadrat-metod i basen för vitt fasbrus och frekvensmodulation enligt IEEE Std 1139, så att golvet av rött brus är uppmätt i stället för antaget). Ett brott bortom den längsta medelvärdestid som databladet eller registreringen stöder markeras som extrapolerat. Ett valfritt avsnitt spoofing lägger till skyddsnivån för tidssynkronisering för en mottagare i omloppsbana: banhastighet och omloppstid, hur länge en enda markspoofer kan nå satelliten per passage, golvet för den klockstödda övervakaren och CUSUM-detektionslatensen, den villkorliga gränsen, det drag som en spoofer vid en angiven maximal rampfrekvens ackumulerar innan satelliten lämnar dess räckvidd eller en oberoende kontroll körs, och huruvida varje markkontakts- eller korslänkskontroll är oberoende av den spoofern. VALIDATED: holdover-inversionen från en anpassad registrering, undanhållen på en verklig cesiumklocka uppmätt mot en vätemaser (tests/slot_timing_cs5071a_holdout.rs, datastyrd); på en uppmätt kristalloscillator är den undanhållna prediktionen konservativ men ligger inte inom tröskeln, så kristallfallet är MODELLED. MODELLED: klass- och databladskällor, de deterministiska termerna och spoofing-bedömningen.

En körning av scenarios/slot-timing-ocxo-leo.toml sammanfattas som: slot-timing (datasheet source): guard 100,0 ns at k=3 breaks 650,8 s after a fix (50,8 s left); fix at least every 645,8 s (133,80 per day); dominant term: random-walk frequency noise

Indata#

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

• Obligatoriska fält: oscillator, slot
• Valfria fält: spoofing

Exemplet scenarios/slot-timing-ocxo-leo.toml anger bland annat:

Kör den#

kshana scenarios/slot-timing-ocxo-leo.toml

Vad den ger#

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

Resultatetikett (motorns egen): MODELLED — tid tills en fritt gående klocka lämnar skyddsintervallet för en routingslot, och den takt för positionsbestämningar som håller den inom, från en stationär potenslagsmodell för klockan. En databladskälla är ett envelopp av dess maxvärden, inte en mätning av någon enhet; en klasskälla vilar på ett antaget golv av rött brus.

Evidens#

MODELLED 2 · VALIDATED 1: raderna i verifieringsmatrisen som nämner den här typen.

• VALIDATED Vägen med uppmätt registrering för typen slot-timing: den överlappande Allan-avvikelsen för en fasregistrering anpassad med edf-viktad icke-negativ minsta kvadrat-metod i basen för vitt fasbrus och frekvensmodulation enligt IEEE Std 1139 (slot_timing::fit_weighted), Tester: slot_timing_cs5071a_holdout.rs.
• MODELLED Typen slot-timing: det predicerade felet E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² inverterat för brottet, tiden kvar, resynkroniseringsintervallet netto efter latensen för positionsbestämningen och positionsbestämningar per dygn, varje term specificerad med Tester: slot_timing_igs_holdout.rs.
• MODELLED orbital_timing::orbital_timing, nåbar som avsnittet spoofing i typen slot-timing: cirkulär banhastighet och omloppstid, den längsta tid en markspoofer kan nå satelliten per passage, golvet för den klockstödda övervakaren och CUSUM-detektions-l

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 Typen slot-timing: det predicerade felet E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² inverterat för brottet, tiden kvar, resynkroniseringen. Oberoende referens (InternalConsistency): Slutna former för varje term för sig och den oberoende rotfinnaren holdover::holdover_seconds; databladssiffrorna är de namngivna dokumenten (docs/SLOT-TIMING.md). Ett klassstandardvärde vilar på ett antaget golv av rött brus och en databladskälla är ett envelopp av maxvärden, så ingen av dem är en mätning av någon enhet
• MODELLED orbital_timing::orbital_timing, nåbar som avsnittet spoofing i typen slot-timing: cirkulär banhastighet och omloppstid, den längsta tid en markspoofer kan nå satelliten per passage, golvet för den klockstödda övervakaren och CUSUM-detektions-l. Oberoende referens (InternalConsistency): Reduktion till den befintliga skyddsnivån för tidssynkronisering och de slutna formerna för sikt i cirkulär bana och sfärisk jord. Villkorad av detektion, en jordbunden spoofer vid en angiven rampfrekvens, en passage rakt ovanför på en icke-roterande jord; inte validerad på en spoofad mottagare i omloppsbana

Begränsningar#

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

• frekvenshopp, strålningseffekter och relativistiska frekvensoffsets (resultat not_modelled[0])
• en termisk modell: temperaturavvikelsen tillämpas som ett steg vid positionsbestämningen (resultat not_modelled[1])
• själva synkroniseringsprotokollet: en positionsbestämning återställer felet till fix_sigma_ns (resultat not_modelled[2])
• mot vilket vandringsmått en routingslot bör godtas; se docs/SLOT-TIMING.md (resultat not_modelled[3])
• MODELLED — tid tills en fritt gående klocka lämnar skyddsintervallet för en routingslot, och den takt för positionsbestämningar som håller den inom, från en stationär potenslagsmodell för klockan. En databladskälla är ett envelopp av dess maxvärden, inte en mätning av någon enhet; en klasskälla vilar på ett antaget golv av rött brus. (resultat label)
• Oscillatorn är ett KLASSstandardvärde (csac, uso, dsac, tcxo, ocxo eller rafs: en citerad Allan-avvikelse för en sekund och ett antaget golv av rött brus), en DATABLADSFÖRINSTÄLLNING för telekomtidssynkronisering eller ett inline-DATABLAD (maxvärden för Allan-avvikelse anpassade som ett envelopp, plus åldring och en temperaturkoefficient), eller en inline MEASURED FASREGISTRERING (dess överlappande Allan-avvikelse anpassad med viktad minsta kvadrat-metod i basen för vitt fasbrus och IEEE S (typkatalog (kshana kinds --json))
• VALIDATED: holdover-inversionen från en anpassad registrering, undanhållen på en verklig cesiumklocka uppmätt mot en vätemaser (tests/slot_timing_cs5071a_holdout.rs, datastyrd); på en uppmätt kristalloscillator är den undanhållna prediktionen konservativ men ligger inte inom tröskeln, så kristallfallet är MODELLED. (typkatalog (kshana kinds --json))
• MODELLED: klass- och databladskällor, de deterministiska termerna och spoofing-bedömningen. (typkatalog (kshana kinds --json))

Se även#

• Familjesida: Klockor, tidssynkronisering och holdover
• Alla typer: KINDS.md
• Ämnessida: LEO-PNT.md
• Ämnessida: DECEIVED-TIME.md