Документація Kshana

Усе тут відтворюється під час збирання з файлів Markdown, що відстежуються в репозиторії Kshana (рушій v0.40.0), плюс дві довідкові сторінки, згенеровані зі сценарних файлів і матриці верифікації. Для сайту нічого не пишуть вручну.

Початок роботи

• ОглядKshana відтворює глушіння, спуфінг і holdover годинника, коли сигнали GNSS (глобальної навігаційної супутникової системи)…
• Вступ до концепційЦя сторінка пояснює, що робить Kshana і навіщо, починаючи з нуля й добудовуючи аж до фізики.
• ГлосарійПрості визначення термінів, що вживаються в Kshana.
• МовиЛюдський текст рушія доступний 17 мовами поряд з англійською: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
• Посібник зі StudioKshana Studio: запускайте рушій у браузері, без встановлення.
• Навчальні посібникиПрактичні розібрані приклади, що ведуть від «запустіть постачуваний сценарій» до «кількісно оцініть і обґрунтуйте результат».…
• 1 · Ваша перша орбітаНаприкінці ви пропагуєте реальне робоче орбітальне угруповання GPS, прочитаєте його доступність і…
• 2 · Holdover годинникаНаприкінці ви виконаєте holdover годинника за відсутності сигналів GNSS (глобальної навігаційної супутникової системи)…
• 3 · Квантовий проти класичногоПідсумковий етап. Ви запустите сценарій детектора спуфінгу та повне об'єднане позиціонування, навігацію й час…
• Розібраний приклад: конвеєр з кількох інструментівТут одну траєкторію проводять через різновиди сценаріїв сумісності на основі стандартів та аналізу місій від початку до кінця…

Сценарії

• Типи сценаріїв92 вбудовані типи сценаріїв, між якими розподіляє kshana::api::run_toml, кожен з його однорядковим…
• Кожен тип сценарію за родинамиКожен тип сценарію, який розподіляє рушій v0.40.0 (92), розкладений за 13 родинами.
• Кожна командаkshana <scenario.toml> запускає сценарій; кожна інша команда є підкомандою. kshana --help виводить довідку про використання…
• Кожна поверхняОдин рушій, однакові результати скрізь. docs/SURFACES.md перелічує для кожної команди й різновиду, яка поверхня…
• Домени можливостейКожна можливість публічної карти за доменами, з її позначкою в реєстрі (ledger).
• Довідник сценаріївКожен вбудований файл сценарію (193), згрупований за типом, з його ключовими параметрами.
• Схема результатуКожен прогін записує версіонований самоописовий артефакт JSON (JavaScript Object Notation) поряд зі сценарієм.
• Використання реальних TLEВбудований scenarios/orbit-sgp4-gps.toml уже містить реальні TLE (дворядкові набори елементів): Celestrak…
• КампаніїОкремий сценарій відповідає на одне запитання про одну ситуацію.

Виходи та експорти

• Звіти про прогониКожен прогін інтерфейсу командного рядка (CLI) записує звіт поряд зі своїм результатом: придатний для друку HyperText…
• Експорт анімації--animate перетворює часовий ряд прогону на щось рухоме: анімований Scalable Vector Graphics (SVG)…
• Експорт та імпорт для сумісностіПрогін записує документ результату, діаграму та звіт. --export записує також геометрію сценарію або його…

Валідація та докази

• Стан валідаціїПро допуски. «Перевірено» нижче означає, що калібрувальний тест стверджує, що симульована статистика збігається з…
• Матриця верифікаціїПовний, машинно перевірюваний реєстр доказів: 401 рядків — 176 VALIDATED, 221 MODELLED, 4 PARTNER.
• Довідник можливостейКартки можливостей і всі 401 рядків матриці верифікації.
• Чому рядки залишаються обчисленими за моделлюЦі можливості реалізовано за опублікованою або першопринципною фізикою з тестами, але чесно…
• Твердження проти реальностіНезалежний аудит попередньої версії Kshana зафіксував чотирнадцять перебільшень (OC-0…OC-13): місць, де…
• ПоходженняГоловна дисципліна чесності Kshana в тому, що кожен параметр сенсора, фізична модель і набір даних для валідації…
• ВідтворюваністьKshana побудовано відтворюваною: однакові входи дають однакові результати, а артефакти збірки можна…
• Карта можливостейKshana — це рушій доказів продуктивності та стійкості PNT (позиціонування, навігація та час), а не повноцінний…
• Стандарти та сумісністьKshana розмовляє стандартними форматами обміну GNSS (глобальної навігаційної супутникової системи)…
• Покриття рядків«~95 % покриття рядків» на значку в README, у таблиці CI (безперервна інтеграція) в README, на crates.io…
• Пакети доказівПакет — це технічний запис, а не юридичний висновок.
• Партнери з даними та підвищення рядківKshana позначає кожну можливість у машинно перевірюваному реєстрі (матриця верифікації).

Синхронізація часу

• Оптичні лінії крізь атмосферуРізновид сценарію optical-atmosphere відповідає, як часто оптична лінія із Землею працює, чому вона відмовляє…
• Слотова синхронізація часуРізновид сценарію slot-timing відповідає на три запитання для годинника, що вільно біжить між синхронізаціями…
• Телекомунікаційна синхронізація часуЦя сторінка перелічує кожну межу, яку перевіряє різновид сценарію telecom-timing, звідки вона береться і що було…
• Оманний часТехнічна нотатка для операторів мереж із часовою індексацією: угруповань, що маршрутизують, ставлять завдання чи передають за…
• Тест holdover та апаратне моделювання синхронізації часу в замкненому контуріОператори телекомунікацій та енергетики тестують систему синхронізації, забираючи в неї GNSS і спостерігаючи, що робить годинник.
• Формати журналів годинникаsrc/clock_log.rs читає виміряний журнал годинника в одну нормалізовану фазову послідовність: рівномірну сітку (time_s…
• Безпека обладнанняKshana — це консультативне програмне забезпечення для досліджень, симуляції та тестування.

Цілісність і завади

• Цілісність і безпекаKshana повідомляє дві фігури якості (FoM) — Цілісність і Безпеку, — які легко сплутати з…
• Спектр і водоспадРізновид сценарію spectrum будує L-діапазон глобальної навігаційної супутникової системи (GNSS) і будь-який інший діапазон, що…
• Довідник ARAIMЦя нотатка документує відкриту реалізацію Kshana Advanced Receiver Autonomous Integrity Monitoring…
• Карта DO-316 / DO-229EЦей документ зіставляє DO-229E RTCA (раніше Radio Technical Commission for Aeronautics) (SBAS…
• Перехресне зіставлення стійкостіУзгоджено з, а не оцінено чи схвалено. Це зіставляє симульовані можливості Kshana з опублікованими вимогами до стійкості PNT…

Довіра до приймача та морська галузь

• Довіра до приймачаkshana receiver-trust читає журнал реального приймача глобальної навігаційної супутникової системи (GNSS), запускає перевірки довіри…
• Морська довіраkshana receiver-trust може оцінити для судна, що рухається, живу цифру довіри від 0 до 100 для кожного визначення положення, з…
• Потоки NMEA для навчанняМорські академії та тренажерні центри можуть подавати згенерований Kshana NMEA 0183 у симулятор містка або…
• Карта завад та експозиція маршрутуkshana interference-map будує щоденну картину того, де літаки та судна повідомляли про погіршену навігацію…
• Карта завад: джерела даних і ліцензіїВиходи Kshana ніколи не містять ідентифікаторів окремих літаків чи суден (ICAO hex, MMSI, позивний, назва).
• Морські інтеграціїМорська оцінка довіри Kshana (MARITIME-TRUST.md) доступна з програм, які мореплавці вже запускають: Signal K…
• Геометрія неба та скайлайниДо 0,36 кожна перевірка видимості Землі в рушії була одним порогом висоти, mask_deg: супутник…
• Довіра як телеметрія безпекиkshana trust-telemetry перетворює потік довіри GNSS для кожної епохи (оцінка 0–100, смуга, причини) на сигнали, які…
• Верифікація Galileo OSNMAВерифікатор на стороні приймача для Galileo Open Service Navigation Message Authentication (OSNMA), чистою мовою Rust.
• Розширений прямий сигнал LunaNetKshana реалізує коди розширення та рівень повідомлень LunaNet Augmented Forward Signal (AFS) як…
• Jammertest як арбітрkshana jammertest import читає каталог тестів Jammertest і план передавання та перетворює результати однієї тестової зони…
• Входи від машин і сенсорівЧитачі, що вводять інші приймачі, розв'язувачі та сенсори в різновид receiver-trust.
• Прочитані протоколи приймачівСкрізь лише читання: тут нічого не записує жодного байта в приймач, і немає шляху передавання жодного виду.
• Обсерваторія завад: методОдин продукт на добу UTC і регіон, з одного відкритого архіву положень літаків.
• Обсерваторія завад: результатиПриклад того, що показує доба: 2026-09-15 архів містив 110 619 797 рядків положень у 79 826 файлах трас…
• kshana-benchВідкритий набір завдань, поділів і метрик для виявлення завад GNSS і holdover синхронізації часу.

Compliance і випробувальний стенд (bench)

• Запуск приймача проти сценаріюВиробник приймача, який має лабораторний симулятор GNSS, може відтворити рух транспортного засобу зі сценарію Kshana через…
• Зіставлення complianceПокупці та виробники приймачів відповідають перед публічними рамками стійкості.
• Рамки стійкості PNT від US DHSРамки описують рівні стійкості від 0 до 4, побудовані з восьми пронумерованих вимог, і оцінювання…
• Настанови IMO для суденТекст IMO щодо завад GNSS для суден небагатослівний: MSC.1/Circ.1644 адресовано переважно державам-членам, і…
• Настанови EASA для авіаціїІнформаційний бюлетень з безпеки EASA є інформаційним, а не обов'язковим і адресований органам влади, авіа…
• NIS2 ЄС, стаття 21Стаття 21 перелічує в пункті 2 підпунктами (a)–(j) заходи, які вживають суттєві та важливі суб'єкти, щоб…
• EN 16803EN 16803 є платним стандартом. Лише його структуру частин і номери положень, видимі в публічних каталогах…

Орбіти

• Валідація SGP4Орбітальний пропагатор Kshana перевірено за канонічним еталоном спільноти для SGP4/SDP4 (SGP4…
• Валідація моделі силПовносиловий рушій Kshana (src/precise_od.rs), підігнаний до реальних прецизійних орбітальних продуктів агентств, із чесними…
• Сонячна система та інші тілаРізновид constellation-design використовує той самий каталог для побудови орбітальних угруповань навколо будь-якого з цих тіл…
• Місячна опорна станціяMODELLED. За заявлених припущень (орбітальне угруповання, його похибка сигналу в просторі, зйомка станції…
• Навігація користувача в космосі (gnss-ssv)Лише консультативно. Результати, обчислені за моделлю із заявлених входів і симульованої істини; не сертифікація…
• Місячна орбіта й поверхня як інфраструктураПроєкти, входи й пороги було зафіксовано в xval/lunar-infra/PREREGISTRATION.md (закомічено до будь-якого дослідження…
• Ланцюг місії: від запуску до входу в атмосферуКонсультативне програмне забезпечення, не сертифіковане навігаційне обладнання.
• Ланцюг місії: місячний сегментЧотири типи сценаріїв, кожен також є типом фази інтерфейсу mission-thread (src/mission_thread/): вони…

Навігація на низькій навколоземній орбіті (LEO)

• Позиціонування, навігація та час на LEOLEO-PNT — це позиціонування, навігація та час (PNT) від супутників на низькій навколоземній орбіті (LEO), разом із або…
• Проєкти сигналів LEOРізновид сценарію leo-signal аналізує сигнали позиціонування, навігації та часу (PNT) на низькій навколоземній орбіті (LEO).
• Прохід LEO і бюджет лініїLEO-PNT — це позиціонування, навігація та час (PNT) від супутників на низькій навколоземній орбіті (LEO).
• Навігаційне повідомлення LEOРізновид сценарію leo-navmsg будує широкомовне повідомлення ефемерид і годинника супутника на низькій навколоземній орбіті (LEO)…
• Об'єднане позиціонування MEO і LEOТри різновиди сценаріїв забезпечують позиціонування, навігацію та час (PNT) із супутниками на низькій навколоземній орбіті…
• Проєктування орбітальних угрупованьРізновид constellation-design будує одне чи кілька супутникових орбітальних угруповань навколо Землі, Місяця, Марса…

Квантові датчики

• Моделі квантових сенсорівKshana — це симулятор стійкості PNT (PNT: позиціонування, навігація та час) з квантовими сенсорами…
• Холодноатомний інтерферометрБільшість квантових сенсорів Kshana керується опублікованими коефіцієнтами Аллана/шуму — пошуком у специфікаціях (див.…

API та інтеграції

• Python APIKshana постачається з повноцінним прикладним програмним інтерфейсом (API) для Python, побудованим на PyO3 і maturin.
• npm і WebAssemblyKshana відтворює глушіння, спуфінг і holdover годинника, коли сигнали GNSS (глобальної навігаційної супутникової системи)…
• Крейт RustKshana відтворює глушіння, спуфінг і holdover годинника, коли сигнали GNSS (глобальної навігаційної супутникової системи)…
• Сервер MCPkshana-mcp — це сервер Model Context Protocol (MCP) для Kshana, симулятора PNT з відкритим кодом…
• Сервер MCP: кожен канал встановленняЛише консультативно: це не навігаційне обладнання із затвердженням типу; відповідальність за навігацію залишається на операторі.
• Сервер MCP: самохостинговий режим HTTPKshana не розміщує кінцевої точки. Немає спільного сервера kshana, на який можна вказати клієнту.
• Використання Kshana з агентаДля агента (або людини, що ним керує): який інструмент викликати для якого запитання, що інструменти робитимуть і…
• Де доступна кожна можливістьКожна можливість доступна на поверхнях, де це має сенс; де поверхня не може нести можливість…
• Плагін JetBrainsНативний плагін, що запускає симулятор стійкості PNT Kshana зсередини будь-якого IDE JetBrains (IntelliJ IDEA…
• Де працює KshanaМежа обсягу, записана так, щоб ніхто не відкрив її як зобов'язання на нараді.
• АрхітектураKshana — це один рушій, організований шарами над спільним ядром: пакети сенсорів (годинник, інерціальні…
• Де розташована KshanaKshana — це відкритий відтворюваний рушій доказів стійкості PNT (позиціонування, навігація та час).

Проєкт

• Журнал змінУсі помітні зміни в Kshana задокументовано тут.
• ЛіцензуванняKshana має подвійне ліцензування. Відкритий рушій можна використовувати за відкритою ліцензією (AGPL-3.0) або…
• БезпекаБудь ласка, не відкривайте публічний запит для повідомлень, що стосуються безпеки.
• Внесок у проєктДякуємо за інтерес. Kshana прагне бути нейтральним, відтворюваним, чесно перевіреним еталоном для…
• Управління проєктомЦей документ описує, як управляється Kshana: хто ухвалює рішення, як це відбувається і що проєкт прийматиме, а що…
• Кодекс поведінкиМи як учасники, дописувачі та лідери зобов'язуємося зробити участь у нашій спільноті вільною від переслідувань…

Родини видів сценаріїв

• Кампанії1 різновид сценарію рушія v0.40.0. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Годинники: синхронізація часу та holdover9 різновидів сценаріїв рушія v0.40.0. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Орбітальні угруповання: покриття та геометрія7 різновидів сценаріїв рушія v0.40.0. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Вимірювання ГНСС (GNSS), позиціонування та цілісністьВидів сценаріїв рушія v0.40.0: 6. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Альтернативні PNT за відсутності GPSВидів сценаріїв рушія v0.40.0: 5. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Інерціальне об'єднання даних і квантові сенсориВидів сценаріїв рушія v0.40.0: 9. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Глушіння (jamming), спуфінг і спектрВидів сценаріїв рушія v0.40.0: 6. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Навігація на низькій навколоземній орбітіВидів сценаріїв рушія v0.40.0: 7. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Місячний і цисмісячний простір24 типи сценаріїв рушія v0.40.0. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента, не…
• Аналіз місій, лінії зв'язку та космічні операціїВидів сценаріїв рушія v0.40.0: 14. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Ланцюги місій1 тип сценарію рушія v0.40.0. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента, не…
• Оптичні PNTВидів сценаріїв рушія v0.40.0: 2. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…
• Навігація космічного користувачаВидів сценаріїв рушія v0.40.0: 1. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не…

Сторінки видів сценаріїв

92 сторінки, по одній на кожен тип сценарію, з посиланнями з Кожен тип сценарію за родинами.

Не включено

Документи щодо процесів супроводжувачів залишаються в репозиторії: docs/RELEASING.md (процедура випуску); docs/WHEEL_TAGS.md (подробиці пакування); docs/revisions/ (внутрішні нотатки про зміни); docs/design/ (внутрішні проєктні нотатки); README.pypi.md (сторінка PyPI; її охоплює документація API для Python); шаблони .github/; docs/integrations.md (побудований навколо названих сторонніх продуктів ШІ, яких цей сайт не називає).