Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Powtórka Misja T+00:00:00 Scenariusz campaign-jam-spoof-holdover-integrity Nominalny Silnik v0.40.0 · ziarno (seed) 20260928Rzeczywisty przebieg

v0.40.0Otwarte oprogramowanie · AGPL-3.0 · od Ashforde®

Kshana · क्षण · dokładna chwila

Przećwicz minutę, w której GNSS gaśnie.

Kshana to otwartoźródłowy symulator odporności PNT (pozycjonowanie, nawigacja i czas). Odtwarza zagłuszanie (jamming), spoofing i holdover zegara, gdy zawodzą sygnały GNSS (globalny system nawigacji satelitarnej), w silniku napisanym w Rust, który działa wprost w przeglądarce, i pokazuje dokładnie, które wyniki sprawdzono względem niezależnych wzorców.

Uruchom Kshana Studio

Naciśnij ⌘K, aby przeszukać strony, scenariusze i dokumentację

Kshana ProTen sam silnik, wzmocniony: 608 projektów, jeden front Pareto

Dziennik zdarzeń · campaign-jam-spoof-holdover-integrityRzeczywiste zdarzenia

Skąd pochodzi każdy przebieg

Kampania: silnik v0.40.0, kompilacja 3395218 · campaign-jam-spoof-holdover-integrity.toml · ziarno (seed) 20260928Otwórz w Kshana StudioRaport JSON TOML

Orbity: silnik v0.40.0, kompilacja 3395218 · constellation-multi-gnss-coverage.toml · deterministyczne, bez ziarna (seed)Otwórz w Kshana StudioRaport JSON TOML

Konsola, trzy karty i dziennik odtwarzają jeden łańcuchowy przebieg złożony z 6 faz i 18 przebiegów składowych na jego siatce 10 s (T+01:16:10 czasu misji). Orbity to 102 satelity GPS, Galileo, BeiDou i GLONASS z przebiegu konstelacji, każdy odtworzony jako orbita kołowa w problemie dwóch ciał ze śladu naziemnego silnika (najgorsze residuum 0,0034°), z promieniami ściśniętymi na potrzeby wyświetlania. Łącza są rysowane do satelitów powyżej maski 10° przebiegu konstelacji (25° w fazie alarmu integralności, czyli masce ponownego przechwycenia kampanii), przyciemniane przez jego zagłuszanie i przerywane w holdover. Ziemia: NASA Blue Marble i Black Marble. Kshana Studio odtwarza przebieg łańcuchowy w przeglądarce; własny raport silnika i polecenie odtwarzają każdy przebieg.

92rodzaje scenariuszy 181dołączonych plików scenariuszy 401możliwości w macierzy weryfikacji 176/401sprawdzonych względem niezależnych wyroczni zewnętrznych 6artykułów w arXiv zbudowanych na otwartym silnikuPrzeczytaj badania WASMdziała w przeglądarce jako WebAssembly, bez instalacji

Nowość w v0.40.0: wątek misji, etykieta dowodowa przy każdej wartości i siedemnaście języków

Obliczone z modeluWątek misji klasy Artemis: budżet błędu nawigacji i czasu od startu do wejścia w atmosferę
Obliczone z modeluSegment księżycowy: spotkanie, lądowanie, powierzchnia i wznoszenie
Obliczone z modeluSzacowany obszar emitera na podstawie raportów ADS-B lub AIS
Obliczone z modeluZmierzone dzienniki zegara i holdover sterowany dopasowaną serią
Partnerzy danych: które wiersze mogłyby awansować dzięki zmierzonym danym
Etykieta dowodowa przy każdej wartości i tabeli zapisywanej przez przebieg
Siedemnaście języków obok angielskiego
Obliczone z modelukshana-bench: ponowna kampania 0,40

Co robi każdy z nich i co sprawdzono · Każdy kanał instalacji

Konsola pasma L · rodzaj spectrum

Zobacz, jak zagłuszarka zajmuje pasmo.

Pasmo L GNSS jako jedna PSD (gęstość widmowa mocy): częstotliwość w poziomie, czas w dół, kolor dla mocy ponad poziomem szumu. Sygnały leżą poniżej tego poziomu, więc świecą zagłuszarki: chirp, ton CW (fala ciągła) i szum wąskopasmowy. Najedź kursorem, dotknij lub użyj klawiszy strzałek, aby zobaczyć C/N0 (gęstość mocy nośnej do szumu) i J/S (stosunek zagłuszarki do sygnału) każdego pasma.

kshana spectrum · l-band-waterfall-jamming.toml Rzeczywisty przebieg

Waterfall jest rysowany z zarejestrowanego przebiegu za pomocą JavaScript. Raport silnika poniżej pokazuje ten sam przebieg.

Zarejestrowany przebieg l-band-waterfall-jamming.toml (seed 7, silnik v0.40.0): 5 pasm GNSS, 3 zagłuszacze w czasie 60 s, próg śledzenia 25 dB-Hz. Zagłuszacze: urządzenie prywatności typu chirp na 1 575,42 MHz od 10 s do 40 s; ton CW na L1 na 1 575,42 MHz od 30 s do końca; szum wąskopasmowy L2 na 1 227,60 MHz od 45 s do końca.

GPS L1 C/A traci synchronizację w 10 s i pozostaje bez niej, minimum 3,2 dB-Hz. Galileo E1 traci synchronizację w 10 s i odzyskuje ją w 40 s, minimum 4,4 dB-Hz. GPS L2C śledzi przez cały czas, minimum 36,9 dB-Hz. GPS L5 śledzi przez cały czas, minimum 44,1 dB-Hz. Galileo E5a śledzi przez cały czas, minimum 46,7 dB-Hz.

Kampania, którą napędza, campaign-spectrum-holdover-integrity.toml (seed 20260928): zagłuszanie pasma L z rodzaju spectrum, holdover zegara i rezerwa wyłącznie z Galileo. Holdover przez 600 s przy swobodnie biegnącym zegarze, najgorszy błąd czasu 5,06 ns wobec ochrony 50 ns; następnie rezerwa wyłącznie z Galileo z poziomem ochrony od 6,1 do 17,7 m, poniżej limitu alarmowego 50 m.

Kampania, którą ten przebieg napędza · każda faza podąża za stanem zagłuszarki

Przebieg silnika dla l-band-waterfall-jamming.tomlOtwórz w Kshana Studio Raport silnika

Scenariusz, dane wynikowe, przebieg kampanii i to, co jest modelowane

Przebieg spectrumPlik scenariusza Dane wynikowe

Napędzana kampania: campaign-spectrum-holdover-integrity.tomlOtwórz w Kshana Studio Raport silnika Plik scenariusza

Obliczone z modelu: widma w postaci zamkniętej nad termicznym poziomem szumu, oceniane dla każdego pasma przez separację widmową; moce i czasy zagłuszarek są danymi wejściowymi scenariusza. Oś czasu liczy sekundy przed teraz; linia cyjanowa oznacza miejsce ponownego startu odtwarzania. Kshana Studio uruchamia ten sam scenariusz w przeglądarce i odtwarza waterfall; raport i polecenie odtwarzają przebieg.

01Oś czasu misji · przewiń lub przeciągnij, aby przeglądać

1/6Nominalny

Każdy satelita jest śledzony. Zegar jest zdyscyplinowany do czasu GNSS, a poziom ochrony leży wyraźnie poniżej limitu alarmowego.

T+00:00:00

Czas misji

kshana campaign · campaign-jam-spoof-holdover-integrity · ziarno (seed) 20260928 Rzeczywisty przebieg

Fazy · przebiegi składowe

NominalnaT+00:00:00
- clockziarno (seed) 42
- jammingziarno (seed) 1
- integrityziarno (seed) 7
ZagłuszanieT+00:10:00
- clockziarno (seed) 43
- jammingziarno (seed) 1
- integrityziarno (seed) 7
SpoofingT+00:20:00
- spoof
- spoof-detect
- jammingziarno (seed) 1
HoldoverT+00:26:10
- clockziarno (seed) 44
- gnss-insziarno (seed) 7
- jammingziarno (seed) 1
Alarm integralnościT+00:56:10
- clockziarno (seed) 45
- jammingziarno (seed) 1
- integrityziarno (seed) 7
OdzyskiwanieT+01:06:10
- clockziarno (seed) 46
- jammingziarno (seed) 1
- integrityziarno (seed) 7

6 faz · 18 przebiegów składowych istniejących rodzajów

Błąd czasu zegarans · margines ochronny 50

–

C/N0dB-Hz · minimum 25

–

PL wobec ALmetry · AL 50

–

NominalnyZagłuszanieSpoofingHoldoverAlarm integralnościOdzyskiwanie

T+00:00:00 → T+01:16:10 czasu misji · jeden przebieg łańcuchowy, a nie trzy przebiegi obok siebiePL = poziom ochrony · AL = limit alarmowy · INS = inercyjny system nawigacyjny

Silnik v0.40.0, kompilacja 3395218 · campaign-jam-spoof-holdover-integrity.toml · ziarno (seed) 20260928Otwórz w Kshana StudioRaport JSON TOML

02Możliwości

Jeden silnik dla całego łańcucha awarii.

Od pierwszego zagłuszonego satelity do ostatniej nanosekundy holdover zegara: sygnały, czujniki, zegary, orbity i integralność w jednym symulatorze. Każdy obraz poniżej to rzeczywisty przebieg silnika i mówi, który.

Zakłócenia

Zagłuszanie i zakłócenia GNSS

Szerokopasmowa zagłuszarka na maszcie i odbiornik przesuwany po siatce wokół niej: każda komórka to osobny przebieg rodzaju jamming silnika. Odcień to średnie J/S (stosunek zagłuszarki do sygnału); czerwone komórki utraciły każdego satelitę.

Silnik v0.40.0 · maritime-strait-jamming.toml · ziarno (seed) 1 · odbiornik przesuwany w każdej komórceOtwórz w Kshana Studio Każda komórka, w Misjach

Zwodzenie

Detekcja spoofingu

Spoofer przejmuje odbiornik i stałym tempem odsuwa jego czas. Monitor integralności każdego zegara ma własną granicę detekcji: zegar kwantowy sygnalizuje kłamstwo niemal od razu, klasyczny dopiero gdy odchyłka urośnie.

Silnik v0.40.0 · spoof-attack.toml · deterministyczne, bez ziarna (seed)Otwórz w Kshana StudioRaport

Zegary

Holdover zegara w różnych klasach oscylatorów

Od chwili zaniku GNSS: mediana i 95. percentyl 200 przebiegów Monte Carlo dla zegara atomowego w skali chipa (CSAC) i optycznego zegara sieciowego oraz błąd jednodobowy czterech kolejnych klas: optycznego zegara wzorcowego, masera wodorowego, rubidowego wzorca częstotliwości atomowej (RAFS) i jego miniaturowej wersji (mini-RAFS).

Silnik v0.40.0 · clock-ensemble.toml · ziarno (seed) 42Otwórz w Kshana StudioRaport

Kolumna jednodobowa: silnik v0.40.0 · lunar-time-budget.toml · deterministyczne, bez ziarna (seed)Otwórz w Kshana StudioRaport

Nawigacja zliczeniowa

Dobieg GNSS/INS

Gdy GNSS zawodzi, INS (inercyjny system nawigacyjny) działa dalej, a jego stożek błędu się rozwiera. Dwie inercyjne jednostki pomiarowe (IMU), jeden budżet.

Silnik v0.40.0 · small-uas-jammed-nav.toml · seed 7Otwórz w Kshana StudioRaport

Synchronizacja czasu

Synchronizacja szczelin czasowych

Jak długo zegar mieści się w swoim przedziale ochronnym po ostatnim rozwiązaniu: pytanie ważne dla sieci z szczelinami czasowymi.

Silnik v0.40.0 · slot-timing-ocxo-leo.toml · deterministyczny, bez ziarna (seed)Otwórz w Kshana StudioRaport

Integralność

RAIM i ARAIM

Poziomy ochrony (PL) z autonomicznego monitorowania integralności odbiornika (RAIM) i jego zaawansowanej postaci (ARAIM), sprawdzone względem limitu alarmowego: tutaj faza alarmu integralności misji łańcuchowej. Słupki kreskowane to epoki, w których nie dało się utworzyć poziomu ochrony.

Silnik v0.40.0, kompilacja 3395218 · campaign-jam-spoof-holdover-integrity.toml · ziarno (seed) 20260928Otwórz w Kshana StudioRaport JSON TOML

Telekomunikacja

Maski synchronizacji

MTIE (maksymalny błąd przedziału czasu) i TDEV (odchylenie czasu) 24-godzinnego holdover wobec limitów ITU-T (International Telecommunication Union, Telecommunication Standardization Sector), tu limitu PRTC-A (primary reference time clock, klasa A).

Silnik v0.40.0 · telecom-prtc-holdover-24h.toml · seed 20260925Otwórz w Kshana StudioRaport

Astrodynamika

Orbity: SGP4 i numeryczne

Propagacja SGP4 (Simplified General Perturbations 4) rzeczywistego zestawu elementów dwuwierszowych, narysowana na rzeczywistych zdjęciach; efemerydy CCSDS OEM i SP3 na wejściu i wyjściu.

Silnik v0.40.0 · ephemeris.toml · deterministyczny, bez ziarna (seed)Otwórz w Kshana StudioRaport

Cislunarne

PNT księżycowe

Pozycjonowanie, nawigacja i czas wokół Księżyca: poziome i pionowe poziomy ochrony (HPL, VPL) z ARAIM w księżycowej usłudze nawigacyjnej.

Silnik v0.40.0 · lunanet-araim.toml · deterministyczny, bez ziarna (seed)Otwórz w Kshana StudioRaport

Nowe czujniki

Studia kompromisów czujników kwantowych

Zważ zegar kwantowy względem klasycznego, zanim ktokolwiek kupi sprzęt: holdover w przeglądzie szumu zegara klasycznego.

Silnik v0.40.0 · sweep-clock-stability.toml · ziarno (seed) 42Otwórz w Kshana StudioRaport

Działa wszędzie

Przeglądarka, terminal, notebook, IDE, asystent

Ten sam silnik w Rust jest dostarczany jako WebAssembly dla Kshana Studio, CLI (interfejs wiersza poleceń), pakiety Python i JavaScript, wtyczka JetBrains Marketplace do IDE (zintegrowane środowisko programistyczne) oraz serwer MCP (Model Context Protocol).

WebAssemblycargo install kshanapip install kshananpm install kshanaJetBrains Marketplacecargo install kshana-mcpobraz ghcr.ioCCSDS OEMSP3

CCSDS OEM: Consultative Committee for Space Data Systems Orbit Ephemeris Message. SP3: format orbit Standard Product 3.

Zakres, powiedziany wprost

Czym Kshana nie jest

Znajomość granic jest równie ważna jak znajomość funkcji.

To nie jest sprzętowy generator sygnału RFNie steruje żadnym radiem i niczego nie nadaje; jego wynikiem na poziomie sygnału są pliki próbek IQ w paśmie podstawowym dla odbiorników programowych.

To nie jest sprzętowy ani certyfikowany odbiornik GNSSJego programowy odbiornik (przechwytywanie i śledzenie na zarejestrowanych lub wygenerowanych próbkach IQ) jest narzędziem analitycznym, a nie produktem nawigacyjnym.

To nie jest produkt lotniczyNarzędzie do badań i analizy kompromisów, w którym każda odpowiedź jest oznaczona jako sprawdzona względem niezależnego wzorca albo obliczona na podstawie modelu.

03Asystenci AI · kshana-mcp

Zapytaj asystenta AI. Odpowiada silnik.

Asystent AI (sztuczna inteligencja) uruchamia silnik przez MCP (Model Context Protocol) za pomocą kshana-mcp i odczytuje wynik w JSON (JavaScript Object Notation).

InstalacjaWygenerowane z repozytorium

Dla każdego, bez niczego do instalowania.

Uruchom Kshana Studio

Silnik działa lokalnie jako WebAssembly; nic nie jest przesyłane.

Otwórz Kshana Studio Przewodnik po Studio

Dla inżynierów, którzy chcą polecenia kshana.

Następnie sprawdźkshana --version

crates.io: kshana Użycie wiersza poleceń

Dla analityków i notebooków.

Następnie sprawdźpython -c "import kshana; print(kshana.version())"

PyPI: kshana Przewodnik po API Pythona

Dla programistów web i Node.js.

Następnie sprawdźnpm ls kshana

npm: kshana Przewodnik po npm i WebAssembly

Dla każdego, kto używa asystenta obsługującego MCP.

Następnie sprawdźcargo install --list | grep kshana-mcp

crates.io: kshana-mcp Przewodnik po serwerze MCP

Następnie zarejestruj go w konfiguracji klienta MCP asystenta. Pełna konfiguracja w sekcji Dla programistów

Asystent AI + kshana-mcp Nagrana sesja

Komunikaty wymieniane przez asystenta z kshana-mcp, zarejestrowane z serwera.

Nagrana sesja z serwerem kshana-mcp (Model Context Protocol, silnik v0.40.0): asystent wyświetla 49 narzędzi, waliduje clock-holdover.toml (poprawny: wykryty rodzaj scenariusza `clock`) i uruchamia go: scenariusz 5ba83a232b94 | holdover kwantowy 6600s p95 1.20e-4ns integralność 1,000 bezpieczeństwo n/a (brak ataku) | holdover klasyczny 2610s p95 19.7ns integralność 1,000 bezpieczeństwo n/a (brak ataku).

animate_scenario: Uruchamia scenariusz Kshana i zwraca jego szereg czasowy jako animację.
assess_receiver_log: Ocenia zaufanie do rzeczywistego dziennika odbiornika GNSS: odczytuje dziennik u-blox UBX, RINEX 3 (opcjonalnie z nawigacją nadawaną, która dodaje własną pozycję silnika, RAIM i monitor wspomagany zegarem), Android GnssLogger lub NMEA, uruchamia monitory zaufania (spadek gęstości stosunku nośnej do szumu, AGC, wskaźnik zagłuszania, utrata synchronizacji, skok pozycji, RAIM, zegar) względem bazowej kalibracji i zwraca, kiedy i dlaczego odbiornik przestał być godny zaufania.
assess_vessel_log: Ocenia dziennik NMEA 0183 statku w przebiegu wsadowym (`kshana receiver-trust` z `[platform] kind = "vessel"`): model wskaźnika, monitory, które zostały uruchomione, oraz wskaźnik 0-100 każdej epoki wraz z jego odjęciami, geometrię satelitów (dobra, pogorszona, nieznana) z `label` (good, fair, poor) przy każdej epoce, przy czym geometria odejmuje punkty tylko wtedy, gdy jest słaba, oraz klasę przy każdym odjęciu (geometria, otoczenie, niespójność), z `geometry_model` (progi, obowiązujący pułap i dolna granica oraz pochodzenie) i `geometry_summary`.
assess_vessel_stream: Ocenia ograniczony fragment strumienia NMEA 0183 statku tak, jak robi to `kshana receiver-trust live`, i zwraca stan zaufania dla każdej epoki (calibrating, nominal, degraded, untrusted) oraz wskaźnik 0-100 z monitorami, które odjęły punkty (schemat live JSON-lines 1,3: każda epoka niesie `position`, stwierdzenie `advisory`, że wynik ma charakter doradczy, oraz geometrię satelitów `geometry` (good, degraded z przyczynami takimi jak few-satellites lub high-pdop albo unknown, gdy fragment nie ma GSV ani GSA) z `label` (good, fair, poor; geometria odejmuje punkty tylko wtedy, gdy jest słaba); każde odjęcie niesie `class`: geometry (niebo, a nie ustalenie, że nie doszło do ataku), environment lub inconsistency (podobne do ataku)), podsumowanie (liczby według stanu, geometrii i klasy, najniższy i końcowy wskaźnik, kiedy pojawiła się pierwsza epoka untrusted) oraz ostatnie zdanie `$PKSHT`.
attach_evidence_timestamp: Wiąże token znacznika czasu RFC 3161 z pakietem dowodowym (`kshana evidence attach-timestamp`), w pamięci: `files` to pakiet w postaci zwracanej przez `create_evidence_pack`, `token_base64` to bajty pliku `.tsr` od urzędu znacznika czasu.
build_interference_map: Buduje mapę zakłóceń GNSS z raportów pozycji statków powietrznych (ADS-B NIC/NACp) lub statków (AIS) na otwartych licencjach, podanych jako tekst CSV (`kshana interference-map adsb|ais`).
compliance_mapping: Statyczne odwzorowanie na publiczne ramy (`kshana compliance-report --mapping` / `--sources`) jako Markdown: jedna tabela na ramy z parafrazowanym wymaganiem każdego wiersza, wynikami Kshana, które dostarczają dowodów na (supports evidence for) ten wiersz, oraz luką, której wyniki nie zamykają; albo, przy `sources` ustawionym na true, dokumenty źródłowe, na które powołują się tabele, z wersjami i adresami URL.
compliance_report: Wypełnia odwzorowanie na publiczne ramy z dokumentów wyników Kshana (`kshana compliance-report`): dla których wierszy sześciu ram i norm odporności (amerykańskie ramy Resilient PNT DHS v2.0, wytyczne IMO dla statków, wytyczne EASA dla lotnictwa, NIS2 art. 21, EN 16803, NIST IR 8323r1) podane przebiegi dostarczają dowodów na (supports evidence for), dla których nie, oraz jaką lukę zachowuje każdy wiersz.
create_evidence_pack: Tworzy podpisany pakiet dowodowy dla okna dziennika NMEA 0183 statku (`kshana receiver-trust evidence`): surowe bajty dziennika dla okna, konfigurację z każdym progiem, wyniki i przyczyny dla każdej epoki, samodzielną stronę podsumowania oraz manifest wymieniający SHA-256 każdego pliku wraz ze skrótem całego dziennika i łańcuchem skrótów, podpisany Ed25519.
create_round_trip_pack: Tworzy podpisany laboratoryjny pakiet pełnej pętli (`kshana evidence round-trip`, docs/spec/TEST-CONDITIONS.md): wiąże skrótami scenariusz, który wytworzył ruch, dokument laboratorium `kshana.test-conditions/1`, dziennik odbiornika i jego ocenę względem podanych zdarzeń, w podpisanym pakiecie dowodowym, którego `config.json` niesie blok `round_trip`.
export_interop: Eksportuje scenariusz Kshana w jednym formacie interoperacyjnym: `czml` (Cesium Language, dla CesiumJS), `kml` (Keyhole Markup Language, dla Google Earth i narzędzi geograficznych systemów informacyjnych), `geojson` (RFC 7946), `stk` (efemerydy Systems Tool Kit `.e`, jeden plik na satelitę) lub `sigmf` (nagranie Signal Metadata Format z zsyntetyzowanych próbek scenariusza `spectrum`).
export_oem: Eksportuje propagowaną konstelację scenariusza `orbit` jako tekst efemeryd CCSDS OEM 2,0 — szereg czasowy stanu inercjalnego (TEME) niosący położenie ORAZ prędkość, który odczytują narzędzia dynamiki lotu (GMAT / Orekit / STK).
export_omm: Eksportuje elementy średnie scenariusza `orbit` jako katalog CCSDS 502.0-B-2 OMM (Orbit Mean-Elements Message) — jeden OMM na satelitę.
export_sp3: Eksportuje propagowaną konstelację scenariusza `orbit` jako tekst precyzyjnych efemeryd SP3-c (standardowy format przetwarzania końcowego GNSS).
export_table_csv: Uruchamia scenariusz Kshana i zwraca jego tabelę odtwarzalności jako tekst CSV — tabelę stabilną co do bajtu, którą CLI zapisuje jako `<scenario>.table.csv` i na którą powołują się artykuły.
export_test_bench: Eksportuje ruch pojazdu i zdarzenia ze scenariusza dla laboratoryjnego symulatora GNSS (`kshana bench-export`, docs/TEST-BENCH.md): CSV z ruchem i jego opis JSON (położenie w układzie związanym z Ziemią i geodezyjne, prędkość, orientacja, UTC), zdania NMEA 0183 GGA/RMC, tekst punktów trasy, gdy siatka próbek jest regularna co do milisekundy, oraz zdarzenia scenariusza jako CSV i jako `[[events]]` TOML dla scenariusza `receiver-trust`.
fit_imu_log: Dopasowuje parametry czujników scenariuszy `hybrid` i `fusion` z dziennika IMU w bezruchu (`kshana imu-fit`, docs/MACHINE-INPUTS.md).
generate_training_nmea: Generuje syntetyczne mostkowe NMEA 0183 do szkolenia załóg z TOML `nmea-scenario` (`kshana nmea-scenario`): tor statku i oś czasu skryptowanych zdarzeń (zagłuszanie, odciąganie pozycji, spoofing czasu, opóźnienie powtórzenia, z odzyskaniem).
get_example_scenario: Zwraca tekst TOML jednego dołączonego scenariusza referencyjnego, bajt w bajt taki plik, jaki repozytorium dostarcza w `scenarios/`.
import_route: Zapisuje trasę GeoJSON do scenariusza Kshana, który leci po torze z punktów trasy, i zwraca nowy TOML scenariusza (uruchom go przez run_scenario).
iq_acquire: Akwizycja FFT jednego lub więcej PRN w nagraniu IQ w katalogu roboczym (`kshana iq acquire`).
iq_campaign: Uruchamia kampanię odtwarzania laboratoryjnego przechowywaną w katalogu roboczym (`kshana iq campaign`): nagrania (każde opisane plikiem `kshana.test-conditions/1`, podającym znaną prawdę laboratorium) x łańcuchy front-endu x projekty pętli, każda komórka śledzona i oceniana względem podanych warunków (czas do utraty synchronizacji, czas ponownej akwizycji, degradacja C/N0 względem podanego J/S obok analitycznego odniesienia oznaczonego MODELLED, częstość fałszywych synchronizacji, jitter PLL/DLL, dostępność).
iq_campaign_status: Raportuje postęp kampanii odtwarzania laboratoryjnego z jej folderu wyjściowego w katalogu roboczym, wyłącznie odczytując pliki: komórki gotowe i oczekujące, nagrania, front-endy i projekty w planie oraz `digest`, gdy tylko każda komórka jest gotowa.
iq_frontend: Stosuje DSP front-endu odbiornika i łagodzenia zakłóceń do nagrania IQ w katalogu roboczym i zapisuje wynik jako nowe surowe nagranie z plikiem towarzyszącym `<out>.json` (`kshana iq frontend`).
iq_info: Opisuje jedno nagranie IQ w katalogu roboczym bez jego przetwarzania: rodzaj (surowe z plikiem towarzyszącym, SigMF, kolekcja SigMF), format próbek, częstotliwość próbkowania, częstotliwość środkową, liczbę próbek, czas trwania, pliki danych i ich rozmiar, granice przechwytów i liczbę adnotacji, jako JSON (ten sam wiersz, który drukuje `kshana iq info`).
iq_labfit: Dopasowuje model utraty synchronizacji pętli śledzenia do przebiegów laboratoryjnych (`kshana iq labfit`): scenariusz TOML `iq-labfit` wskazuje jeden lub więcej przebiegów, każdy to dziennik odbiornika wraz z podanymi warunkami testu; silnik wczytuje każdy dziennik, dopasowuje modele pętli i empiryczne, wykonuje bootstrap niepewności i oblicza błąd na zbiorze holdout.
iq_monitor: Uruchamia monitory detekcji zakłóceń i spoofingu na nagraniu IQ w katalogu roboczym (`kshana iq monitor`): szerokopasmowe monitory `power` i `spectral` oraz, przy podanych `signal` + `prns`, monitory C/N0 i jakości sygnału dla każdego satelity, każdy względem poziomu bazowego poznanego z pierwszych `baseline_s` sekund (lub z pliku ustawień).
iq_scene: Generuje wielosatelitarną scenę IQ GNSS do pliku w katalogu roboczym (`kshana iq scene`).
iq_signals: Konfiguracja warstwy IQ GNSS, jako JSON: `signals` (nazwy sygnałów, które przyjmują iq_scene, iq_acquire i iq_track), `enabled` (czy narzędzia plikowe IQ są włączone), `work_dir` (jedyny folder, który odczytują i zapisują; każdy argument ścieżki jest względny do niego), `max_samples` (największa liczba próbek zespolonych, jaką jedno wywołanie może wygenerować lub przetworzyć) oraz, gdy są wyłączone, `reason`.
iq_sweep: Odtwarza jedno nagranie IQ w katalogu roboczym dla kilku projektów pętli śledzenia i raportuje wynik ustalony każdego projektu (`kshana iq sweep`): projekty to każdy projekt z pliku `kshana.loop-design/1` (`design`) albo iloczyn list `pll_bws_hz`, `dll_bws_hz`, `spacings_chips` i `coherents` we wbudowanym projekcie.
iq_test_conditions: Waliduje laboratoryjny plik warunków testu (`kshana iq conditions`): plik `kshana.test-conditions/1`, tekst TOML lub JSON, podający znaną prawdę laboratorium dla nagrania (oczekiwane satelity, czas ustalania, podany harmonogram zagłuszania lub zakłóceń).
iq_track: Dokonuje akwizycji, a następnie śledzi jeden lub więcej PRN w nagraniu IQ w katalogu roboczym (`kshana iq track`): akwizycja inicjalizuje każdy kanał, po czym bank pętli DLL/PLL (opcjonalnie wspomaganych FLL) odtwarza nagranie jeden raz.
jammertest_import: Odczytuje opublikowany katalog testów i plan transmisji Jammertest (NPRA/jammertest-plan, MIT) jako zaplanowaną prawdę (`kshana jammertest import`): sloty jednego obszaru testowego stają się zdarzeniami receiver-trust z identyfikatorem katalogowym i rokiem w każdej etykiecie.
jammertest_score: Ocenia dziennik odbiornika względem harmonogramu Jammertest (`kshana jammertest score`): dla każdego zaplanowanego testu opóźnienie detekcji (pierwszy alarm minus planowany początek), czy został wykryty w ramach tolerancji, późno czy pominięty, oraz czas odzyskania (odcinek bez alarmu o długości `recover_hold_s`), a także fałszywe alarmy poza każdym slotem i jego marginesem ochronnym.
list_example_scenarios: Wyświetla dołączone scenariusze referencyjne jako JSON: `count` oraz `scenarios`, tablicę `name`, `kind` i `about` (pierwsze zdanie własnego komentarza nagłówkowego pliku).
list_export_formats: Raportuje, które formaty eksportu interoperacyjnego mają zastosowanie do scenariusza Kshana, bez jego uruchamiania: tablica JSON z jednym wpisem na format (`czml`, `kml`, `geojson`, `stk`, `sigmf`) podająca `applies`, `reason`, gdy format nie ma zastosowania, oraz `spec_url`, opublikowaną specyfikację, której przestrzega zapisujący.
list_scenario_kinds: Wyświetla każdy wbudowany rodzaj scenariusza Kshana z jego opisem i wymaganymi/opcjonalnymi polami TOML, jako tablicę JSON.
list_standards_packs: Wyświetla pakiety norm (`kshana standards-pack list`): oceniane zestawy scenariuszy dla profili testowych ram Resilient PNT DHS, IMO MSC.1/Circ.1575 i ICAO Doc 9849 Appendix F, każdy z progami, które podaje przed przebiegiem, i wierszami compliance, dla których dostarcza dowodów na (supports evidence for).
lunanet_afs_check: Sprawdza LunaNet Augmented Forward Signal (AFS) względem opublikowanej specyfikacji, przypiętej do LNIS Version 5 Applicable Document 1 Volume A (LSIS-AFS V1.0, 29 stycznia 2025) (`kshana lunanet-afs-check`, docs/LUNANET-AFS.md).
render_leaderboard: Renderuje pliki wyników kshana-bench (`kshana bench leaderboard`) jako statyczną stronę rankingu, tekst HTML w odpowiedzi: `results` to lista tekstów JSON `kshana-bench-result/1` (najwyżej 256, po 4 MiB każdy), z których każdy jest najpierw walidowany; plik ocenionego według innej głównej wersji specyfikacji jest odrzucany, ponieważ wyniki różnych głównych wersji nigdy nie trafiają do jednej tabeli.
report_scenario: Uruchamia scenariusz Kshana i zwraca jego raport: podsumowanie wykonawcze, dane wejściowe, każdą wartość wyniku z jednostką i etykietą VALIDATED lub MODELLED, zdarzenia, wiersze możliwości, które przebieg wykorzystał, oraz zapis odtwarzalności (wersja silnika, skróty SHA-256 scenariusza i wyniku, ziarno, polecenie, które go odtwarza).
route_exposure: Podsumowuje, jaka część trasy przebiega przez pogorszone komórki jednej lub więcej map zakłóceń (`kshana route-exposure`): dla każdej mapy (jedna na źródło na dobę UTC, GeoJSON zwracany przez `build_interference_map`) długość trasy oraz udziały jej długości w komórkach pogorszonych, w komórkach niepogorszonych, w komórkach ze zbyt małą próbką do oceny oraz w komórkach nieobserwowanych.
run_scenario: Uruchamia scenariusz odporności PNT Kshana z definicji TOML i zwraca jego wskaźniki jakości.
run_standards_pack: Uruchamia jeden pakiet norm (`kshana standards-pack run <id>`): każdy scenariusz w nim, oceniony względem progów podanych przed przebiegiem.
score_benchmark: Ocenia zgłoszenie kshana-bench (`kshana bench score`, bench/SPEC.md, docs/BENCH.md): plik predykcji (`kshana-bench-predictions/1`) względem pliku prawdy (`kshana-bench-truth/1`), oba jako tekst JSON, najwyżej 4 MiB każdy, i zwraca plik wyniku (`kshana-bench-result/1`) z wersją specyfikacji, zadaniem (a detekcja na dziennikach odbiornika, b detekcja na IQ, c predykcja holdover czasu, d luka optymizmu poza rozkładem), podziałem, SHA-256 obu wejść i metrykami zadania (AUC, prawdopodobieństwo detekcji przy limicie fałszywych alarmów, RMSE na horyzont lub luka optymizmu).
sky_geometry: Geometria nieba przy linii horyzontu zależnej od azymutu (kanion uliczny, port, fiord, terminal kontenerowy): dla miejsca, czasu i ustawień wstępnych konstelacji, zestawów elementów dwuliniowych (`tle`, z `epoch` w UTC) lub satelitów podanych jako azymut/elewacja albo ECEF — które satelity są widoczne, a które zasłonięte przez linię horyzontu, GDOP/PDOP/HDOP/VDOP/TDOP z jądra DOP sprawdzonego względem gnss_lib_py, kofaktor i kowariancja we współrzędnych wschód–północ–góra z jednym zegarem odbiornika na system (lub jednym wspólnym) oraz pozioma elipsa błędu przy jednym sigma i przy podanej ufności dla podanego UERE.
trust_telemetry: Renderuje strumień zaufania GNSS lub wynik `receiver-trust` jako tekst telemetrii bezpieczeństwa (`kshana trust-telemetry`, docs/TRUST-TELEMETRY.md), tymi samymi koderami, których używa wiersz poleceń: `prometheus` (ekspozycja stanu końcowego), `cef` lub `leef` (jedna linia syslog RFC 5424 na zmianę pasma lub na epokę przy `syslog_all`; bez znacznika czasu, ponieważ żaden zegar nie jest odczytywany) lub `otlp` (ładunek metryk OTLP/HTTP JSON).
validate_scenario: Kontrola wstępna TOML scenariusza Kshana: sprawdza, że daje się sparsować jako TOML, i wykrywa rodzaj scenariusza, bez jego uruchamiania.
verify_evidence_pack: Weryfikuje podpisany pakiet dowodowy (`kshana evidence verify`): SHA-256 każdego pliku względem manifestu, łańcuch skrótów, podpis Ed25519, a przy `public_key` (kluczu sygnatariusza, uzyskanym od sygnatariusza inną drogą) — że sygnatariusz jest oczekiwanym, a przy `full_log` — że posiadany dziennik jest tym, który pakiet rejestruje, i że fragment pochodzi z niego.

Nagrana sesja jest tu odtwarzana krok po kroku.

Ten sam przebieg w Studio: silnik v0.40.0 · clock-holdover.toml · ziarno 42Otwórz w Kshana StudioRaport

04Historia przewijana · jeden przebieg łańcuchowy

Od czystego nieba do zegara swobodnie biegnącego.

Jeden odbiornik, T+01:16:10 czasu misji: czyste niebo, zagłuszarka, spoofer, który przesuwa odpowiedź zamiast ją blokować, a potem zegar pozostawiony samemu sobie. 102 satelity to cztery systemy z przebiegu konstelacji, na rzeczywistej Ziemi. Przewiń.

01 · Nominalna

Każde łącze rozliczone.

Śledzonych satelitów: 8, przy średnim C/N0 (gęstość mocy nośnej do szumu) 43,0 dB-Hz. Pionowy poziom ochrony mieści się między 9,1 a 21,6 m, poniżej limitu alarmowego 50 m.

02 · Zagłuszanie

Szum pochłania niebo.

Szerokopasmowa zagłuszarka w odległości 1,0 km włącza się przy -30 dBW. C/N0 spada do 30,6 dB-Hz, tuż powyżej minimum śledzenia 25 dB-Hz. Głośno, więc odbiornik o tym wie.

03 · Spoofing

Kłamstwo wyglądające jak rozwiązanie.

Spoofer przesuwa zegar tempem 0,1 ns/s. Detektor RF (częstotliwości radiowej) alarmuje o T+00:20:00; monitor wspomagany zegarem potrzebuje 370 s, a do tego czasu przesunięcie wynosi już 36,0 ns.

04 · Holdover

Potem czas zaczyna dryfować.

Zagłuszarka przechodzi na 10 dBW i każdy satelita zostaje utracony. Zegar biegnie swobodnie od 37,0 ns, które zostawił spoofer, i przekracza swój margines ochronny 50 ns o T+00:35:40; błąd inercyjny sięga 24,3 km.

Kampania: silnik v0.40.0, kompilacja 3395218 · campaign-jam-spoof-holdover-integrity.toml · ziarno (seed) 20260928Otwórz w Kshana StudioRaport JSON TOML

Orbity: silnik v0.40.0, kompilacja 3395218 · constellation-multi-gnss-coverage.toml · deterministyczne, bez ziarna (seed)Otwórz w Kshana StudioRaport JSON TOML

Otwarty rdzeń, Kshana Pro, badanie na zamówienie

Za darmo dla wszystkich. Pro, gdy odpowiedź musi wytrzymać przegląd.

Kshana Pro to zastrzeżona nakładka, która zależy od otwartego rdzenia i nigdy go nie rozwidla, dostępna na podstawie umowy. Żadnych cen na stronie internetowej: każda płatna ścieżka zaczyna się od wiadomości na adres contact@ashforde.org.

Otwarty rdzeń · za darmo · AGPL-3.0

Dlaczego potrzebuje go każdy

Każdy, kto bierze położenie lub czas z GNSS, jest narażony: zagłuszanie, spoofing i utrata sygnału dotykają jednakowo pojazdów, sieci, systemów energetycznych i statków kosmicznych.
176 z 401 możliwości zgadza się z niezależnymi wyroczniami zewnętrznymi; pozostałe są jawnie oznaczone jako obliczone na podstawie modelu.
Wszystkie 92 rodzajów scenariuszy, za darmo, bez bramki funkcji, deterministyczne na podstawie scenariusza, ziarna (seed) i wersji silnika.
Ten sam rdzeń na licencji komercyjnej, do integracji zamkniętej.

Uruchom Kshana Studio Zainstaluj silnik

Kshana Pro · na podstawie umowy

Dlaczego Pro, jeszcze więcej

Front Pareto przestrzeni projektowej, z każdym projektem z frontu jako scenariuszem, który darmowy silnik uruchamia ponownie.
Niepewność i czułość na tysiącach przebiegów.
Dossier misji jednym poleceniem z macierzą weryfikacji i plikiem PDF (Portable Document Format).
Pakiety dowodowe klasy audytowej i odtwarzalne; cyfrowe bliźniaki zegarów skalibrowane do opublikowanego budżetu Allana urządzenia; studia kompromisów architektur uszeregowane według wskaźnika jakości; narzędzia inżynierii systemów opartej na modelach (MBSE) i programowe.

Poproś o ocenę Pro Co obejmuje Pro

Badanie na zamówienie · wykonane za zamawiającego

Badanie na zamówienie: odpowiedź, a nie narzędzie

Badanie odporności PNT danego systemu, obliczone na podstawie modelu, na przykład audyt luki optymizmu. Nie jest to certyfikacja.
Modele czujników i odporności skalibrowane do sprzętu zamawiającego.
Prace objęte kontrolą eksportu, prowadzone w ramach odpowiedniego poświadczenia bezpieczeństwa i NDA (umowa o zachowaniu poufności).
Integracja, szkolenia i doradztwo.

Zamów badanie Dlaczego i dla kogo

Ten sam silnik, wzmocniony: rzeczywiste wyniki Kshana Pro

Co obejmuje Pro

Optymalizator projektu

15otwarte pozycje

12 wymagań sprawdzonych na rzeczywistych przebiegach, 21-stronicowy PDF (Portable Document Format)

Sprawdź, gdzie załamuje się synchronizacja czasu, zanim to nastąpi.

Uruchom Kshana Studio

Przećwicz minutę, w której GNSS gaśnie.

Nowość w v0.40.0: wątek misji, etykieta dowodowa przy każdej wartości i siedemnaście języków

Zobacz, jak zagłuszarka zajmuje pasmo.

1/6Nominalny

Fazy · przebiegi składowe

Jeden silnik dla całego łańcucha awarii.

Zagłuszanie i zakłócenia GNSS

Detekcja spoofingu

Holdover zegara w różnych klasach oscylatorów

Dobieg GNSS/INS

Synchronizacja szczelin czasowych

RAIM i ARAIM

Maski synchronizacji

Orbity: SGP4 i numeryczne

PNT księżycowe

Studia kompromisów czujników kwantowych

Przeglądarka, terminal, notebook, IDE, asystent

Czym Kshana nie jest

Zapytaj asystenta AI. Odpowiada silnik.

Od czystego nieba do zegara swobodnie biegnącego.

Każde łącze rozliczone.

Szum pochłania niebo.

Kłamstwo wyglądające jak rozwiązanie.

Potem czas zaczyna dryfować.

Za darmo dla wszystkich. Pro, gdy odpowiedź musi wytrzymać przegląd.

Dlaczego potrzebuje go każdy

Dlaczego Pro, jeszcze więcej

Badanie na zamówienie: odpowiedź, a nie narzędzie

Ten sam silnik, wzmocniony: rzeczywiste wyniki Kshana Pro

Który projekt wybrać do lotu?

Jak bardzo jesteśmy pewni i co napędza wynik?

Czy misja spełnia swoje wymagania i czy możemy to przekazać?

Sprawdź, gdzie załamuje się synchronizacja czasu, zanim to nastąpi.