Concepten — een begrijpelijke inleiding

Deze pagina legt uit wat Kshana doet en waarom, te beginnen bij nul en opbouwend naar de fysica. Voor het eerste deel is geen voorkennis nodig; de latere secties voegen de exacte relaties voor specialisten toe. Voor definities van afzonderlijke woorden zie de woordenlijst.

1. Het probleem in één alinea#

Bijna alles wat moet weten waar het is of hoe laat het is — telefoons, vliegtuigen, schepen, satellieten, elektriciteitsnetten, financiële systemen — steunt op signalen van navigatiesatellieten (GPS (Global Positioning System) en zijn verwanten, samen GNSS (global navigation satellite system)). Die signalen zijn zwak en gaan makkelijk verloren: ze worden gejamd, geblokkeerd of zijn in de ruimte simpelweg buiten bereik. Wanneer dat gebeurt, moet een systeem op eigen kracht doorgaan met behulp van sensoren aan boord — een klok om de tijd vast te houden en inertiële sensoren om beweging te volgen. De vraag die Kshana beantwoordt, is eenvoudig te stellen en moeilijk te meten: hoe lang en hoe goed kan het doorgaan?

2. Waarom "kwantum"?#

Sensoren aan boord driften. Een klok loopt langzaam achter; een inertiële sensor raakt langzaam het spoor van de positie kwijt. Kwantumklokken en -inertiële sensoren driften veel langzamer dan de klassieke onderdelen die nu worden gebruikt — zodat een voertuig een veel langere GNSS-uitval kan overbruggen en binnen zijn nauwkeurigheidsgrenzen blijft. Dat voordeel is de hele belofte van kwantum-PNT (positiebepaling, navigatie en tijdsynchronisatie). Maar "veel langzamer" moet worden omgezet in getallen: hoeveel extra minuten holdover? hoeveel meter minder drift? Die getallen bepalen of een kwantumlading de kosten, massa en het vermogen waard is.

3. Wat Kshana feitelijk doet#

Kshana is een simulator, geen hardware en geen hardwareontwerp. Het:

1. Neemt een scenario — een tijdlijn met een stuk GNSS-uitval en de gepubliceerde prestatiecijfers van een sensor.
2. Laat een sensorfoutmodel die tijdlijn doorlopen: zolang GNSS beschikbaar is, wordt het model gestuurd naar de referentie; tijdens de uitval loopt het vrij, en bouwt het fout op precies zoals de fysica dat voorschrijft.
3. Scoort het resultaat aan de hand van operationele kwaliteitsmaten (hoe groot de fout wordt, hoe lang die binnen de specificatie blijft, hoe betrouwbaar de schatting is).
4. Doet dit voor de sensorpakketten tweemaal — één keer voor een kwantumsensor, één keer voor zijn klassieke tegenhanger — op hetzelfde scenario, zodat de vergelijking appels met appels vergelijkt.

Belangrijk: de engine weet niets van "kwantum" tegenover "klassiek". Beide zijn slechts foutmodellen met andere (gepubliceerde, geciteerde) parameters. Het verschil dat u in de uitvoer ziet, is het verschil in de gepubliceerde fysica — niets is met de hand afgesteld ten gunste van de ene kant.

4. De vier bouwstenen ("pakketten")#

Het hybride pakket is de clou: een navigatieoplossing heeft zowel goede tijd als goede positie nodig. Het laat zien dat een optische tijdverbinding zelfs een bescheiden klok vergrendeld kan houden — waardoor de inertiële sensor de zwakste schakel wordt, en precies daar loont een kwantumversnellingsmeter.

Voorbij de vier pakketten#

Dezelfde engine draait veel meer scenariosoorten; kshana kinds toont ze allemaal. Ze reiken voorbij de sensoren tot de signalen en de geometrie waarvan de sensoren afhangen:

• Waar de satellieten zijn — baanpropagatie, constellatieontwerp rond de aarde, de maan of een ander hemellichaam, en de posities van de lichamen van het zonnestelsel.
• Wat de ontvanger kan zien — een azimutafhankelijke skyline (een straat, een kade, een fjord) boven het elevatiemasker, en de hemelgeometrie die overblijft: de zichtbare satellieten, hun dilution of precision en de foutellips.
• Wat de ontvanger hoort — het L-bandspectrum onder een jammer, jamming en spoofing, en verlies van lock in de trackinglussen.
• Of het antwoord te vertrouwen is — integriteitsbewaking (RAIM, receiver autonomous integrity monitoring, en de geavanceerde vorm ARAIM) met beschermingsniveaus.
• Alternatieven voor GNSS — zwaartekracht- en terreinkaartmatching, en positiebepaling, navigatie en tijdsynchronisatie vanuit satellieten in een lage baan om de aarde (LEO), van het signaalontwerp via het linkbudget en het navigatiebericht tot de positiebepaling.
• Tijdsynchronisatie voor netwerken — telecom-holdover getoetst aan de internationale maskers, en slottiming voor schema's op basis van tijdindexen.
• Voorbij de aarde — maantijd en referentiestelsels, servicevolumes op de maan en navigatie via Marsrelais.
• Veel runs tegelijk — campagnes koppelen soorten aan elkaar op één tijdlijn, doorlopen een parameter of draaien een Monte Carlo-ensemble.

5. Eerlijkheid door opzet#

Een simulator is alleen nuttig als u hem kunt vertrouwen. Kshana is zo gebouwd dat dat kan:

• Elke parameter wordt aangehaald. Elk sensorcijfer heeft een provenance-tekenreeks die het gegevensblad of de publicatie noemt waaruit het komt. Geen anonieme constanten.
• Elk model wordt getoetst aan een leerboekrelatie, niet alleen aan zichzelf — de Allan-deviatie van de gesimuleerde klok moet bijvoorbeeld overeenkomen met het gepubliceerde stabiliteitscijfer, en de inertiële drift met de standaardwet voor foutgroei. Een mogelijkheid heet pas getoetst aan een onafhankelijke externe referentie wanneer een onafhankelijke externe referentie (een echte dataset, een onafhankelijke implementatie of gepubliceerde referentievectoren) het eens is; de rest is berekend uit een model, en de verificatiematrix zegt wat wat is.
• Maturiteit is gelabeld. VALIDATION.md markeert elk effect als validated, modelled of not modeled, en stelt ronduit dat de cijfers van optische klokken laboratorium- of ruimtedoelcijfers zijn — er is nog nooit een optische strontiumklok gevlogen.
• Resultaten zijn tot op de bit reproduceerbaar: hetzelfde scenario, dezelfde seed en dezelfde versie geven op hetzelfde platform altijd het identieke antwoord; tussen besturingssystemen komen de cijfers tot 1e-6 relatief overeen (zie REPRODUCIBILITY.md).

6. De fysica, voor specialisten#

De relaties die Kshana implementeert en test (volledige details en toleranties in VALIDATION.md):

• Klok-holdover. Tweetoestandsmodel voor fase en frequentie met witte frequentiemodulatie (witte FM, spectrale vermogensdichtheid q_wf), random-walk-FM (q_rw), flicker-FM (een som van logaritmisch verdeelde Ornstein–Uhlenbeck-processen, gekalibreerd op een vlakke Allan-ondergrens) en deterministische veroudering. Getoetst aan een onafhankelijke externe referentie met de overlappende Allan-deviatie tegen de gepubliceerde σ_y(τ) (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Inertiële koppelnavigatie. Resterende bias van de versnellingsmeter → ½·b·T²; random walk van de snelheid → σ_x(T) = √(S_a·T³/3); optionele gyroscoopbias en angular random walk leveren een kantelfout op die zwaartekracht (g·θ) in horizontale versnelling koppelt (Groves).
• Tijdoverdracht. Witte timingjitter → synchronisatienauwkeurigheid → eenrichtingsafstandsmeting (range = c·dt, 1 ps ≈ 0,3 mm); het steekproefgemiddelde middelt als σ/√N.
• Fusie en integriteit. Een Kalman-filter met twee toestanden waarvan de procesruis overeenkomt met het referentiemodel; tijdens coasting groeit de fasefoutvariantie precies tot q_wf·T + q_rw·T³/3 — de analytische holdoverrelatie — en voedt de 1-σ-grens de kwaliteitsmaat Integriteit.
• Geometrie. Keplerse tweelichamenpropagatie (optioneel met seculiere J2) of SGP4 (Simplified General Perturbations 4) uit echte two-line element sets, Walker-constellaties en zichtbaarheid in rechte lijn (aardbedekking + elevatiemasker) leiden de GNSS-beschikbaarheid af uit de baangeometrie in plaats van uit met de hand opgestelde vensters.

7. Waar u daarna heen kunt#

• Werk het door: de tutorials — drie uitgewerkte voorbeelden + opdrachten met opklimmende moeilijkheid.
• Draai het: zie de snelstart in de README.
• Begrijp de structuur: ARCHITECTURE.md.
• Controleer wat wel en niet is getoetst aan een onafhankelijke externe referentie: VALIDATION.md.
• Zoek een term op: GLOSSARY.md.