Jeden engine pro celý řetězec selhání.

Propagace SGP4/SDP4 ze skutečných dvouřádkových elementů (přiložený snímek GPS z Celestraku) nebo ze syntetických konstelací Walker, jejichž střední elementy realizují vzorec i:T/P/F s odchylkou pod 1 km po dobu 24 h. Viditelnost více konstelací, faktor DOP (zhoršení přesnosti) a dostupnost GNSS, optimalizátor návrhu konstelace, dimenzování pokrytí „streets of coverage“ a průchod návrhů Walker, který uvádí Pareto-optimální návrhy na mřížce počtu rovin × družic.

Numerický (Cowellův) propagátor doplňující analytickou cestu SGP4/SDP4, s hierarchickým silovým modelem: dvoutělesová úloha + úplné zonální pole J2–J6, volitelný tesserální geopotenciál EGM2008 do stupně a řádu 70, gravitace Slunce a Měsíce jako třetích těles řízená epochou (vestavěné efemeridy, bez jádra DE/SPK), tlak slunečního záření s kuželovým stínem umbra/penumbra, atmosférický odpor, ponewtonovská Schwarzschildova relativistická korekce a Lenseův–Thirringův člen strhávání soustavy — poháněný volitelnými adaptivními integrátory RK4 s dvojnásobným krokem nebo Dormand–Prince RK5(4).

Impulzní uzly ΔV s propagací kovariance 6×6, integrace konečného zážehu ověřená proti Ciolkovského raketové rovnici s odchylkou pod 0,01 %, Izzův řešič Lambertovy úlohy (2015) pro jednu otáčku a přesný keplerovský propagátor s univerzální proměnnou a porkchop (start × příletu) průchod C3 / příletové V∞ vydaný jako JSON mřížka vrstevnic — vrstva simulace výkonu nad GMAT/Orekit.

Stupnice IERS UTC / TAI / TT / UT1 s přestupnými sekundami, rozhraní s juliánským datem, úhel rotace Země IAU-2000, převody TEME ↔ ECEF založené na GMST a geodetické soustavy WGS-84, úplná nutace IAU 2000A/2000B a precese IAU 2006 a redukce IAU 2006/2000A GCRS↔ITRS založená na CIO bez rovnodennosti s polárním pohybem IERS — ověřeno bit po bitu proti vektorům SOFA/ERFA a nezávisle křížově zkontrolováno proti ANISE (čisté SPICE v Rustu): GCRS→ITRS vs ANISE ITRF93, stejné EOP IERS, shoda do ≤ 0,86 m na zemi / ≤ 3,6 m na oběžné dráze GNSS.

Predikátor orientace Země v provozním stylu — metoda nejmenších čtverců přes posun, rychlost a hlavní periodické členy na klouzavém okně — měřený proti skutečně archivovaným predikcím Bulletinu A, nikoli proti persistenci. Výchozí offline vstup je skutečný produkt IERS finals2000A obsahující predikční řádky Bulletinu A, takže holý běh vydá vyplněnou tabulku podle horizontu místo prázdné. UT1 a polární pohyb se uvádějí na společné sadě řádků spolu s jejich kombinací, takže společná hodnota je jedna statistika, nikoli kvadratický součet dvou různých vzorků.

Tříosý strapdown INS — kvaternionová orientace, mechanizace WGS-84 NED, kompenzace coning/sculling a úplný deterministický model chyb IMU — plus akcelerometr s interferometrem studených atomů odvozený z prvních principů (fáze Mach–Zehnder, projekční šum, pokles kontrastu, vazba vibrací) a částicový filtr pro navigaci bez GPS podle terénu/gravitace.

Chyba polohy v závislosti na délce dojezdu z rozpočtu chyb IMU — bias, náhodná procházka a měřítkový faktor, každý s vlastním zákonem růstu a vlastním podílem na překročení — takže cena navigačního výpadku je vypočtená křivka, nikoli proložená rychlost driftu. Překročení prahů jsou výstup enginu s uvedeným dominantním příspěvkem u každého z nich, napříč čtyřmi třídami IMU, a interval terénních oprav se hodnotí ve vlastním bloku, takže hlavní překročení zůstávají bez podpory.

Model měření gravimetru se studenými atomy, jehož úroveň bílého šumu je odvozen z fyziky akcelerometru CAI, nízkostupňové plně normalizované sférickoharmonické pole gravitačních anomálií plus syntetické mascony a částicový filtr pro párování gravitační mapy — rozšířený na navigaci podle terénu vůči výškovému modelu SRTM (TERCOM/SITAN), hlavní geomagnetické pole IGRF-14 do stupně a řádu 13 a kombinovaný gravitační + magnetický + terénní navigátor, který slučuje všechny tři skalární kanály. 60minutový benchmark bez GPS — výpadek ~700 km / jedna hodina, při němž inerciální řešení driftuje na ~70 km — je obnoven na ~145 m hierarchickým párováním od hrubého k jemnému: cíl ESA NAVISP Quantum Wayfarer.

Chybově stavový EKF s 15 stavy, který dojíždí výpadky GNSS na kalibrovaném inerciálním řešení; těsně vázaný pseudovzdálenostní režim, který dál koriguje i s méně než čtyřmi družicemi; spojený filtr hodin a polohy; obecný unscented (sigma-bodový) Kalmanův estimátor; těsně vázaný navigátor GNSS/INS UKF ověřený na 0,77 m RMS při výpadku 120 s na zakřiveném průletu LEO; a úplný těsně vázaný UKF GNSS/INS se 17 stavy, jehož kvantový dojezd CAI využívá odvozenou náhodnou procházku rychlosti akcelerometru se studenými atomy.

Obnova stavu oběžné dráhy ze sledování vzdálenosti pozemními stanicemi, složením silového modelu dvoutělesové úlohy + J2 a integrátoru RK4 s dávkovým diferenciálním korektorem Gauss–Newton (pod metr / mm·s⁻¹ z bezšumových vzdáleností, ~2 m při šumovém dnu 5 m) a variantou se sekvenčním unscented filtrem.

Obecná, opakovaně použitelná vrstva Fisherovy informace / Cramérovy–Raovy meze (src/fim.rs): informační matice M = HᵀWH, Cramérova–Raova dolní mez, hodnost pozorovatelnosti a nulový prostor defektu datumu (Mooreova–Penroseova pseudoinverze) a D/A/E/T-optimální skaláry návrhu experimentu ze symetrického Jacobiho řešiče vlastních čísel. Je základem enginu DOP, meze pasivní geolokace a výsledku o pozorovatelnosti lunární absolutní stanice — vnitřní měření vzdáleností zanechává šestistupňový defekt datumu tuhého tělesa, který vazba VLBI na pozemní základnu obnoví pro řídkou konstelaci a zpřesní pro bohatou, přičemž absolutní datum se uzavře u tří nekolineárních pozemních stanic.

Propagátor kruhového omezeného problému tří těles Země–Měsíc (CR3BP) v rotující soustavě — zachovávající se Jacobiho konstanta a všech pět Lagrangeových bodů — s maticí přechodu stavu 6×6 a jednoduchým střelbovým diferenciálním korektorem, který vytváří skutečně periodické halo / téměř přímočaré halo dráhy (NRHO): reprodukuje publikovanou jižní NRHO L2 9:2 (dráha Gateway) s periodou ~6,57 dne a periluniem ~3 250 km. Plus geometrie cislunárního PNT LunaNet / LNIS (redukce MCI↔MCMF, selenografické souřadnice) s průletem lunárního jižního pólu pro ARAIM, který upřímně odhaluje mezeru v integritě: σ_URE ~30 m žene ochrannou úroveň hluboko nad mezní hodnotu výstrahy 50 m.

Realizuje lunární soustavu pevnou vůči tělesu z pozorovací kampaně: vážené podobnostní proložení Gauss–Newton nad geometrií stanice–reflektor, které uvádí datum, jeho kovarianci a nejhůře určenou osu. Vázaný kalibr soustavy a časové stupnice se nese explicitně, nikoli pohlcený, takže nedostatek hodnosti je ve zprávě viditelný místo toho, aby byl pohřben v pseudoinverzi.

Prochází ilustrační konstelaci třídy Moonlight/LCNS nad selenografickou mřížkou: viditelnost, faktor DOP (zhoršení přesnosti), pokrytí a ochranné úrovně ARAIM pro jednotlivé epochy vůči nastavitelné mezní hodnotě výstrahy. Přesnost určení vzdálenosti signálem ve vesmíru je parametr, takže průchod odpovídá na požadavek na určování vzdálenosti v celém objemu, nikoli na splnění/nesplnění při jedné pevné hodnotě.

Měří, jak moc se tři nezávislé autoritativní lunární efemeridy skutečně liší, a mění to v návrhový zákon: rozpočet chyb mezi soustavou a efemeridami, který zdědí uživatel se smíšenými poskytovateli, a toleranci konzistence, kterou musí poskytovatel udržet, aby zůstal rozpočet v uvedené mezi.

Lineární algebra, kterou samoreferenční lunární konstelace potřebuje k detekci vlastních poruch bez pozemní reference: vážený paritní projektor ve tvaru pseudoinverze s nedostatkem hodnosti, který přežije kalibr datumu a časové stupnice, detekovatelnost pro jednotlivé uzly, Baardova minimální detekovatelná odchylka a počty detekce/identifikace byzantských blokových jisker nad skutečnou geometrií mezi uzly DE440.

Nahrazuje simulovanou kampaň reálnými daty: 337 archivovaných normálních bodů ILRS z laserového měření vzdálenosti k Měsíci napříč pěti soustavami retroreflektorů, přičemž každé pozorování je váženo vlastní zaznamenanou přesností ze souboru. Souřadnice reflektorů tvoří katalog DE440 v hlavních osách, uchovávaný pod vlastním názvem souboru, odděleně od tabulky DE430 ve střední zemské soustavě; podstrčíte-li jeden do rotace druhého, reflektor se posune o stovky metrů a nic nevznese námitku, protože obojí jsou dobře utvořené souřadnice.

Diferenční korekce mezi měsíční referenční stanicí a uživatelem. Vyrušení společné složky je přesná identita; zbytek prostorové dekorelace je geometrický model prvního řádu, který roste se vzdáleností základny, a rozpočet zbytků korekčního spoje je uveden vedle něj, aby limitující člen zůstal viditelný a nebyl sloučen do jediného čísla.

Časy přechodu pro jednotlivé třídy hodin v měsíční časové škále, tedy kdy která třída oscilátorů přestane bez aktualizace splňovat stanovenou mez, spolu s měsíční geodetickou pozorovatelnou VLBI a Fisherovou informací, kterou přispívá k datu.

Servisní objem se počítá z publikovaných návrhů konstelací, nikoli z ilustrativního: referenční sada pěti družic pro demonstraci interoperability LANS, případové studie LNCSS s 8, 12 a 16 družicemi a čtyři kosmické lodě, které byly 2023-01-01 skutečně na oběžné dráze Měsíce, z JPL Horizons. Každý soubor uvádí vlastní soustavu a vlastní třídu původu, horizont za koncem tabelovaných efemerid je odmítnut, nikoli extrapolován, a ilustrativní keplerovský výsledek je vypsán vedle získaného i s rozdílem mezi nimi, nikdy jím není nahrazen.

Poměr rušení k signálu pro každou družici nad reálnými šikmými vzdálenostmi k Měsíci, přičemž strana užitečného signálu zůstává rozdělením a není sbalena do mediánu, takže kontura odepření nese pásmo nejistoty, které geometrie relé skutečně vytváří. Vedle sebe jsou uvedena dvě kritéria: práh poměru výkonů a ztráta vazby vypočtená z dynamiky sledovacích smyček. Orbitální stopa záchytu je prohledána přes výšku vysílače a šířku svazku a tam, kde mřížka nikdy nedosáhne záchytu na okraji disku, to zpráva uvede a vypíše schodek.

Sčítá měsíční parciální derivace zpoždění VLBI do Fisherovy informační matice nad plánem základen krát epoch a vrací kovarianci souřadnic stanic, takže přechod od přesnosti zpoždění k sigma souřadnice je odhadnut, nikoli předpokládán. Volná síť je uvedena vedle sítě s pevně zadaným datem, s jejím defektem hodnosti a pojmenovaným nepozorovatelným směrem. Kovariance bodu na povrchu je vedena odděleně od kovariance pozemní stanice, protože parciální derivace pro maják v blízkém poli je rozdíl dvou jednotkových vektorů stanic a nechová se jako případ vzdáleného pole.

Otevřený engine radiometrické navigace pro hluboký vesmír a Mars: iterativní světelný čas + Shapiroovo zpoždění, dvou-, jedno- a tříhlavé Doppler a měření vzdálenosti (Moyer, dvě větve), koherentní obrácení transpondéru, regenerativní a PN měření vzdálenosti a Δ-DOR; vstup a výstup CCSDS-TDM; redukovaně dynamický odmocninový informační filtr (empirická zrychlení + palubní hodiny + odpor Marsu), který provádí určování oběžné dráhy Mars-LMO v syntetické uzavřené smyčce; fúze jednosměrného a dvousměrného měření; a konstelace areostacionárních relé MARCONI se simulátorem výkonu GSE od konce ke konci.

Vkládání poruch dává křížově modálnímu monitoru detekční sílu místo bezporuchového průchodu: minimální detekovatelnou odchylku na osu při stanoveném rozpočtu falešných poplachů a nezachycených událostí. Po předání je opětovný růst kovariance propagován proti mezím poplachu, takže zpráva uvádí, jak dlouho řešení jediné modality zůstává uvnitř nich, a nejen to, že předání bylo plynulé. Optické a rádiové měřicí větve jsou porovnávány pouze při shodné době akumulace a shodné dráze a zpráva odmítá tvořit poměr vůči hodnotě, která byla zvolena, nikoli naměřena.

Snímkové RAIM a RAIM se separací řešení s horizontální a vertikální ochrannou úrovní (HPL/VPL), detekcí a vyloučením poruch a Stanfordskými diagramy integrity, plus explicitní ochranná úroveň s rozpočtem rizika integrity (MHSS) s režimem poruchy celé konstelace pro dvoj- a vícekonstelační případ (EU ARAIM / DO-316).

Ochranné úrovně MHSS enginu jsou spouštěny proti vlastním publikovaným propracovaným příkladům referenčního palubního algoritmu Pracovní skupiny C EU a USA, každý přepsaný spolu s URL, datem a stranou stažení a SHA-256 souboru a uchovaný na dvou místech, o jejichž shodě vypovídá test. Přejímacím vektorem je vnitřně konzistentní Reference Airborne Algorithm Description Document v3.1, příloha D. Zpráva Milestone 3 obsahuje dvě vnitřní vady, znaménkový překlep v geometrii a násobitel falešných poplachů vyhodnocený pro 57 režimů poruchy, zatímco text uvádí jeden, takže její ochranné úrovně jsou uvedeny jako naměřené rozdíly a nejsou hodnoceny, a vady jsou předvedeny spuštěním vlastních čísel dokumentu.

Ochranné úrovně SBAS / WAAS ve tvaru vážených nejmenších čtverců podle DO-229E (K-faktory pro přesné přiblížení a let po trati) a dvoufrekvenční bezionosférická kombinace L1/L5 (IS-GPS-705), která je základem DO-316, přičemž geometrie ochranných úrovní je křížově ověřena proti referenční implementaci lineární algebry.

Dvoustavový Kalmanův holdover, stabilita rodiny Allan (ADEV / MDEV / TDEV / HDEV) s intervaly spolehlivosti a úplným prokládáním mocninného zákona o pěti koeficientech podle IEEE-1139 a provozní metody přenosu: TWSTFT s uzavřeným tvarem Sagnacova jevu podle BIPM, GNSS common-view, bezionosférický přenos PPP, optický spoj ve volném prostoru se scintilací z turbulence a časová škála souboru hodin s inverzně rozptylovým vážením. Kalkulátor holdoveru hodin bez GNSS převrací růst chyby při volném doběhu podle van Loana na dobu holdoveru do prahu, tedy jak dlouho hodiny běží volně, než jejich časová chyba překročí rozpočet, napříč klasickými i kvantovými třídami hodin; modelováno, a otevřeně říká, že u velmi stabilních hodin je holdover k přísnému prahu určen předpokládanou úrovní šumu při dlouhém tau, nikoli citovanou ADEV.

Přímá syntéza pseudovzdálenosti a Dopplera s ionosférou Klobuchar (vysílanou) a IONEX / mřížkou TEC (měřenou), včetně parseru souborů IONEX, časové interpolace a mapování šikmosti v tenké vrstvě, troposférou Saastamoinen + Niell a snímkovým RAIM.

Skutečná poloha přijímače řešená z reálných kódových pseudovzdáleností RINEX + vysílaných efemerid iterovanou váženou metodou nejmenších čtverců: korekce Sagnac/rotace Země, vysílané hodiny s TGD, dvoufrekvenční bezionosférická kombinace L1/L2 (nebo jednofrekvenční Klobuchar), troposféra Saastamoinen/Niell, elevační vážení, DOP a snímkové RAIM.

Model rušení (jamming) podle rozpočtu spoje (J/S → efektivní C/N₀ → ztráta vazby), stochastický detektor časového spoofingu (energetický test Neyman–Pearson / χ²₁ s Monte Carlo P_fa/P_md a Security FoM 1 − P_md) a vícevrstvý detektor spoofingu slučující paritní test konzistence RAIM, monitor výkonu RF AGC a monitor kvality signálu (SQM). K tomu rozpočet chyby kvantové inerciální dead-reckoningu, který skládá bílošumový drift studeného atomového interferometru se zbytkovým biasem (křížově ověřeno nezávislým integrátorem) a chybou škálového faktoru do ukazatele driftu polohy při holdoveru, tedy inerciální dvojče holdoveru hodin.

Vrstva výkonnosti signálu mezi rozpočtem spoje a měřicí doménou: spektrální hustoty výkonu s jednotkovou plochou pro BPSK-R(n) a sine-BOC(m,n), koeficient spektrální separace, který odvozuje činitel odolnosti proti rušení Q, jejž model rušení (jamming) přebírá přímo ze skutečných spekter signálu a rušiče, efektivní (Gaborova) šířka pásma, která určuje informační obsah měření vzdálenosti (BOC > BPSK), koherentní jitter tepelného šumu sledování kódu smyčkou DLL early–late, koherentní obálka vícecestné chyby early-minus-late s potlačením úzkým korelátorem a kompromis návrhu měřicích kódů (postranní laloky autokorelace m-posloupností/Goldových kódů a třihodnotová mez křížové korelace Goldových kódů, plus inverze délky kódu na jednoznačný dosah). Jde o analýzu výkonnosti signálu, nikoli o návrh rádiové nosné části ani anténního hardwaru.

Určení polohy rušiče (jammeru) nebo spooferu (nebo oportunního zdroje pro reverzní PNT) z hyperboloidů rozdílu časů příchodu napříč sítí přijímačů, řešené metodou nejmenších čtverců Gauss–Newton; přidáním rozdílu frekvencí příchodu s pohybujícími se přijímači se společně získá poloha a rychlost vysílače, s Cramérovou–Raovou mezí kovariance polohy z geometrie sítě. Model bodového zdroje s přímou viditelností: bez členů pro vícecestné šíření / NLOS, bias hodin přijímače ani refrakci.

Načítání vysílaných efemerid RINEX-3 pro více GNSS (GPS, Galileo, QZSS, BeiDou, GLONASS), parser pozorování RINEX-3 (u rozvržení pozorování RINEX 4,00 se očekává, že se zpracuje, ale žádný soubor 4,00 jím nebyl přečten; navigační soubory RINEX 4 jsou odmítnuty podle jména), čtečka a zapisovač přesných efemerid SP3-c/d s Lagrangeovou interpolací a export CCSDS OEM 2,0 + OMM (střední elementy) pro nástroje letové dynamiky (GMAT, Orekit, STK) a zpracování + vytváření zpráv o sledovacích datech CCSDS-TDM (503) pro radiometrické sledování v hlubokém vesmíru.

Křížový odkaz požadavek–modul–test–orákulum–stav vykreslený ze samotného enginu (Markdown/CSV) s jednotkově testovanými invarianty poctivosti: řádek smí být označen jako ověřený, jen pokud nese nezávislé vnější orákulum (NIST / AIAA / SOFA / IGS / publikovanou hodnotu), takže vnitřní kontrola vlastní konzistence se nemůže vydávat za validaci; hardwarové schopnosti a schopnosti výkonového zesilovače (PA), které Kshana neposkytuje, jsou zaznamenány jako mezery v odpovědnosti partnera. Spustitelná páteř pro verifikační křížový odkaz podle ECSS-E-ST-10-02.

Každé číselné pole, které scénář vydává, nese jednotku a třídu původu z uzavřeného slovníku, s definicí tam, kde existuje, publikované jako strojově čitelné schéma vedle enginu. Postupně zpřísňovaná brána spouští každý vestavěný druh a selže na poli, které žádné nenese; druhy, které ještě nejsou úplné, jsou pojmenovány jeden po druhém s důvodem, proč je každý dosud otevřený, a seznam se může jen zkracovat. Zprávy, které uvádějí vlastní konstanty, tedy rozpočet jednosměrného spoje a optický a rádiový rozpočet, umožňují čtenáři přepočítat hlavní hodnotu jen z této zprávy.

Rozpočty návrhu mise prvního řádu, každý jako spustitelný scénář: dvoutělesová geometrie startu a výstupu (azimut startu, minimální inklinace, zisk z rotace Země, změna roviny dogleg Δv, denní příležitosti), Allenův–Eggersův balistický koridor návratu do atmosféry (maximální zpomalení, rychlosti při maximálním přetížení a maximálním ohřevu), geometrie pokrytí pozorování Země (záběr / GSD v nadiru / dostupnost mimo nadir / doba návratu přes vesmírný trojúhelník SMAD), rozpočet chyb orientace a zamíření ve 3 stupních volnosti (moment gravitačního gradientu + rozpočet zamíření RSS), predikce přeletů nad pozemní stanicí (AOS/TCA/LOS, maximální elevace, dostupnost) a rozpočet jednosměrného spoje podle rovnice spoje CCSDS 401 / DSN 810-005 (FSPL, C/N₀, Eb/N₀, rezerva, uzavření). Předhardwarová analytická vrstva pod STK/GMAT/Basilisk: modelované rozpočty prvního řádu, nikoli náhrada za 6-DoF nebo radiometrii.

Na vstupu plán kontaktů a počet apertur; na výstupu navigační vytížení, komunikační vytížení, výpadek a konflikt za každou relaci. Politika rozhodování je ve zprávě pojmenována, nikoli jen naznačena, a relace, kterou nelze plně obsloužit, uvádí zlomek, který byl ztracen, místo aby zmizela v průměru.

Model prostředí kosmického počasí: sluneční (F10.7 / F10.7a centrované na 81 dní) a geomagnetické (Kp, s definiční tabulkou Kp↔ap) indexy aktivity, jimi řízená exosférická teplota podle Jacchii-1971 a hustota neutrální termosféry ve výšce korigovaná na aktivitu oproti statické, tedy závislost hustoty na slunečním cyklu, kterou statická atmosféra opomíjí. Kalibrovaná vazba měřítkové výšky prvního řádu, nikoli atmosféra NRLMSISE ověřená daty.

Testovací prostředí pro vyhodnocení detekce rádiových poruch: označený, parametricky podložený syntetický korpus (nominální / jamming / časový spoofing / polohový spoofing / vícecestné šíření), harness ROC/AUC nezávislý na detektoru, který hodnotí libovolný detektor s Pd pro každou třídu při cílovém Pfa, a rozdíl optimismu uvnitř oproti vně rozdělení. Hlubší studie rozdílu optimismu to rozšiřuje na panel 13 detektorů (energetický / AGC / SQM / paritní plus detektory se seedem založené na logistické regresi a jednovrstvém MLP), zákony škálování uvnitř oproti vně rozdělení s permutační nulovou hypotézou a prediktor degradace mimo rozdělení metodou vynechání jednoho; čelní část softwarově definovaného přijímače (surové IQ/IF přes tapy korelátoru early/prompt/late na SQM) a adaptéry pro načítání reálných dat (RINEX, u-blox UBX, GnssLogger, JammerTest, Yunnan, SatGrid) umožňují spouštět stejné detektory nad lokálně dodanými záznamy. K tomu kompromis kvantového a klasického PNT, který kvantifikuje přínos kandidátních hodin pro časování a inerciální holdover z naměřené křivky ADEV proti klasickému základu, s obálkou odolnosti bez GNSS v závislosti na čase. Modelované provozní charakteristiky; nikdy data z terénu ani IQ, žádný verdikt dobré/špatné.

Reprodukovatelná mapa toho, kde kvantový senzor předčí svůj klasický protějšek při nejistotě parametrů: dead-reckoning se studenými atomy oproti navigační třídě a holdover optických oproti čipovým hodinám, přes dobu výpadku a vibrace platformy, přičemž každá křivka nese označení technologické připravenosti. Reprodukovatelné přes cargo run --bin crossover_study. Modelované výkonnostní rozpočty; vstupy jsou publikované nebo ohraničené koeficienty, nikoli letová data.

Mez neodhalené časové chyby při spoofingu GNSS omezená holdoverem: při nezávislé křížové kontrole je chyba poskytovaného času omezena prahem monitoru k-sigma, rozptylem volného doběhu podle van Loana po dobu latence detekce a časem do poplachu CUSUM. Kalibrováno na skutečném zaznamenaném spoofingu (JammerTest 2024) a reprodukovatelné přes cargo run --example tpl_jammertest. Modelované složení, podmíněné detekcí; neexistuje konečná nepodmíněná mez, protože dostatečně pomalá rampa unikne jedinému monitoru podporovanému hodinami.

Skórovací engine sladěný s rámcem (kategorie DHS RPCF), který mapuje simulované chování architektury na dílčí skóre podle dimenzí a poté se ptá, zda je jediné souhrnné skóre nebo úroveň zralosti stabilním základem pro rozhodnutí, a to pomocí Dirichletova simplexu vah, Kendallovy tau nestability pořadí, míry přeskoku vítěze top-1 a kolapsu diverzity společného módu (Hill-N2), s hash-chráněnou zprávou o zajištění. Reprodukovatelné přes cargo run --example resilience_report. Modelované syntetické architektury sladěné s RPCF v2.0; vlastní hodnocení, nikoli certifikace.

Most od nezachycené detekce k integritě: neodhalená odchylka, kterou zanechá zmeškaná detekce spoofingu / rušení (jammingu) / RAIM, zvětšuje efektivní chybu polohy, která je poměřena s kontextově specifickými mezemi poplachu a zařazena do oblastí integrity Stanford-ESA (dostupné / nedostupné / zavádějící / nebezpečné). Skládá externě ukotvenou klasifikaci RAIM podle Stanfordu; nepřidává žádnou novou matematiku integrity.

Pohled návratnosti investice na pokrytí: náklady na jednotku dodaného pokrytí pro kompromis konstelace / architektury. Složka pokrytí skládá ověřenou geometrii pokrytí a aritmetika je jednotkově testována, ale náklady jsou vstupem uživatele, takže poměr je plánovací pomůcka, nikoli externě ověřená veličina (proto otevřeně bez odznaku důkazu).

Verzovaná, samopopisná obálka, která obaluje výsledek scénáře jeho druhem, verzí schématu a označeními modelované / ověřené, takže uložený artefakt zůstává samodokumentující a starší obálky lze nadále číst kompatibilně do budoucna.

Hodnotí, zda lze věřit určení polohy plavidla z NMEA 0183, které jeho přijímač a přístroje již vysílají: skóre 0-100, tři pásma a důvody za nimi, po epochách, dávkově, živě nebo jako brána. Monitory porovnávají určenou polohu s vlastním pohybem plavidla, čidlem kursu, logem rychlosti a úrovněmi družicových signálů. Software pouze poradního charakteru, nikoli typově schválené navigační zařízení: odpovědný zůstává provozovatel. Aritmetika monitorů je ověřena proti nezávislým knihovnám; pravidlo skóre a jeho prahy jsou vlastní projektu a zůstávají modelované.

Zapisuje syntetické můstkové NMEA 0183 pro scénářem řízenou plavbu s instruktorem skriptovanými událostmi rušení (jammingu), stržení polohy, časového spoofingu a přehrání, spolu s protokolem instruktora, aby posádka viděla, jak vypadá zhoršená poloha na vlastních přístrojích. Pouze text, nikdy pro živé navigační systémy plavidla; nic se nevysílá a nevzniká žádný rádiový signál. Věty a jejich dekódované hodnoty jsou kontrolovány; modely přijímače, oblohy a událostí jsou modelované.

Sestavuje denní mapu GeoJSON míst, kde letadla (ADS-B) a lodě (AIS) hlásily zhoršená navigační data, z volně licencovaných vstupů, a podíl trasy, který prochází zhoršenými buňkami. Zhoršená buňka je tvrzení o hlášených polích přesnosti nebo nevěrohodných polohách, nikoli zjištění interference, a buňka, kterou nikdo nepozoroval, není důkazem čisté trasy. Minulé zprávy, nikoli předpověď.

Exportuje proud důvěry jako metriky Prometheus, OpenTelemetry (OTLP/HTTP) a události syslog CEF nebo LEEF přes stdout, HTTP, UDP nebo TCP, aby bezpečnostní operační centrum vidělo navigační poruchu vedle svých ostatních výstrah. Mrtvý kolektor nezastaví posouzení, ani nezůstane nepovšimnut. Prometheus, OTLP a CEF jsou zpětně přečteny nezávislými parsery; LEEF je ověřen pouze proti vlastní specifikaci.

Spojuje okno kolem události důvěry do hash-řetězeného balíčku podepsaného Ed25519, který může kdokoli ověřit offline: změněný, odstraněný, vyměněný nebo přidaný soubor, znovu podepsaný balíček nebo špatný připnutý klíč je pojmenován. K balíčku je vázán volitelný token časového razítka RFC 3161. Technický záznam, nikoli právní stanovisko, zjištění skutečností ani atestace.

Zapisuje pohyb vozidla a události scénáře jako trajektorii CSV a NMEA 0183 pro laboratorní simulátor GNSS: sloupce v zemské pevné, geodetické a lokální rychlostní soustavě, orientaci a UTC. Pouze pohyb a události: nezapisuje se žádný signál a netvrdí se žádná výkonnost simulátoru ani přijímače.

Mapuje výstupy Kshana na články veřejných rámců (pokyny IMO pro lodě, EU NIS2 článek 21, EN 16803, rámec odolného PNT amerického DHS a pokyny EASA pro letectví) pouze podle čísla článku, vyplňuje se z běhů, které mu zadáte, a říká, které řádky sada běhů podporuje důkazy pro (supports evidence for), s mezerou u každého řádku. Není to zjištění, že je některý rámec splněn, ani hodnocení či schválení kýmkoli.

Otevřený ověřovač na straně přijímače v čistém Rustu pro autentizaci navigační zprávy služby Galileo Open Service: kontroluje, navigační data kterých družic může přijímač autentizovat ze stránek I/NAV nebo proudu u-blox UBX, přes kontroly veřejného klíče, řetězce klíčů a značek podle specifikace signálu ve vesmíru, a hlásí autentizaci po družicích a po čase. Autentizuje data; netvrdí žádnou výkonnost proti spoofingu.

Které družice stanoviště vidí, když část oblohy zakrývají budovy, nábřeží, jeřáby nebo terén, a co to dělá s faktorem DOP (zhoršení přesnosti) a horizontální chybovou elipsou. Azimutově závislý obzor nahrazuje jedinou elevační mez; viditelná množina, její DOP a elipsa vycházejí po epochách a po konstelacích. Obzor odstraňuje družice s přímou viditelností a nic víc: nemodeluje odrazy, difrakci ani sílu signálu.

Redukce uličního kaňonu, sektoru a terénu na tabulku obzoru, čtyři reprezentativní předvolby (městská ulice, přístav, fjord, kontejnerový terminál) a funkce, které je skládají do skyplotu a oblaku Monte Carlo, z CLI, MCP, Pythonu a prohlížeče. Předvolby jsou reprezentativní geometrie se zvolenými, uvedenými rozměry, nikoli zaměření, a redukce jsou kontrolovány pouze proti ručně vypočteným hodnotám.

Staví geometrii družic vedle skóre důvěry v přijímač a pojmenovává třídu u každého odečtu: ztráta signálu, špatná geometrie nebo nesoulad mezi DOP uváděným přijímačem a DOP odvozeným z družic ve výhledu. Geometrie se posuzuje, jen když je známa, a hlavním údajem je označení: body stojí pouze špatná geometrie. Software pouze poradního charakteru, nikoli typově schválené navigační zařízení.

Jedna reprodukovatelná studie toho, co by mohla měsíční referenční stanice u jižního pólu dělat při veřejných předpokladech: mapa pokrytí a přesnosti nad polární oblastí (percentily korigované a nekorigované chyby polohy, dostupnost s důvodem pro každou nedostupnou epochu, ochranné úrovně a rozpočet korekčního spoje), časová laboratoř, která drží měsíční časovou referenci na atomových hodinách, a geodézie přidaného laserového retroreflektoru a majáku VLBI vůči datu z pěti soustav. Každý vstup je označen svým veřejným zdrojem nebo jako ilustrativní. Není to tvrzení o výkonnosti žádného skutečného systému a Kshana není spojena s žádnou agenturou.

Jak často je optický spoj pro přenos času v provozu, když je v cestě atmosféra. Pro každé pozemní stanoviště engine udává útlum čistého vzduchu, turbulentní stav Hufnagel-Valley se scintilačními úniky gama-gama a průměrováním apertury, dostupnost vůči rezervě spoje ze stanovené oblačné klimatologie, strop, který žádná rezerva nezvedne, rozdělení délek výpadků a časovou chybu, kterou výpadek stojí hodiny v holdoveru. Poté ukazuje, co přinesou další stanoviště, větší apertura, jiná vlnová délka nebo adaptivní optika. Přibalené oblačné klimatologie jsou ilustrativní, nikoli naměřené; výstup má poradní charakter.

Pro kosmickou loď na kouli (globální slupka z brožury ICG Space Service Volume) nebo na keplerovské trajektorii od LEO po měsíční transfer počítá podle konstelace (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) a pro všechny dohromady signály nad prahem C/N0: dostupnost jednoho a čtyř signálů, nejdelší výpadek, přijaté C/N0, faktor zhoršení přesnosti a spoje hlavním a postranními laloky. Vysílací diagramy jsou ty z brožury, parametrická náhrada nebo diagram, který dodáte; volitelné jsou model ionosféry, plazmasféry a atmosféry pro paprsek na okraji disku a návrh přijímače pro slabé signály; zahrnut je palubní filtr GNSS pro vysoké a měsíční transferové dráhy a relativní navigace formace. MODELLED: při porovnání s tabulkami brožury podle předregistrace potvrzené před během se konstanty minimálního vyzářeného výkonu a měsíční práh shodují, ostatní prahy jsou podle předregistrovaného čtení NOT MET (téměř všechny kvůli nekonzistentnímu úhlu svazku GLONASS v brožuře) a parametrická náhrada postranních laloků nereprodukuje naměřené diagramy panelů GPS.

Pět studií v omezeném třítělesovém modelu: palubní určování oběžné dráhy z GNSS Země na téměř přímočaré halo dráze proti nezávislému pozemnímu určení z vzdálenosti a rychlosti změny vzdálenosti; společné řešení celočíselných nejednoznačností fáze nosné pozemní stanice na povrchu a orbiteru (LAMBDA); Fisherova informace sedmiparametrového měsíčního data s a bez měření vzdálenosti mezi orbiterem a povrchem; posuny GNSS, VLBI a laserového měření vzdálenosti vůči lokálnímu napojení; a citlivost na měsíční slapové a librační parametry. MODELLED s ilustrativními vstupy: numerika je kontrolována proti nezávislým programům numpy a scipy, nikoli fyzika. Podle předregistrovaných prahů jsou tři NOT MET: vložená silová chyba není detekována stanovenou mírou (C3), bootstrapovaná míra úspěšnosti se od orákula numpy liší o 1.7e-6 oproti prahu 1e-9 (Q3) a přidání rodiny měření vzdálenosti nesnižuje vždy stopu pseudoinverze (G3, polovina se stopou).