Koncepty — srozumitelný úvod

Tato stránka vysvětluje, co Kshana dělá a proč, od nuly až po fyziku. V první části se nepředpokládají žádné předchozí znalosti; pozdější oddíly doplňují přesné vztahy pro odborníky. Definice pojmů jednoho po druhém najdete v Glosáři.

1. Problém v jednom odstavci#

Téměř vše, co potřebuje vědět, kde se nachází nebo kolik je hodin — telefony, letadla, lodě, družice, elektrické sítě, finanční systémy — se opírá o signály navigačních družic (GPS (Global Positioning System) a jeho příbuzné systémy, souhrnně GNSS (globální družicový navigační systém)). Tyto signály jsou slabé a snadno se ztrácejí: jsou rušeny, blokovány nebo prostě nejsou ve výhledu, například ve vesmíru. Když k tomu dojde, systém musí pokračovat sám pomocí palubních senzorů — hodin pro udržení času a inerciálních senzorů pro sledování pohybu. Otázka, na kterou Kshana odpovídá, se snadno formuluje a obtížně měří: jak dlouho a jak dobře může pokračovat?

2. Proč „kvantové“?#

Palubní senzory driftují. Hodiny pomalu ztrácejí čas; inerciální senzor pomalu ztrácí přehled o poloze. Kvantové hodiny a inerciální senzory driftují mnohem pomaleji než dnes používané klasické součásti — vozidlo by tak mohlo projet mnohem delším výpadkem GNSS a přitom zůstat v mezích své přesnosti. Tato výhoda je celým příslibem kvantového PNT (určování polohy, navigace a času). „Mnohem pomaleji“ je ale třeba převést na čísla: o kolik minut delší holdover? o kolik metrů menší drift? Tato čísla rozhodují o tom, zda se kvantový užitečný náklad vyplatí z hlediska ceny, hmotnosti a příkonu.

3. Co Kshana skutečně dělá#

Kshana je simulátor, nikoli hardware ani návrh hardwaru. Provádí toto:

1. Vezme scénář — časovou osu s úsekem výpadku GNSS a zveřejněnými výkonnostními údaji senzoru.
2. Provede touto časovou osou model chyb senzoru: dokud je GNSS dostupné, model je disciplinován podle pravdy; během výpadku běží volně a kumuluje chybu přesně tak, jak to předpovídá fyzika.
3. Vyhodnotí výsledek proti provozním ukazatelům kvality (jak velká chyba naroste, jak dlouho zůstává ve specifikaci, jak důvěryhodný je odhad).
4. U balíčků senzorů to provede dvakrát — jednou pro kvantový senzor, jednou pro jeho klasický protějšek — na stejném scénáři, takže srovnání je férové.

Podstatné je, že engine o „kvantovém“ a „klasickém“ nic neví. Obojí jsou jen modely chyb s různými (zveřejněnými, citovanými) parametry. Rozdíl, který ve výstupu vidíte, je rozdílem zveřejněné fyziky — nic není ručně doladěno ve prospěch jedné strany.

4. Čtyři stavební kameny („balíčky“)#

Hybridní balíček je pointa: navigační řešení potřebuje jak dobrý čas, tak dobrou polohu. Ukazuje, že optický časový spoj dokáže udržet v synchronizaci i skromné hodiny — což znamená, že nejslabším článkem se stává inerciální senzor, a právě tam se kvantový akcelerometr vyplatí.

Nad rámec čtyř balíčků#

Stejný engine spouští mnohem více druhů scénářů; kshana kinds je vypíše všechny. Sahají za senzory k signálům a geometrii, na nichž senzory závisejí:

• Kde jsou družice — propagace oběžných drah, návrh konstelace kolem Země, Měsíce nebo jiného tělesa a polohy těles sluneční soustavy.
• Co přijímač vidí — azimutově závislá obzorová silueta (ulice, nábřeží, fjord) nad elevační maskou a geometrie oblohy, kterou zbývá: družice ve výhledu, jejich faktor DOP (zhoršení přesnosti) a chybová elipsa.
• Co přijímač slyší — spektrum v pásmu L pod rušičem, rušení a spoofing a ztráta uzamčení sledovacích smyček.
• Zda lze odpovědi důvěřovat — monitorování integrity (RAIM, autonomní monitorování integrity přijímačem, a jeho pokročilá podoba ARAIM) s ochrannými úrovněmi.
• Alternativy ke GNSS — porovnávání s mapami gravitace a terénu a určování polohy, navigace a času z družic na nízké oběžné dráze Země (LEO), od návrhu signálu přes rozpočet spoje a navigační zprávu až po určení polohy.
• Časování pro sítě — telekomunikační holdover kontrolovaný proti mezinárodním maskám a časování slotů pro časově indexované rozvrhy.
• Za hranicemi Země — lunární čas a referenční soustavy, lunární oblasti služby a navigace přes reléové družice u Marsu.
• Mnoho běhů najednou — kampaně řetězí druhy na jedné časové ose, procházejí parametr nebo spouštějí soubor Monte Carlo.

5. Poctivost už v konstrukci#

Simulátor je užitečný, jen když mu můžete důvěřovat. Kshana je postavena tak, abyste mohli:

• Každý parametr je citován. Každý údaj senzoru nese řetězec provenance, který uvádí datový list nebo článek, z něhož pochází. Žádné anonymní konstanty.
• Každý model se kontroluje proti učebnicovému vztahu, nejen sám proti sobě — např. Allanova odchylka simulovaných hodin se musí shodovat se zveřejněnou hodnotou stability a inerciální drift se musí shodovat se standardním zákonem růstu chyby. Schopnost se označuje za ověřenou proti nezávislé vnější referenci jen tam, kde nezávislé vnější orákulum (skutečná datová sada, nezávislá implementace nebo zveřejněné referenční vektory) souhlasí; zbytek je vypočteno z modelu a verifikační matice říká, co je co.
• Zralost je označena. VALIDATION.md označuje každý efekt jako validated, modelled nebo not modeled a otevřeně uvádí, že údaje o optických hodinách jsou čísla laboratorní / z cílů pro vesmír — žádné optické hodiny se stronciem dosud nelétaly.
• Výsledky jsou reprodukovatelné do posledního bitu: stejný scénář, seed a verze vždy dají na téže platformě totožnou odpověď; napříč operačními systémy se hodnoty shodují na 1e-6 relativně (viz REPRODUCIBILITY.md).

6. Fyzika pro odborníky#

Vztahy, které Kshana implementuje a testuje (podrobnosti a tolerance v VALIDATION.md):

• Holdover hodin. Dvoustavový model fáze a frekvence s bílou frekvenční modulací (bílá FM, spektrální hustota výkonu q_wf), FM s náhodnou procházkou (q_rw), flicker FM (součet logaritmicky rozmístěných Ornsteinových–Uhlenbeckových procesů kalibrovaných na plochý Allanův práh) a deterministické stárnutí. Ověřeno pomocí překrývající se Allanovy odchylky proti zveřejněné hodnotě σ_y(τ) (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Inerciální výpočet polohy z pohybu. Zbytkový bias akcelerometru → ½·b·T²; náhodná procházka rychlosti → σ_x(T) = √(S_a·T³/3); volitelný bias gyroskopu a náhodná procházka úhlu vytvářejí chybu náklonu, která přenáší gravitaci (g·θ) do horizontálního zrychlení (Groves).
• Přenos času. Bílý časový jitter → přesnost synchronizace → jednosměrné měření vzdálenosti (range = c·dt, 1 ps ≈ 0,3 mm); výběrový průměr se průměruje jako σ/√N.
• Fúze a integrita. Dvoustavový Kalmanův filtr, jehož procesní šum odpovídá pravdivému modelu; při setrvačném dojezdu roste rozptyl jeho fázové chyby přesně na q_wf·T + q_rw·T³/3 — analytický vztah pro holdover — a jeho mez 1-σ vstupuje do ukazatele kvality Integrita.
• Geometrie. Keplerova propagace dvou těles (volitelně se sekulárním J2) nebo SGP4 (Simplified General Perturbations 4) ze skutečných množin dvouřádkových elementů, konstelace Walker a viditelnost přímou viditelností (zákryt Zemí + elevační maska) odvozují dostupnost GNSS z orbitální geometrie, nikoli z ručně zadaných oken.

7. Kam dál#

• Projděte si to: tutoriály — tři vypracované příklady + odstupňovaná cvičení.
• Spusťte to: viz rychlý start v README.
• Pochopte strukturu: ARCHITECTURE.md.
• Zjistěte, co je a co není ověřeno proti nezávislé vnější referenci: VALIDATION.md.
• Vyhledejte pojem: GLOSSARY.md.