Dokumentacja Kshana

Wszystko tutaj jest renderowane w czasie kompilacji z plików Markdown śledzonych w repozytorium Kshana (silnik v0.40.0) oraz dwóch stron referencyjnych generowanych z plików scenariuszy i macierzy weryfikacji. Nic na tej stronie nie jest pisane ręcznie.

Na początek

• PrzeglądKshana odtwarza zagłuszanie (jamming), spoofing i holdover zegara, gdy sygnały GNSS (globalny system nawigacji satelitarnej)…
• Podstawy pojęćTa strona wyjaśnia, co robi Kshana i dlaczego, zaczynając od zera i dochodząc do fizyki.
• GlosariuszDefinicje w prostym języku terminów używanych w Kshana.
• JęzykiTekst silnika przeznaczony dla człowieka jest w 17 językach obok angielskiego: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
• Przewodnik po StudioKshana Studio: uruchom silnik w przeglądarce, bez instalacji.
• SamouczkiPraktyczne, opracowane przykłady, które prowadzą od „uruchomienia dostarczonego scenariusza” do „oszacowania i obrony wyniku”.…
• 1 · Pierwsza orbitaNa końcu zostanie wykonana propagacja rzeczywistej operacyjnej konstelacji GPS, odczytana jej dostępność i…
• 2 · Holdover zegaraNa końcu zostanie uruchomiony holdover zegara przy odmowie sygnałów GNSS (globalny system nawigacji satelitarnej)…
• 3 · Kwantowo kontra klasycznieZwieńczenie. Zostanie uruchomiony scenariusz detektora spoofingu oraz pełne, fuzyjne pozycjonowanie, nawigacja i czas…
• Opracowany przykład: potok wielu narzędziProwadzi jedną trajektorię przez rodzaje scenariuszy zgodne ze standardami współdziałania i analizy misji od początku do…

Scenariusze

• Rodzaje scenariuszy92 wbudowanych rodzajów scenariuszy, między które rozdziela kshana::api::run_toml, każdy z jego jednowierszowym…
• Każdy rodzaj scenariusza, według rodzinyKażdy rodzaj scenariusza, który rozdziela silnik v0.40.0 (92), przypisany do 13 rodzin.
• Każde poleceniekshana <scenario.toml> uruchamia scenariusz; każde inne polecenie jest podpoleceniem. kshana --help wypisuje użycie…
• Każda powierzchniaJeden silnik, te same wyniki wszędzie. docs/SURFACES.md wymienia dla każdego polecenia i rodzaju, która powierzchnia…
• Domeny możliwościKażda możliwość z publicznej mapy, według domeny, z etykietą w rejestrze (ledger).
• Opis scenariuszyKażdy dołączony plik scenariusza (193), pogrupowany według rodzaju, z jego kluczowymi ustawieniami.
• Schemat wynikuKażdy przebieg zapisuje obok scenariusza wersjonowany, samoopisujący się artefakt JSON (JavaScript Object Notation).
• Używanie prawdziwych TLEDołączony scenariusz scenarios/orbit-sgp4-gps.toml już zawiera prawdziwe TLE (dwuwierszowe zestawy elementów): Celestrak…
• KampaniePojedynczy scenariusz odpowiada na jedno pytanie o jedną sytuację.

Wyniki i eksporty

• Raporty z przebiegówKażdy przebieg interfejsu wiersza poleceń (CLI) zapisuje obok wyniku raport: drukowalny HyperText…
• Eksport animacji--animate zamienia szereg czasowy przebiegu w coś, co się porusza: animowany Scalable Vector Graphics (SVG)…
• Eksporty i importy współdziałaniaPrzebieg zapisuje dokument wyniku, wykres i raport. --export zapisuje też geometrię scenariusza lub jego…

Walidacja i dowody

• Status walidacjiO tolerancjach. „Sprawdzone względem niezależnego wzorca” poniżej oznacza, że test kalibracyjny stwierdza, iż symulowana statystyka zgadza się z…
• Macierz weryfikacjiKompletny, sprawdzany maszynowo rejestr dowodów (ledger): 401 wierszy — 176 VALIDATED, 221 MODELLED, 4 PARTNER.
• Opis możliwościKarty możliwości i wszystkie 401 wierszy macierzy weryfikacji.
• Dlaczego wiersze pozostają obliczone na podstawie modeluTe możliwości są zaimplementowane na podstawie opublikowanej lub pierwszozasadowej fizyki, z testami, ale rzetelnie…
• Twierdzenia a rzeczywistośćNiezależny audyt wcześniejszej wersji Kshana skatalogował czternaście przesadnych twierdzeń (OC-0…OC-13): miejsca, w których…
• PochodzenieGłówną dyscypliną rzetelności Kshana jest to, że każdy parametr czujnika, model fizyczny i zbiór danych walidacji…
• OdtwarzalnośćKshana jest zbudowany tak, by był odtwarzalny: te same dane wejściowe dają te same wyniki, a artefakty kompilacji można…
• Mapa możliwościKshana to silnik dowodów wydajności i odporności PNT (pozycjonowanie, nawigacja i czas), a nie pełny…
• Normy i współdziałanieKshana posługuje się standardowymi formatami wymiany GNSS (globalny system nawigacji satelitarnej)…
• Pokrycie wierszy„~95 % pokrycia wierszy” na plakietce README, w tabeli CI (ciągła integracja) w README, na crates.io…
• Pakiety dowodowePakiet to zapis techniczny, a nie opinia prawna.
• Partnerzy danych i awansowane wierszeKshana oznacza każdą możliwość etykietą w sprawdzanym maszynowo rejestrze (macierz weryfikacji).

Synchronizacja czasu

• Łącza optyczne przez atmosferęRodzaj scenariusza optical-atmosphere odpowiada, jak często działa łącze optyczne do ziemi, dlaczego zawodzi…
• Taktowanie szczelinRodzaj scenariusza slot-timing odpowiada na trzy pytania dla zegara swobodnie biegnącego między synchronizacjami…
• Synchronizacja telekomunikacyjnaTa strona wymienia każdy limit sprawdzany przez rodzaj scenariusza telecom-timing, skąd pochodzi każdy z nich i co zostało…
• Zwiedziony czasNota techniczna dla operatorów sieci indeksowanych czasem: konstelacji, które kierują, zlecają lub przekazują według…
• Test holdover i sprzęt synchronizacji czasu w pętliOperatorzy telekomunikacyjni i energetyczni testują system synchronizacji, odbierając mu GNSS i obserwując, co robi zegar.
• Formaty dzienników zegarasrc/clock_log.rs odczytuje zmierzony dziennik zegara do jednego znormalizowanego szeregu fazy: jednolitej siatki (time_s…
• Bezpieczeństwo sprzętuKshana to oprogramowanie wyłącznie doradcze do badań, symulacji i testów.

Integralność i zakłócenia

• Integralność i bezpieczeństwoKshana podaje dwa wskaźniki jakości (FoM) — integralność i bezpieczeństwo — które łatwo pomylić z…
• Widmo i waterfallRodzaj scenariusza spectrum buduje pasmo L globalnego systemu nawigacji satelitarnej (GNSS) i każde inne pasmo…
• Opis ARAIMTa nota dokumentuje otwartą implementację zaawansowanego autonomicznego monitorowania integralności w odbiorniku w Kshana…
• Mapa DO-316 / DO-229ETen dokument odwzorowuje DO-229E RTCA (dawna Radio Technical Commission for Aeronautics) (SBAS…
• Zestawienie odpornościUzgodnione z (aligned to), a nie ocenione ani zatwierdzone. Zestawienie odwzorowuje symulowane możliwości Kshana na opublikowane…

Zaufanie do odbiornika i żegluga morska

• Zaufanie do odbiornikakshana receiver-trust odczytuje dziennik z prawdziwego odbiornika globalnego systemu nawigacji satelitarnej (GNSS), uruchamia…
• Zaufanie morskiekshana receiver-trust potrafi ocenić, dla poruszającego się statku, bieżący wskaźnik zaufania 0–100 dla każdego wyznaczenia pozycji, z…
• Strumienie szkoleniowe NMEAAkademie morskie i ośrodki symulatorów mogą podawać wygenerowane przez Kshana NMEA 0183 do symulatora mostka lub…
• Mapa zakłóceń i narażenie trasykshana interference-map buduje dzienny obraz tego, gdzie samoloty i statki zgłaszały pogorszoną nawigację…
• Mapa zakłóceń: źródła danych i licencjeWyniki Kshana nigdy nie zawierają identyfikatorów pojedynczych statków powietrznych ani jednostek pływających (ICAO hex, MMSI, znak wywoławczy, nazwa).
• Integracje morskieMorski wskaźnik zaufania Kshana (MARITIME-TRUST.md) jest osiągalny z oprogramowania, którego żeglarze już używają: Signal K…
• Geometria nieba i skylineDo 0,36 każdy test widoczności Ziemi w silniku był jednym progiem elewacji, mask_deg: satelita…
• Zaufanie jako telemetria bezpieczeństwakshana trust-telemetry zamienia strumień zaufania GNSS dla poszczególnych epok (wskaźnik 0–100, pasmo, powody) w sygnały, które…
• Weryfikacja Galileo OSNMAWeryfikator po stronie odbiornika dla uwierzytelniania komunikatów nawigacyjnych Galileo Open Service (OSNMA), w czystym Rust.
• Sygnał LunaNet augmented forwardKshana implementuje kody rozpraszające i warstwę komunikatów LunaNet Augmented Forward Signal (AFS) jako…
• Jammertest jako arbiterkshana jammertest import odczytuje katalog testów Jammertest i plan transmisji i zamienia jeden obszar testowy…
• Wejścia maszynowe i czujnikoweCzytniki, które wprowadzają do rodzaju receiver-trust inne odbiorniki, solwery i czujniki.
• Odczytywane protokoły odbiornikówWszędzie tylko do odczytu: nic tutaj nie zapisuje do odbiornika ani jednego bajta i nie ma żadnej ścieżki nadawczej.
• Obserwatorium zakłóceń: metodaJeden produkt na dobę UTC i region, z jednego otwartego archiwum pozycji statków powietrznych.
• Obserwatorium zakłóceń: wynikiPrzykład tego, co odczytuje się z jednej doby: 2026-09-15 archiwum zawierało 110 619 797 wierszy pozycji w 79 826 plikach śladów…
• kshana-benchOtwarty zestaw zadań, podziałów i metryk dla detekcji zakłóceń GNSS i holdover czasu.

Compliance i bench testowy

• Uruchamianie odbiornika względem scenariuszaProducent odbiorników, który ma laboratoryjny symulator GNSS, może odtworzyć ruch pojazdu ze scenariusza Kshana przez…
• Mapowanie complianceNabywcy i producenci odbiorników odpowiadają przed publicznymi ramami odporności.
• Ramy odpornego PNT DHS USARamy opisują poziomy odporności od 0 do 4 zbudowane z ośmiu ponumerowanych wymagań oraz ocenę…
• Wytyczne IMO dla statkówTekst IMO o zakłóceniach GNSS dla statków jest skąpy: MSC.1/Circ.1644 jest skierowany głównie do państw członkowskich, a…
• Wytyczne EASA dla lotnictwaSafety Information Bulletin EASA jest informacyjny, a nie obowiązkowy, i skierowany do organów, przewoźników lotniczych…
• NIS2 UE, art. 21Artykuł 21 wymienia w ust. 2 pkt (a)–(j) środki, które podmioty kluczowe i ważne podejmują, aby…
• EN 16803EN 16803 jest normą płatną. Tylko jej struktura części i numery klauzul widoczne w publicznych katalogach…

Orbity

• Walidacja SGP4Propagator orbit Kshana jest sprawdzony względem kanonicznego wzorca społeczności dla SGP4/SDP4 (SGP4…
• Walidacja modelu siłSilnik pełnych sił Kshana (src/precise_od.rs) dopasowany do rzeczywistych produktów precyzyjnych orbit agencji, z rzetelnymi…
• Układ Słoneczny i inne ciałaRodzaj constellation-design używa tego samego katalogu do budowy konstelacji wokół każdego z tych ciał…
• Księżycowa stacja referencyjnaMODELLED. Przy podanych założeniach (konstelacja, jej błąd w przestrzeni sygnału, pomiar położenia stacji…
• Nawigacja użytkownika kosmicznego (gnss-ssv)Wyłącznie doradczo. Wyniki obliczone na podstawie modelu z podanych danych wejściowych i symulowanej prawdy odniesienia; nie jest to certyfikacja, ani…
• Orbita i powierzchnia Księżyca jako infrastrukturaProjekty, dane wejściowe i progi zostały ustalone w xval/lunar-infra/PREREGISTRATION.md (zatwierdzone przed jakimkolwiek badaniem…
• Wątek misji: od startu do wejścia w atmosferęOprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.
• Wątek misji: segment księżycowyCztery rodzaje scenariuszy, każdy także rodzajem fazy interfejsu wątku misji (src/mission_thread/): one…

Nawigacja na niskiej orbicie okołoziemskiej (LEO)

• Pozycjonowanie, nawigacja i czas z LEOLEO-PNT to pozycjonowanie, nawigacja i czas (PNT) z satelitów na niskiej orbicie okołoziemskiej (LEO), obok lub…
• Projekty sygnałów LEORodzaj scenariusza leo-signal analizuje sygnały pozycjonowania, nawigacji i czasu (PNT) z niskiej orbity okołoziemskiej (LEO).
• Przelot LEO i bilans łączaLEO-PNT to pozycjonowanie, nawigacja i czas (PNT) z satelitów na niskiej orbicie okołoziemskiej (LEO).
• Komunikat nawigacyjny LEORodzaj scenariusza leo-navmsg buduje nadawany komunikat efemeryd i zegara satelity na niskiej orbicie okołoziemskiej (LEO)…
• Fuzja pozycjonowania MEO i LEOTrzy rodzaje scenariuszy zapewniają pozycjonowanie, nawigację i czas (PNT) z satelitami na niskiej orbicie okołoziemskiej…
• Projekt konstelacjiRodzaj constellation-design buduje jedną lub więcej konstelacji satelitów wokół Ziemi, Księżyca, Marsa…

Czujniki kwantowe

• Modele czujników kwantowychKshana to symulator odporności PNT (PNT: pozycjonowanie, nawigacja i czas) z czujnikami kwantowymi…
• Interferometr zimnych atomówWiększość Kshana napędza swoje czujniki kwantowe opublikowanymi współczynnikami Allana i szumu — odczytami z kart katalogowych (zob…

API i integracje

• API PythonaKshana dostarcza pełnoprawny interfejs programistyczny aplikacji (API) dla Pythona, zbudowany z PyO3 i maturin.
• npm i WebAssemblyKshana odtwarza zagłuszanie (jamming), spoofing i holdover zegara, gdy sygnały GNSS (globalny system nawigacji satelitarnej)…
• Crate RustaKshana odtwarza zagłuszanie (jamming), spoofing i holdover zegara, gdy sygnały GNSS (globalny system nawigacji satelitarnej)…
• Serwer MCPkshana-mcp to serwer Model Context Protocol (MCP) dla Kshana, otwartoźródłowego symulatora PNT…
• Serwer MCP: każdy kanał instalacjiWyłącznie doradczo, nie jest to sprzęt nawigacyjny z zatwierdzeniem typu: operator nadal odpowiada za nawigację.
• Serwer MCP: samodzielnie hostowany tryb HTTPKshana nie hostuje żadnego punktu końcowego. Nie ma wspólnego serwera kshana, do którego można by skierować klienta.
• Używanie Kshana z agentaDla agenta (lub osoby go kierującej): które narzędzie wywołać dla jakiego pytania, co narzędzia zrobią i…
• Gdzie każda możliwość jest osiągalnaKażda możliwość jest dostępna na powierzchniach, gdzie ma to sens; tam, gdzie jedna nie może jej udostępnić,…
• Wtyczka JetBrainsNatywna wtyczka uruchamiająca symulator odporności PNT Kshana z wnętrza dowolnego IDE JetBrains (IntelliJ IDEA…
• Gdzie działa KshanaGranica zakresu, spisana po to, by nikt nie odkrył jej jako zobowiązania na spotkaniu.
• ArchitekturaKshana to jeden silnik zorganizowany w warstwy nad wspólnym rdzeniem: pakiety czujników (zegar, inercjalne…
• Gdzie plasuje się KshanaKshana to otwarty, odtwarzalny silnik dowodów odporności PNT (pozycjonowanie, nawigacja i czas).

Projekt

• Dziennik zmianWszystkie istotne zmiany w Kshana są udokumentowane tutaj.
• LicencjonowanieKshana ma podwójne licencjonowanie. Otwartego silnika można używać na otwartej licencji (AGPL-3.0) lub…
• BezpieczeństwoProsimy nie otwierać publicznego zgłoszenia dla raportów dotyczących bezpieczeństwa.
• Wkład w projektDziękujemy za zainteresowanie. Kshana dąży do bycia neutralnym, odtwarzalnym, rzetelnie zwalidowanym punktem odniesienia dla…
• Zarządzanie projektemTen dokument opisuje, jak zarządzany jest Kshana: kto podejmuje decyzje, w jaki sposób i co projekt będzie, a czego nie…
• Kodeks postępowaniaMy, jako członkowie, współtwórcy i liderzy, zobowiązujemy się sprawić, by udział w naszej społeczności był wolny od nękania…

Rodziny rodzajów scenariuszy

• Kampanie1 rodzaj scenariusza silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Zegary: synchronizacja czasu i holdover9 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Konstelacje: pokrycie i geometria7 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Pomiary GNSS, pozycjonowanie i integralność6 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Alternatywne PNT bez GPS5 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Fuzja inercyjna i czujniki kwantowe9 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Zagłuszanie (jamming), spoofing i widmo6 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Nawigacja na niskiej orbicie okołoziemskiej7 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Księżyc i przestrzeń cislunarna24 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Analiza misji, łącza i operacje kosmiczne14 rodzajów scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Wątki misji1 rodzaj scenariusza silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Optyczne PNT2 rodzaje scenariuszy silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…
• Nawigacja użytkownika kosmicznego1 rodzaj scenariusza silnika v0.40.0. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie…

Strony rodzajów scenariuszy

92 stron, po jednej dla każdego rodzaju scenariusza, z odnośnikami w Każdy rodzaj scenariusza, według rodziny.

Nie uwzględniono

Dokumenty dotyczące procesu utrzymania pozostają w repozytorium: docs/RELEASING.md (procedura wydania); docs/WHEEL_TAGS.md (szczegóły pakietowania); docs/revisions/ (wewnętrzne notatki o zmianach); docs/design/ (wewnętrzne notatki projektowe); README.pypi.md (strona PyPI; obejmuje ją dokumentacja API Pythona); szablony w .github/; docs/integrations.md (zorganizowany wokół nazwanych produktów AI firm trzecich, których ta witryna nie wymienia).