Mõisted — lihtkeelne sissejuhatus

See leht selgitab, mida Kshana teeb ja miks, alustades nullist ja ehitades üles füüsikani. Esimese osa jaoks ei eeldata eelteadmisi; hilisemad jaotised lisavad spetsialistidele täpsed seosed. Sõna-sõnalt definitsioonide jaoks vt sõnastikku.

1. Probleem ühes lõigus#

Peaaegu kõik, mis peab teadma, kus see on või mis kell on — telefonid, õhusõidukid, laevad, satelliidid, elektrivõrgud, finantssüsteemid — tugineb navigatsioonisatelliitide signaalidele (GPS (Global Positioning System) ja selle sugulased, ühiselt GNSS (ülemaailmne satelliitnavigatsioonisüsteem)). Need signaalid on nõrgad ja kergesti kaduvad: segatud, blokeeritud või lihtsalt kosmoses vaatevälja kaugusel. Kui see juhtub, peab süsteem ise edasi toimima, kasutades pardasensoreid — kella aja hoidmiseks ja inertsiaalsensoreid liikumise jälgimiseks. Küsimus, millele Kshana vastab, on lihtne sõnastada ja raske mõõta: kui kaua ja kui hästi see suudab edasi toimida?

2. Miks „kvant“?#

Pardasensorid triivivad. Kell kaotab aeglaselt aega; inertsiaalsensor kaotab aeglaselt asukoha jälje. Kvantkellad ja -inertsiaalsensorid triivivad palju aeglasemalt kui tänapäeval kasutatavad klassikalised osad — nii et sõiduk võiks libiseda läbi palju pikema GNSS-i katkestuse, püsides oma täpsuspiirides. See eelis on kvant-PNT (positsioneerimine, navigatsioon ja aeg) kogu lubadus. Kuid „palju aeglasemalt“ tuleb muuta arvudeks: mitu lisaminutit holdover’it? mitu meetrit vähem triivi? Need arvud otsustavad, kas kvantkoormus on oma maksumuse, massi ja võimsuse väärt.

3. Mida Kshana tegelikult teeb#

Kshana on simulaator, mitte riistvara ega riistvara disain. See:

1. Võtab stsenaariumi — ajajoone koos GNSS-i katkestuse lõiguga ja sensori avaldatud toimivusnäitajatega.
2. Juhib sensori veamudelit läbi selle ajajoone: kuni GNSS on kättesaadav, on mudel distsiplineeritud tõe külge; katkestuse ajal jookseb see vabalt, kogudes viga täpselt nii, nagu füüsika ütleb.
3. Hindab tulemust töönäitajate kvaliteedinäitajate vastu (kui suureks viga kasvab, kui kaua see püsib nõuete piires, kui usaldusväärne hinnang on).
4. Sensoripakettide puhul teeb seda kaks korda — üks kord kvantsensorile, üks kord selle klassikalisele vastele — samal stsenaariumil, nii et võrdlus on õunad õuntega.

Olulisel kohal: mootor ei tea midagi „kvandist“ vs „klassikalisest“. Mõlemad on lihtsalt veamudelid erinevate (avaldatud, tsiteeritud) parameetritega. Väljundis nähtav erinevus on avaldatud füüsika erinevus — midagi ei ole käsitsi häälestatud ühe poole kasuks.

4. Neli ehituskivi („paketti“)#

Hübriidpakett on kokkuvõttev tipp: navigatsioonilahend vajab nii head aega kui ka head asukohta. See näitab, et optiline ajastuslink võib hoida lukus isegi tagasihoidlikku kella — mis tähendab, et inertsiaalsensorist saab nõrgim lüli ja just seal tasub kvantkiirendusmõõtur ennast ära.

Lisaks neljale paketile#

Sama mootor käitab palju rohkem stsenaariumi liiki; kshana kinds loetleb need kõik. Need ulatuvad sensoritest kaugemale signaalideni ja geomeetriani, millest sensorid sõltuvad:

• Kus satelliidid asuvad — orbiidi levitamine, konstellatsiooni kavandamine Maa, Kuu või mõne muu keha ümber ning Päikesesüsteemi kehade asukohad.
• Mida vastuvõtja näeb — asimuudist sõltuv silmapiir (tänav, kai, fjord) kõrgusmaski kohal ja taevageomeetria, mille see jätab: nähtavad satelliidid, nende täpsuse halvenemise tegur ja veaellips.
• Mida vastuvõtja kuuleb — L-riba spekter segaja korral, segamine ja spuufimine ning jälgimissilmuse haardekadu.
• Kas vastust saab usaldada — terviklikkuse seire (RAIM, vastuvõtja autonoomne terviklikkuse seire, ja selle täiustatud vorm ARAIM) kaitsetasemetega.
• GNSS-i alternatiivid — gravitatsiooni- ja maastikukaardi sobitamine ning positsioneerimine, navigatsioon ja aeg madala Maa orbiidi (LEO) satelliitidelt, signaali disainist läbi lingieelarve ja navigatsioonisõnumi asukohalahendini.
• Võrkude ajastus — telekomi holdover rahvusvaheliste maskide vastu kontrollituna ja ajapesa ajastus ajaindekseeritud ajakavade jaoks.
• Väljaspool Maad — Kuu aeg ja tugisüsteemid, Kuu teenindusmahud ja Marsi releenavigatsioon.
• Palju käitusi korraga — kampaaniad ahelavad liike ühel ajajoonel, pühivad parameetrit või käitavad Monte Carlo ansamblit.

5. Aus ülesehituse poolest#

Simulaator on kasulik ainult siis, kui seda saab usaldada. Kshana on ehitatud nii, et saab:

• Iga parameeter on tsiteeritud. Iga sensori näitaja kannab stringi provenance, mis nimetab andmelehe või artikli, kust see pärineb. Anonüümseid konstante pole.
• Iga mudelit kontrollitakse õpikuseose vastu, mitte ainult iseenda vastu — nt simuleeritud kella Alani hälve peab ühtima avaldatud stabiilsusnäitajaga ja inertsiaaltriiv peab ühtima standardse vea kasvu seadusega. Võimekust nimetatakse valideeritud ainult seal, kus sõltumatu väline sõltumatu etalon (tegelik andmestik, sõltumatu realisatsioon või avaldatud etalonvektorid) nõustub; ülejäänu on modelleeritud, ja kontrollimaatriks ütleb, mis on mis.
• Küpsus on sildistatud. VALIDATION.md märgib iga efekti kui validated, modelled või not modeled ning ütleb selgelt, et optiliste kellade näitajad on laboratoorsed / kosmose eesmärgi arvud — ükski strontsiumi optiline kell ei ole lennanud.
• Tulemused on reprodutseeritavad bitini: sama stsenaarium, algväärtus ja versioon annavad samal platvormil alati identse vastuse; operatsioonisüsteemide vahel ühtivad näitajad suhtelise täpsusega 1e-6 (vt REPRODUCIBILITY.md).

6. Füüsika spetsialistidele#

Seosed, mida Kshana realiseerib ja testib (täielik üksikasi ja tolerantsid failis VALIDATION.md):

• Kella holdover. Kaheolekuline faasi/sageduse mudel valge sageduse modulatsiooniga (valge FM, võimsusspektri tihedus q_wf), juhusliku käimise FM (q_rw), flicker-FM (logaritmiliselt jaotatud Ornstein–Uhlenbecki protsesside summa, kalibreeritud lameda Alani põhja järgi) ja deterministliku vananemisega. Valideeritud kattuva Alani hälbega avaldatud σ_y(τ) vastu (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Inertsiaalne dead-reckoning. Kiirendusmõõturi jääknihe → ½·b·T²; kiiruse juhuslik käimine → σ_x(T) = √(S_a·T³/3); valikuline güroskoobi nihe ja nurga juhuslik käimine tekitavad kaldevea, mis seob gravitatsiooni (g·θ) horisontaalse kiirendusega (Groves).
• Aja edastamine. Valge ajastusvärin → sünkroniseerimise korduvtäpsus → ühesuunaline kaugusmõõtmine (range = c·dt, 1 ps ≈ 0,3 mm); valimi keskmine keskmistub kui σ/√N.
• Liitmine ja terviklikkus. Kaheolekuline Kalmani filter, mille protsessimüra vastab tõe mudelile; libisemisel kasvab selle faasivea dispersioon täpselt väärtuseni q_wf·T + q_rw·T³/3 — analüütiline holdover’i seos — ning selle 1-σ piir toidab Terviklikkuse kvaliteedinäitajat.
• Geomeetria. Kepleri kahe keha levitamine (valikuliselt sekulaarse J2-ga) või SGP4 (Simplified General Perturbations 4) reaalsetest kahe rea elemendikomplektidest, Walkeri konstellatsioonid ja vaatejoone nähtavus (Maa varjutus + kõrgusmask) tuletavad GNSS-i kättesaadavuse orbitaalgeomeetriast käsitsi kirjutatud akende asemel.

7. Kuhu edasi#

• Läbitöötamiseks: õpetused — kolm läbitöötatud näidet + astmelised harjutused.
• Käivitamiseks: vt README kiirstart.
• Struktuuri mõistmiseks: ARCHITECTURE.md.
• Mis on ja mis ei ole valideeritud: VALIDATION.md.
• Mõiste otsimiseks: GLOSSARY.md.