Dokumentation for Kshana

Alt her gengives ved bygning ud fra Markdown-filer, der spores i Kshana-repositoriet (motor v0.40.0), plus to referencesider genereret ud fra scenariefilerne og verifikationsmatricen. Intet er skrevet i hånden til websitet.

Kom i gang

• OversigtKshana afspiller jamming, spoofing og urets holdover, når GNSS-signaler (Global Navigation Satellite System)…
• Introduktion til begreberneDenne side forklarer, hvad Kshana gør, og hvorfor, startende fra nul og opbygget op til fysikken.
• OrdlisteDefinitioner i letforståeligt sprog af de begreber, der bruges i Kshana.
• SprogMotorens tekst til mennesker findes på 17 sprog ved siden af engelsk: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
• Studio-vejledningKshana Studio: kør motoren i din browser, uden installation.
• TutorialsPraktiske, gennemarbejdede eksempler, der fører dig fra “kør et medfølgende scenarie” til “kvantificér og forsvar et resultat.”…
• 1 · Din første baneTil sidst har du propageret den rigtige operationelle GPS-konstellation, aflæst dens tilgængelighed og…
• 2 · Urets holdoverTil sidst har du kørt et holdover med uret med GNSS-signaler (Global Navigation Satellite System) nægtet…
• 3 · Kvante mod klassiskAfslutningen. Du kører et scenarie med en spoofingdetektor og en fuld fusioneret positionering, navigation og tidssynkronisering…
• Gennemarbejdet eksempel: pipeline med flere værktøjerHer føres én bane gennem de standardbaserede scenarietyper til interoperabilitet og missionsanalyse fra ende til…

Scenarier

• ScenarietyperDe 92 indbyggede scenarietyper, som kshana::api::run_toml fordeler over, hver med sin ene linje…
• Alle scenarietyper, efter familieAlle scenarietyper, motoren v0.40.0 fordeler over (92), ordnet under 13 familier.
• Alle kommandoerkshana <scenario.toml> kører et scenarie; hver anden kommando er en underkommando. kshana --help udskriver brugen…
• Alle fladerÉn motor, de samme resultater overalt. docs/SURFACES.md angiver for hver kommando og type, hvilken flade…
• FunktionsområderAlle funktioner i det offentlige kort, efter område, med deres mærkning i registeret.
• ScenariehenvisningAlle medfølgende scenariefiler (193), grupperet efter type, med deres vigtigste indstillinger.
• ResultatskemaHver kørsel skriver en versioneret, selvbeskrivende JSON-artefakt (JavaScript Object Notation) ved siden af scenariet.
• Brug af rigtige TLE'erDet medfølgende scenarie scenarios/orbit-sgp4-gps.toml indeholder allerede rigtige TLE'er (two-line element sets): Celestrak…
• KampagnerEt enkelt scenarie besvarer ét spørgsmål om én situation.

Output og eksport

• KørselsrapporterHver kørsel af kommandolinjegrænsefladen (CLI) skriver en rapport ved siden af sit resultat: en printbar HyperText…
• Animationseksport--animate gør en kørsels tidsserie til noget, der bevæger sig: en animeret Scalable Vector Graphics (SVG)…
• Eksport og import til interoperabilitetEn kørsel skriver et resultatdokument, et diagram og en rapport. --export skriver også scenariets geometri eller dets…

Validering og evidens

• ValideringsstatusOm tolerancer. "Valideret" betyder nedenfor, at en kalibreringstest påviser, at den simulerede statistik stemmer med…
• VerifikationsmatrixDet komplette, maskinkontrollerede evidensregister: 401 rækker — 176 VALIDATED, 221 MODELLED, 4 PARTNER.
• FunktionsreferenceFunktionskortene og alle 401 rækker i verifikationsmatricen.
• Hvorfor rækker forbliver modelleredeDisse funktioner er implementeret ud fra offentliggjort fysik eller fysik fra første principper med tests, men er ærligt…
• Påstande mod virkelighedenEt uafhængigt eftersyn af en tidligere Kshana-version katalogiserede fjorten overdrevne påstande (OC-0…OC-13): steder, hvor…
• ProveniensKshanas centrale ærlighedsdisciplin er, at hver sensorparameter, fysisk model og valideringsdatasæt…
• ReproducerbarhedKshana er bygget til at være reproducerbar: de samme input giver de samme resultater, og build-artefakterne kan…
• FunktionskortKshana er en evidensmotor for ydeevne og robusthed i PNT (positionering, navigation og tidssynkronisering), ikke en fuld…
• Standarder og interoperabilitetKshana taler de standardiserede udvekslingsformater for GNSS (global navigation satellite system)…
• Linjedækning"~95 % linjedækning" på README-badgen, README's CI-tabel (kontinuerlig integration), crates.io…
• BevispakkerEn pakke er en teknisk registrering, ikke en juridisk udtalelse.
• Datapartnere og rækker, der kan opgraderesKshana mærker hver funktion i et maskinkontrolleret register (verifikationsmatrix).

Tidssynkronisering

• Optiske links gennem atmosfærenScenarietypen optical-atmosphere besvarer, hvor ofte et optisk link til jorden virker, hvorfor det svigter…
• TidsslotsScenarietypen slot-timing besvarer tre spørgsmål for et ur, der løber frit mellem synkroniseringer…
• Tidssynkronisering til telekommunikationDenne side viser hver grænse, scenarietypen telecom-timing kontrollerer, hvor hver af dem kommer fra, og hvad der blev…
• Vildledt tidEn teknisk note til operatører af tidsindekserede netværk: konstellationer, der router, tildeler opgaver eller overdrager efter en…
• Holdover-test og hardware-in-the-loop for tidssynkroniseringTelekommunikations- og energioperatører tester et tidssystem ved at tage dets GNSS væk og se, hvad uret gør.
• Formater for urlogfilersrc/clock_log.rs læser en målt urlogfil til én normaliseret faseserie: et ensartet gitter af (time_s…
• HardwaresikkerhedKshana er vejledende software til forskning, simulering og test.

Integritet og interferens

• Integritet og sikkerhedKshana rapporterer to kvalitetsmål (FoM'er) — integritet og sikkerhed — som let forveksles med…
• Spektrum og vandfaldScenarietypen spectrum bygger L-båndet for Global Navigation Satellite System (GNSS) og ethvert andet bånd, et…
• ARAIM-referenceDenne note dokumenterer Kshanas åbne implementering af Advanced Receiver Autonomous Integrity Monitoring…
• DO-316 / DO-229E-kortlægningDette dokument kortlægger RTCA's (tidligere Radio Technical Commission for Aeronautics) DO-229E (SBAS…
• Krydskortlægning af robusthedAfstemt efter, ikke vurderet eller godkendt. Dette kortlægger Kshanas simulerede funktioner til de offentliggjorte PNT-robusthedsrammer…

Modtagertillid og maritim

• Modtagertillidkshana receiver-trust læser en log fra en rigtig modtager til Global Navigation Satellite System (GNSS), kører tillids…
• Maritim tillidkshana receiver-trust kan for et fartøj i bevægelse score et live tillidstal fra 0-100 for hver positionsbestemmelse, ud fra…
• NMEA-træningsstrømmeMaritime akademier og simulatorcentre kan føre NMEA 0183 genereret af Kshana ind i en brosimulator eller en…
• Interferenskort og ruteeksponeringkshana interference-map bygger et billede pr. dag af, hvor fly og skibe rapporterede forringet navigation…
• Interferenskort: datakilder og licenserOutput fra Kshana indeholder aldrig identifikatorer for enkelte fly eller fartøjer (ICAO hex, MMSI, kaldesignal, navn).
• Maritime integrationerKshanas maritime tillidsscore (MARITIME-TRUST.md) kan nås fra software, som lystsejlere allerede kører: en Signal K…
• Himmelgeometri og horisontprofilerIndtil 0,36 var hver test af jordsynlighed i motoren én elevationsgrænse, mask_deg: en satellit…
• Tillid som sikkerhedstelemetrikshana trust-telemetry omdanner strømmen af GNSS-tillid pr. epoke (score 0-100, bånd, årsager) til signaler, en…
• Galileo OSNMA-verifikationEn verifikator på modtagersiden for Galileo Open Service Navigation Message Authentication (OSNMA), i ren Rust.
• LunaNet augmented forward signalKshana implementerer spredekoderne og beskedlaget i LunaNet Augmented Forward Signal (AFS) som…
• Jammertest som dommerkshana jammertest import læser Jammertests testkatalog og transmissionsplan og omdanner ét testområdes…
• Maskin- og sensorinputLæsere, der bringer andre modtagere, solvere og sensorer ind i receiver-trust-typen.
• Modtagerprotokoller, der læsesKun læsning, hele vejen igennem: intet her skriver en byte til en modtager, og der er ingen sendesti af nogen art.
• Interferensobservatorium: metodeÉt produkt pr. UTC-dag og region, fra ét åbent arkiv med flypositioner.
• Interferensobservatorium: resultaterEksempel på, hvad en dag viser: den 2026-09-15 rummede arkivet 110.619.797 positionsrækker i 79.826 sporfiler…
• kshana-benchEt åbent sæt af opgaver, opdelinger og metrikker til detektion af GNSS-interferens og holdover for tidssynkronisering.

Compliance og test bench

• Kørsel af en modtager mod et scenarieEn modtagerproducent, der ejer en GNSS-simulator til laboratoriebrug, kan afspille et Kshana-scenaries køretøjsbevægelse gennem…
• Compliance-kortlægningKøbere og modtagerproducenter skal stå til regnskab over for offentlige robusthedsrammer.
• Det amerikanske DHS' ramme for robust PNTRammen beskriver robusthedsniveauerne 0 til 4, opbygget af otte nummererede krav, og en evaluering…
• IMO-vejledning til skibeIMO's tekst om GNSS-interferens til skibe er tynd: MSC.1/Circ.1644 er hovedsageligt rettet til medlemsstaterne, og…
• EASA-vejledning til luftfartEASA's Safety Information Bulletin er informativ, ikke obligatorisk, og rettet til myndigheder, luftfarts…
• EU NIS2, artikel 21Artikel 21 opregner i stk. 2 litra (a) til (j) de foranstaltninger, som væsentlige og vigtige enheder træffer for at…
• EN 16803EN 16803 er en standard, der skal købes. Kun dens opdeling i dele og de punktnumre, der er synlige i offentlige katalog…

Baner

• SGP4-valideringKshanas banepropagator er valideret mod fællesskabets kanoniske reference for SGP4/SDP4 (SGP4…
• Validering af kraftmodelKshanas motor med fulde kræfter (src/precise_od.rs) tilpasset til rigtige præcisionsbaneprodukter fra rumorganisationer, med ærlige…
• Solsystemet og andre legemerScenarietypen constellation-design bruger det samme katalog til at bygge konstellationer omkring et hvilket som helst af disse legemer…
• Månens referencestationMODELLED. Under de angivne antagelser (konstellationen, dens signal-i-rummet-fejl, stationens opmåling…
• Navigation for rumbrugere (gnss-ssv)Kun vejledende. Modellerede resultater ud fra angivne input og en simuleret reference; ikke en certificering, en…
• Månebane og måneoverflade som infrastrukturUdformningerne, inputtene og tærsklerne blev fastlagt i xval/lunar-infra/PREREGISTRATION.md (committet før noget studie…
• Missionstråd: fra opsendelse til indflyvningVejledende software, ikke certificeret navigationsudstyr.
• Missionstråd: månesegmentetFire scenarietyper, hver også en fasetype i grænsefladen mission-thread (src/mission_thread/): de…

Navigation i lav jordbane (LEO)

• Positionering, navigation og tidssynkronisering fra LEOLEO-PNT er positionering, navigation og tidssynkronisering (PNT) fra satellitter i lav jordbane (LEO), ved siden af eller…
• Signaludformninger til LEOScenarietypen leo-signal analyserer PNT-signaler (positionering, navigation og tidssynkronisering) fra lav jordbane (LEO).
• LEO-passage og linkbudgetLEO-PNT er positionering, navigation og tidssynkronisering (PNT) fra satellitter i lav jordbane (LEO).
• LEO-navigationsbeskedScenarietypen leo-navmsg bygger den udsendte efemeride- og urbesked for en satellit i lav jordbane (LEO)…
• Fusioneret MEO- og LEO-positioneringTre scenarietyper leverer positionering, navigation og tidssynkronisering (PNT) med satellitter i lav jordbane…
• KonstellationsudformningTypen constellation-design bygger en eller flere satellitkonstellationer omkring Jorden, Månen, Mars…

Kvantesensorer

• Modeller af kvantesensorerKshana er en simulator for PNT-robusthed (PNT: positionering, navigation og tidssynkronisering) med kvantesensor…
• Koldatom-interferometerDet meste af Kshana driver sine kvantesensorer ud fra offentliggjorte Allan-/støjkoefficienter — opslag i datablade (se…

API'er og integrationer

• Python-APIKshana leveres med en førsteklasses Python-programmeringsgrænseflade (API), bygget med PyO3 og maturin.
• npm og WebAssemblyKshana afspiller jamming, spoofing og urets holdover, når GNSS-signaler (Global Navigation Satellite System)…
• Rust-crateKshana afspiller jamming, spoofing og urets holdover, når GNSS-signaler (Global Navigation Satellite System)…
• MCP-serverkshana-mcp er en Model Context Protocol-server (MCP) til Kshana, den åbne simulator til PNT…
• MCP-server: alle installationskanalerVejledende, ikke typegodkendt navigationsudstyr: operatøren er fortsat ansvarlig for navigationen.
• MCP-server: selvhostet HTTP-tilstandKshana driver ikke et endepunkt. Der er ingen delt kshana-server at pege en klient mod.
• Brug af Kshana fra en agentFor en agent (eller den, der styrer en): hvilket værktøj der skal kaldes til hvilket spørgsmål, hvad værktøjerne vil og…
• Hvor hver funktion kan nåsHver funktion er tilgængelig på de flader, hvor det giver mening; hvor en ikke kan bære en funktion, er…
• JetBrains-pluginEt native plugin, der kører Kshana-simulatoren for PNT-robusthed inde fra enhver JetBrains-IDE (IntelliJ IDEA…
• Hvor Kshana kørerEn afgrænsning af omfanget, skrevet ned, så ingen opdager den som en forpligtelse i et møde.
• ArkitekturKshana er én motor organiseret i lag over en fælles kerne: sensorpakkerne (ur, inerti…
• Hvor Kshana stårKshana er en åben, reproducerbar evidensmotor for PNT-robusthed (positionering, navigation og tidssynkronisering).

Projekt

• ÆndringslogAlle væsentlige ændringer af Kshana er dokumenteret her.
• LicenseringKshana er dobbeltlicenseret. Du kan bruge den åbne motor under enten den åbne licens (AGPL-3.0) eller en…
• SikkerhedOpret venligst ikke en offentlig issue for sikkerhedsfølsomme indberetninger.
• BidragTak for din interesse. Kshana sigter mod at være en neutral, reproducerbar og ærligt valideret reference for…
• StyringDette dokument fastslår, hvordan Kshana styres: hvem der træffer beslutninger, hvordan, og hvad projektet vil og vil…
• AdfærdskodeksVi som medlemmer, bidragydere og ledere forpligter os til at gøre deltagelse i vores fællesskab chikanefri…

Familier af scenarietyper

• Kampagner1 scenarietype i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke…
• Ure, tidssynkronisering og holdover9 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke…
• Konstellationer, dækning og geometri7 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke…
• GNSS-målinger, positionering og integritet6 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• GPS-nægtet alternativ PNT5 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• Inertifusion og kvantesensorer9 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• Jamming, spoofing og spektret6 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• Navigation i lav jordbane7 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• Måne og cislunart rum24 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke…
• Missionsanalyse, forbindelser og rumoperationer14 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• Missionstråde1 scenarietype i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke…
• Optisk PNT2 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…
• Navigation for rumbrugere1 scenarietype i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke…

Sider om scenarietyper

92 sider, én for hver scenarietype, der er linket fra Alle scenarietyper, efter familie.

Ikke medtaget

Dokumenter om vedligeholdernes arbejdsgange bliver i repositoriet: docs/RELEASING.md (udgivelsesprocedure); docs/WHEEL_TAGS.md (detaljer om pakning); docs/revisions/ (interne ændringsnoter); docs/design/ (interne udformningsnoter); README.pypi.md (PyPI-siden; dokumentationen af Python-API'et dækker den); .github/-skabeloner; docs/integrations.md (opbygget omkring navngivne AI-produkter fra tredjepart, som dette websted ikke nævner).