slot-timing (Szenariotyp)

Szenariotyp der Engine v0.40.0, Familie Uhren, Zeitgebung und Holdover. Nur beratend: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine typzugelassene Navigationsausrüstung und kein Safety-of-Life-Dienst. Jede Kennzeichnung hier stammt von der Engine oder von der Verifikationsmatrix; ein Typ ist MODELLED, sofern die Matrix nichts anderes angibt (wie eine Kennzeichnung erworben wird: Abschnitt „Evidence“ der README).

Was es tut#

Slot-Zeitgebung: Sekunden, bis eine freilaufende Uhr den Schutzbereich (Guard) eines zeitindizierten Routing- oder Tasking-Slots verlässt (der größte absolute Zeitfehler, den der Slot toleriert), der Beitrag jedes Terms zu diesem Zeitpunkt mit Benennung des dominanten (Unsicherheit der Synchronisation, weißes Phasenrauschen, weißes Frequenzrauschen, Flicker-Frequenzrauschen, Random-Walk- und Random-Run-Frequenzrauschen, verbleibender Frequenzoffset, Temperatur, Alterung), die seit der letzten Synchronisation verbleibende Zeit und das größte Synchronisationsintervall, das die Uhr innerhalb des Schutzbereichs hält, abzüglich der Latenz der Synchronisation. Der Oszillator ist ein KLASSEN-Standard (csac, uso, dsac, tcxo, ocxo oder rafs: eine zitierte Allan-Abweichung bei einer Sekunde und eine angenommene Rotrauschgrenze), ein DATENBLATT-PRESET der Telekom-Zeitgebung oder ein Inline-DATENBLATT (Maxima der Allan-Abweichung als Hüllkurve angepasst, dazu Alterung und ein Temperaturkoeffizient) oder eine Inline-MEASURED PHASENAUFZEICHNUNG (ihre überlappende Allan-Abweichung, per gewichteter Methode der kleinsten Quadrate in der Basis aus weißer Phase und Frequenzmodulation nach IEEE Std 1139 angepasst, sodass die Rotrauschgrenze gemessen statt angenommen ist). Eine Verletzung jenseits der längsten Mittelungszeit, die das Datenblatt oder die Aufzeichnung stützt, wird als extrapoliert gekennzeichnet. Ein optionaler Abschnitt zu Spoofing ergänzt das Schutzniveau der Zeitgebung für einen Empfänger im Orbit: Bahngeschwindigkeit und Umlaufzeit, wie lange ein einzelner Spoofer am Boden den Satelliten pro Überflug erreichen kann, die uhrgestützte Monitoruntergrenze und die CUSUM-Erkennungslatenz, die bedingte Schranke, den Zug, den ein Spoofer mit einer angegebenen maximalen Rampenrate ansammelt, bevor der Satellit seine Reichweite verlässt oder eine unabhängige Prüfung läuft, sowie ob jede Prüfung bei Bodenkontakt oder über Crosslink von diesem Spoofer unabhängig ist. VALIDATED: die Holdover-Inversion aus einer angepassten Aufzeichnung, zurückgehalten an einer realen Cäsiumuhr, gemessen gegen einen Wasserstoff-Maser (tests/slot_timing_cs5071a_holdout.rs, datenabhängig freigeschaltet); bei einem gemessenen Quarzoszillator ist die zurückgehaltene Vorhersage konservativ, liegt aber nicht innerhalb des Zielwerts, daher ist der Quarzfall MODELLED. MODELLED: Klassen- und Datenblattquellen, die deterministischen Terme und die Spoofing-Bewertung.

Ein Lauf von scenarios/slot-timing-ocxo-leo.toml fasst sich so zusammen: slot-timing (Datenblattquelle): Guard 100,0 ns bei k=3 wird 650,8 s nach einer Synchronisation verletzt (50,8 s verbleibend); Synchronisation mindestens alle 645,8 s (133,80 pro Tag); dominanter Term: Random-Walk-Frequenzrauschen

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: oscillator, slot
• Optionale Felder: spoofing

Das Beispiel scenarios/slot-timing-ocxo-leo.toml setzt unter anderem:

Ausführen#

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

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnisbezeichnung (die der Engine): MODELLED — Zeit, bis eine freilaufende Uhr den Guard eines Routing-Slots verlässt, und die Synchronisationskadenz, die sie innerhalb hält, aus einem stationären Potenzgesetz-Uhrenmodell. Eine Datenblattquelle ist eine Hüllkurve ihrer Maxima, keine Messung irgendeiner Einheit; eine Klassenquelle beruht auf einer angenommenen Rotrauschgrenze.

Nachweise#

MODELLED 2 · VALIDATED 1: die Zeilen der Verifikationsmatrix, die diesen Typ nennen.

• VALIDATED Der Pfad des Typs slot-timing für gemessene Aufzeichnungen: die überlappende Allan-Abweichung einer Phasenaufzeichnung, per edf-gewichteter nichtnegativer Methode der kleinsten Quadrate in der Basis aus weißer Phase und Frequenzmodulation nach IEEE Std 1139 angepasst (slot_timing::fit_weighted), Tests: slot_timing_cs5071a_holdout.rs.
• MODELLED Der Typ slot-timing: der vorhergesagte Fehler E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² invertiert für die Verletzung, die verbleibende Zeit, das Resynchronisationsintervall abzüglich der Latenz der Synchronisation und die Synchronisationen pro Tag, jeder Term einzeln aufgeführt mit th Tests: slot_timing_igs_holdout.rs.
• MODELLED orbital_timing::orbital_timing, erreichbar als Spoofing-Abschnitt des Typs slot-timing: Geschwindigkeit und Umlaufzeit auf Kreisbahn, die längste Zeit, die ein Spoofer am Boden den Satelliten pro Überflug erreichen kann, die uhrgestützte Monitoruntergrenze und die CUSUM-Erkennungsl

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• MODELLED Der Typ slot-timing: der vorhergesagte Fehler E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² invertiert für die Verletzung, die verbleibende Zeit, die Resynchronisat. Referenz (InternalConsistency): Geschlossene Formen für jeden Term einzeln und die unabhängige Nullstellensuche holdover::holdover_seconds; die Datenblattwerte sind die benannten Dokumente (docs/SLOT-TIMING.md). Ein Klassenstandard beruht auf einer angenommenen Rotrauschgrenze und eine Datenblattquelle ist eine Hüllkurve von Maxima, daher ist keines von beiden eine Messung irgendeiner Einheit
• MODELLED orbital_timing::orbital_timing, erreichbar als Spoofing-Abschnitt des Typs slot-timing: Geschwindigkeit und Umlaufzeit auf Kreisbahn, die längste Zeit, die ein Spoofer am Boden den Satelliten pro Überflug erreichen kann, die uhrgestützte Monitoruntergrenze und die CUSUM-Erkennungsl. Referenz (InternalConsistency): Rückführung auf das bestehende Schutzniveau der Zeitgebung und auf die geschlossenen Formen für Kreisbahn und Sichtbarkeit bei kugelförmiger Erde. Bedingt durch die Erkennung, einen terrestrischen Spoofer bei einer angegebenen Rampenrate, einen Überflug im Zenit bei nicht rotierender Erde; nicht validiert an einem gespooften Empfänger im Orbit

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• Frequenzsprünge, Strahlungseffekte und relativistische Frequenzoffsets (Ergebnis not_modelled[0])
• ein thermisches Modell: die Temperaturabweichung wird als Sprung bei der Synchronisation angesetzt (Ergebnis not_modelled[1])
• das Synchronisationsprotokoll selbst: eine Synchronisation setzt den Fehler auf fix_sigma_ns zurück (Ergebnis not_modelled[2])
• an welcher Wander-Metrik ein Routing-Slot akzeptiert werden sollte; siehe docs/SLOT-TIMING.md (Ergebnis not_modelled[3])
• MODELLED — Zeit, bis eine freilaufende Uhr den Guard eines Routing-Slots verlässt, und die Synchronisationskadenz, die sie innerhalb hält, aus einem stationären Potenzgesetz-Uhrenmodell. Eine Datenblattquelle ist eine Hüllkurve ihrer Maxima, keine Messung irgendeiner Einheit; eine Klassenquelle beruht auf einer angenommenen Rotrauschgrenze. (Ergebnis label)
• Der Oszillator ist ein KLASSEN-Standard (csac, uso, dsac, tcxo, ocxo oder rafs: eine zitierte Allan-Abweichung bei einer Sekunde und eine angenommene Rotrauschgrenze), ein DATENBLATT-PRESET der Telekom-Zeitgebung oder ein Inline-DATENBLATT (Maxima der Allan-Abweichung als Hüllkurve angepasst, dazu Alterung und ein Temperaturkoeffizient) oder eine Inline-MEASURED PHASENAUFZEICHNUNG (ihre überlappende Allan-Abweichung, per gewichteter Methode der kleinsten Quadrate in der Basis aus weißer Phase und IEEE S (Typkatalog (kshana kinds --json))
• VALIDATED: die Holdover-Inversion aus einer angepassten Aufzeichnung, zurückgehalten an einer realen Cäsiumuhr, gemessen gegen einen Wasserstoff-Maser (tests/slot_timing_cs5071a_holdout.rs, datenabhängig freigeschaltet); bei einem gemessenen Quarzoszillator ist die zurückgehaltene Vorhersage konservativ, liegt aber nicht innerhalb des Zielwerts, daher ist der Quarzfall MODELLED. (Typkatalog (kshana kinds --json))
• MODELLED: Klassen- und Datenblattquellen, die deterministischen Terme und die Spoofing-Bewertung. (Typkatalog (kshana kinds --json))

Siehe auch#

• Familienseite: Uhren, Zeitgebung und Holdover
• Alle Arten: KINDS.md
• Themenseite: LEO-PNT.md
• Themenseite: DECEIVED-TIME.md