Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/moonlight-service-volume.md

moonlight-service-volume (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 Analyse des lunaren Navigations-Service-Volumens aus einer ILLUSTRATIVE Mondorbit-Konstellation der Moonlight/LCNS-Klasse aus öffentlichen Quellen (nicht mit der ESA verbunden): Sie überstreicht ein selenographisches Breiten-/Längengitter über einen Zeithorizont und gibt DOP / Abdeckung / Verfügbarkeit (≥4 Satelliten UND PDOP < Schwellwert) sowie eine verallgemeinerte lunare ARAIM-Schutzniveau-Hüllkurve (HPL/VPL) über das Volumen aus. Die DOP-Geometrie VERWENDET den gnss_lib_py-VALIDATED-Kern (crate::orbit::dop) wieder; das Schutzniveau VERWENDET die lunare ARAIM-Maschinerie LunaNet LNIS (crate::lunar, σ_URE≈30 m) wieder und reduziert sich als Sonderfall auf das bestehende Südpol-Schutzniveau. Zusammensetzung der Stufe MODELLED: ein kreisförmiger/elliptischer Kepler-Relaissatz (nicht die reale differenzialkorrigierte LCNS/NRHO-Ephemeride), ein Mond mit mittlerer Rotation (keine Libration/kein präzedierender Pol). Deterministisch (reine Geometrie). Kein TRL, keine Flugerfahrung, keine Billigung durch eine Agentur.

Ein Lauf von scenarios/moonlight-service-volume.toml fasst sich zusammen als: moonlight-service-volume | 8 Satelliten (illustrativ, LCNS-Klasse, nicht verbunden) | 24 Punkte × 12 Epochen | Abdeckung 37,8% (PDOP<6,0) | Satelliten 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | PL-Verfügbarkeit 0,0% | MODELLED

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

Das Beispiel scenarios/moonlight-service-volume.toml setzt unter anderem:

Feld Wert Einheit
alert_limit_m 50 m
argp_deg 90 deg
eccentricity 0.6 nicht angegeben
elev_mask_deg 5 deg
horizon_hours 12 h
inc_deg 57.7 deg
kind moonlight-service-volume Text
lat_max_deg -60 deg
lat_min_deg -90 deg
lat_step_deg 10 deg
lon_max_deg 180 deg
lon_min_deg -180 deg

Ausführen#

kshana scenarios/moonlight-service-volume.toml

Was es liefert#

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

Ergebnis Wert Einheit
alert_limit_m 50 m
coverage_pct 37.847222 %
elev_mask_deg 5 deg
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
hpl_max_m 4176.665443 m
hpl_min_m 138.725726 m
max_sats 7 Anzahl
min_sats 4 Anzahl
Das Diagramm, das die Engine für scenarios/moonlight-service-volume.toml schreibt, Art moonlight-service-volume

Nachweise#

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

  • MODELLED Die Art und Phase lunar-surface: Relaisverfügbarkeit und PDOP, Erd- und Sonnensichtbarkeit und eine geführte Oberflächenuhr für jeden Standort und jede Jahreszeit, mit dem Geländehorizont von moonlight-service-volume; ein Lauf an einem einzelnen Standort ist gleich dem dieser Art

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
  • VALIDATED DOP / Abdeckung / Verfügbarkeit im Mond-Stil der Moonlight-Klasse + verallgemeinerte lunare ARAIM-Schutzniveaus über ein Service-Volumen. Unabhängige Referenz (ExternalDataset): Unabhängige Drittanbieter-Autorität ANISE 0.10.2 astro::Orbit-Kepler-Propagator (Nyx Space, MPL-2.0) — ein äquinoktialer Zweikörper-Codepfad, verschieden vom Newton-Raphson-Kepler von kshana; die MCI-Position pro Satellit stimmt auf <1e-3 m überein, und die abgeleitete Anzahl/Menge sichtbarer Satelliten stimmt an jedem Gitterpunkt exakt überein. Der DOP-Kernel ist durch gnss_lib_py validiert; die Integrität verwendet veröffentlichte LunaNet/LCNS-Parameter
  • VALIDATED Topozentrische Blickwinkel pro Satellit (Azimut im Uhrzeigersinn von Nord, Elevation) und Schrägentfernung an einem benannten selenographischen Standort, gegeben der Satellit im des Standorts. Unabhängige Referenz (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, als Werkzeug aus xval/anise-service-geometry ausgeführt, Binärdatei lunar-look-angles-xval, die keinen Kshana-Code aufruft): die eigene Azimut-, Elevations- und Entfernungsroutine von ANISE (azimuth_elevation_range_sez) von Standorten, die mit seinem Breiten-Längen-Höhen-Konstruktor auf dem pck00011-Mond (Kugel 1737,4 km) gebaut wurden, wobei die Satelliten über moon_pa_de440_200625.bpc in MOON_PA_DE440 gedreht wurden. 768 Samples o

Einschränkungen#

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

  • Zusammensetzung der Stufe MODELLED: ein kreisförmiger/elliptischer Kepler-Relaissatz (nicht die reale differenzialkorrigierte LCNS/NRHO-Ephemeride), ein Mond mit mittlerer Rotation (keine Libration/kein präzedierender Pol). (Szenarioarten-Katalog (kshana kinds --json))
  • EHRLICHKEIT: Zusammensetzung der Stufe MODELLED. Die DOP-Geometrie ist validiert DURCH WIEDERVERWENDUNG des validierten Kernels; die Zusammensetzung aus Abdeckung / Verfügbarkeit / Integrität ist MODELLED — ein kreisförmiger/ elliptischer Kepler-Relaissatz (keine differenzialkorrigierte LCNS- / 9:2-NRHO-Ephemeride), ein Mond mit mittlerer Rotation (keine physische Libration / kein präzedierender Pol) und veröffentlichte LunaNet-LNIS-Integritätsparameter. Dies zeigt das lunare Service-Volumen M (Kommentar der Szenariodatei, Zeilen 27 bis 32)
  • 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))

Siehe auch#