Käsitteet — yleiskielinen johdanto

Tämä sivu selittää, mitä Kshana tekee ja miksi, lähtien tyhjästä ja edeten fysiikkaan. Ensimmäinen osa ei edellytä esitietoja; myöhemmät osiot lisäävät tarkat suhteet asiantuntijoille. Sanakohtaisia määritelmiä varten katso sanasto.

1. Ongelma yhdessä kappaleessa#

Lähes kaikki, minkä on tiedettävä, missä se on tai paljonko kello on — puhelimet, ilma-alukset, alukset, satelliitit, sähköverkot, rahoitusjärjestelmät — nojaa navigointisatelliittien signaaleihin (GPS (Global Positioning System) ja sen sisarjärjestelmät, yhteisnimeltään GNSS (maailmanlaajuinen satelliittinavigointijärjestelmä)). Nämä signaalit ovat heikkoja ja katoavat helposti: ne häiritään, estetään tai ovat avaruudessa yksinkertaisesti poissa näkyvistä. Kun näin käy, järjestelmän on jatkettava omillaan käyttäen aluksella olevia antureita — kelloa ajan pitämiseen ja inertia-antureita liikkeen seuraamiseen. Kysymys, johon Kshana vastaa, on helppo esittää ja vaikea mitata: kuinka kauan ja kuinka hyvin se voi jatkaa?

2. Miksi ”kvantti”?#

Aluksella olevat anturit ajautuvat. Kello menettää hitaasti aikaa; inertia-anturi menettää hitaasti paikan seurannan. Kvanttikellot ja kvantti-inertia-anturit ajautuvat paljon hitaammin kuin nykyisin käytössä olevat klassiset osat — joten ajoneuvo voisi rullata paljon pidemmän GNSS-katkon yli pysyen tarkkuusrajoissaan. Tämä etu on kvantti-PNT:n (paikannus, navigointi ja ajanmääritys) koko lupaus. Mutta ”paljon hitaammin” täytyy muuttaa luvuiksi: kuinka monta lisäminuuttia holdoveria? kuinka monta metriä vähemmän ajautumaa? Nämä luvut ratkaisevat, onko kvanttikuorma kustannuksensa, massansa ja tehonsa arvoinen.

3. Mitä Kshana todella tekee#

Kshana on simulaattori, ei laitteisto eikä laitteistosuunnitelma. Se:

1. Ottaa skenaarion — aikajanan, jossa on GNSS-katko, ja anturin julkaistut suorituskykyluvut.
2. Ajaa anturin virhemallin tämän aikajanan läpi: kun GNSS on saatavilla, malli kurinalaistetaan totuuteen; katkon aikana se käy vapaasti ja kerryttää virhettä täsmälleen niin kuin fysiikka edellyttää.
3. Pisteyttää tuloksen toiminnallisia laatumittareita vastaan (kuinka suureksi virhe kasvaa, kuinka kauan se pysyy spesifikaatiossa, kuinka luotettava estimaatti on).
4. Anturipaketeille tämä tehdään kahdesti — kerran kvanttianturille, kerran sen klassiselle vastineelle — samalla skenaariolla, joten vertailu on vertailukelpoinen.

Ratkaisevaa on, että moottori ei tiedä mitään ”kvantista” vs. ”klassisesta”. Molemmat ovat vain virhemalleja, joilla on eri (julkaistut, viitatut) parametrit. Tulosteessa näkyvä ero on julkaistun fysiikan ero — mitään ei ole viritetty käsin yhden puolen eduksi.

4. Neljä rakennuspalikkaa (”paketit”)#

Hybridipaketti on huipennus: navigointiratkaisu tarvitsee sekä hyvän ajan että hyvän paikan. Se osoittaa, että optinen ajoituslinkki voi pitää jopa vaatimattoman kellon lukittuna — mikä tarkoittaa, että inertia-anturista tulee heikoin lenkki, ja juuri siinä kvanttikiihtyvyysanturi tuottaa hyötyä.

Neljän paketin ulkopuolella#

Sama moottori ajaa paljon useampia skenaariolajeja; kshana kinds listaa ne kaikki. Ne ulottuvat antureiden ulkopuolelle signaaleihin ja geometriaan, joista anturit riippuvat:

• Missä satelliitit ovat — ratalaskenta, tähdistösuunnittelu Maan, Kuun tai muun kappaleen ympärille sekä aurinkokunnan kappaleiden paikat.
• Mitä vastaanotin näkee — atsimuutista riippuva horisonttiprofiili (katu, laituri, vuono) korkeuskulmamaskin päällä sekä taivasgeometria, jonka se jättää: näkyvissä olevat satelliitit, niiden tarkkuuden heikkenemiskerroin ja virhe-ellipsi.
• Mitä vastaanotin kuulee — L-kaistan spektri häirintälähettimen alla, häirintä ja harhautus sekä seurantasilmukan lukituksen menetys.
• Voiko vastaukseen luottaa — eheyden valvonta (RAIM, vastaanottimen autonominen eheyden valvonta, ja sen kehittynyt muoto ARAIM) suojaustasoineen.
• GNSS:n vaihtoehdot — painovoima- ja maastokarttasovitus sekä paikannus, navigointi ja ajanmääritys matalan Maan kiertoradan (LEO) satelliiteista, signaalisuunnittelusta linkkibudjetin ja navigointiviestin kautta paikkaratkaisuun.
• Ajoitus verkoille — telealan holdover kansainvälisiä maskeja vasten tarkistettuna sekä aikaindeksoitujen aikataulujen slottiajoitus.
• Maan ulkopuolella — kuun aika ja koordinaatistot, kuun palvelutilavuudet ja Marsin releenavigointi.
• Monta ajoa kerralla — kampanjat ketjuttavat lajeja yhdelle aikajanalle, pyyhkäisevät parametrin tai ajavat Monte Carlo -ensemblen.

5. Rehellisyys rakenteena#

Simulaattori on hyödyllinen vain, jos siihen voi luottaa. Kshana on rakennettu niin, että voit:

• Jokainen parametri on viitattu. Jokaisen anturiluvun mukana on merkkijono provenance, joka nimeää tietolehden tai artikkelin, josta se on peräisin. Ei anonyymejä vakioita.
• Jokainen malli tarkistetaan oppikirjasuhteita vastaan, ei vain itseään vastaan — esim. simuloidun kellon Allanin poikkeaman on vastattava julkaistua vakausarvoa, ja inertiaajautuman on vastattava standardia virheenkasvulakia. Ominaisuus kutsutaan validoiduksi vain, jos riippumaton ulkoinen oraakkeli (todellinen aineisto, riippumaton toteutus tai julkaistut viitevektorit) on samaa mieltä; loppu on mallinnettua, ja varmennusmatriisi kertoo, kumpi on kumpaa.
• Kypsyys on merkitty. VALIDATION.md merkitsee jokaisen ilmiön arvolla validated, modelled tai not modeled ja toteaa selvästi, että optisen kellon luvut ovat laboratorio- / avaruustavoitelukuja — mikään strontiumoptinen kello ei ole lentänyt.
• Tulokset ovat toistettavissa bitintarkasti: sama skenaario, siemenluku ja versio tuottavat aina identtisen vastauksen samalla alustalla; käyttöjärjestelmien välillä luvut täsmäävät suhteellisesti tarkkuudella 1e-6 (ks. REPRODUCIBILITY.md).

6. Fysiikka asiantuntijoille#

Suhteet, jotka Kshana toteuttaa ja testaa (täydet yksityiskohdat ja toleranssit tiedostossa VALIDATION.md):

• Kellon holdover. Kaksitilainen vaihe/taajuus-malli, jossa on valkoinen taajuusmodulaatio (white FM, tehotiheysspektri q_wf), satunnaiskulku-FM (q_rw), flicker-FM (log-välein asetettujen Ornstein–Uhlenbeck-prosessien summa, kalibroitu tasaiselle Allanin lattialle) ja deterministinen ikääntyminen. Validoitu limittäisellä Allanin poikkeamalla julkaistua σ_y(τ) vastaan (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Inertiapaikannus (dead-reckoning). Kiihtyvyysanturin jäännösharha → ½·b·T²; nopeuden satunnaiskulku → σ_x(T) = √(S_a·T³/3); valinnainen gyroharha ja kulman satunnaiskulku tuottavat kallistusvirheen, joka kytkee painovoiman (g·θ) vaakakiihtyvyyteen (Groves).
• Ajansiirto. Valkoinen ajoitusvärinä → synkronoinnin toistotarkkuus → yksisuuntainen etäisyysmittaus (range = c·dt, 1 ps ≈ 0,3 mm); näytekeskiarvo keskiarvoistuu kuten σ/√N.
• Fuusio & eheys. Kaksitilainen Kalman-suodatin, jonka prosessikohina vastaa totuusmallia; coastingissa sen vaihevirheen varianssi kasvaa täsmälleen arvoon q_wf·T + q_rw·T³/3 — analyyttinen holdover-suhde — ja sen 1-σ-raja syöttää eheyden laatumittaria.
• Geometria. Keplerilainen kahden kappaleen eteneminen (valinnaisesti sekulaarisella J2:lla) tai SGP4 (Simplified General Perturbations 4) todellisista kaksirivisistä elementtijoukoista, Walker-tähdistöt ja näköyhteysnäkyvyys (Maan peitto + korkeuskulmamaski) johtavat GNSS-saatavuuden kiertoratageometriasta käsin kirjoitettujen ikkunoiden sijaan.

7. Mihin seuraavaksi#

• Käy läpi: opetusohjelmat — kolme läpikäytyä esimerkkiä ja portaittaiset harjoitukset.
• Aja se: katso pikaopas tiedostossa README.
• Ymmärrä rakenne: ARCHITECTURE.md.
• Tarkista, mikä on ja mikä ei ole validoitua: VALIDATION.md.
• Etsi termi: GLOSSARY.md.