Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Kom i gangRedigér på GitHubKilde: docs/CONCEPTS.md

Begreber: en introduktion i almindeligt sprog

Denne side forklarer hvad Kshana gør, og hvorfor, fra bunden og op til fysikken. Der forudsættes ingen forkundskaber i første del; de senere afsnit tilføjer de præcise sammenhænge for specialister. Ord-for-ord-definitioner findes i ordlisten.

1. Problemet i ét afsnit#

Næsten alt, der skal vide hvor det er eller hvad klokken er, støtter sig til signaler fra navigationssatellitter: telefoner, fly, skibe, satellitter, elnet, finansielle systemer (GPS (Global Positioning System) og dets søskende, samlet GNSS (global navigation satellite system)). Disse signaler er svage og lette at miste: forstyrret med jamming, blokeret eller simpelthen udenfor syne i rummet. Når det sker, må et system klare sig selv med sensorer om bord: et ur, der holder tiden, og inertisensorer, der følger bevægelsen. Spørgsmålet, Kshana besvarer, er let at stille og svært at måle: hvor længe og hvor godt kan det klare sig?

2. Hvorfor »kvante«?#

Sensorer om bord driver. Et ur mister langsomt tid; en inertisensor mister langsomt overblikket over positionen. Kvanteur og -inertisensorer driver langt langsommere end de klassiske dele, der bruges i dag, så et køretøj kunne coaste gennem et meget længere GNSS-udfald og stadig holde sig inden for sine nøjagtighedsgrænser. Den fordel er hele løftet i kvante-PNT (positionering, navigation og tidssynkronisering). Men »langt langsommere« skal omsættes til tal: hvor mange ekstra minutters holdover? hvor mange færre meters drift? Disse tal afgør, om en kvantenyttelast er sin pris, masse og effekt værd.

3. Hvad Kshana faktisk gør#

Kshana er en simulator, ikke hardware og ikke et hardwaredesign. Den:

  1. Tager et scenarie: en tidslinje med et stykke GNSS-udfald og de offentliggjorte ydelsestal for en sensor.
  2. Kører en sensorfejlmodel gennem tidslinjen: mens GNSS er tilgængeligt, disciplineres modellen mod referencen; under udfaldet løber den frit og opsamler fejl præcis, som fysikken siger, den skal.
  3. Scorer resultatet mod operationelle kvalitetsmål (hvor stor fejlen bliver, hvor længe den holder sig inden for specifikationen, hvor pålideligt estimatet er).
  4. For sensorpakkerne gør den dette to gange: én gang for en kvantesensor og én gang for dens klassiske modstykke, på samme scenarie, så sammenligningen er ligeværdig.

Det afgørende er, at motoren intet ved om »kvante« kontra »klassisk«. Begge er blot fejlmodeller med forskellige (offentliggjorte, citerede) parametre. Forskellen, du ser i outputtet, er forskellen i den offentliggjorte fysik: intet er finjusteret i den enes favør.

4. De fire byggesten (»pakker«)#

Pakke Sensor Hvad den besvarer
Urets holdover atomur Hvor længe forbliver tiden nøjagtig uden GNSS?
Inertial dødregning accelerometer (+ gyro) Hvor hurtigt driver positionen uden GNSS?
Tidsoverførsel optisk / RF-link (radiofrekvens) Hvor præcist kan to fartøjer dele tid?
Hybrid fusion alt ovenstående Holder den samlede PNT-løsning?

Hybridpakken er pointen: en navigationsløsning har brug for både god tid og god position. Den viser, at et optisk tidslink kan holde selv et beskedent ur låst, hvilket betyder, at den inertielle sensor bliver det svageste led, og det er præcis dér, en kvanteaccelerometer betaler sig.

Ud over de fire pakker#

Den samme motor kører mange flere scenarietyper; kshana kinds oplister dem alle. De rækker ud over sensorerne til de signaler og den geometri, sensorerne afhænger af:

  • Hvor satellitterne er: banepropagering, konstellationsdesign omkring Jorden, Månen eller et andet legeme og positionerne af legemerne i solsystemet.
  • Hvad modtageren kan se: en azimutafhængig horisontlinje (en gade, en kaj, en fjord) over elevationsmasken og den himmelgeometri, den efterlader: satellitterne i sigte, deres præcisionsfortynding og fejlellipsen.
  • Hvad modtageren hører: L-båndets spektrum under en jammer, jamming og spoofing samt tab af lås i sporingsløkken.
  • Om svaret kan stoles på: integritetsovervågning (RAIM, receiver autonomous integrity monitoring, og dens avancerede form ARAIM) med beskyttelsesniveauer.
  • Alternativer til GNSS: kortmatchning mod tyngdekraft og terræn samt positionering, navigation og tidssynkronisering fra satellitter i lav jordbane (LEO), fra signaludformningen over linkbudgettet og navigationsmeddelelsen til positionsbestemmelsen.
  • Tidssynkronisering for net: holdover i telekommunikation kontrolleret mod de internationale masker og slottidssynkronisering til tidsindekserede planer.
  • Ud over Jorden: månetid og referencesystemer, servicevolumener på Månen og navigation med Mars-relæ.
  • Mange kørsler på én gang: kampagner kæder typer sammen på én tidslinje, sweeper en parameter eller kører et Monte Carlo-ensemble.

5. Ærlighed i designet#

En simulator er kun nyttig, hvis du kan stole på den. Kshana er bygget, så du kan:

  • Hver parameter er citeret. Hvert sensortal har en provenance-streng, der angiver det datablad eller den artikel, det stammer fra. Ingen anonyme konstanter.
  • Hver model er kontrolleret mod en lærebogsrelation, ikke kun mod sig selv: for eksempel skal det simulerede urs Allan-deviation svare til det offentliggjorte stabilitetstal, og den inertielle drift skal svare til den gængse fejlvækstlov. En funktion kaldes valideret kun, hvor en uafhængig ekstern reference (et rigtigt datasæt, en uafhængig implementering eller offentliggjorte referencevektorer) stemmer overens; resten er modelleret, og verifikationsmatrixen siger, hvad der er hvad.
  • Modenhed er mærket. VALIDATION.md markerer hver effekt som validated, modelled eller not modeled og slår tydeligt fast, at tallene for optiske ure er laboratorie- / rummålstal: intet optisk strontiumur har fløjet.
  • Resultater kan gengives til bit: det samme scenarie, seed og version giver altid det identiske svar på samme platform; på tværs af operativsystemer stemmer tallene overens inden for 1e-6 relativt (se REPRODUCIBILITY.md).

6. Fysikken, for specialister#

De sammenhænge, Kshana implementerer og tester (alle detaljer og tolerancer i VALIDATION.md):

  • Ur-holdover. To-tilstands fase-/frekvensmodel med hvid frekvensmodulation (hvid FM, effektspektraltæthed q_wf), random-walk-FM (q_rw), flicker-FM (en sum af logaritmisk fordelte Ornstein–Uhlenbeck-processer kalibreret til et fladt Allan-gulv) og deterministisk ældning. Valideret ved overlappende Allan-deviation mod den offentliggjorte σ_y(τ) (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
  • Inertial dødregning. Resterende accelerometerbias → ½·b·T²; hastigheds-random-walk → σ_x(T) = √(S_a·T³/3); valgfri gyrobias og vinkel-random-walk giver en tiltfejl, der kobler tyngdekraften (g·θ) ind i horisontal acceleration (Groves).
  • Tidsoverførsel. Hvid tidsjitter → synkroniseringspræcision → envejs afstandsmåling (range = c·dt, 1 ps ≈ 0,3 mm); stikprøvemiddelværdien midles som σ/√N.
  • Fusion og integritet. Et Kalman-filter med to tilstande, hvis processtøj svarer til sandhedsmodellen; når det coaster, vokser dets fasefejlsvarians til præcis q_wf·T + q_rw·T³/3, den analytiske holdover-relation, og dets 1-σ-grænse indgår i kvalitetsmålet for integritet.
  • Geometri. Kepler-totlegemepropagering (valgfrit med sekulær J2) eller SGP4 (Simplified General Perturbations 4) ud fra rigtige two-line element-sæt, Walker-konstellationer og sigtelinjesynlighed (jordens okkultation + elevationsmaske) udleder GNSS-tilgængelighed af baneegeometrien i stedet for håndskrevne vinduer.

7. Hvor du går videre#