lunar-jamming (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunarer Raum. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Mondeigenes HF-Jamming: Störer-zu-Signal-Verhältnis je Satellit, effektives C/N₀ und Verlust der Aufschaltung für einen selenographischen Oberflächennutzer unter einem Störer an der Mondoberfläche (oder erhöht), über der illustrativen Konstellation im Mondorbit der Klasse Moonlight/LCNS aus öffentlichen Quellen. Setzt die vorhandene offene Jamming-Physik zusammen (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) mit der vorhandenen lunaren Himmelsgeometrie (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); weder Geometrie noch Radiometrie werden neu abgeleitet. Anders als bei der Erd-Szenarioart jamming ist der Signalzweig NICHT eine feste Empfangsleistung: Die isotrope Empfangsleistung jedes Satelliten ist sein eigenes Link-Budget EIRP − FSPL(Schrägentfernung), sodass das J/S von Satellit zu Satellit mit lunarer Entfernung und Elevation variiert. Gibt EINE ZEILE JE SICHTBAREM (Epoche, Satellit) LINK aus — Azimut, Elevation, Schrägentfernung, beide Empfangsleistungen, deren Differenz das J/S ist, das J/S, das nominelle und das effektive C/N₀ und den Aufschaltstatus — sowie aggregierte Gütezahlen neben (nie anstelle von) dieser Tabelle und dieselbe Tabelle als CSV-Artefakt. Jedes ausgegebene numerische Feld trägt eine Einheit und eine Herkunftsklasse. VALIDATED Teilergebnisse tragen die Referenz ihres Quellmoduls (die Anti-Jam-Gleichung und das J/S-Link von Kaplan & Hegarty §9,4, extern referenziert in tests/gnss_denied_jamming_resilience_reference.rs; die lunare Geometrie von lunar_service). Die Zusammensetzung selbst wird gegen einen unabhängigen Pfad mit zwei Link-Budgets (linkbudget::received_signal_power_dbw, ein anderer Ausdruck für die Freiraumdämpfung) bis auf 1e-9 dB gegengeprüft. MODELLED: die illustrative Konstellation, die repräsentative EIRP / Störerleistung / Antennengewinne / Rauschtemperatur und das Fehlen von Geländeabschattung, Mehrwegeausbreitung, AGC-Dynamik und adaptiver Nullung. Kein zertifiziertes Produkt zur Dienstverweigerung. Ist ein Störer konfiguriert, enthält der Bericht außerdem eine VERWEIGERUNGSKONTUR MIT EINEM UNSICHERHEITSBAND statt einer von einem einzigen Skalar abgelesenen Kontur: die vollständige gemessene Verteilung des C/N₀ des Nutzsignals über die Tabelle je Satellit (n, min, p05, p25, Median, p75, p95, max, Mittelwert, Stichproben-Standardabweichung und die eigene Asymmetrie der Stichprobe) und die Kontur, ausgewertet an jeder dieser Ordnungsstatistiken unter BEIDEN Verweigerungskriterien, die die Engine kennt — dem bisherigen Leistungsverhältnis (J/S = 30 dB, wie in attack-surface und tracking-loop) und dem Verlust der Aufschaltung (effektives C/N₀ fällt auf tracking_threshold_dbhz, das Kriterium, das die eigene Statusspalte dieses Berichts verwendet) — auf beiden Achsen der Verweigerungsebene (erforderliche Störer-EIRP beim Abstand des Szenarios, Verweigerungsabstand bei der EIRP des Szenarios). Die Bandgrenzen SIND contour(p05) und contour(p95), dieselbe Abbildung in geschlossener Form, angewandt auf die eigenen Quantile der Stichprobe: kein an die Stichprobe angepasstes Sigma und nicht Median ± k·Standardabweichung, wobei die Standardabweichung der Kontinuität halber ausgegeben und von nichts verwendet wird. Ein Quantil, das bereits an oder unter der Tracking-Schwelle liegt, hat kein endliches verweigerndes J/S, und seine Spalten zum Verlust der Aufschaltung sind null mit einem gezählten Grund, nie ein auf einen Wert begrenzter Radius.

Ein Lauf von scenarios/lunar-jamming.toml fasst sich so zusammen: lunar-jamming | 4 sats, 12 epochs, 38 links from (-89.67, 129,78) | J/S 33,651..36.668 dB (mean 35,622) | 0 LOST | availability 0,167 of 0,167 nominal

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: 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

Das Beispiel scenarios/lunar-jamming.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-jamming.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• MODELLED Mondeigenes Störer-zu-Signal-Verhältnis, effektives C/N₀ und Verlust der Aufschaltung für einen selenographischen Oberflächennutzer unter einem Störer an der Mondoberfläche (oder erhöht) über der illustrativen Moonlight/LCNS-artigen Konstellation aus öffentlichen Quellen.
• MODELLED Der Bericht von lunar-jamming stützt seine Verweigerungskontur nicht mehr auf einen einzigen Skalar.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• PARTNER Nicht bereitgestellt — Kshana modelliert Signalleistung, keine Nutzlast- oder Antennenhardware. Unabhängige Referenz (NoneKind): keine: eine Disziplin im Besitz des Partners, absichtlich ohne Modul und ohne Test
• MODELLED Mondeigenes Störer-zu-Signal-Verhältnis, effektives C/N₀ und Verlust der Aufschaltung für einen selenographischen Oberflächennutzer unter einem Störer an der Mondoberfläche (oder erhöht), über der illustr. Orakel (ReferenceImpl): Gegenprüfung der Zusammensetzung gegen einen unabhängigen Codepfad im selben Repository: Jedes J/S je Link wird als Differenz zweier Link-Budgets neu abgeleitet, die mit linkbudget::received_signal_power_dbw berechnet werden, dessen Freiraumdämpfung der einzelne Ausdruck 20·log10(4πRf/c) ist statt der Dreitermsumme, die jamming::free_space_path_loss_db verwendet — beide stimmen in jeder Zeile auf < 1e-9 dB überein (gemessener ungünstigster Fall 7.11e-14 dB, d. h. Gleitkomma-Rundungsfehler)
• MODELLED Der Bericht von lunar-jamming stützt seine Verweigerungskontur nicht mehr auf einen einzigen Skalar. Er gibt die vollständige gemessene Verteilung des C/N₀ des Nutzsignals über die Tabelle je Satellit aus. Orakel (InternalConsistency): Interne Konsistenz gegen die eigenen Vorwärtsfunktionen der Engine, mehr kann diese Fähigkeit ehrlicherweise nicht beanspruchen. Jeder Konturpunkt ist eine Inversion in geschlossener Form, und jede Inversion wird geprüft, indem ihre Antwort durch die VORWÄRTSFUNKTION zurückgeführt wird, mit der die eigenen Zeilen des Berichts bewertet wurden: die J/S-Spalte durch jamming::effective_cn0_dbhz (das tracking_threshold_dbhz auf < 1e-9 dB-Hz zurückgeben muss), die Abstandsspalte

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• MODELLED: die illustrative Konstellation, die repräsentative EIRP / Störerleistung / Antennengewinne / Rauschtemperatur und das Fehlen von Geländeabschattung, Mehrwegeausbreitung, AGC-Dynamik und adaptiver Nullung. (Szenarioarten-Katalog (kshana kinds --json))
• MODELLED. Die Konstellation ist die illustrative Geometrie der Klasse Moonlight/LCNS aus öffentlichen Quellen (nicht die reale Ephemeride; keine Verbindung oder Billigung impliziert), und das Störungsmodell ist ein Link-Budget: keine Geländeabschattung des Störers (ein Effekt erster Ordnung im Gelände am Südpol), keine Mehrwegeausbreitung, keine AGC-Nah-Fern-Dynamik, keine adaptive Nullung, keine Hysterese zwischen Akquisition und Tracking. (Kommentar in der Szenariodatei, Zeilen 26 bis 30)
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Das lunare HF-Jamming bei der Oberflächennavigation (J/S je Satellit) ist MODELLED, nicht validiert: Es wird gegen eine getrennte Implementierung in derselben Codebasis geprüft — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Die lunare Verweigerungskontur mit einem Unsicherheitsband aus der gemessenen Streuung des C/N₀ ist MODELLED, nicht validiert: Sie wird gegen ihre eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Mond und cislunarer Raum
• Alle Arten: KINDS.md
• Themenseite: integrations.md