mission-thread (scenariosoort)

Scenariosoort van de engine v0.40.0, familie Missieketens. 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 foutenbudget voor navigatie en tijdsynchronisatie van een vermelde keten van missiefasen, van lancering tot terugkeer: lancering en opstijging, rendez-vous en koppeling in een lage baan om de aarde (herhaalbaar), trans-lunaire injectie en cislunaire vlucht, rendez-vous in een maanbaan, afdaling, verblijf op het oppervlak, opstijging en de terugvlucht en terugkeer, elke fase een van acht geregistreerde soorten met eigen sensoren en filter. De 6x6-covariantie, de klok en het referentiestelsel worden van fase tot fase doorgegeven volgens een vermelde regel (carry, inflate of reacquire); omzettingen van referentiestelsel en tijdschaal (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) zijn eigen budgetrijen, met de toestand van de maan uit een optionele DE440-kernelsnede en de analytische reeks als vermelde terugval. Een optionele overlay van het grondnetwerk bepaalt de trackingbezetting van elke fase. Rapporteert het budget per fase (1-sigma's bij binnenkomst, piek en uitgang, elke bijdrage met zijn eenheid), de marge ten opzichte van een vermelde eis, de zwakste schakel, de gebeurtenissen en een tijdlijnfiguur. MODELLED: elk getal is een vermelde invoer; de keten volgt één stack en er wordt geen voertuig gemodelleerd. Alleen openbare bronnen; niet verbonden aan of onderschreven door enig agentschap; adviserende software, geen gecertificeerde navigatieapparatuur.

Eén run van scenarios/mission-thread-artemis-class.toml vat samen als: mission-thread | 11 fasen | missieketen in Artemis-klasse (ILLUSTRATIVE) | zwakste schakel descent | MODELLED

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: epoch_utc, entry, phase
• Optionele velden: kind, title, seed, moon_kernel_path, ground_network

Het voorbeeld scenarios/mission-thread-artemis-class.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/mission-thread-artemis-class.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 mission-thread: een document met fasen, elk een van acht geregistreerde soorten, in volgorde uitgevoerd, waarbij de 6x6-covariantie, de klok en het referentiestelsel worden doorgegeven volgens een vermelde regel (carry; inflate, witte versnellingsruis over een vermelde onderbreking Tests: field_units_global.rs.
• MODELLED De fase launch-ascent: een covariantie van positie en snelheid bij constante snelheid met witte versnellingsruis (de klasse van koppelnavigatie), een GNSS-positiebepaling van vermelde nauwkeurigheid die na de acquisitietijd en buiten vermelde signaalverliezen wordt toegepast, een klok met bias en-
• MODELLED De fase leo-rendezvous: de relatieve toestand in de LVLH-assen van het doel met de Clohessy-Wiltshire-overgang in gesloten vorm, een 6x6-Kalman-covariantie met witte versnellingsruis en positie-updates waarvan de variantie die van de sensor op de actu
• MODELLED De fase tli-and-cruise: de gemiddelde toestand met de Cowell-propagator van de engine (aarde als puntmassa en J2, zon en maan als derde lichamen, de maan uit de DE440-kernel van de keten waar die het segment dekt en de zon uit de analytische serie
• en 4 meer in de matrix.

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 mission-thread: een document met fasen, elk een van acht geregistreerde soorten, in volgorde uitgevoerd, waarbij de 6x6-covariantie, de klok en het referentiestelsel worden doorgegeven onder. Onafhankelijke referentie (InternalConsistency): Handberekeningen in de tests (de groei van de covariantie langs een rechte lijn, de gemiddelde siderische rotatie, de seculiere klokgang van de maan) en, alleen voor de toestand van de maan, de vastgelegde DE440-kernelsneden tegen vastgezette JPL Horizons-waarden (slechtste 2,6 m en 7e-6 m/s). Er worden geen missiedata met de keten vergeleken; de fasen ervan zijn rijen op zich. Het document is een vermelde keten met ILLUSTRATIVE invoer, alleen openbare bronnen en zonder goedkeuring van een ruimtevaartorganisatie
• MODELLED De fase launch-ascent: een covariantie van positie en snelheid bij constante snelheid met witte versnellingsruis (de klasse van koppelnavigatie), een GNSS-positiebepaling van vermelde nauwkeurigheid. Onafhankelijke referentie (InternalConsistency): De stationaire Riccati-toestand en de handberekening van de voorspelling in de tests. Niets hier modelleert een draagraket of een ontvanger; elk getal is een vermelde invoer
• MODELLED De fase leo-rendezvous: de relatieve toestand in de LVLH-assen van het doel met de Clohessy-Wiltshire-overgang in gesloten vorm, een 6x6-Kalman-covariantie met witte versnellingsruis. Onafhankelijke referentie (InternalConsistency): Een eenassige handberekening van de voorspelling en de update in de test; de Clohessy-Wiltshire-overgang is degene die cw_dynamics tegen een onafhankelijke numerieke integratie controleert. De sensoren zijn ILLUSTRATIVE en er wordt geen echt rendez-vous vergeleken
• MODELLED De fase tli-and-cruise: de gemiddelde toestand met de Cowell-propagator van de engine (aarde als puntmassa en J2, zon en maan als derde lichamen, de maan uit de keten. Onafhankelijke referentie (InternalConsistency): De stelling van Liouville (de determinant van de toestandsovergangsmatrix van het conservatieve deel is één) en een fijnere differentie in de tests; de gemiddelde toestand wordt vergeleken met een openbaar traject in de rij hieronder, dat hij mist. De brandfout, de updates en de covariantie worden met niets vergeleken

Beperkingen#

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

• MODELLED foutenbudget voor navigatie en tijdsynchronisatie van een vermelde keten van missiefasen, van lancering tot terugkeer: lancering en opstijging, rendez-vous en koppeling in een lage baan om de aarde (herhaalbaar), trans-lunaire injectie en cislunaire vlucht, rendez-vous in een maanbaan, afdaling, verblijf op het oppervlak, opstijging en de terugvlucht en terugkeer, elke fase een van acht geregistreerde soorten met eigen sensoren en filter. (soortencatalogus (kshana kinds --json))
• MODELLED: elk getal is een vermelde invoer; de keten volgt één stack en er wordt geen voertuig gemodelleerd. (soortencatalogus (kshana kinds --json))
• EERLIJKHEID. Elk getal hier is ILLUSTRATIVE: een rond cijfer gekozen om de keten te laten lopen, niet de prestatie van enig voertuig, sensor, station of netwerk. De keten volgt één stack als vermelde vereenvoudiging; voertuigwisselingen, bemanningsoverdrachten en het station in de maanbaan worden niet gemodelleerd, de maanbanen zijn de cirkelvormige en polaire van 100 km die de maansoorten vliegen (niet de bijna-rechtlijnige halobaan), en de TLI-brand i (commentaar in het scenariobestand, regels 11 tot 17)
• 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))
• Foutenbudget voor navigatie en tijdsynchronisatie van een keten van missiefasen van lancering tot terugkeer (mission-thread) 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))
• Lancering en opstijging naar een parkeerbaan met GNSS-acquisitie en signaalverlies (launch-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))
• Relatieve navigatie naar de koppelingsenvelop in een lage baan om de aarde over sensortrajecten (leo-rendezvous) 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))
• Trans-lunaire injectie en cislunaire vlucht: voortgeplante gemiddelde toestand en covariantie met trackingupdates (tli-and-cruise) 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: Missieketens
• Alle kinds: KINDS.md
• Onderwerppagina: MISSION-THREAD.md
• Onderwerppagina: MISSION-THREAD-LUNAR.md