lunar-jamming (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#

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.

Eén run van scenarios/lunar-jamming.toml vat zich samen als: lunar-jamming | 4 sats, 12 epochs, 38 links vanaf (-89.67, 129,78) | J/S 33,651..36.668 dB (gemiddeld 35,622) | 0 LOST | beschikbaarheid 0,167 van 0,167 nominaal

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

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

Uitvoeren#

kshana scenarios/lunar-jamming.toml

Wat het oplevert#

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

Bewijs#

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

• MODELLED Maanspecifieke jammer-tot-signaalverhouding, effectieve C/N₀ en verlies van lock voor een selenografische oppervlaktegebruiker onder een jammer op het maanoppervlak (of verhoogd), over de illustratieve constellatie van het type Moonlight/LCNS uit openbare bronnen.
• MODELLED Het rapport lunar-jamming steunt zijn ontkenningscontour niet langer op één scalair.

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
• PARTNER Niet geleverd — Kshana modelleert signaalprestaties, geen payload- of antennehardware. Onafhankelijke referentie (NoneKind): geen: een discipline die van de partner is, met opzet zonder module en zonder test
• MODELLED Verhouding tussen stoorsignaal en signaal op de maan zelf, effectieve C/N₀ en verlies van lock voor een selenografische gebruiker op het oppervlak onder een jammer op het maanoppervlak (of verhoogd), over de illustr. Onafhankelijke referentie (ReferenceImpl): Controle van de samenstelling aan een onafhankelijk codepad binnen de repository: elke J/S per link wordt opnieuw afgeleid als het verschil van twee linkbudgetten die zijn berekend met linkbudget::received_signal_power_dbw, waarvan het vrije-ruimteverlies de enkele uitdrukking 20·log10(4πRf/c) is in plaats van de som van drie termen die jamming::free_space_path_loss_db gebruikt — de twee komen op elke rij overeen tot < 1e-9 dB (gemeten ongunstigste geval 7.11e-14 dB, dat wil zeggen afrondingsfout in drijvende komma)
• MODELLED Het rapport lunar-jamming baseert zijn blokkadecontour niet langer op één scalaire waarde. Het geeft de volledige gemeten verdeling van de C/N₀ van het gewenste signaal over de tabel per sat uit. Onafhankelijke referentie (InternalConsistency): Interne consistentie ten opzichte van de eigen voorwaartse functies van de engine, het enige wat deze mogelijkheid eerlijk kan claimen. Elk contourpunt is een inversie in gesloten vorm, en elke inversie wordt gecontroleerd door haar antwoord terug te voeren door de VOORWAARTSE functie waarmee de eigen rijen van het rapport zijn gescoord: de J/S-kolom via jamming::effective_cn0_dbhz (die tracking_threshold_dbhz moet teruggeven tot < 1e-9 dB-Hz), de standoffkolom

Beperkingen#

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

• MODELLED: de illustratieve constellatie, de representatieve EIRP / jammervermogen / antennewinsten / ruistemperatuur, en de afwezigheid van terreinafscherming, multipad, AGC-dynamiek en adaptief nullen. (soortencatalogus (kshana kinds --json))
• MODELLED. De constellatie is de illustratieve geometrie van het type Moonlight/LCNS uit openbare bronnen (niet de echte efemeride; geen verbondenheid of onderschrijving geïmpliceerd), en het interferentiemodel is een linkbudget: geen terreinafscherming van de jammer (een eerste-orde-effect in terrein bij de zuidpool), geen multipad, geen AGC-dynamiek van dichtbij en veraf, geen adaptief nullen, geen hysterese tussen acquisitie en tracking. (commentaar in het scenariobestand, regels 26 tot 30)
• 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))
• RF-jamming bij navigatie op het maanoppervlak (J/S per satelliet) 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))
• De blokkadecontour op de maan met een onzekerheidsband uit de gemeten spreiding van de C/N₀ is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan de hand van de eigen gesloten-vorm- of analytische identiteit; dit vangt transcriptie- en coëfficiëntfouten op, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md
• Onderwerppagina: integrations.md