Missä Kshana sijaitsee

Kshana on avoin, toistettava PNT-kestävyyden (paikannus, navigointi ja ajanmääritys) todistemoottori. Kuvaat skenaarion — anturit tai kellot, GNSS-katkon (global navigation satellite system), häirintä- tai harhautushyökkäyksen, budjetin — ja se kertoo, miten hyvin aika ja sijainti pitävät, pisteytettynä operatiivisia laatumittareita (FoM) vasten. Jokainen näiden lukujen takana oleva ominaisuus on merkitty koneellisesti tarkistetussa matriisissa tasolle VALIDATED (tarkistettu riippumatonta ulkoista oraakkelia vasten), MODELLED (sisäisesti johdonmukainen, ei ulkoisesti tarkistettu) tai PARTNER (laitteistokumppanin omistama). Tämä sivu kertoo, missä se on vahvimmillaan, mihin se on tarkoitettu ja mitä se ei ole.

Missä se on vahvimmillaan: kriittisen infrastruktuurin ajoitus ja holdover#

Moottorin parhaiten validoitu osa on ajoitus. Telekommunikaatioverkot, sähköverkot ja rahoitusmarkkinat saavat aikansa GNSS:ltä, ja jokaisen on mitoitettava holdover: kuinka kauan paikallinen kello voi käydä vapaasti GNSS:n menetyksen läpi, ennen kuin sen aikavirhe rikkoo budjetin.

• Mikä on VALIDATED. Taajuusvakausestimaattorit, joista holdover-vastaus rakennetaan — Allanin poikkeama (ADEV), muunnettu Allanin poikkeama (MDEV), aikapoikkeama (TDEV), suurin aikavälivirhe (MTIE) ja laajennetun alueen Theo1-estimaattori — on tarkistettu Stable32-viitepoikkeamia, riippumatonta allantools-kirjastoa ja todellista mitattua cesiumkelloa vasten. Holdover-liukuman varianssilaskenta ja sen käänteistys holdover-ajaksi on tarkistettu SciPyä vasten. Katso VERIFICATION-MATRIX.md kunkin rivin, testin ja oraakkelin osalta.
• Mikä pysyy MODELLED. Kellolajikohtaiset kohinalattiat (esimerkiksi tietyn oskillaattorilajin pitkän aikavälin lattia) määräävät vastauksen vakaalle kellolle, ja ne ovat edustavia lukuja, eivät laitteesi mittauksia. Anna mitatut lattiat luvulle, jota aiot puolustaa.
• Telealan yksiköt. Skenaariolaji telecom-timing raportoi MTIE:n ja TDEV:n, tarkistaa ne International Telecommunication Union Telecommunication Standardization Sectorin (ITU-T) maskeja vasten — G.8272 ensisijaiselle vertailuaikakellolle (PRTC), G.8272.1 parannetulle PRTC:lle (ePRTC), G.8273.2 telealan rajakellolle (T-BC) ja G.8271.1 verkon rajoille vertailupisteessä C — ja raportoi, kuinka kauan holdover pysyy kunkin aikavirhebudjetin sisällä. Katso TELECOM-TIMING.md.

Mikä tekee siitä erilaisen#

Fysiikka ja standardit eivät ole ero: Simplified General Perturbations 4 (SGP4) -propagointi, Allanin poikkeama, koordinaatistot ja DOP ovat saatavilla, ilmaisia ja oikein muissa kirjastoissa, ja Kshana tarkistaa itsensä useita niistä vasten. Ero on todistekuri:

• Avoin. Moottori on GNU Affero General Public License (AGPL) -lisenssin alainen, joten kuka tahansa voi lukea ja ajaa sen uudelleen. Suljettuun integrointiin on olemassa kaupallinen lisenssi.
• Toistettava. Tuloksen määrää scenario + seed + engine version, bitti bitiltä, ja ajon voi jakaa linkkinä selaimen leikkikenttään.
• Alkuperämerkitty. Jokainen anturiparametri on jäljitetty julkaistuun lähteeseen (PROVENANCE.md), ja jokaisella ominaisuudella on VALIDATED / MODELLED / PARTNER -tasonsa. Jatkuvan integroinnin (CI) vartija hylkää VALIDATED-rivin, jolla ei ole riippumatonta ulkoista oraakkelia, joten sisäistä itsetarkistusta ei voi esittää validointina.

Emme ole löytäneet toista avointa työkalua, joka yhdistää nämä holdoverin, eheyden, inertialiukuman ja kvanttianturien yli, mutta haku, joka ei löydä mitään, ei todista, ettei mitään ole; emme väitä olevamme ainoa.

Kvantti: neutraali kauppatutkimusmenetelmä, tulokset merkitty MODELLED#

Kshana vertaa kvantti- ja klassisia kelloja sekä inertia-antureita samalla skenaariolla samalla koodilla: jokainen laite on virhemalli, eikä moottori tiedä, mikä niistä on ”kvantti”. Pidä sitä neutraalina kvantti–klassinen-kauppatutkimusmenetelmänä, jonka tulokset on merkitty MODELLED. Useimmat syötteet ovat julkaistuja Allan-/kohinabudjettikertoimia; kylmäatomi-interferometrisellä kiihtyvyysanturilla on perusperiaatteista johtava kerros, joka johtaa sen kohinakertoimen. Kumppanin mitatun Allanin poikkeaman datan voi syöttää lajin quantum-trade kautta, mikä on reitti tietyn laitteen lukujen ylentämiseen. Katso QUANTUM.md ja QUANTUM-MODELS.md.

Kuu, kuunläheinen ja syvä avaruus: ylläpidetty, ei pääotsikko#

Kuun / kuunläheinen paketti (Kuun eheysvalvonta, Maa–Kuu-kolmen kappaleen ydin, Kuun aika-asteikot, palvelutilavuusanalyysi) ja syvän avaruuden radiometrinen navigointimoottori ovat ylläpidettyjä ominaisuuksia. Useimmat niiden riveistä ovat MODELLED, ja Kuun navigointia palvelevat jo omistetut työkalut, joten ne tarjotaan saman moottorin ominaisuuksina, kukin omalla tasollaan, eikä pääotsikkona.

Moottorin muu osa#

Sama moottori samoilla tasoilla kattaa myös:

• Matalan Maan radan (LEO) PNT päästä päähän. Signaalisuunnittelu (leo-signal), ohitus ja kaistakohtainen linkkibudjetti (leo-pass), lähetetty navigointiviesti (leo-navmsg), yhdistetty keski- ja matalan Maan radan paikannus (leo-pvt), tarkan pistepaikannuksen (PPP) konvergenssi LEO-täydennyksellä (leo-ppp), paikannus 5G:n ei-maanpäällisestä verkosta (ntn-positioning) sekä leo-pnt-chain, joka luovuttaa kunkin vaiheen tulosteen seuraavalle yhdelle järjestelmälle.
• Spektri. L-kaistan (sekä ultrakorkeataajuus (UHF)-, S- ja C-kaistan) tehospektritiheyden vesiputous käsikirjoitetun häirintäaikajanan alla, kaistakohtaisella häirintä–signaali-suhteella ja efektiivisellä kantoaalto–kohinatiheydellä (spectrum), sekä Signal Metadata Format (SigMF) -tallenteen syöttö ja tulostus.
• Aurinkokunta ja mikä tahansa keskuskappale. Planeettojen ja suurten kuiden sijainnit ja fysikaaliset vakiot (solar-system), paikannus minkä tahansa näiden kappaleiden ympärillä (body-pnt) sekä Walker- ja julkaistuihin paikkoihin perustuva satelliittitähdistösuunnittelu kattavuus- ja DOP-kartoilla minkä tahansa niiden ympärillä (constellation-design).
• Kampanjat. Olemassa olevat lajit ketjutettuna yhdelle jaetulle aikajanalle, pyyhkäistynä, ajettuna siemennettyinä Monte Carlo -joukkoina tai rinnakkain jaetuissa olosuhteissa (campaign).
• Tulosteet. Jokainen ajo kirjoittaa tulosasiakirjan, kaavion ja raportin HTML- (HyperText Markup Language) ja JSON-muodossa (JavaScript Object Notation); --animate kirjoittaa SVG- (Scalable Vector Graphics), HTML- tai kehyssarja-animaation; --export kirjoittaa CZML- (Cesium Language), KML- (Keyhole Markup Language), GeoJSON- tai STK-efemeridin (Systems Tool Kit) lajeille, jotka sijoittavat asioita Maan pinnalle, ja SigMF:n lajille spectrum.

Useimmat näistä riveistä ovat MODELLED; varmennusmatriisi nimeää harvat VALIDATED-rivit (esimerkiksi International Telecommunication Unionin sade- ja tuikesuositukset, Galileon lähetetyn efemeridin algoritmi, CRC-24Q (24-bittinen syklinen redundanssitarkistus) -kehystarkistus ja planeettojen valoaikaratkaisija).

Mitä Kshana ei ole#

• Ei radiotaajuinen (RF) signaalisimulaattori eikä hardware-in-the-loop (HIL) -laitteisto. Kshana ei ohjaa radiolaitteistoa eikä lähetä mitään. Suurin osa siitä toimii virhemallien ja linkkibudjettien tasolla, ennen kuin laitteistoa tai laboratorioaikaa ostetaan. Signaalitasolla se on pelkkää ohjelmistoa: GNSS IQ -kerros (iq) kirjoittaa kantataajuisia in-phase/quadrature (IQ) -näytetiedostoja legitiimeistä GNSS-signaaleista ohjelmistovastaanottimille ja ajaa niille omaa ohjelmistovastaanotintaan; lajin spectrum osio [iq] (versiosta 0.29.0) kirjoittaa SigMF (Signal Metadata Format) -tilannekuvan analyyttisesta mallistaan, joka sisältää määritetyt häirintälähettimet (kohinankaltaiset häirintälähettimet taajuuskaistoittain, äänet ja chirpit aaltomuotoina); ja spoof_capture summaa aidon ja harhauttajan replikasignaalin muistissa silmukan kaappauksen testaamiseksi kirjoittamatta sitä ulos. Laitteistovastaanottimen testaus todellista RF-herätettä vasten on RF-simulaattorin tehtävä.
• Ei MATLAB/Simulinkin, STK:n tai Orekitin korvaaja. Se istuu niiden vieressä. Se lukee ja kirjoittaa niiden käyttämiä vaihtoformaatteja — CCSDS (Consultative Committee for Space Data Systems) Orbit Ephemeris Messages, SP3 (Standard Product 3) -tarkat radat, RINEX (Receiver Independent Exchange Format) — kirjoittaa CZML-, KML-, GeoJSON- ja STK-efemeridit niiden katselimille, ja sen numeerinen voimamalli ristiintarkistetaan Orekitia vasten sen sijaan, että sitä tarjottaisiin sen tilalle.
• Ei kantoaaltovaihe-GNSS-prosessointimoottori eikä paikannuspalvelu (katso alla).
• Ei sertifiointiviranomainen. VALIDATED-merkintä tarkoittaa, että ominaisuus täsmää ulkoiseen oraakkeliin; se ei ole minkään tuotteen tai operaattorin sertifiointi.

Mitä Kshana on ja ei ole GNSS-prosessointimoottorin rinnalla#

Kshana ei ole kantoaaltovaihe-GNSS-prosessointimoottori, eikä mikään skenaariolaji ole paikannuspalvelu. Sillä on kuitenkin jalansija mittausalueella kirjastokoodina, johon suorituskykytutkimus nojaa ja joka on tarkistettu riippumattomia viitteitä vasten. Lyhyen kantaviivan reaaliaikainen kinemaattinen (RTK) paikannus LAMBDA-kokonaislukuratkaisulla (least-squares ambiguity decorrelation adjustment) toimii todellisilla kaksitaajuisilla RINEX-havainnoilla, samoin staattinen float-tarkka pistepaikannus (PPP) -suodatin IGS:n lopullisilla radoilla ja kelloilla, ja tämän suodattimen estimoima vastaanottimen kello on aikaratkaisu IGS:n lopullista asemakelloa vasten. Jokainen kolmesta on varmennusmatriisin VALIDATED-rivi, siinä nimettyä IGS-asemadataa vasten, ja kukin toimii staattisilla, lyhyillä havaintoikkunoilla, ei suoratoistopalveluna, jossa on kokonaislukuepävarmuuden ratkaisu pitkillä kantaviivoilla, kantoaallon tasoitus tai kinemaattinen kulkija. Laji leo-ppp ajaa float-PPP-suodattimen koodille ja kantoaallon vaiheelle, mutta itse simuloimillaan mittauksilla, tutkiakseen konvergenssiaikaa LEO-täydennyksen kanssa ja ilman; se ei käsittele havaintotiedostoa. Laji pvt (sijainti, nopeus ja aika) ratkaisee vastaanottimen sijainnin todellisista RINEX-koodipseudoetäisyyksistä sekä lähetetystä efemeridistä, validoituna International GNSS Servicen (IGS) mitattua koordinaattia (asema ABMF, 2018-05-13) vasten tarkkuudella 5,7 m 3-D RMS (root mean square) / 1,1 m vaaka. Mutta tuote on suorituskykytutkimus, ei paikannuspalvelu, ja alla oleva kehystys on tarkoitettu säästämään mahdolliselta käyttäjältä väärän työkalun pettymys.

Täydentävät, ei kilpailevat — RTKLIB ja gLAB#

RTKLIB ja gLAB ovat kypsiä, laajasti käytettyjä GNSS-prosessointipaketteja. Ne ottavat todellisia mittauksia ja tuottavat paikannusratkaisun (SPP/PPP/RTK; gLAB on myös erinomainen opetustyökalu vahvalla perinteellä European Space Agencyssa (ESA) ja European Geostationary Navigation Overlay Servicessä (EGNOS)). Kshana ei korvaa niitä eikä yritä. Sen havaintopolku on kapea: koodiin perustuva yksittäispistepaikannus (pvt) ja, tarkistettuna kirjastokoodina, lyhyen kantaviivan RTK LAMBDA-kokonaislukuratkaisulla sekä staattinen float-PPP-suodatin todellisilla kaksitaajuisilla havainnoilla, kumpikin VALIDATED IGS-asemadataa vasten (PPP-suodatin myös RTKLIB-ajoa vasten samoilla syötteillä). Siinä ei ole kantoaallon tasoitusta, ei kinemaattista eikä suoratoistoprosessointia eikä pitkän kantaviivan kokonaislukuepävarmuuden ratkaisua, ja pvt ei estimoi troposfääriä eikä ionosfääriä — se soveltaa Saastamoinen/Niell-troposfäärimalleja ja L1/L2-ionosfääristä vapaata yhdistelmää, mutta ei ratkaise niitä tiloina.

Putki on täydentävä:

• RTKLIB / gLAB vastaavat kysymykseen ”missä olen näistä signaaleista?”
• Kshana vastaa kysymykseen ”kuinka kauan säilytän hyvän vastauksen, kun nuo signaalit loppuvat — ja paljonko parempi kello tai inertia-anturi, klassinen tai kvantti, minulle tuo?”

Luonteva työnkulku käyttää prosessointimoottoria GNSS:n saatavilla olevalle jaksolle ja Kshanaa holdover-käyttäytymisen ja sen ympärillä olevan anturikauppatilan tutkimiseen. Jos tarvitset kantoaaltovaihepaikannuspalvelun — kinemaattinen PPP tai RTK, pitkät kantaviivat, verkon kokonaislukuepävarmuuden ratkaisu — käytä RTKLIBiä tai gLABia; jos tarvitset toistettavaa, merkittyä todistetta kestävyydestä ja holdoverista, juuri sitä varten Kshana on rakennettu.

Asennusta vaatimaton selainkerros#

Useimmat tämän alan simulointityökalut (RTKLIB, gLAB, General Mission Analysis Tool (GMAT), Orekit, STK) vaativat natiiviasennuksen tai lisenssin ja oppimiskäyrän ennen ensimmäistä tulosta. Kshana käännetään WebAssemblyksi ja toimii kokonaan selaimessa — leikkikenttä lataa toimivan skenaarion, ajaa todellista moottoria asiakaspuolella (mitään ei lähetetä) ja näyttää tuloksen sekunneissa. Ohjatut liukusäätimet ja yhden napsautuksen skenaariot tarkoittavat, että ensimmäinen hyödyllinen tulos ei vaadi TOMLia (Tom's Obvious Minimal Language, skenaariotiedoston muoto) eikä työkaluketjua.

Tuo asennusta vaatimaton kerros on harkittu kanta:

• Tavoitettavuus — tarkastaja, opiskelija tai hankintavastaava voi kokeilla varsinaista moottoria linkistä, millä tahansa laitteella, ilman asennusta.
• Toistettavuus — sama moottori, joka toimitetaan selaimessa, on kirjasto, joka toimitetaan crates.io:ssa, Python Package Indexissä (PyPI) ja npm:ssä; tulos on toistettavissa kohteesta scenario + seed + engine version, ja ajon voi jakaa URL-osoitteena (verkko-osoite).
• Rehellisyys — moottorin ajaminen itse, avoimesti, on vahvin vastaus väitteeseen ”luota lukuihin”: selainkerros on auditointipinta.

Selainkerros ei tee Kshanasta työpöytäprosessointipaketin korvaajaa — se tekee suorituskykykauppatutkimuksen kysymyksestä lähestyttävän ihmisille, jotka eivät koskaan asentaisi sellaista.

Katso myös#

• CAPABILITY.md — rivikohtainen kattavuuskartta (ratkaisijan pvt koko kattavuus ja jäännökset ovat rivillä GNSS / PNT -käsittely).
• VALIDATION.md — mikä on validoitu, todisteineen.
• TELECOM-TIMING.md — telealan ajoitusskenaario ja sen maskit.
• GLOSSARY.md — tässä käytettyjen termien selkokieliset määritelmät.
• web/README.md — selainpohjainen testialusta.