sweep (Szenarioart)

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#

1-D-Trade-Study-Sweep über einen Uhrenpaket-Parameter.

Ein Lauf von scenarios/sweep-clock-stability.toml fasst sich zusammen als: Sweep holdover_s über classical_q_wf (1.00e-24..1.00e-18, 25 Punkte, logarithmische Skala) | Quanten 6600.000->6600,000 | klassisch 2610.000->250,000

Eingaben#

Aus dem Schema (kshana kinds --json):

• Erforderliche Felder: parameter, metric, start, stop, steps, base
• Optionale Felder: scale

Das Beispiel scenarios/sweep-clock-stability.toml setzt unter anderem:

Ausführen#

kshana scenarios/sweep-clock-stability.toml

Was es liefert#

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

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• MODELLED Ein Lauf nimmt einen Kontaktplan (eine Liste von aos_s/los_s-Fenstern, die jeweils von der Apertur Navigation oder Kommunikation anfordern — dasselbe Fenstervokabular, das passes::predict_passes ausgibt, umgewandelt von aperture_duty::windows_from_passes), eine Apert
• MODELLED Die Verfügbarkeits-Sweeps der Art gnss-ssv: je Konstellation (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) und kombiniert der Anteil der Paare (Nutzer, Epoche) mit mindestens einem und mindestens vier Signalen und der längste Ausfall, für einen Nutzer auf einer Kugel
• MODELLED Die Phase tli-and-cruise: der Mittelwertzustand durch den Cowell-Propagator der Engine (Erde als Punktmasse und J2, Sonne und Mond als dritte Körper, der Mond aus dem DE440-Kernel des Strangs, wo dieser das Segment abdeckt, und die Sonne aus der analytischen Reih
• MODELLED Die Abschnitte sweep (ein bis drei gepunktete Schlüssel einer beliebigen Szenarioart, auf den Achsenwerten des generischen Sweeps, optional ein Ensemble an jedem Knoten) und monte_carlo der Szenarioart campaign: Realisierung k läuft bei base_seed + k; jede Metrik gibt Mittelwert, Standardab Tests: campaign_composition_reference.rs.

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 Geschlossene Formel für das Wachstum des Auslauffehlers + Holdover bis zum Schwellenwert; Quantenuhr-Klassen. Unabhängige Referenz (ReferenceImpl): Mehrschritt-Kovarianzrekursion von clock_state (Gegenprüfung innerhalb derselben Codebasis); der zugrunde liegende Kern für Auslaufvarianz und Holdover-Inversion ist extern gegen scipy validiert (siehe „Clock-holdover coast-variance & threshold inversion“). Die Holdover-Werte je Klasse mit Rotrauschboden bleiben MODELLED
• 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 Sweep der Art campaign (ein bis drei gepunktete Schlüssel einer beliebigen Art, auf den Achsenwerten des generischen Sweeps, optional ein Ensemble an jedem Knoten) und der Abschnitt monte_carlo. Unabhängige Referenz (InternalConsistency): Die geschlossene Form des Phasen-Random-Walks bei weißem Frequenzrauschen, Varianz q_wf tau (NIST Technical Note 1337), für die Statistikmaschinerie, und Byte-Gleichheit mit den eigenständigen Läufen für das Seeding. Sie prüft die Ensemble-Arithmetik am eigenen Uhrenmodell der Engine, nicht an einem externen Datensatz

Einschränkungen#

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

• GNSS-gesperrter Uhren-Holdover ist MODELLED, nicht validiert: gegen eine separate Implementierung in derselben Codebasis geprüft – unabhängig von der geprüften Einheit, aber extern nicht maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Parameter-Sweeps und Monte-Carlo-Ensembles mit Seed über jede Szenarioart sind MODELLED, nicht validiert: gegen die eigene geschlossene bzw. analytische Identität geprüft — fängt Transkriptions- und Koeffizientenfehler ab, ist aber keine unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

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