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

Families van scenariosoortenBewerken op GitHubBron: docs/kinds/lunar-and-cislunar.md

Maan en cislunair (familie van scenariosoorten)

24 scenariosoorten van de engine v0.40.0. 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).

Themapagina's: LUNAR-REFERENCE-STATION, LUNAR-INFRASTRUCTURE, LUNANET-AFS. Voer er een uit: kshana scenarios/lunar-infrastructure-od-consistency.toml. Alle families: KINDS.md.

Contactblad met de grafieken die de engine schrijft voor de soorten van de familie Maan en cislunair
Type Wat het doet Register
lunar-integrity ARAIM-beschermingsniveaupassage aan de zuidpool van de Maan tegenover een representatieve LunaNet-relaisverzameling. MODELLED (resultaatlabel)
lunar-time-offset Gemodelleerde relativistische klokgang Aarde–Maan (Lunar Coordinate Time, LTC/TCL): de seculiere LTC−TT-gang uit het verschil in zelfpotentiaal en de kinetische term van de Maan, gerapporteerd met de gepubliceerde 56–59 MODELLED (resultaatlabel)
lunar-time-budget MODELLED end-to-end tijdfoutbudget van Coordinated Lunar Time (LTC): de zeven LTC-foutentermen samengesteld als tijdfoutcurven x_i(τ) over een volledig raster van middelingstijden, kwadratisch opgeteld tot x_Σ(τ), en de c MODELLED
lunar-ascent 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). MODELLED
lunar-surface MODELLED beschikbaarheid van positiebepaling en tijdsynchronisatie op het oppervlak per locatie en seizoen voor locaties bij de zuidpool in Artemis-klasse. MODELLED
lunar-descent MODELLED budget voor de landingsspreiding bij een aangedreven afdaling naar een locatie bij de zuidpool (Artemis-klasse). MODELLED
lunar-orbit-rendezvous MODELLED relatieve navigatie voor een koppeling in de stijl van Orion en lander in een lage maanbaan of een elliptische poolbaan (Artemis-klasse). MODELLED
lunar-vlbi Gemodelleerde lunaire geodetische VLBI-vertragingsobservabele: een aardse basislijn (twee grondstations, GCRS) observeert een eenwegsignaal van een bakenzender van het type NovaMoon op het maanoppervlak. MODELLED 3 · VALIDATED 3
lunar-vlbi-fim Covariantie van stationscoördinaten voor lunaire VLBI: de vertragingspartiëlen van de lunar-vlbi-observabele, opgeteld over een expliciet SCHEMA (basislijnen x epochs) tot een Fisher-informatiematrix, geïnverteerd, en gerapp MODELLED 3 · VALIDATED 2
lunar-joint-od-clock Gemodelleerde gezamenlijke multitechniek-batchschatter voor lunaire baanbepaling en klok op een GESIMULEERD netwerk: een Gauss-Newton-momentopname-fit die geodetische VLBI-vertragingen op de aardse basislijn, lokale lunaire afstanden station↔satelliet fuseert MODELLED (resultaatlabel)
lunar-frame-realisation Gemodelleerde realisatie van het lunaire referentiestelsel: een datumfit met een Helmert-transformatie (gelijkvormigheid) met 7 parameters — 3 translatie, 3 rotatie met kleine hoek, 1 schaal — die een geschatte verzameling van uit selenografie afgeleide MCMF-punt c MODELLED (resultaatlabel)
lunar-frame-campaign Helmert-datum (gelijkvormigheid) met zeven parameters voor een referentiestelsel, aangestuurd door een GESIMULEERDE WAARNEEMCAMPAGNE in plaats van door een geïnjecteerde transformatie. MODELLED 2 · VALIDATED 3
lunar-llr-datum Helmert-datum met zeven parameters voor het lunaire referentiestelsel, aangestuurd door een ECHTE, GEARCHIVEERDE waarneemcampagne in plaats van een gesimuleerde. VALIDATED
moonlight-service-volume Gemodelleerde analyse van het lunaire navigatieservicevolume uit een ILLUSTRATIVE constellatie in een maanbaan van het type Moonlight/LCNS op basis van openbare bronnen (niet gelieerd aan ESA): doorloopt een selenografisch lat/lon-raster over MODELLED
lunar-differential-pnt Gemodelleerde lunaire DIFFERENTIËLE PNT (een lunair analogon van DGNSS/SBAS): een referentiestation van het type NovaMoon op een BEKENDE selenografische locatie berekent differentiële correcties per satelliet uit een ILLUSTRATIVE MODELLED (resultaatlabel)
lunar-station-coverage Gemodelleerde dekking van een lunair referentiestation: een Monte Carlo-sweep van het lunaire differentiële PNT-model over een gebruikersraster rond de zuidpool en een dag aan epochs. MODELLED
lunar-beacon Aanvulling van een lunaire orbitale navigatiedienst met oppervlaktebakens, als uitvoerbare voor/na-tabel. MODELLED
lunar-interop-export Gemodelleerde lunaire interoperabiliteitsexport: geeft het lunaire referentiestelsel, de lunaire tijdschaal en de lunaire efemeride uit in op LunaNet/IOAG afgestemde, op CCSDS gebaseerde uitwisselingsvormen met heen-en-terug-/veldformaatcontrole MODELLED (resultaatlabel)
cislunar-observability MODELLED waarneembaarheid van een vlakke cislunaire constellatie (P6): volgt een differentieel gecorrigeerde vlakke DRO-constellatie van vier ruimtevaartuigen met inter-satellietafstandsmeting en rapporteert hoeveel van de MODELLED
cislunar-arc-recovery MODELLED test met onafhankelijke schatter van de drempel voor waarneembaarheid bij de booglengte in het cislunaire domein. MODELLED
lunar-attack-surface Aanvalsoppervlak voor signaalbeveiliging van lunaire oppervlaktenavigatie (P1): voegt de open analyses van signaalbeveiliging samen tot één door de binary bereikbare run. MODELLED (resultaatlabel)
lunar-jamming Lunair-eigen RF-jamming: jammer-tot-signaalverhouding per satelliet, effectieve C/N₀ en verlies van vergrendeling voor een selenografische oppervlaktegebruiker onder een jammer op het maanoppervlak (of verhoogd), over de illustratieve open-bron- MODELLED
earth-gnss-lunar Ontvangst van aardse GNSS op maanafstand, de zwaksignaallaag die het conflict-resilience-artikel noemt en waarvoor de engine geen model had. MODELLED
lunar-infrastructure MODELLED studies van de baan en het oppervlak van de Maan als navigatie- en geodetische infrastructuur, vijf studies achter één soort gekozen via study: od-consistency (onboard baanbepaling met aardse GNSS in MODELLED (resultaatlabel)

lunar-integrity#

Doorgangsbeoordeling van het ARAIM-beschermingsniveau bij de zuidpool van de maan tegenover een representatieve LunaNet-relayset. sigma_ure_m legt de afstandsnauwkeurigheid van het signal-in-space bloot (beschermingsniveaus schalen er lineair mee, dus door die te sweepen volgt welke afstandsnauwkeurigheid een alarmgrens vereist). Standaard het historische geval van het type LNIS bij de zuidpool.

Verplichte velden: geen. Optioneel: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-integrity.

kshana scenarios/lunanet-araim.toml
De grafiek die de engine schrijft voor scenarios/lunanet-araim.toml, soort lunar-integrity

lunar-time-offset#

Gemodelleerde relativistische klokgang aarde–maan (Lunar Coordinate Time, LTC/TCL): de seculiere LTC−TT-snelheid uit het verschil in zelfpotentiaal en de kinetische term van de maan, gerapporteerd met de gepubliceerde band van 56–59 µs/dag, plus de opgebouwde offset over een horizon.

Verplichte velden: geen. Optioneel: epoch_year, epoch_month, epoch_day, horizon_days.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-time-offset.

kshana scenarios/lunar-time-offset.toml
De grafiek die de engine schrijft voor scenarios/lunar-time-offset.toml, soort lunar-time-offset

lunar-time-budget#

MODELLED end-to-end tijdfoutbudget voor Coordinated Lunar Time (LTC): de zeven LTC-foutermen samengesteld als tijdfoutcurven x_i(τ) over een heel raster van middelingstijden, kwadratisch opgeteld tot x_Σ(τ), en het OVERGANGS-τ tussen klok en stelsel waarbij de groeiende kloktermijn de constante realtime-term voor de realisatie van het stelsel inhaalt (eronder wordt het budget door het stelsel beperkt, erboven door de klok) — het eerlijke antwoord op het artefact van één enkele τ. De τ-hellingen zijn in gesloten vorm en analytisch controleerbaar (klok τ^{+1/2}/τ^{+1}, ondergrenzen τ^0, meting τ^{-1/2}) en de klokrijen reproduceren de gepubliceerde klokspecificaties voor één dag (crate::clock_specs); de GROOTTEN van de ondergrenzen voor RF-/optische link, realisatie van het stelsel, relativistisch residu en efemeride zijn gemodelleerde budgettoewijzingen (gedocumenteerde standaardwaarden, door de aanroeper te overschrijven), geen metingen. De bijdrage is het reproduceerbare overgangs-τ, niet een gecertificeerd getal per term; niet gecertificeerd voor operationele tijdhouding.

Verplichte velden: geen. Optioneel: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-time-budget.

kshana scenarios/lunar-time-budget.toml
De grafiek die de engine schrijft voor scenarios/lunar-time-budget.toml, soort lunar-time-budget

lunar-ascent#

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.

Vereiste velden: geen. Optioneel: 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.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-ascent.

kshana scenarios/lunar-ascent.toml
De grafiek die de engine schrijft voor scenarios/lunar-ascent.toml, soort lunar-ascent

lunar-surface#

MODELLED beschikbaarheid van positiebepaling en tijdsynchronisatie op het oppervlak per locatie en seizoen voor locaties bij de zuidpool in Artemis-klasse. Voor elke locatie en elk seizoen (een epoche en een venster daarna) rapporteert het positiebepaling met relais (vier of meer relais van een ILLUSTRATIVE constellatie van LCNS-klasse in zicht en PDOP onder een drempel, uit dezelfde functies als moonlight-service-volume en, met een terreinsectie, de met ray-marching bepaalde horizon van het terrein van lunar-station-coverage), of de aarde en de zon boven de horizon van de locatie staan (analytische zon, maan en maanoriëntatie, libratie inbegrepen, wat met het seizoen verandert), en de beschikbaarheid van tijdsynchronisatie (een relais of de aarde in zicht) met de langste periode van geen van beide, de holdover die een oppervlakteklok moet overbruggen. Een resultaat voor één locatie is bitgelijk aan dat van moonlight-service-volume. MODELLED: illustratieve Kepler-relaisset op een maan met gemiddelde rotatie; het cijfer voor de relais verandert niet met het seizoen; het terrein is de LOLA-uitsnede van 1200 m. Niet door een ruimtevaartorganisatie onderschreven; adviserende software, geen gecertificeerde navigatieapparatuur.

Vereiste velden: geen. Optioneel: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-surface.

kshana scenarios/lunar-surface.toml
De grafiek die de engine schrijft voor scenarios/lunar-surface.toml, soort lunar-surface

lunar-descent#

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.

Vereiste velden: geen. Optioneel: 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.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-descent.

kshana scenarios/lunar-descent.toml
De grafiek die de engine schrijft voor scenarios/lunar-descent.toml, soort lunar-descent

lunar-orbit-rendezvous#

MODELLED relatieve navigatie voor een koppeling in de stijl van Orion en lander in een lage maanbaan of een elliptische poolbaan (Artemis-klasse). Een achtervolger en een doel vliegen dezelfde baan onder het maankrachtenmodel van de crate; een gezamenlijke batch-Gauss-Newton-schatting met 21 parameters over de boog (twee voertuigtoestanden en blijvende biassen van het signaal in de ruimte) voegt een absolute positiebepaling per voertuig uit een ILLUSTRATIVE relaisset van LCNS-klasse (relais achter de maan vervallen, vier nodig, de gemeenschappelijke fout in het signaal in de ruimte heft tussen de voertuigen op) en een crosslink-afstand samen, met afstandsprecisie uit de code-trackinggrens op de LunaNet AFS-piloot. Rapporteert de formele en Monte Carlo-fout in relatieve positie en snelheid in de LVLH-assen van het doel, de beschikbaarheid van positiebepalingen, de gemiddelde genormaliseerde gekwadrateerde schattingsfout tegenover de verwachte waarde, en elke poging waarvan de iteratie niet convergeerde, de drift door het negeren van de zwaartekrachtharmonischen en de volledige doorgegeven 6x6-covariantie. Een Hill/Clohessy-Wiltshire-controle in gesloten vorm geldt voor het cirkelvormige geval. MODELLED: illustratieve relaisset, foutenbudget en priors; de referentie en de schatter delen één krachtenmodel, dus de NEES controleert zelfconsistentie en geen modelfout. Niet door een ruimtevaartorganisatie onderschreven; adviserende software, geen gecertificeerde navigatieapparatuur.

Vereiste velden: geen. Optioneel: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-orbit-rendezvous.

kshana scenarios/lunar-orbit-rendezvous.toml
De grafiek die de engine schrijft voor scenarios/lunar-orbit-rendezvous.toml, soort lunar-orbit-rendezvous

lunar-vlbi#

Gemodelleerde geodetische VLBI-vertraging op de maan als waarneembare grootheid: een aardbasislijn (twee grondstations, GCRS) observeert een eenrichtingssignaal van een baken van het type NovaMoon op het maanoppervlak. Geeft de nabijeveld-vertraging als verschil van twee afstanden uit, haar snelheid en de nabijeveldcorrectie voor golffrontkromming over een passage — gecontroleerd aan de vlakke-golf-Δ-DOR-waarneembare uit dezelfde codebase in de verre-veldlimiet, met partiëlen die via eindige verschillen zijn geverifieerd. Het standaard analytische pad is MODELLED en draagt de kanttekeningen over stelselconsistentie, poolbeweging xp=yp=0 en vlakke golf tegenover nabij veld. Door planetary_kernel_path, earth_orientation_kernel_path en moon_orientation_kernel_path in te stellen, loopt in plaats daarvan het kernelpad (DE440, MOON_PA_DE440, ITRF93; geconvergeerde barycentrische looptijden van het licht; voegt de partiëlen van baken en station van de epoch toe), waarvan de newtoniaanse vertraging en partiëlen overeenkomen met de geconvergeerde looptijden van het licht van NAIF SPICE tot 0,06 ps en 7.4e-9. Niet getoetst aan echte VLBI-gegevens.

Verplichte velden: geen. Optioneel: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path.

Register: MODELLED 3 · VALIDATED 3. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-vlbi.

kshana scenarios/lunar-vlbi.toml
De grafiek die de engine schrijft voor scenarios/lunar-vlbi.toml, soort lunar-vlbi

lunar-vlbi-fim#

Covariantie van de stationscoördinaten bij lunar VLBI: de vertragingspartiëlen van de waarneembare grootheid lunar-vlbi, opgeteld over een expliciet SCHEMA (basislijnen x epochs) tot een Fisher-informatiematrix, geïnverteerd, en gerapporteerd als de covariantie van de stationscoördinaten en de sigma van het station per coördinaat — een berekende uitvoer van de engine in plaats van een scalaire vertragingsprecisie die door een aangenomen isotrope equipartitiefactor g = 3 wordt geduwd. De toestand draagt VASTE aardstationscoördinaten (ITRS), zodat de Jacobiaan de inertiale partiële is, gedraaid met de GCRS->ITRS-matrix van elke epoch: de aardrotatie maakt die coördinaten waarneembaar, en het rapport MEET de aardvaste zichtlijnsweep en de declinatie van het baken in plaats van ze aan te nemen. Eén waarneming is één paar (basislijn, epoch) met BEIDE stations boven het hoogtemasker, gewogen met 1/delay_sigma_s^2. Rapporteert rang, datumdefect, conditiegetal, het volledige informatiespectrum, de covariantiematrix, sigma's per station per as en in 3D, en de nulruimte van het vrije netwerk bij elke run; bij een rangdeficiëntie wordt de kernsigma gepubliceerd als NULL met een status en nooit uit een bijna singuliere inverse afgelezen. De equipartitiewaarde cdelay_sigma_ssqrt(g/N) voor HETZELFDE schema wordt naast de berekende waarde uitgegeven met de verhouding, samen met de isotrope sporengrens sqrt(p/trace(M)) die AM-HM tot een harde ondergrens maakt — zodat de verhouding de anisotropie is die de aanname heeft weggegooid. De vertragingssluiting tau_ik = tau_ij + tau_jk maakt slechts n-1 van de n(n-1)/2 basislijnen geometrisch onafhankelijk; het rapport vermeldt beide aantallen. MODELLED: de efemeride van het maanmiddelpunt, stationsklokken, troposfeer en aardoriëntatieparameters worden VAST gehouden en waarnemingen worden als onafhankelijk behandeld, zodat de covariantie een Cramer-Rao-grens is voor een verkleinde parameterverzameling, geen voorspeld sessieresultaat; de vertragingssigma, de stationscoördinaten en het schema zijn invoer. De partiële die de Jacobiaan van de geometrische vertraging weglaat (de gedifferentieerde Shapiro-term) wordt via een eindig verschil gemeten en uitgegeven. Geen geodetisch product.

Verplichte velden: geen. Optioneel: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path.

Register: MODELLED 3 · VALIDATED 2. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-vlbi-fim.

kshana scenarios/lunar-vlbi-fim.toml
De grafiek die de engine schrijft voor scenarios/lunar-vlbi-fim.toml, soort lunar-vlbi-fim

lunar-joint-od-clock#

Gemodelleerde gezamenlijke multitechniekschatter voor baanbepaling op de maan + klok (batch) op een GESIMULEERD netwerk: een Gauss-Newton-momentopname-fit die geodetische VLBI-vertragingen op aardbasislijnen, lokale afstanden tussen station en satelliet op de maan en afstanden tussen satellieten samenvoegt om samen de 3D-positie van een station op het maanoppervlak, de posities van een kleine constellatie en de klokoffset van elk object terug te vinden uit een geïnjecteerde referentie. Het belangrijkste eerlijke resultaat — VLBI maakt de volledige 3D-positie van het station waarneembaar waar afstandsmeting alleen op de maan een zwak waargenomen richting overlaat — wordt gerapporteerd als het contrast in stationsfout met en zonder VLBI. MODELLED gesimuleerd herstel in een gesloten lus (de referentie deelt het waarnemingsmodel), deterministisch (geseed), NIET getoetst aan echte gegevens; geen voortplanting met een krachtmodel binnen de solver; geen TRL, geen heritage, geen onderschrijving door een ruimtevaartorganisatie.

Verplichte velden: geen. Optioneel: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-joint-od-clock.

kshana scenarios/lunar-joint-od-clock.toml
De grafiek die de engine schrijft voor scenarios/lunar-joint-od-clock.toml, soort lunar-joint-od-clock

lunar-frame-realisation#

Gemodelleerde realisatie van het maanreferentiestelsel: een fit van een 7-parameter-Helmert-datum (gelijkvormigheid) — 3 translatie, 3 rotatie met kleine hoek, 1 schaal — die een geschatte verzameling puntcoördinaten in MCMF, afgeleid van selenografische coördinaten, met gewogen kleinste kwadraten (crate::batch_ls::gauss_newton) aan een datum koppelt, plus een eenvoudige oriëntatiekoppeling die de gerealiseerde kleine rotatie om de ICRF-assen uitdrukt ten opzichte van de lichaamsoriëntatie volgens IAU 2015 WGCCRE. Het scenario injecteert een bekende kleine transformatie (translatie ~tientallen m, rotatie ~µrad, schaal ~1e-7) in een goed gespreid synthetisch puntnetwerk, voegt geseede gaussische ruis toe, herstelt het datum, en rapporteert de herstelde transformatie, de herstelfout per parameter ten opzichte van de geïnjecteerde referentie en het RMS-residu na de fit. MODELLED zelfconsistentie — herstelt een geïnjecteerde gelijkvormigheidstransformatie (zonder ruis tot ongeveer machineprecisie), GEEN realisatie ten opzichte van echte tracking- of VLBI-gegevens; deterministisch (geseed); geen TRL, geen heritage, geen onderschrijving door een ruimtevaartorganisatie.

Verplichte velden: geen. Optioneel: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-frame-realisation.

kshana scenarios/lunar-frame-realisation.toml
De grafiek die de engine schrijft voor scenarios/lunar-frame-realisation.toml, soort lunar-frame-realisation

lunar-frame-campaign#

Zevenparameter-Helmert-datum (gelijkvormigheid) voor een referentiestelsel, aangedreven door een GESIMULEERDE WAARNEMINGSCAMPAGNE in plaats van door een geïnjecteerde transformatie. Een netwerk van aardstations observeert een catalogus van bakens op het maanoppervlak volgens een expliciet schema; de partiële afgeleiden van de lunar-VLBI-vertraging worden over dat schema opgeteld tot een Fisher-informatiematrix van de baakencoördinaten, precies zoals lunar-vlbi-fim dat doet; en die informatie wordt via het Helmert-ontwerp A = [I3 | [p]_x | p] in de cataloguspunten voortgeplant naar de datumcovariantie H = A^T M_b A, gediagnosticeerd door crate::fim::crlb. GEEN transformatie wordt geïnjecteerd en er wordt niets teruggevonden uit een geplant antwoord, dus de gerapporteerde datumnauwkeurigheid volgt uit het waarnemingsprogramma: een gehalveerde vertragingssigma halveert haar exact, en een langere boog verbetert haar omdat de libratie die het rapport MEET (sub_earth_direction_sweep_deg) is wat de baakencoördinaat langs de zichtlijn scheidt van die in het hemelvlak. Rang, datumdefect, conditiegetal, het volledige spectrum, de onwaarneembare richtingen IN DE ZEVENPARAMETERBASIS, de zwakste richting zelfs bij volle rang en het aandeel van elke parameter daarin worden bij elke run uitgegeven; een parameter die de campagne niet beperkt, wordt gepubliceerd als NULL met een status en nooit uit een bijna singuliere inverse afgelezen. Correlatie tussen baakenfouten wordt gemeten, niet aangenomen: met vastgehouden stations raakt geen enkele waarneming twee bakens, zodat de informatiematrix exact blokdiagonaal is (offblock_fraction 0), en met geschatte stations is het Schur-gemarginaliseerde blok gekoppeld, waarbij de geïnduceerde correlatie wordt afgedrukt en de hele voortplanting opnieuw wordt uitgevoerd met die correlatie weggelaten, zodat de prijs van een onafhankelijkheidsaanname een getal is. Dezelfde voortplanting onder een isotrope sigma per coördinaat, en de herstelfout die het scenario lunar-frame-realisation rapporteert, worden hier beide uitgevoerd en naast de campagnewaarde afgedrukt met hun verhoudingen. MODELLED: de baakencatalogus is van bronnen voorzien maar de CAMPAGNE is gesimuleerd — het stationsnetwerk en de vertragingssigma zijn illustratieve invoer, afzonderlijke vertragingswaarnemingen worden als onafhankelijk behandeld, en de efemeride van het maanmiddelpunt, de stationsklokken, de troposfeer en de aardoriëntatieparameters worden VAST gehouden, zodat de datumcovariantie een Cramer-Rao-grens is voor een verkleinde parameterverzameling. Geen geodetisch product.

Verplichte velden: geen. Optioneel: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver.

Register: MODELLED 2 · VALIDATED 3. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-frame-campaign.

kshana scenarios/lunar-frame-campaign.toml
De grafiek die de engine schrijft voor scenarios/lunar-frame-campaign.toml, soort lunar-frame-campaign

lunar-llr-datum#

Zevenparameter-Helmert-datum van het maanstelsel, aangedreven door een ECHTE, GEARCHIVEERDE waarnemingscampagne in plaats van een gesimuleerde. Waar lunar-frame-campaign de geïnjecteerde transformatie wegliet maar zijn stationsnetwerk, zijn schema en zijn sigma per waarneming nog als ILLUSTRATIVE invoer opgaf, haalt deze soort alle drie uit metingen: de epochs zijn de zendtijden vanaf de grond van gearchiveerde normaalpunten uit de ILRS Consolidated Laser Ranging Data, de waarnemingen zijn de laserafstanden die werkelijk zijn afgevuurd op de vijf retroreflectorarrays op de maan, en elk waarnemingsgewicht is de eigen gearchiveerde precisie van dat normaalpunt, bin_rms/sqrt(n_raw), uitgelezen uit het bestand. De stationscoördinaten komen uit de SLR-oplossing van IERS ITRF2020 (naar de epoch voortgeplant met hun gepubliceerde snelheden) en de reflectorcoördinaten uit JPL DE430 Table 7 in het mean-Earth/mean-rotation-stelsel dat het model IAU 2015 WGCCRE realiseert. Afstandspartiëlen worden opgeteld tot de gezamenlijke Fisher-informatiematrix van de reflectorcoördinaten en via hetzelfde Helmert-ontwerp voortgeplant naar de datumcovariantie, gediagnosticeerd door crate::fim::crlb. Rang, defect, conditie, spectrum, onwaarneembare richtingen in de zevenparameterbasis, de zwakste richting bij volle rang en het aandeel van elke parameter daarin worden bij elke run uitgegeven, en een niet-beperkte parameter wordt gepubliceerd als NULL met een status. De correlatie tussen arrays is MEASURED op exact nul in plaats van aangenomen, omdat een laserafstand één array raakt. Een record dat de catalogi niet kunnen plaatsen — een station zonder gepubliceerde ITRF-positie — wordt OVERGESLAGEN EN GETELD en krijgt nooit een vervangende coördinaat. WELKE LINKS MEASURED ZIJN EN WELKE MODELLED, IS HET RAPPORT ZELF, GEEN VOETNOOT: de efemeride van het maanmiddelpunt en de IAU-lichaamsoriëntatie blijven gemodelleerd en hun gecombineerde omvang wordt uitgegeven als het residu waargenomen-min-berekend van de enkele afstand over elk gebruikt punt; troposfeer, vastelichaamsgetijden, stationsexcentriciteit, poolbeweging, UT1-UTC, relativistische vertraging en stationsklokken ontbreken en zitten binnen dat residu. Omdat een efemeridefout een covariantie alleen bereikt via de richting van elke zichtlijn, lost elke run ook het hele datum opnieuw op met alle partiëlen gekanteld met sensitivity_tilt_deg (met wisselend teken) en geeft de verhouding uit, zodat de ongevoeligheid van de covariantie voor de gemodelleerde efemeride een getal is in plaats van een betoog. De eigen cijfers van de gesimuleerde campagne worden UITGEVOERD en naast de gemeten cijfers afgedrukt, niet overgenomen. MODELLED: de zevenparametercijfers zijn een Cramer-Rao-grens voor een verkleinde parameterverzameling op een echt schema — geen opgelost datum, geen LLR-analyse en geen geodetisch product. De vastgelegde reeks met echte gegevens wordt met de repository meegeleverd maar niet met de gepubliceerde crate; wijs data_dir aan op een kopie ervan.

Verplichte velden: geen. Optioneel: data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign.

Register: VALIDATED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-llr-datum.

kshana scenarios/lunar-llr-datum.toml
De grafiek die de engine schrijft voor scenarios/lunar-llr-datum.toml, soort lunar-llr-datum

moonlight-service-volume#

Gemodelleerde analyse van het lunaire navigatieservicevolume voor een ILLUSTRATIVE constellatie in een lunaire baan van het type Moonlight/LCNS, op basis van openbare bronnen (niet verbonden aan ESA): zij doorloopt een selenografisch breedte-/lengteraster over een tijdshorizon en rapporteert DOP / dekking / beschikbaarheid (≥4 sats EN PDOP < drempel) plus een gegeneraliseerde lunaire ARAIM-beschermingsniveau-envelop (HPL/VPL) over het volume. De DOP-geometrie HERGEBRUIKT de gnss_lib_py-VALIDATED kernel (crate::orbit::dop); het beschermingsniveau HERGEBRUIKT de lunaire ARAIM-machinerie van LunaNet LNIS (crate::lunar, σ_URE≈30 m) en gaat als bijzonder geval over in het bestaande beschermingsniveau voor de zuidpool. MODELLED samenstelling: een cirkelvormige/elliptische Kepler-relaisverzameling (niet de echte, differentieel gecorrigeerde LCNS/NRHO-efemeride), een Maan met gemiddelde rotatie (geen libratie/precesserende pool). Deterministisch (zuivere geometrie). Geen TRL, geen vluchtervaring, geen goedkeuring door een ruimtevaartorganisatie.

Verplichte velden: geen. Optioneel: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: moonlight-service-volume.

kshana scenarios/moonlight-service-volume.toml
De grafiek die de engine schrijft voor scenarios/moonlight-service-volume.toml, soort moonlight-service-volume

lunar-differential-pnt#

Gemodelleerde DIFFERENTIËLE PNT op de maan (een maananaloog van DGNSS/SBAS): een referentiestation van het type NovaMoon op een BEKENDE selenografische locatie berekent differentiële correcties per satelliet uit een ILLUSTRATIVE constellatie van het type Moonlight/LCNS uit openbare bronnen (NovaMoon alleen genoemd als systeem-KLASSE, niet gelieerd aan ESA), en een gebruiker op baseline_km afstand past ze toe zodat de GEMEENSCHAPPELIJKE baan- en klokfouten wegvallen. De kloktermijn valt EXACT weg (een algebraïsche identiteit); van de baantermijn blijft alleen de projectie van het verschil in zichtlijn over, die → 0 gaat als basislijn → 0 (de ruimtelijke decorrelatievloer) en ≈ lineair groeit met de basislijn. Rapporteert de 3D-positiefout van de gebruiker mét en zonder correcties, de reductiefactor, de curve van fout tegen basislijn, en een beschermingsniveau voor de gebruiker dat de SBAS-machinerie van DO-229E (crate::sbas) HERGEBRUIKT met het differentiële residu σ. MODELLED — exacte wegvalidentiteit + eerste-orde-decorrelatiemodel; niet getoetst aan echte gegevens; geen TRL, geen heritage, geen goedkeuring door een ruimtevaartorganisatie. Deterministisch indien van een seed voorzien.

Verplichte velden: geen. Optioneel: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-differential-pnt.

kshana scenarios/lunar-differential-pnt.toml
De grafiek die de engine schrijft voor scenarios/lunar-differential-pnt.toml, soort lunar-differential-pnt

lunar-station-coverage#

Gemodelleerde dekking van een referentiestation op de maan: een Monte Carlo-sweep van het differentiële PNT-model voor de maan over een gebruikersraster bij de zuidpool en een dag aan epochs. Een differentieel referentiestation op een bekende locatie bij de zuidpool corrigeert een vermelde constellatie (illustratief met keplerbanen of een getabelleerde efemeride) met een vermelde signal-in-space-fout, opmetingsfout, correctielatentie en kwantisatie van de link; per punt en over de regio rapporteert het de percentielen van de gecorrigeerde en niet-gecorrigeerde positiefout (3D, horizontaal, verticaal), beschikbaarheid, dekking ten opzichte van een vermelde drempel, beschermingsniveaus volgens DO-229E, de dekkingsstraal per azimut en het linkbudget van de correctielink bij het station en bij het ongunstigste punt. Geen uitspraak over de prestaties van enig echt systeem; niet gelieerd aan of onderschreven door enige organisatie. MODELLED.

Verplichte velden: geen. Optioneel: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-station-coverage.

kshana scenarios/lunar-station-coverage.toml
De grafiek die de engine schrijft voor scenarios/lunar-station-coverage.toml, soort lunar-station-coverage

lunar-beacon#

Aanvulling van een navigatiedienst in een maanbaan met bakens op het oppervlak, als een uitvoerbare voor-en-natabel. Een gebruiker bij de zuidpool ziet een dunne baanset in een smalle strook hemel, waardoor de afstandsmeetgeometrie slecht geconditioneerd is; enkele OPGEMETEN OPPERVLAKTEBAKENS leveren de zichtlijnrijen met lage elevatie en brede azimut die een geheel bovenhoofdse set mist, en de horizontale verdunning van precisie stort in. Het scenario rapporteert drie configuraties op één epoch — alleen satellieten, satellieten plus de zichtbare bakens, en een grotere constellatie als alternatieve route naar dezelfde geometrie — elk met zijn aantallen zichtbare bronnen, zijn volledige DOP en de gerealiseerde 1-sigmanauwkeurigheid in METERS, verkregen door te vermenigvuldigen met een user-equivalent ranging error per baken die is samengesteld als de wortel uit de som van de kwadraten van klok-synchronisatie-, multipad- en opmetingstermen. De zichtbaarheid van bakens is de geometrische horizon op twee hoogten voor de luchtloze Maan (geen atmosfeer, dus de grens is exact), en de DOP-samenstelling is dezelfde kernel die in tests/dop_reference.rs is gecontroleerd aan gnss_lib_py. WAAROM DEZE SOORT BESTAAT: de module erachter zit al sinds L08/L09 in de engine en is gecontroleerd aan een onafhankelijk DOP-pad, maar was niet bereikbaar vanuit een run — geen soort, geen dispatch-arm, geen meegeleverd bestand. De README maakte reclame voor de mogelijkheid en de verificatiematrix bevatte er GEEN enkele rij voor, zodat ze tegelijk in proza werd geclaimd en in het register niet werd geclaimd, terwijl ze in de engine onbereikbaar was. De standaardwaarden zijn de geometrie die al een vastgelegd golden-bestand heeft (een gebruiker op -80 deg met een antenne van 2 m, drie bakens op -80/0, -79/+60 en -79/-60 op 2 km, een illustratieve LCNS-momentopname met zes satellieten op t=0, een masker van 5 deg), zodat een kale run een tabel reproduceert die een onafhankelijke referentie al dekt in plaats van nieuwe getallen te verzinnen. MODELLED: het constellatieontwerp, de plaatsing van de bakens en elke grootte in het foutbudget zijn illustratieve invoer, geen in gebruik zijnde opmeting of gemeten link; alleen de DOP-rekenkunde, de gesloten vorm van de horizon en de relatie sigma = DOP x sigma_URE zijn extern verankerd. Geen toezegging over serviceprestaties.

Verplichte velden: geen. Optioneel: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-beacon.

kshana scenarios/lunar-beacon.toml
De grafiek die de engine schrijft voor scenarios/lunar-beacon.toml, soort lunar-beacon

lunar-interop-export#

Gemodelleerde interoperabiliteitsexport voor de maan: geeft het maanreferentiestelsel, de maantijdschaal en de maanefemeride uit in op LunaNet/IOAG afgestemde, op CCSDS gebaseerde uitwisselingsvormen met controle van heen-en-terugvertaling en velden. HERGEBRUIKT de CCSDS OEM 2,0-emitter en -parser van de crate (crate::oem), opnieuw getagd voor de maancontext — de OEM REF_FRAME draagt het maanlichaamsstelsel IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM de maantijdschaal (LTC / TCL / UTC), CENTER_NAME = MOON — over een voorbeeldefemeride van het illustratieve type LCNS (posities uit crate::lunar_service, snelheid via eindig verschil). Geeft ook een op LunaNet/IOAG afgestemde beschrijving van de maantijd uit (schaal-id, seculiere snelheid µs/dag uit crate::lunar_time, gepubliceerde band, referentieoppervlak) die via serde_json heen en terug wordt vertaald, en verpakt de artefacten in de bestaande KIF-envelop (crate::interchange) met het eerlijkheidslabel MODELLED. Rapporteert uitgegeven artefacten, aantal OEM-regels, veldformaatcontrole geslaagd + lijst van aanwezige/ontbrekende velden, OEM-heen-en-terugvertaling in orde, tijdmetadata-heen-en-terugvertaling in orde, en KIF-grootte in bytes. MODELLED — deterministische heen-en-terugvertaling + controle van veldnamen ten opzichte van gepubliceerde CCSDS OEM- en LunaNet/IOAG-veldsemantiek is de onafhankelijke referentie; GEEN gecertificeerde formaatcontrole voor interoperabiliteit; illustratieve efemeride uit openbare bronnen, niet gelieerd aan ESA; geen TRL, geen heritage, geen onderschrijving door een ruimtevaartorganisatie.

Verplichte velden: geen. Optioneel: frame, time_system, n_states, epoch, step_min, object.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-interop-export.

kshana scenarios/lunar-interop-export.toml
De grafiek die de engine schrijft voor scenarios/lunar-interop-export.toml, soort lunar-interop-export

cislunar-observability#

MODELLED waarneembaarheid van een vlakke cislunaire constellatie (P6): volgt een vierspacecraft-constellatie van differentieel gecorrigeerde vlakke DRO's met inter-satellietafstandsmeting en rapporteert hoeveel van de vier toestanden [x,y,ẋ,ẏ] van een ruimtevaartuig de boog waarneembaar maakt. Geeft uit (1) de tabel rang-versus-booglengte voor één link met alleen afstand — instantaan rang 1, groeiend naar de volledige vier toestanden naarmate de boog langer wordt (P6 Table 1); (2) het eigenwaardenspectrum + conditiegetal van de waarneembaarheidsgramiaan over de boog; (3) de vergelijking van de instantane rang tussen alleen-afstand en afstand+afstandssnelheid (de Doppler-ontwerphefboom) plus de rapportage van GDOP die voor alleen-afstand singulier en voor afstand+snelheid gedefinieerd is; en (4) een onafhankelijke SRIF-kruisvalidatie waarvan de posteriori-covariantie eindig / goed geconditioneerd wordt precies bij de boog waar de waarneembare rang vier bereikt. VALIDATED kern: de waarneembare rang is een rangonthullende singulierewaardedrempel die is gecontroleerd tegen de eigenrang van de gramiaan; het eigenwaardenspectrum voldoet aan de spectrale invarianten (trace=Σλ, det=Πλ, Frobenius²=Σλ²); de variationele STM is de met eindige differenties getoetste CR3BP-STM; de rijen van de afstands-/afstandssnelheidsjacobiaan zijn met eindige differenties getoetste analytische partiëlen (gecontroleerd tegen de 3D-afstandssnelheidswaarneembare van de crate); de vier beginvoorwaarden zijn differentieel gecorrigeerde vlakke DRO's die sluiten tot een strak periodiciteitsresidu en retrograad zijn; de rangovergang is kruisgevalideerd tegen het square-root-informatiefilter van de crate (posteriori-covariantie eindig precies bij volle rang, cond(P)=cond(OᵀO)); een rangdeficiënte momentopname wordt gemarkeerd als GDOP-niet-gedefinieerd (fim condition=inf), nooit als een valse eindige waarde — dezelfde bewaking voor singuliere geometrie die pvt::solve_spp toepast. MODELLED: het constellatieontwerp (DRO-perilunamplitudes en -fasen) en de specifieke rangprogressie die het oplevert. Geen gecertificeerd product voor navigatieprestaties.

Verplichte velden: geen. Optioneel: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: cislunar-observability.

kshana scenarios/cislunar-observability.toml
De grafiek die de engine schrijft voor scenarios/cislunar-observability.toml, kind cislunar-observability

cislunar-arc-recovery#

MODELLED test met onafhankelijke schatter van de cislunaire waarneembaarheidsdrempel voor booglengte. Die drempel is een RANG-bepaling op de waarneembaarheidsmatrix die is opgebouwd uit de ANALYTISCHE afstandsjacobiaanrijen en de ANALYTISCHE variationele toestandsovergangsmatrix, en zijn kruiscontrole met het square-root-informatiefilter vouwt diezelfde rijen — een consistentiecontrole tussen twee numerieke machines, geen bevestiging. Dit kind levert de ontbrekende scheidsrechter: een batch-kleinstekwadratenschatter die de begintoestand van de chief uit gesimuleerde metingen daadwerkelijk HERSTELT, met de meetpartiëlen genomen als CENTRALE FINITE DIFFERENCES van het samengestelde voorwaartse model. Hij roept geen analytische jacobiaanrij aan, geen variationele STM, geen singulierewaarde- of eigenwaardeontbinding, geen rangtolerantie en geen square-root-informatiefilter — een brontekstbewaking in tests/cislunar_arc_recovery_reference.rs maakt dat afdwingbaar — terwijl de dynamica (dezelfde RK4-CR3BP-stroom), de beginvoorwaarden (dezelfde differentieel gecorrigeerde constellatie), de scalaire waarneembare grootheid en het tijdstipraster bewust worden gedeeld en worden benoemd in het uitgegeven independence-blok, omdat twee analyses van één fysisch probleem het over de fysica eens moeten zijn om vergelijkbaar te zijn. Twee criteria, elk doorgerekend over vijf decaden van zijn eigen grens: RUISVRIJE HERSTELLING (de eindtoestandsfout van elke geseede trial is hoogstens recovery_factor maal zijn a-priori-verplaatsing — het rang-analogon, zonder singulierewaardetolerantie erin) en MONTE-CARLO-SCHATBAARHEID (de gemeten RMS-positiefout over een geseed ruis-ensemble onder een vermelde grens — het schatbaarheidsanalogon, gemeten in plaats van voorspeld). Ondersteunt de vlakke viertoestanden- en de ruimtelijke zestoestandenvariant, de families DRO / L2-halo / L2-NRHO, afstands- en afstandssnelheidswaarnemingen, en een Maan-gecentreerde polaire parametrisering waarin de transformatie op de TOESTAND wordt toegepast en het voorwaartse model daar opnieuw wordt gedifferentieerd. MEASURED op het gepubliceerde vlakke DRO-raster: de schatter herstelt de vier toestanden vanaf 0,782609 h tegenover 2,086957 h van het rangcriterium bij rel_tol 1e-6 (verhouding 0,375) — de rangdrempel is NIET bevestigd als herstelbaarheidsgrens — terwijl de gemeten schatbaarheidsgrens in dezelfde rastercel valt als de formele, 5,739130 h, en de gemeten foutcurve de formele 1-sigma over 21 booglengtes reproduceert tot een meetkundig-gemiddelde verhouding van 0,98. MODELLED: het constellatieontwerp, het tijdstipraster, de ene gevolgde link, de grootte van de verplaatsing, de meetsigma en de twee vermelde grenzen. Geen gecertificeerd product voor navigatieprestaties.

Verplichte velden: geen. Optioneel: mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: cislunar-arc-recovery.

kshana scenarios/cislunar-arc-recovery.toml
De grafiek die de engine schrijft voor scenarios/cislunar-arc-recovery.toml, kind cislunar-arc-recovery

lunar-attack-surface#

Aanvalsoppervlak voor signaalbeveiliging bij navigatie op het maanoppervlak (P1): voegt de open analyses van signaalbeveiliging samen tot één run die via het binaire bestand bereikbaar is. Rapporteert (1) het ontvangen AFS-vermogen en het vermogens-OVERSCHOT ten opzichte van een terrestrische GPS-referentie, plus de gevoeligheidsband van 12-18 dB als een echte meerassige sweep over de linkinvoer (referentieniveau x EIRP x schuine afstand) met de afstemming van de lineaire factor van 25x afgerond / 28x niet afgerond. HERZIEN (regel R4): dit rapporteerde een vermogens-TEKORT van 15,6 dB en een factor 32x/36x totdat de GPS-referentie werd gecorrigeerd van -125 / -128.5 (de dBm-cijfers) naar -155 / -158.5 dBW, de ICD-GPS-200-waarden die de jammingmodule altijd heeft gehanteerd. Het teken keert om: het gemodelleerde AFS-signaal op de maan is 14,4 dB STERKER dan terrestrische GPS L1 C/A, niet zwakker. Het ontvangen vermogen zelf is geen bit verschoven, en de lineaire factor is de oude gedeeld door precies 1000, wat precies de dBm-naar-dBW-offset van 30 dB is; (2) het vereiste zendvermogen van de aanvaller om te spoofen (J/S = 3 dB) en om te blokkeren (J/S = 30 dB) op elke afstand, het omgekeerde van de J/S-link; (3) de baanvoetafdruk voor opvang onder een echt antennepatroon met uniforme apertuur (Airy [2 J1(x)/x]^2), een door de hoogte begrensde sub-hemisferische kap waarvan de rand NIET wordt opgevangen; (4) een berekende uitkomst van het intrekken van de spoofopvang door de volglus (sleept een spoofer met dezelfde code bij een gegeven vermogensvoordeel en codeoffset de DLL/PLL daadwerkelijk mee) in plaats van de beweerde drempel van 3 dB; (5) het geometrische horizonbereik op een luchtloos hemellichaam van een verhoogde oppervlaktezender; en (6) het OSNMA/TESLA-authenticatiebudget (20 bit/s overhead = ~40 % van een AFS-navigatiebericht van 50 bit/s, vertraging bij sleutelvrijgave, 2^-40 vervalsing). Een lege body reproduceert de P1-basislijn; elke invoer heeft een standaardwaarde en kan worden overschreven. VALIDATED deelresultaten dragen de onafhankelijke referentie van hun bronmodule (dB-radiometrie in gesloten vorm; omgekeerde J/S-heen-en-terugreis; Airy-patroon ten opzichte van Bessel uit A&S en de geometrie van de bolkap; DLL/PLL-intrekking ten opzichte van Kaplan & Hegarty; identiteit van de bolvormige raaklijnhorizon ten opzichte van eo_payload; veldafmetingen volgens de OSNMA SIS-ICD). MODELLED: de representatieve geometrie- en vermogensgrootten en de specifieke celwaarden van de opvangkaart. Geen gecertificeerd beveiligingsproduct.

Verplichte velden: geen. Optioneel: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-attack-surface.

kshana scenarios/lunar-attack-surface.toml
De grafiek die de engine schrijft voor scenarios/lunar-attack-surface.toml, soort lunar-attack-surface

lunar-jamming#

RF-jamming op de maan zelf: verhouding tussen stoorsignaal en signaal per satelliet, effectieve C/N₀ en verlies van lock voor een selenografische gebruiker op het oppervlak onder een jammer op het maanoppervlak (of verhoogd), over de illustratieve constellatie in een maanbaan van het type Moonlight/LCNS uit openbare bronnen. Voegt de bestaande open jammingfysica (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) samen met de bestaande hemelgeometrie van de maan (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); er wordt geen geometrie of radiometrie opnieuw afgeleid. Anders dan bij de aardse soort jamming is het signaalbeen GEEN vast ontvangen vermogen: het isotrope ontvangen vermogen van elke satelliet is zijn eigen linkbudget EIRP − FSPL(schuine afstand), zodat de J/S per satelliet verschilt met maanafstand en elevatie. Rapporteert ÉÉN RIJ PER ZICHTBARE LINK (epoch, satelliet) — azimut, elevatie, schuine afstand, beide ontvangen vermogens waarvan de J/S het verschil is, de J/S, de nominale en effectieve C/N₀ en de lockstatus — plus samengevatte kwaliteitsmaten naast (nooit in plaats van) die tabel, en dezelfde tabel als CSV-artefact. Elk uitgegeven numeriek veld draagt een eenheid en een herkomstklasse. VALIDATED deelresultaten dragen de onafhankelijke referentie van hun bronmodule (de anti-jamvergelijking en J/S-link van Kaplan & Hegarty §9,4, extern gerefereerd in tests/gnss_denied_jamming_resilience_reference.rs; de maangeometrie van lunar_service). De samenstelling zelf wordt gecontroleerd aan een onafhankelijk pad met twee linkbudgetten (linkbudget::received_signal_power_dbw, een andere uitdrukking voor vrije-ruimteverlies) tot 1e-9 dB. MODELLED: de illustratieve constellatie, de representatieve EIRP / jammervermogen / antennewinsten / ruistemperatuur, en de afwezigheid van terreinafscherming, multipad, AGC-dynamiek en adaptief nullen. Geen gecertificeerd product voor denial-of-service. Als een jammer is geconfigureerd, bevat het rapport ook een BLOKKADECONTOUR INCLUSIEF EEN ONZEKERHEIDSBAND in plaats van een contour die van één scalaire waarde wordt afgelezen: de volledige gemeten verdeling van de C/N₀ van het gewenste signaal over de tabel per satelliet (n, min, p05, p25, mediaan, p75, p95, max, gemiddelde, steekproefstandaardafwijking en de eigen asymmetrie van de steekproef), en de contour geëvalueerd bij elk van die rangstatistieken onder BEIDE blokkadecriteria die de engine kent — het gevestigde criterium van de vermogensverhouding (J/S = 30 dB, zoals in attack-surface en tracking-loop) en het criterium van verlies van lock (effectieve C/N₀ die daalt tot tracking_threshold_dbhz, het criterium dat de eigen statuskolom van dit rapport gebruikt) — op beide assen van het blokkadevlak (vereiste jammer-EIRP op de standoff van het scenario, blokkadestandoff bij de EIRP van het scenario). De randen van de band ZIJN contour(p05) en contour(p95), dezelfde afbeelding in gesloten vorm toegepast op de eigen kwantielen van de steekproef: geen sigma die aan de steekproef is gefit en niet mediaan ± k·stdev, waarbij stdev ter wille van de continuïteit wordt uitgegeven en door niets wordt gebruikt. Een kwantiel dat al op of onder de trackingdrempel ligt, heeft geen eindige blokkerende J/S en zijn kolommen voor verlies van lock zijn null met een getelde reden, nooit een afgekapte straal.

Verplichte velden: geen. Optioneel: n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-jamming.

kshana scenarios/lunar-jamming.toml
De grafiek die de engine schrijft voor scenarios/lunar-jamming.toml, soort lunar-jamming

earth-gnss-lunar#

Ontvangst van Aarde-GNSS op maanafstand, de zwaksignaallaag die het conflict-resilience-paper noemt en waarvoor de engine geen model had. Een GNSS-satelliet richt zijn antenne op de Aarde; een ontvanger bij de Maan zit ongeveer vijftien keer de baanstraal verderop, dus drie dingen spelen tegelijk. De Aarde BEDEKT DE BORESIGHT: vanaf 26.560 km beslaat ze een halve hoek van 13,9 deg, dus elke straal naar de Maan moet de zender minstens zover van nadir verlaten, wat de piek van de bundel wegneemt voordat er enig vermogen wordt berekend. Wat overblijft is de RAND VAN DE HOOFDLOB EN DE ZIJLOBBEN, het regime waarin de LuGRE-payload in 2025 daadwerkelijk werkte. En het vrije-ruimteverlies is ongeveer 208 dB bij L1, grofweg 25 dB meer dan een aardse gebruiker betaalt. Het rapport geeft één rij per satelliet (hoek buiten de boresight, aardbedekking, afstand, padverlies, zendversterking bij die hoek, ontvangen vermogen, draaggolf-ruisdichtheid) en aggregeert alleen de links die de volgdrempel halen. HET RAPPORTEERT OOK DE CONDITIONERING, omdat die deze laag definieert: elke zichtbare satelliet ligt binnen een kegel van een paar graden breed gezien vanaf de Maan, dus de zichtlijnen zijn bijna evenwijdig, de verdunning van precisie is enorm, en een Aarde-GNSS-positiebepaling op maanafstand is veel meer een waarneming van TIJDSYNCHRONISATIE-kwaliteit dan van positiekwaliteit. MODELLED, en het zendpatroon is de reden: de versterking bij een hoek is een uniform cirkelvormige apertuur (Airy), terwijl een echte GPS-L1-antenne een helixarray van twaalf elementen is met een gevormde hoofdlob en niet-Airy-zijlobben. Gemeten patronen bestaan en zijn hier niet gevendord, dus rangordes en ordes van grootte zijn zinvol terwijl de dB van één enkele satelliet dat niet is. Bewust AFWEZIG, elk met als gevolg een optimistisch budget: geen ionosferisch of troposferisch verlies op de langs de rand scherende stralen, geen polarisatie-, richt- of implementatieverlies, en een bolvormige Aarde zonder refractieve uitbreiding. De positie van de Maan is een INVOER (afstand plus inertiële richting) in plaats van een efemeridenopzoeking, omdat de onderzochte grootheid de link en de bundelgeometrie is. Om deze rij naar extern getoetst te verhogen zijn een gemeten zendpatroon en LuGRE-normaalpunten nodig; geen van beide staat in de repository en geen van beide wordt hier verzonnen.

Verplichte velden: geen. Optioneel: altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: earth-gnss-lunar.

kshana scenarios/earth-gnss-lunar.toml
De grafiek die de engine schrijft voor scenarios/earth-gnss-lunar.toml, kind earth-gnss-lunar

lunar-infrastructure#

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.

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

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: lunar-infrastructure.

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

geen plot: het voorbeeld schrijft geen grafiek