Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/lunar-infrastructure.md

lunar-infrastructure (scenariosoort)

Scenariokind van de engine v0.40.0, familie Maan en cislunair. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

MODELLED onderzoeken naar de baan en het oppervlak van de maan als navigatie- en geodetische infrastructuur, vijf onderzoeken achter één soort, gekozen door study: od-consistency (baanbepaling aan boord met Earth-GNSS in een NRHO of ELFO tegenover onafhankelijke radiometrische baanbepaling vanaf de grond, beoordeeld aan hun eigen covarianties over een geseede Monte Carlo), carrier-phase (gezamenlijke dubbelverschil-draaggolffase tussen oppervlak en orbiter en oplossing van de geheeltallige ambiguïteit met LAMBDA), frame-coestimation (een oppervlaktestation en orbiters toegevoegd aan afstandsmetingen van aardstations voor het zevenparameter-datum van het maanstelsel), space-tie (GNSS, VLBI en laser ranging op één ruimtevaartuig, precisie van de stelselkoppeling tegenover de fout van de lokale koppeling) en geodesy-sensitivity (Fisher-informatie van de Love-getallen h2, k2, l2 van de maan en de fysieke libratie uit laser ranging, orbitertracking, een gravimeter op het oppervlak en een klok op het oppervlak). Een beperkt driebolenmodel met vermelde vereenvoudigingen; de numerieke methoden worden gecontroleerd aan onafhankelijke programma's en niets wordt vergeleken met een meting van een maangrootheid.

Eén run van scenarios/lunar-infrastructure-space-tie.toml vat zich samen als: lunar-infrastructure space-tie: 4 sweeppunten op 1 bogen; laser-vs-GNSS x translatiesigma 1,0363 m bij de geregistreerde lokale koppeling

Invoer#

Uit het schema (kshana kinds --json):

  • Verplichte velden: study
  • Optionele velden: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

Het voorbeeld scenarios/lunar-infrastructure-space-tie.toml stelt onder meer in:

Veld Waarde Eenheid
kind lunar-infrastructure tekst
orbit.arc_days 6.56 d
orbit.family nrho tekst
orbit.sample_s 900 s
orbit.vy0 -0.102 niet vermeld
orbit.x0 1.022 niet vermeld
orbit.z0 -0.18 niet vermeld
seed 20261019 niet vermeld
study space-tie tekst
techniques.gnss_sigma_m 10 m
techniques.local_tie_sigma_m 0.001 m
techniques.slr_sigma_m 0.1 m

Uitvoeren#

kshana scenarios/lunar-infrastructure-space-tie.toml

6 meegeleverde scenario's gebruiken deze soort; de overige staan in scenarios/.

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
evidence.id_rule de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
local_tie_sigma_m 0.001 m
study space-tie tekst
technique_sigma_m.gnss 10 m
technique_sigma_m.slr 0.1 m
technique_sigma_m.vlbi 1 m

Resultaatlabel (dat van de engine): MODELLED — een beperkt driebolenmodel (aarde en maan als puntmassa's, geen zon, geen harmonischen van het maanzwaartekrachtveld) met vermelde vereenvoudigingen en ILLUSTRATIVE invoer, gelabeld met hun openbare bronnen. De numerieke methoden worden gecontroleerd aan onafhankelijke programma's; niets wordt vergeleken met een meting van een maan

geen plot: het voorbeeld schrijft geen grafiek

Bewijs#

Geen rij van de matrix noemt dit kind bij naam; het label op het resultaat is dat van de engine zelf, hierboven.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • MODELLED Baanbepaling in een bijna-rechtlijnige halobaan (of een elliptische bevroren baan) uit twee onafhankelijke datasoorten: Earth-GNSS-pseudoafstanden ontvangen aan boord . Onafhankelijke referentie (ReferenceImpl): Een onafhankelijk scipy/numpy-programma integreert dezelfde variatievergelijkingen (drempel O1). Niets wordt vergeleken met een meting van een maanbaan. De onafhankelijke referentie controleert de numerieke methoden van vermelde formules, niet de fysica, dus de rij blijft MODELLED. Beperkt driebolenmodel: geen zon, geen maanharmonischen, de aardrotatieas langs de baannormaal, ILLUSTRATIVE ontvanger- en stationsinvoer.
  • MODELLED Enkelvoudig verschil tussen ontvangers van Earth-GNSS-draaggolffase en code bij een station op het maanoppervlak en een orbiter, met het klokverschil per epoch weggeprofileerd. Onafhankelijke referentie (ReferenceImpl): Een onafhankelijke numpy-oplossing van dezelfde normaalvergelijkingen uit de geëxporteerde rijen (Q3) en een brute-force opsomming van gehele getallen (Q4). Er wordt geen GNSS- of maandraaggolffasemeting mee vergeleken. MODELLED.
  • MODELLED Fisher-informatie van het zevenparameter-datum van het maanstelsel uit laser ranging vanaf aardstations naar alleen de vijf reflectoren en met afstandsmetingen van orbiter naar oppervlaktestation. Onafhankelijke referentie (ReferenceImpl): Een onafhankelijk eindig verschil in numpy van het voorwaartse model (F2). Niets wordt vergeleken met echte oplossingen voor het maanstelsel. De factor is voorwaardelijk aan de aangenomen bekende baan en de afstandssigma van 1 m. MODELLED.
  • MODELLED Cramer-Rao-precisie van de translatie-, schaal- en rotatieverschuivingen tussen technieken in de stelsels van GNSS, VLBI en laser ranging wanneer één ruimtevaartuig alles draagt. Onafhankelijke referentie (ReferenceImpl): Een onafhankelijk gestapeld numpy-stelsel waarin de positieonbekenden met expliciete Schur-complementen zijn geëlimineerd (T3). Er worden geen gegevens van GRASP, Genesis of enige andere missie mee vergeleken. MODELLED.

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • MODELLED — een beperkt driebolenmodel (aarde en maan als puntmassa's, geen zon, geen harmonischen van het maanzwaartekrachtveld) met vermelde vereenvoudigingen en ILLUSTRATIVE invoer, gelabeld met hun openbare bronnen. De numerieke methoden worden gecontroleerd aan onafhankelijke programma's; niets wordt vergeleken met een meting van een maangrootheid, en niets hier is een uitspraak over enige missie of enig systeem. Niet gelieerd aan of onderschreven door enige organisatie. Adviso (resultaat label)
  • MODELLED onderzoeken naar de baan en het oppervlak van de maan als navigatie- en geodetische infrastructuur, vijf onderzoeken achter één soort, gekozen door study: od-consistency (baanbepaling aan boord met Earth-GNSS in een NRHO of ELFO tegenover onafhankelijke radiometrische baanbepaling vanaf de grond, beoordeeld aan hun eigen covarianties over een geseede Monte Carlo), carrier-phase (gezamenlijke dubbelverschil-draaggolffase tussen oppervlak en orbiter en geheeltallige am (soortencatalogus (kshana kinds --json))
  • Kshana-scenario lunar-infrastructure: space-tie. MODELLED; het ontwerp, de invoer en de drempels liggen vast in xval/lunar-infra/PREREGISTRATION.md (vastgelegd vóór enige run). ILLUSTRATIVE invoer is daar gelabeld met zijn openbare bronnen. (commentaar in het scenariobestand, regels 1 tot 3)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Baanbepaling bij de maan: Earth-GNSS tegenover radiometrie vanaf de grond is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Oplossing van de draaggolffase-ambiguïteit bij de maan: oppervlak en orbiter is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Gezamenlijke schatting van het maanstelsel: oppervlaktestations en orbiters is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Precisie van de stelselkoppeling via space-tie: gelijk geplaatste GNSS, VLBI en laser ranging is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#