Концепции — введение простым языком

Эта страница объясняет, что делает Kshana и зачем, начиная с нуля и поднимаясь до физики. Для первой части предварительных знаний не требуется; в более поздних разделах для специалистов добавлены точные соотношения. Определения терминов см. в глоссарии.

1. Проблема в одном абзаце#

Почти всё, что должно знать, где оно находится или который час — телефоны, самолёты, суда, спутники, электросети, финансовые системы, — опирается на сигналы навигационных спутников (GPS (Global Positioning System) и родственные системы, в совокупности GNSS (глобальная навигационная спутниковая система)). Эти сигналы слабы и легко теряются: их подавляют, блокируют, или они просто вне видимости в космосе. Когда это происходит, системе приходится продолжать работу самостоятельно, используя бортовые датчики: часы для удержания времени и инерциальные датчики для отслеживания движения. Вопрос, на который отвечает Kshana, просто сформулировать и трудно измерить: как долго и насколько хорошо система может продолжать работу?

2. Почему «квантовые»?#

Бортовые датчики дрейфуют. Часы медленно теряют время; инерциальный датчик медленно теряет след положения. Квантовые часы и инерциальные датчики дрейфуют гораздо медленнее, чем применяемые сегодня классические компоненты, — поэтому транспортное средство могло бы пережить намного более длительное отсутствие GNSS, оставаясь в пределах допустимой точности. Это преимущество и есть всё обещание квантового PNT (позиционирование, навигация и время). Но «гораздо медленнее» нужно превратить в числа: на сколько лишних минут растёт holdover? на сколько метров меньше дрейф? Эти числа решают, стоит ли квантовая полезная нагрузка своей цены, массы и мощности.

3. Что на самом деле делает Kshana#

Kshana — это симулятор, а не аппаратура и не проект аппаратуры. Он:

1. принимает сценарий — временную шкалу с участком недоступности GNSS и опубликованные показатели характеристик датчика;
2. прогоняет через эту шкалу модель ошибок датчика: пока GNSS доступна, модель подстраивается под истинное значение; во время недоступности она работает свободно, накапливая ошибку точно так, как предписывает физика;
3. оценивает результат по эксплуатационным показателям качества (насколько велика становится ошибка, как долго она остаётся в допуске, насколько можно доверять оценке);
4. для пакетов датчиков делает это дважды — один раз для квантового датчика, один раз для его классического аналога — на одном и том же сценарии, так что сравнение корректно.

Принципиально важно, что движок ничего не знает о «квантовом» и «классическом». Обе модели — просто модели ошибок с разными (опубликованными, подкреплёнными ссылками) параметрами. Разница, которую вы видите в результатах, — это разница в опубликованной физике; ничто не подгоняется вручную в пользу одной из сторон.

4. Четыре строительных блока («пакеты»)#

Гибридный пакет — это развязка: навигационному решению нужны и хорошее время, и хорошее положение. Он показывает, что оптическая линия синхронизации может удерживать в захвате даже скромные часы, — а значит, самым слабым звеном становится инерциальный датчик, и именно здесь окупается квантовый акселерометр.

Помимо четырёх пакетов#

Тот же движок запускает гораздо больше видов сценариев; kshana kinds перечисляет их все. Они выходят за пределы датчиков к сигналам и геометрии, от которых датчики зависят:

• Где находятся спутники — распространение орбит, проектирование орбитальной группировки вокруг Земли, Луны или другого тела и положения тел Солнечной системы.
• Что может видеть приёмник — зависящий от азимута скайлайн (улица, причал, фьорд) над маской возвышения и оставляемая им геометрия неба: спутники в зоне видимости, их геометрический фактор DOP (ухудшение точности) и эллипс ошибок.
• Что слышит приёмник — спектр L-диапазона при источнике подавления, подавление (jamming) и спуфинг, а также потеря захвата петлями слежения.
• Можно ли доверять ответу — мониторинг целостности (RAIM, автономный контроль целостности в приёмнике, и его расширенная форма ARAIM) с уровнями защиты.
• Альтернативы GNSS — сопоставление с картой гравитации и рельефа, а также позиционирование, навигация и время по спутникам низкой околоземной орбиты (LEO): от проектирования сигнала через бюджет линии и навигационное сообщение до определения положения.
• Синхронизация времени для сетей — телекоммуникационный holdover, проверяемый по международным маскам, и синхронизация слотов для расписаний с привязкой ко времени.
• За пределами Земли — лунное время и системы отсчёта, лунные зоны обслуживания и навигация через марсианские ретрансляторы.
• Много прогонов сразу — кампании объединяют виды в цепочку на одной временной шкале, перебирают параметр или запускают ансамбль Монте-Карло.

5. Честность по построению#

Симулятор полезен, только если ему можно доверять. Kshana построен так, чтобы вы могли это делать:

• Каждый параметр подкреплён ссылкой. Каждый показатель датчика несёт строку provenance с названием спецификации или статьи, откуда он взят. Никаких анонимных констант.
• Каждая модель проверяется по учебниковому соотношению, а не только сама по себе — например, девиация Аллана моделируемых часов должна совпадать с опубликованным показателем стабильности, а инерциальный дрейф — со стандартным законом роста ошибки. Возможность называется validated только там, где согласуется независимый внешний оракул (независимый эталон) (реальный набор данных, независимая реализация или опубликованные эталонные векторы); остальное — modelled, и матрица верификации говорит, что есть что.
• Зрелость помечена. VALIDATION.md помечает каждый эффект как validated, modelled или not modeled и прямо указывает, что показатели оптических часов — это числа лабораторного уровня или цели для космоса: ни одни оптические часы на стронции не летали.
• Результаты воспроизводимы с точностью до бита: один и тот же сценарий, начальное значение (seed) и версия всегда дают одинаковый ответ на одной платформе; между операционными системами показатели согласуются с относительной точностью 1e-6 (см. REPRODUCIBILITY.md).

6. Физика для специалистов#

Соотношения, которые реализует и тестирует Kshana (подробности и допуски — в VALIDATION.md):

• Удержание времени часами (holdover). Двухсостояниевая модель фазы и частоты с белой частотной модуляцией (белая FM, спектральная плотность мощности q_wf), случайным блужданием FM (q_rw), фликкерной FM (сумма процессов Орнштейна–Уленбека с логарифмически разнесёнными параметрами, откалиброванная на плоский уровень Аллана) и детерминированным старением. Проверено по перекрывающейся девиации Аллана относительно опубликованной σ_y(τ) (Riley, NIST (National Institute of Standards and Technology), SP (Special Publication) 1065).
• Инерциальное счисление пути. Остаточное смещение акселерометра → ½·b·T²; случайное блуждание скорости → σ_x(T) = √(S_a·T³/3); необязательные смещение гироскопа и угловое случайное блуждание создают ошибку наклона, которая передаёт силу тяжести (g·θ) в горизонтальное ускорение (Groves).
• Передача времени. Белое временное дрожание → прецизионность синхронизации → односторонние измерения дальности (range = c·dt, 1 пс ≈ 0,3 мм); выборочное среднее усредняется как σ/√N.
• Слияние и целостность. Двухсостояниевый фильтр Калмана, шум процесса которого соответствует модели истинного значения; при движении по инерции дисперсия его ошибки фазы растёт ровно до q_wf·T + q_rw·T³/3 — аналитического соотношения удержания времени, — а его граница 1 σ питает показатель качества «Целостность».
• Геометрия. Кеплеровское распространение двух тел (при необходимости с вековым J2) или SGP4 (Simplified General Perturbations 4) по реальным двухстрочным наборам элементов, орбитальные группировки Уокера и видимость по линии визирования (затенение Землёй + маска возвышения) определяют доступность GNSS по орбитальной геометрии, а не по заданным вручную окнам.

7. Куда двигаться дальше#

• Проработайте: учебные материалы — три разобранных примера и упражнения возрастающей сложности.
• Запустите: см. краткое руководство в README.
• Разберитесь в структуре: ARCHITECTURE.md.
• Проверьте, что проверено, а что нет: VALIDATION.md.
• Найдите термин: GLOSSARY.md.