lunar-descent (scenariosoort)

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

Wat het doet#

MODELLED budget voor de landingsspreiding bij een aangedreven afdaling naar een locatie bij de zuidpool (Artemis-klasse). Per horizontale as wordt een traagheidsfoutenmodel met vijf toestanden (positie, snelheid, bias van de versnellingsmeter, standshoek, gyrobias) aangedreven door de specifieke kracht van de afdaling; een sequentieel filter neemt positiebepalingen van de ingeschakelde hulpmiddelen: een AFS-positiebepaling uit de zichtbare relais van een ILLUSTRATIVE constellatie van LCNS-klasse (zelfstandig, of differentieel met het residu van de correctieverbinding van lunar-differential-pnt, met ondersteuning van de klok wanneer slechts drie relais zichtbaar zijn) en een terreinrelatieve positiebepaling (de TERCOM/SITAN-matcher van de crate op een synthetisch reliëf, of de Cramér-Rao-grens van het matchen van een hoogtevenster van de echte LOLA-DEM van de zuidpool). Maantijd komt bij de positiebepalingen via de voertuigklok binnen (de LTC-TT-offset van lunar-time-offset, of de onzekerheid van zijn gepubliceerde band) en als tijdstempelfout langs het pad. Rapporteert de 3-sigma-landingsellips, R95, de traagheidsbronnen in gesloten vorm, de bijdrage van elk hulpmiddel, de ablatie van elke combinatie van hulpmiddelen, een Monte Carlo-kalibratie van de ellips en de doorgegeven covariantie. MODELLED: illustratieve IMU-klasse, relaisset, afdalingsprofiel en geleidingsterm; terreinnavigatie gebruikt een synthetisch reliëf op een aardse meterschaal; de beschikbaarheid van AFS is één epoche op een vlak masker. Niet door een ruimtevaartorganisatie onderschreven; adviserende software, geen gecertificeerde navigatieapparatuur.

Eén run van scenarios/lunar-descent.toml vat samen als: lunar-descent | -89.50 deg | alleen inertiaal 517/517 m (O/N) | met hulpmiddelen 7.6/4.8 m | spreiding R95 51 m | 3-sigma-ellips 64 x 62 m | 99,1% erbinnen (verwacht 98,9%) (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

Het voorbeeld scenarios/lunar-descent.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/lunar-descent.toml

2 meegeleverde scenario's gebruiken deze soort; de andere staan in scenarios/.

Wat het oplevert#

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

Resultaatlabel (van de engine): MODELLED

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• MODELLED De soort en fase lunar-descent: een traagheidsfoutenmodel met vijf toestanden per as (positie, snelheid, bias van de versnellingsmeter, kanteling, gyrobias) over een aangedreven afdaling, ondersteund door AFS-positiebepalingen (zelfstandig of differentieel, met het klokondersteunde geval met drie relais

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 De soort en fase lunar-descent: een traagheidsfoutenmodel met vijf toestanden per as (positie, snelheid, bias van de versnellingsmeter, kanteling, gyrobias) over een aangedreven afdaling,. Onafhankelijke referentie (InternalConsistency): De traagheidsdrift in gesloten vorm, de eigen resultaten van de hergebruikte soorten en de kalibratie van de 3-sigma-ellips (het deel erbinnen komt overeen met de verwachting) in de tests. Er wordt geen gevlogen of beproefde landing vergeleken

Beperkingen#

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

• MODELLED (resultaat label)
• MODELLED budget voor de landingsspreiding bij een aangedreven afdaling naar een locatie bij de zuidpool (Artemis-klasse). (soortencatalogus (kshana kinds --json))
• MODELLED: illustratieve IMU-klasse, relaisset, afdalingsprofiel en geleidingsterm; terreinnavigatie gebruikt een synthetisch reliëf op een aardse meterschaal; de beschikbaarheid van AFS is één epoche op een vlak masker. (soortencatalogus (kshana kinds --json))
• EERLIJKHEID: MODELLED. De IMU-klasse, het afdalingsprofiel, de relaisset, de fout in het signaal in de ruimte en de geleidingsterm zijn ILLUSTRATIVE invoer, geen metingen. De modus voor terreinnavigatie gebruikt het op zichzelf staande synthetische reliëf en een aardse meterschaal, dus de terreinterm hier is het gedrag van de matcher op een plaatsvervanger, geen uitspraak over het reliëf van de zuidpool: de variant lola-crlb (lunar-descent-lola.toml) gebruikt de echte (commentaar in het scenariobestand, regels 14 tot 20)
• 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))
• Budget voor landingsspreiding bij een maanpoollocatie (lunar-descent) is MODELLED, niet gevalideerd: gecontroleerd tegen zijn eigen identiteit in gesloten vorm of analytisch — vangt transcriptie- en coëfficiëntfouten, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md
• Onderwerppagina: MISSION-THREAD-LUNAR.md
• Onderwerppagina: MISSION-THREAD.md