lunar-ascent (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 aangedreven opstijging vanaf een locatie op het maanoppervlak bij de zuidpool naar de rendez-vousbaan, en de covariantie van positie en snelheid die het terug naar de baan meeneemt (Artemis-klasse). Het traagheidsfoutenmodel met vijf toestanden per as van lunar-descent (positie, snelheid, bias van de versnellingsmeter, standshoek, gyrobias, aangedreven door de specifieke kracht) loopt op alle drie de locatie-assen vanuit de oppervlaktetoestand waarmee de fase begint; 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) wordt met een vermeld interval genomen, waarbij maantijd via de voertuigklok binnenkomt en een tijdstempelfout langs het pad. Rapporteert de traagheidsbronnen in gesloten vorm, de bijdrage van de ondersteuning, de ablatie, de navigatie-1-sigma's over de opstijging, de spreiding bij motoruitschakeling naast de navigatiekennis, en de volledige 6x6-MCI-covariantie bij insertie met de correlatie tussen positie en snelheid behouden. MODELLED: illustratieve IMU-klasse, specifieke kracht, relaisset en spreiding bij motoruitschakeling; fouten aangehouden in de assen van de lanceerlocatie; de nominale uittredetoestand is een plaatsvervanger. Niet door een ruimtevaartorganisatie onderschreven; adviserende software, geen gecertificeerde navigatieapparatuur.

Eén run van scenarios/lunar-ascent.toml vat samen als: lunar-ascent | -89.50 deg | alleen inertiaal 785 m / 3,49 m/s | met AFS 11,4 m / 0,071 m/s | spreiding bij insertie 1,73 m/s (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

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

Uitvoeren#

kshana scenarios/lunar-ascent.toml

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-ascent: het traagheidsfoutenmodel met vijf toestanden per as, uitgevoerd over een aangedreven opstijging met specifieke kracht langs het pad, ondersteund door AFS-positiebepalingen en maantijd, dat de covariantie van positie en snelheid bij insertie rapporteert die naar de baan wordt meegenomen

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-ascent: het traagheidsfoutenmodel met vijf toestanden per as, uitgevoerd over een aangedreven opstijging met specifieke kracht langs het pad, ondersteund door AFS-positiebepalingen. Onafhankelijke referentie (InternalConsistency): De traagheidsdrift in gesloten vorm en monotoniciteitscontroles in de tests. Er wordt geen gevlogen opstijging vergeleken
• MODELLED De propagator die de maansoorten delen (GRAIL GL0660B graad en orde 150, aarde en zon als derde lichamen, relativiteit, DE440-maanoriëntatie) vergeleken met de openb. Onafhankelijke referentie (ExternalDataset): JPL Horizons-ephemeriden van ruimtevaartuigen voor LRO en CAPSTONE, tegen drempels die vooraf zijn vastgelegd in xval/mission-thread-lunar/PREREGISTRATION.md (Amendementen 1 tot 6). LRO: MET, 33 m grootste 3D-verschil en 2,4 m RMS radiaal tegen 500 m en 60 m. CAPSTONE: NOT MET, een eindpositieverschil van 136,8 km tegen 25 km en een periapsisverschil van 28,4 km tegen 10 km, de oorzaken niet afgezonderd. De rij is gemodelleerd omdat de CAPSTON

Beperkingen#

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

• MODELLED (resultaat label)
• MODELLED aangedreven opstijging vanaf een locatie op het maanoppervlak bij de zuidpool naar de rendez-vousbaan, en de covariantie van positie en snelheid die het terug naar de baan meeneemt (Artemis-klasse). (soortencatalogus (kshana kinds --json))
• MODELLED: illustratieve IMU-klasse, specifieke kracht, relaisset en spreiding bij motoruitschakeling; fouten aangehouden in de assen van de lanceerlocatie; de nominale uittredetoestand is een plaatsvervanger. (soortencatalogus (kshana kinds --json))
• EERLIJKHEID: MODELLED. De IMU-klasse, de uitlijning, de specifieke kracht en de spreiding bij motoruitschakeling zijn ILLUSTRATIVE invoer, geen metingen. De fouten worden aangehouden in de oost-noord-omhoog-assen van de lanceerlocatie, zonder de kromming van het pad in de richting van de vlucht, en de nominale uittredetoestand is een plaatsvervanger in de lokale verticaal van de locatie: alleen de covariantie is het resultaat. Er wordt geen overeenstemming met enig echt voertuig beweerd. Adviserende software, geen c (commentaar in het scenariobestand, regels 11 tot 15)
• 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))
• Opstijging met aandrijving vanaf een maanpoollocatie naar een insertiebaan (lunar-ascent) 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))
• De voortplanting met het maankrachtenmodel tegen openbare gereconstrueerde trajecten van maanorbiters en cislunaire trajecten is MODELLED, niet gevalideerd: een deelbewering wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

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