body-pnt (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Konstellationen, Abdeckung und Geometrie. 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#

Positionierung um einen beliebigen Körper des Sonnensystems: ein Orbiter oder ein Lander auf der Oberfläche um einen namentlich gewählten Zentralkörper (Mars, der Mond, Europa, Ganymed, Titan und der Rest des Katalogs des Sonnensystems), der mit Einweg-Pseudoentfernungen von einer kleinen Walker-Navigationskonstellation um den Körper navigiert (Zweikörperbahnen mit der eigenen säkularen J2-Drift des Körpers, eine unbekannte Nutzeruhr) und optional mit einer uhrenfreien Zweiweg-Entfernungsmessung im Weltraum von der Erde, deren Richtung und Entfernung zu jeder Epoche aus der analytischen Ephemeride des Sonnensystems stammen. Sichtlinien werden von der mittleren Kugel des Körpers blockiert, und ein Nutzer auf der Oberfläche braucht außerdem die Elevationsmaske. Je Epoche: Relais in Sicht, ob die Erde über dem Limb steht, das GDOP und PDOP der reinen Konstellation (geometrische und Positions-Verdünnung der Genauigkeit), die formale Ein-Sigma-Positionsunsicherheit mit und ohne die Erdzeile und der Fehler einer mit Seed erzeugten Gauß-Newton-Kleinste-Quadrate-Lösung in beiden Fällen; über den Lauf: Verfügbarkeit, Erdsichtbarkeit, medianes PDOP, RMS-Fehler und medianes formales Sigma, dazu Lichtlaufzeit von der Erde zum Körper, Hin- und Rückweg, Shapiro-Verzögerung und Sonnenabstand zur Epoche. MODELLED: Die Relaisbahnen, die Rauschpegel und das momentane Messmodell sind Modellierungsentscheidungen, nicht gegen Navigationsdaten einer Mission validiert; die Körperkonstanten sind die in body.rs genannten veröffentlichten Werte, und die Erdgeometrie erbt die Bezeichnungen der Ephemeride des Sonnensystems.

Ein Lauf von scenarios/mars-orbit-pnt.toml fasst sich so zusammen: Positioning around Mars — orbiter user, 12 relays at 10000 km, 296 epochs Earth light time 338,3 s one-way, 676,6 s round trip; Sun-Earth-body angle 175,4 deg availability: 1,000 constellation only, 1,000 with the Earth range (Earth in view 0,811) median PDOP 1,375 ; RMS error 1,883 m constellation only, 1,629 m with the Earth range median formal sigma 1,375 m constellation only, 1,304 m with the Earth range

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

Das Beispiel scenarios/mars-orbit-pnt.toml setzt unter anderem:

Ausführen#

kshana scenarios/mars-orbit-pnt.toml

2 mitgelieferte Szenarien verwenden diese Art; die anderen sind in scenarios/.

Was es liefert#

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

Ergebnisbezeichnung (die der Engine): MODELLED: Zweikörper-Relaisbahnen mit säkularer J2-Drift, geometrische Sichtbarkeit, gaußsches Entfernungsrauschen und ein momentanes Messmodell um einen Körper aus den veröffentlichten Konstanten; nicht gegen Navigationsdaten einer Mission validiert. Die Geometrie von der Erde zum Körper erbt die Bezeichnung der Ephemeride des Sonnensystems

Nachweise#

MODELLED 1 · VALIDATED 1: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• VALIDATED Die newtonsche Einweg-Lichtlaufzeit von einem beliebigen Körper zu einem beliebigen anderen, empfangen zu einer Epoche, gelöst vom radiometrischen Fixpunkt-Lichtlaufzeitlöser (radiometric::light_time_solution, Sender an seiner retardierten Position) über solar_system::link_o Tests: solar_system_light_time_preregistered.rs.
• MODELLED Die Art body-pnt: Ein Orbiter oder ein Lander auf der Oberfläche um einen namentlich gewählten Körper navigiert mit Einweg-Pseudoentfernungen von einer Walker-Navigationskonstellation um den Körper (Zweikörperbahnen mit der säkularen J2-Drift des Körpers, eine unbekannte Nutzeruhr

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 Die Art body-pnt: Ein Orbiter oder ein Lander auf der Oberfläche um einen namentlich gewählten Körper navigiert mit Einweg-Pseudoentfernungen von einer Walker-Navigationskonstellation um. Unabhängige Referenz (InternalConsistency): Geschlossene Formen und Selbstkonsistenz: das dritte Keplersche Gesetz für die Relaisperiode, der über den Lauf gehaltene Bahnradius und Oberflächenradius, die Tatsache, dass eine zusätzliche Messung die formale Unsicherheit nie erhöht, und die mit Seed erzeugten Fehler, die mit der Kovarianz übereinstimmen. Die Relaisbahnen ignorieren Drittkörper (der Zug Jupiters an Relais um Europa wird nicht modelliert), das Rauschen ist gaußsch auf den genannten Pegeln, und das Messmodell ist momen

Einschränkungen#

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

• MODELLED: Zweikörper-Relaisbahnen mit säkularer J2-Drift, geometrische Sichtbarkeit, gaußsches Entfernungsrauschen und ein momentanes Messmodell um einen Körper aus den veröffentlichten Konstanten; nicht gegen Navigationsdaten einer Mission validiert. Die Geometrie von der Erde zum Körper erbt die Bezeichnungen der Ephemeride des Sonnensystems. (Ergebnis label)
• MODELLED: Die Relaisbahnen, die Rauschpegel und das momentane Messmodell sind Modellierungsentscheidungen, nicht gegen Navigationsdaten einer Mission validiert; die Körperkonstanten sind die in body.rs genannten veröffentlichten Werte, und die Erdgeometrie erbt die Bezeichnungen der Ephemeride des Sonnensystems. (Artenkatalog (kshana kinds --json))
• MODELLED. Die Relaisbahnen, das Entfernungsrauschen von 1 m und das momentane Messmodell sind Modellierungsentscheidungen; nichts hiervon ist gegen Navigationsdaten einer Mission validiert. Die Mars-Konstanten sind die in src/body.rs genannten veröffentlichten Werte. (Kommentar der Szenariodatei, Zeilen 20 bis 22)
• 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))
• Positionierung um einen beliebigen Körper des Sonnensystems mit einer lokalen Konstellation und einer Weltraumverbindung von der Erde ist 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: Konstellationen, Abdeckung und Geometrie
• Alle Arten: KINDS.md
• Themenseite: SOLAR-SYSTEM.md
• Themenseite: CONSTELLATION-DESIGN.md