Документация Kshana
Всё здесь формируется при сборке из файлов Markdown, отслеживаемых в репозитории Kshana (движок v0.40.0), плюс две справочные страницы, созданные из файлов сценариев и матрицы верификации. Для сайта вручную ничего не пишется.
Начало работы
- ОбзорKshana воспроизводит подавление, спуфинг и holdover часов, когда сигналы ГНСС (глобальной навигационной спутниковой системы)…
- Введение в понятияНа этой странице объясняется, что делает Kshana и зачем, начиная с нуля и постепенно подводя к физике.
- ГлоссарийОпределения терминов, используемых в Kshana, простым языком.
- ЯзыкиТекст движка, предназначенный человеку, представлен на 17 языках наряду с английским: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
- Руководство по StudioKshana Studio: запускайте движок в браузере, без установки.
- Учебные пособияПрактические разобранные примеры, которые проведут вас от «запуска готового сценария» до «количественной оценки и обоснования результата».…
- 1 · Ваша первая орбитаК концу вы распространите реальную действующую орбитальную группировку GPS, прочитаете её доступность и…
- 2 · Holdover часовК концу вы проведёте holdover часов при недоступных сигналах ГНСС (глобальной навигационной спутниковой системы)…
- 3 · Квантовые против классическихИтоговая работа. Вы запустите сценарий детектора спуфинга и полный объединённый сценарий позиционирования, навигации и времени…
- Разобранный пример: конвейер из нескольких инструментовЗдесь одна траектория проводится через сценарии взаимодействия на основе стандартов и анализа миссий от начала до…
Сценарии
- Виды сценариев92 встроенных вида сценариев, между которыми распределяет kshana::api::run_toml, каждый с его одной строкой…
- Каждый вид сценария по семействамКаждый вид сценария, который распределяет движок v0.40.0 (92), разложенный по 13 семействам.
- Все командыkshana <scenario.toml> запускает сценарий; любая другая команда является подкомандой. kshana --help выводит справку…
- Все поверхностиОдин движок, одинаковые результаты везде. docs/SURFACES.md перечисляет для каждой команды и вида, какая поверхность…
- Области возможностейВсе возможности публичной карты по областям, с их меткой в реестре.
- Справочник сценариевКаждый поставляемый файл сценария (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 работает со стандартными форматами обмена ГНСС (глобальной навигационной спутниковой системы)…
- Покрытие строк«Покрытие строк ~95 %» на значке README, в таблице CI (непрерывной интеграции) README, на crates.io…
- Пакеты доказательствПакет — это технический документ, а не юридическое заключение.
- Партнёры по данным и повышаемые строкиKshana помечает каждую возможность в машинно проверяемом реестре (матрица верификации).
Синхронизация времени
- Оптические линии через атмосферуВид сценария optical-atmosphere отвечает на вопросы, как часто работает оптическая линия до Земли, почему она отказывает…
- Тайминг слотовВид сценария slot-timing отвечает на три вопроса для часов, которые работают свободно между синхронизациями…
- Синхронизация телекоммуникационных сетейЭта страница перечисляет все пределы, которые проверяет вид сценария telecom-timing, откуда взят каждый из них и что было…
- Ложное времяТехническая записка для операторов сетей с привязкой ко времени: орбитальные группировки, которые маршрутизируют, назначают задачи или передают управление по…
- Испытание holdover и аппаратное моделирование синхронизации времениОператоры телекоммуникационных и энергетических сетей испытывают систему синхронизации времени, отключая от неё ГНСС и наблюдая, что делают часы.
- Форматы журналов часовsrc/clock_log.rs читает измеренный журнал часов в один нормализованный ряд фазы: равномерную сетку (time_s…
- Безопасность оборудованияKshana — программное обеспечение консультативного характера для исследований, моделирования и испытаний.
Целостность и помехи
- Целостность и безопасностьKshana сообщает два показателя качества (FoM) — целостность (Integrity) и безопасность (Security), — которые легко принять за…
- Спектр и водопадВид сценария spectrum строит L-диапазон глобальной навигационной спутниковой системы (ГНСС) и любой другой диапазон, который…
- Справочник по ARAIMВ этой записке описана открытая реализация Advanced Receiver Autonomous Integrity Monitoring в Kshana…
- Карта DO-316 / DO-229EЭтот документ сопоставляет DO-229E RTCA (прежде Radio Technical Commission for Aeronautics) (SBAS…
- Перекрёстное соответствие устойчивостиСогласовано с документами, но не оценено и не одобрено. Здесь имитируемые возможности Kshana сопоставляются с опубликованными положениями об устойчивости PNT…
Доверие к приёмнику и морская отрасль
- Доверие к приёмникуkshana receiver-trust читает журнал реального приёмника глобальной навигационной спутниковой системы (ГНСС), запускает проверки доверия…
- Доверие на море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 превращает покадровый поток доверия к ГНСС (оценка 0–100, диапазон, причины) в сигналы, которые…
- Проверка Galileo OSNMAПроверяющая сторона на стороне приёмника для аутентификации навигационных сообщений Galileo Open Service (OSNMA), на чистом Rust.
- Усиленный прямой сигнал LunaNetKshana реализует расширяющие коды и уровень сообщений усиленного прямого сигнала LunaNet (AFS) как…
- Jammertest как арбитрkshana jammertest import читает каталог испытаний и план передач Jammertest и превращает одну испытательную зону…
- Машинные и сенсорные входные данныеСредства чтения, которые вводят другие приёмники, решатели и датчики в вид сценария receiver-trust.
- Читаемые протоколы приёмниковВезде только чтение: ничто здесь не записывает ни байта в приёмник, и нет никакого тракта передачи.
- Обсерватория помех: методОдин продукт на сутки UTC и регион, из одного открытого архива положений воздушных судов.
- Обсерватория помех: результатыПример того, что показывает один день: 2026-09-15 в архиве было 110 619 797 строк положений в 79 826 файлах трасс…
- kshana-benchОткрытый набор задач, разбиений и метрик для обнаружения помех ГНСС и holdover времени.
Compliance и test bench
- Прогон приёмника по сценариюПроизводитель приёмников, владеющий лабораторным имитатором ГНСС, может воспроизвести движение носителя из сценария Kshana через…
- Сопоставление с требованиями (compliance)Покупатели и производители приёмников отвечают перед публичными рамочными документами по устойчивости.
- Рамочный документ DHS США по устойчивому PNTДокумент описывает уровни устойчивости от 0 до 4, построенные из восьми пронумерованных требований, и оценку…
- Рекомендации IMO для судовТекст IMO о помехах ГНСС для судов немногословен: 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 и интеграции
- API на PythonKshana поставляется с полноценным программным интерфейсом приложения (API) на Python, созданным с помощью PyO3 и maturin.
- npm и WebAssemblyKshana воспроизводит подавление, спуфинг и holdover часов, когда сигналы ГНСС (глобальной навигационной спутниковой системы)…
- Крейт RustKshana воспроизводит подавление, спуфинг и holdover часов, когда сигналы ГНСС (глобальной навигационной спутниковой системы)…
- Сервер MCPkshana-mcp — это сервер Model Context Protocol (MCP) для Kshana, симулятора PNT с открытым исходным кодом…
- Сервер MCP: все каналы установкиНосит консультативный характер: это не навигационное оборудование с утверждённым типом; ответственность за навигацию остаётся на операторе.
- Сервер MCP: собственный HTTP-режимKshana не размещает конечную точку. Общего сервера kshana, на который можно указать клиенту, не существует.
- Использование Kshana из агентаДля агента (или человека, который им управляет): какой инструмент вызывать для какого вопроса, что инструменты будут и…
- Где доступна каждая возможностьКаждая возможность доступна на тех поверхностях, где это имеет смысл; там, где поверхность не может её поддержать,…
- Плагин JetBrainsНативный плагин, запускающий симулятор устойчивости PNT Kshana из любой среды 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: измерения, позиционирование и целостность6 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Альтернативный PNT при недоступности GPS5 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Инерциальное слияние и квантовые датчики9 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Подавление (jamming), спуфинг и спектр6 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Навигация на низких околоземных орбитах7 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Луна и цислунное пространство24 вида сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента, не…
- Анализ миссий, линии связи и космические операции14 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Нити миссии1 вид сценария движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента, не…
- Оптический PNT2 вида сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
- Навигация космического пользователя1 вид сценария движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не…
Страницы видов сценариев
92 страницы, по одной для каждого вида сценария, со ссылками из Каждый вид сценария по семействам.
Не включено
Документы процесса сопровождающих остаются в репозитории: docs/RELEASING.md (процедура релиза); docs/WHEEL_TAGS.md (детали упаковки); docs/revisions/ (внутренние заметки об изменениях); docs/design/ (внутренние проектные заметки); README.pypi.md (страница PyPI; её охватывает документация по API Python); шаблоны .github/; docs/integrations.md (построен вокруг названных сторонних продуктов ИИ, которые этот сайт не называет).