lunar-station-coverage (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunarer Raum. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Modellierte Abdeckung einer lunaren Referenzstation: ein Monte-Carlo-Durchlauf des Modells für lunares differentielles PNT über ein Nutzergitter am Südpol und einen Tag an Epochen. Eine differentielle Referenzstation an einem bekannten Standort am Südpol korrigiert eine angegebene Konstellation (illustrativ keplersch oder eine tabellierte Ephemeride) mit einem angegebenen Signal-in-Space-Fehler, Vermessungsfehler, einer Korrekturlatenz und Quantisierung der Verbindung; je Punkt und über die Region gibt es den Perzentilwert des korrigierten und des unkorrigierten Positionsfehlers (3D, horizontal, vertikal), die Verfügbarkeit, die Abdeckung gegen eine angegebene Schwelle, Schutzniveaus nach DO-229E, den Abdeckungsradius je Azimut und das Link-Budget der Korrekturstrecke an der Station und am ungünstigsten Punkt an. Keine Aussage über die Leistung irgendeines realen Systems; nicht mit einer Agentur verbunden oder von ihr gebilligt. MODELLED.

Ein Lauf von scenarios/lunar-station-coverage.toml fasst sich so zusammen: lunar-station-coverage | 346 points x 144 epochs x 200 trials | availability 92,2 % | coverage 76,5 % (p95 <= 20 m) | corrected p95 3-D 15,592 m (uncorrected 1056,892 m) | HPL max 480,385 m | MODELLED; not a statement about any real system

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

Das Beispiel scenarios/lunar-station-coverage.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-station-coverage.toml

3 mitgelieferte Szenarien verwenden diesen Typ; die übrigen stehen in scenarios/.

Was es liefert#

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

Ergebnisbezeichnung (der Engine): MODELLED

Nachweise#

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

• MODELLED Monte-Carlo-Durchlauf des Modells für lunares differentielles PNT über ein Nutzergitter am Südpol und einen Tag an Epochen (die Szenarioart lunar-station-coverage): für eine differentielle Referenzstation an einem bekannten Standort am Südpol, je Punkt und über die Region, die Tests: lunar_station_coverage_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 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 Differentielle Referenzstation der Klasse NovaMoon: Aufhebung des Gleichtakts + mit der Basislinie wachsender Restfehler + DGNSS-Schutzniveaus. Orakel (InternalConsistency): Identität der differentiellen Fehleraufhebung + Wiederverwendung der PL-Maschinerie von SBAS nach DO-229E; die Einfachdifferenz + WLS-Lösung wird zusätzlich gegen lsq()/matinv() von RTKLIB gegengeprüft (Takasu, BSD-2-Clause, kompiliertes C) — unabhängiger Löser-Code, aber dieselbe Algebra der Sichtliniendifferenz erster Ordnung, daher weiterhin InternalConsistency
• MODELLED Die drei Terme, die eine differentielle Korrektur zwischen der Epoche, in der sie berechnet wird, und der Epoche, in der sie verwendet wird, aufnimmt, jeder zuvor als nicht modellierter Spielraum belassen:. Orakel (InternalConsistency): Identitäten in geschlossener Form und Selbstkonsistenz: die Varianz step²/12 des gleichförmigen Quantisierers, die exakte Kovarianzfortpflanzung (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹, die für gleiche σ auf σ·PDOP zusammenfällt, die 1:1-Übertragung des Vermessungsterms als Folge von û_user ≈ û_ref und der Abschluss der Quadratur beim Abschalten. Die PDOP-Gegenprüfung gegen orbit::dop teilt sich die Normalmatrix [−û, 1], ist also eine Konsistenzprüfung und wird als solche bezeichnet, statt als
• MODELLED Monte-Carlo-Durchlauf des Modells für lunares differentielles PNT über ein Nutzergitter am Südpol und einen Tag an Epochen (die Szenarioart lunar-station-coverage): für eine differentielle R. Orakel (InternalConsistency): Arithmetik, von einem unabhängigen numpy-Skript an exportierten Fällen neu berechnet (scripts/gen_lunar_station_ref.py, numpy 2.5.4; vorab registriert in tests/fixtures/lunar_station/PREREGISTRATION.md, allein eingecheckt in 9caedf97 vor dem ersten Lauf): bei 20 Fällen mit allen eingeschalteten Fehlertermen sind die sichtbaren Mengen und der Status identisch, die rohen Entfernungsfehler stimmen auf 1.4e-14 m überein, die Positionsfehlervektoren und -beträge auf 1.4e-9 m gegen

Einschränkungen#

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

• MODELLED (Ergebnis label)
• MODELLED. (Artenkatalog (kshana kinds --json))
• EHRLICHKEIT: MODELLED. Unter den unten angegebenen Annahmen liefert das Modell diese Zahlen. Keine Aussage über die Leistung irgendeines realen Systems; nicht mit einer Agentur verbunden oder von ihr gebilligt; kein Anspruch auf TRL oder Flugerbe. Weggelassen: Gelände- und Horizontabschattung am Pol (die erste Einschränkung), Mehrwegeausbreitung, Empfängerhardware. (Kommentar in der Szenariodatei, Zeilen 15 bis 18)
• 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))
• Das lunare differentielle PNT ist MODELLED, nicht validiert: Es wird gegen seine eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Das lunare differentielle PNT — Restfehlerbudget der Korrekturstrecke ist MODELLED, nicht validiert: Es wird gegen seine eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Die Abdeckungs- und Genauigkeitskarte der lunaren Referenzstation ist MODELLED, nicht validiert: Sie wird gegen ihre eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Mond und cislunarer Raum
• Alle Arten: KINDS.md
• Themenseite: LUNAR-REFERENCE-STATION.md