Один движок для всей цепочки отказов.

Распространение SGP4/SDP4 по реальным двухстрочным наборам элементов (зафиксированный снимок GPS из Celestrak) или по синтетическим группировкам Уокера, средние элементы которых реализуют формулу i:T/P/F с точностью лучше 1 км за 24 ч. Видимость нескольких орбитальных группировок, геометрический фактор DOP (ухудшение точности) и доступность GNSS, оптимизатор проекта группировки, расчёт размеров по полосам покрытия и перебор проектов Уокера, сообщающий Парето-оптимальные проекты по сетке «плоскости × спутники».

Численный распространитель (Коуэлла), дополняющий аналитический путь SGP4/SDP4, с иерархической моделью сил: задача двух тел + полное зональное поле J2–J6, необязательный тессеральный геопотенциал EGM2008 до степени/порядка 70, гравитация Солнца и Луны как третьих тел, зависящая от эпохи (встроенные эфемериды, без ядер DE/SPK), давление солнечного излучения с коническим шаром полной тени и полутени, атмосферное сопротивление, постньютоновская релятивистская поправка Шварцшильда и член увлечения системы отсчёта Лензе–Тирринга — с выбором адаптивных интеграторов: RK4 с удвоением шага или Дормана–Принса RK5(4).

Импульсные узлы ΔV с распространением ковариации 6×6, интегрирование конечного импульса, проверенное по уравнению Циолковского для ракеты с точностью лучше 0,01 %, решатель Ламберта Изцо (2015) для одного витка и точный распространитель Кеплера в универсальных переменных, а также перебор porkchop (запуск × прибытие) по C3 / V∞ прибытия, выдаваемый в виде сетки контуров JSON — слой моделирования характеристик над GMAT/Orekit.

Шкалы UTC / TAI / TT / UT1 IERS с високосными секундами, API юлианских дат, угол вращения Земли IAU-2000, системы TEME ↔ ECEF на основе GMST и геодезические системы WGS-84, полная нутация IAU 2000A/2000B и прецессия IAU 2006, а также приведение GCRS↔ITRS IAU 2006/2000A на основе CIO без точки равноденствия с полярным движением IERS — проверено побитово по векторам SOFA/ERFA и независимо перекрёстно проверено по ANISE (SPICE на чистом Rust): GCRS→ITRS в сравнении с ANISE ITRF93, при тех же EOP IERS, совпадают с точностью ≤ 0,86 м на земле / ≤ 3,6 м на орбите GNSS.

Предсказатель ориентации Земли эксплуатационного типа — метод наименьших квадратов по смещению, скорости и основным периодическим членам на скользящем окне, — оцениваемый по действительно архивным прогнозам Bulletin A, а не по инерционному прогнозу. Входные данные по умолчанию в автономном режиме — настоящий продукт IERS finals2000A со строками прогноза Bulletin A, поэтому голый запуск выдаёт заполненную таблицу по горизонтам, а не пустую. UT1 и движение полюса сообщаются по общему набору строк вместе с их комбинацией, так что совместный показатель — одна статистика, а не квадратурная сумма двух разных выборок.

Трёхосная бесплатформенная INS — кватернионная ориентация, механизация WGS-84 NED, компенсация конусного и «гребного» движения и полная детерминированная модель ошибок IMU — плюс акселерометр на атомном интерферометре с холодными атомами из первых принципов (фаза Маха–Цендера, проекционный шум, затухание контраста, связь с вибрацией) и фильтр частиц для навигации без GPS по рельефу местности и гравитации.

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

Модель измерений гравиметра на холодных атомах, у которой порог белого шума выведен из физики акселерометра CAI, поле гравитационных аномалий в виде полностью нормированных сферических гармоник низкой степени плюс синтетические масконы, и фильтр частиц для сопоставления с гравитационной картой — расширенный до навигации по рельефу местности по цифровой модели высот SRTM (TERCOM/SITAN), главного геомагнитного поля IGRF-14 до степени/порядка 13 и комбинированного навигатора по гравитации + магнитному полю + рельефу, который объединяет все три скалярных канала. 60-минутный бенчмарк без GPS — перерыв около 700 км / один час, за который инерциальное решение уходит примерно на 70 км, — сводится к ~145 м иерархическим сопоставителем от грубого к точному: цель ESA NAVISP Quantum Wayfarer.

15-мерный EKF по вектору ошибок, который проходит перерывы GNSS на калиброванном инерциальном решении; режим по псевдодальностям с тесной связью, который продолжает коррекцию менее чем по четырём спутникам; связанный фильтр часов и положения; общий несцентрированный (по сигма-точкам) оцениватель Калмана; навигатор UKF с тесной связью GNSS/INS, проверенный до 0,77 м СКО на перерыве 120 с на изогнутом проходе LEO; и полный 17-мерный UKF с тесной связью GNSS/INS, у которого квантовое счисление пути CAI проходит перерыв на выведенном случайном блуждании скорости акселерометра на холодных атомах.

Восстановление состояния орбиты по измерениям дальности с наземной станции, с композицией модели сил двух тел + J2 и интегратора RK4 с пакетным дифференциальным корректором Гаусса–Ньютона (субметровая точность / мм·с⁻¹ по безошибочным дальностям, ~2 м при пороге шума 5 м) и вариантом с последовательным несцентрированным фильтром.

Общий переиспользуемый слой информации Фишера / Крамера–Рао (src/fim.rs): информационная матрица M = HᵀWH, нижняя граница Крамера–Рао, ранг наблюдаемости и нуль-пространство дефекта датума (псевдообратная матрица Мура–Пенроуза), а также скаляры планирования D/A/E/T-оптимального эксперимента из симметричного собственного решателя Якоби. Он лежит в основе механизма DOP, границы пассивной геолокации и результата о наблюдаемости лунных абсолютных станций — внутренняя дальнометрия оставляет шестистепенной дефект датума твёрдого тела, который привязка по земной базе РСДБ восстанавливает для разреженной группировки и уточняет для плотной, а абсолютный датум замыкается на трёх неколлинеарных земных станциях.

Распространитель круговой ограниченной задачи трёх тел Земля–Луна (CR3BP) во вращающейся системе — сохраняющаяся постоянная Якоби и все пять точек Лагранжа — с матрицей перехода состояния 6×6 и корректором однократной стрельбы, строящим по-настоящему периодические гало-орбиты / околопрямолинейные гало-орбиты (NRHO): он воспроизводит опубликованную южную NRHO L2 9:2 (орбиту Gateway) с периодом ~6,57 суток и периселением ~3 250 км. Плюс геометрия цислунных PNT LunaNet / LNIS (приведение MCI↔MCMF, селенографические координаты) с проходом ARAIM на южном полюсе Луны, который честно выявляет разрыв по целостности: σ_URE около 30 м поднимает уровень защиты намного выше предела тревоги 50 м.

Реализует связанную с Луной систему отсчёта по наблюдательной кампании: взвешенная подгонка подобия методом Гаусса–Ньютона по геометрии станция–отражатель, с выдачей датума, его ковариации и хуже всего определённой оси. Связанная калибровка системы отсчёта и шкалы времени учитывается явно, а не поглощается, так что дефицит ранга виден в отчёте, а не скрыт в псевдообратной матрице.

Перебирает иллюстративную группировку класса Moonlight/LCNS по селенографической сетке: видимость, геометрический фактор DOP (ухудшение точности), покрытие и уровни защиты ARAIM по эпохам относительно настраиваемого предела тревоги. Точность дальности в космическом сегменте — параметр, поэтому перебор отвечает на требование к дальности по всей зоне, а не на «выполнено / не выполнено» при одном фиксированном значении.

Измеряет, насколько на самом деле расходятся три независимых авторитетных лунных эфемериды, и превращает это в закон проектирования: бюджет ошибки системы отсчёта относительно эфемерид, который наследует пользователь со смешанными поставщиками, и допуск согласованности, который должен выдерживать поставщик, чтобы удержать этот бюджет в заявленных пределах.

Линейная алгебра, нужная самоссылочной лунной группировке, чтобы обнаруживать собственные отказы без эталонных данных: взвешенный паритетный проектор в форме псевдообратной матрицы для случая дефицита ранга, устойчивой к калибровке датума и шкалы времени, обнаруживаемость по узлам, минимальное обнаруживаемое смещение Баарды и счётчики обнаружения/идентификации блочных искровых византийских отказов на реальной геометрии между узлами DE440.

Заменяет смоделированную кампанию реальными данными: 337 архивных нормальных точек лунной лазерной дальнометрии ILRS по пяти ретрорефлекторным матрицам, причём каждое наблюдение взвешено по собственной записанной в файле точности. Координаты отражателей — каталог DE440 в главных осях, хранимый под собственным именем файла, отдельно от таблицы DE430 в средней системе Земли: если подать одно во вращение другого, отражатель сдвинется на сотни метров, и ничто не возразит, потому что обе системы — корректно заданные координаты.

Дифференциальные поправки между лунной опорной станцией и пользователем. Взаимное уничтожение синфазной составляющей — точное тождество; остаток от пространственной декорреляции — геометрическая модель первого порядка, растущая с длиной базы, а бюджет остатка линии передачи поправок приводится рядом, чтобы ограничивающее слагаемое оставалось видимым, а не растворялось в одном числе.

Времена пересечения для каждого класса часов лунной шкалы времени — когда класс генератора перестаёт укладываться в заявленную границу без обновления — вместе с наблюдаемой лунной геодезической РСДБ и информацией Фишера, которую она вносит в датум.

Зона обслуживания рассчитывается по опубликованным проектам группировок, а не по иллюстративному: опорный набор из пяти спутников для демонстрации совместимости LANS, примеры LNCSS на 8, 12 и 16 спутниках и четыре аппарата, реально находившихся на лунной орбите 2023-01-01, по JPL Horizons. Каждый файл указывает собственную систему отсчёта и собственный класс происхождения, горизонт за концом табличных эфемерид отвергается, а не экстраполируется, а иллюстративный кеплеровский результат выдаётся рядом с полученным вместе с разницей между ними и никогда им не заменяется.

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

Накапливает частные производные задержки лунной РСДБ в информационную матрицу Фишера по расписанию «базы × эпохи» и возвращает ковариацию координат станций, так что переход от точности задержки к сигме координат оценивается, а не предполагается. Свободная сеть приводится рядом с сетью с фиксированным датумом, с её дефектом ранга и названным ненаблюдаемым направлением. Ковариация точки на поверхности хранится отдельно от ковариации земной станции, потому что частная производная для маяка в ближнем поле — разность двух единичных векторов станций и ведёт себя не так, как в дальнем поле.

Открытый движок радиометрической навигации в дальнем космосе / на Марсе: итеративная задержка по времени света + задержка Шапиро, двух-/одно-/трёхсторонние измерения Доплера и дальности (двухплечевая по Мойеру), когерентный разворот транспондера, регенеративная/PN-дальнометрия и Δ-DOR; ввод-вывод CCSDS-TDM; редуцированно-динамический фильтр квадратного корня информации (эмпирические ускорения + бортовые часы + сопротивление Марса), который выполняет определение орбиты на низкой орбите Марса в синтетическом замкнутом контуре; объединение односторонних и двусторонних измерений; а также ареостационарная ретрансляционная группировка MARCONI со сквозным имитатором характеристик GSE.

Внесение отказов придаёт межмодальному монитору мощность обнаружения вместо прохождения без отказов: минимальное обнаруживаемое смещение по каждой оси при заданном бюджете ложных тревог и пропусков обнаружения. После передачи ковариация, вновь растущая, сопоставляется с пределами тревоги, так что отчёт указывает, как долго одномодальное решение остаётся внутри них, а не только то, что передача была непрерывной. Оптические и РЧ плечи дальнометрии сравниваются только при совпадающих времени накопления и трассе, а отчёт отказывается образовывать отношение к значению, которое было выбрано, а не измерено.

RAIM по снимку и по разделению решений с горизонтальным и вертикальным уровнями защиты (HPL/VPL), обнаружение и исключение отказов и диаграммы целостности Стэнфорда — плюс явный уровень защиты по бюджету риска целостности (MHSS) с режимом отказа всей группировки для двух-/многогруппировочного случая (EU ARAIM / DO-316).

Уровни защиты MHSS движка прогоняются по собственным опубликованным разобранным примерам опорного бортового алгоритма Рабочей группы C ЕС и США, причём каждый переписан с указанием URL получения, даты, страницы и SHA-256 файла и хранится в двух местах, совпадение которых проверяет тест. Приёмочный вектор — внутренне согласованный Reference Airborne Algorithm Description Document v3.1, приложение D. Отчёт Milestone 3 содержит два внутренних дефекта — опечатку в знаке в геометрии и множитель ложной тревоги, вычисленный для 57 режимов отказа, тогда как в тексте указан один, — поэтому его уровни защиты приводятся как измеренные расхождения, а не оцениваются, и дефекты демонстрируются прогоном собственных чисел документа.

Уровни защиты SBAS / WAAS в форме взвешенных наименьших квадратов по DO-229E (K-факторы для точного захода на посадку и для полёта по маршруту) и двухчастотная безионосферная комбинация L1/L5 (IS-GPS-705), на которой основан DO-316, с перекрёстной проверкой геометрии уровня защиты по эталонной реализации линейной алгебры.

Двухсостоятельный holdover по Калману, стабильность семейства Аллана (ADEV / MDEV / TDEV / HDEV) с доверительными интервалами и полная подгонка степенного закона IEEE-1139 с пятью коэффициентами, а также эксплуатационные методы передачи — TWSTFT с замкнутой формой Саньяка по BIPM, общий вид GNSS, безионосферная передача PPP, оптическая линия в свободном пространстве со сцинтилляцией от турбулентности и шкала времени ансамбля часов с обратной дисперсией. Калькулятор holdover часов без GNSS обращает рост ошибки выбега по Ван Лоану в holdover до порога — как долго часы работают свободно, пока ошибка времени не превысит бюджет, — для классических и квантовых классов часов; результат смоделирован, с честным замечанием, что для очень стабильных часов holdover до жёсткого порога определяется принятым порогом шума на больших tau, а не приведённой ADEV.

Прямой синтез псевдодальности / Доплера с ионосферой Клобучара (широковещательной) и IONEX / по сетке TEC (измеренной) — включая разборщик файлов IONEX, интерполяцию по времени и отображение наклона в модели тонкой оболочки — тропосфера Саастамойнена + Нилла и RAIM по снимку.

Положение реального приёмника, найденное по реальным кодовым псевдодальностям RINEX + широковещательным эфемеридам итерационным взвешенным методом наименьших квадратов — поправка Саньяка / вращения Земли, широковещательные часы с TGD, двухчастотная безионосферная комбинация L1/L2 (или одночастотный Клобучар), тропосфера Саастамойнена/Нилла, взвешивание по углу места, DOP и RAIM по снимку.

Модель подавления (jamming) по бюджету линии (J/S → эффективное C/N₀ → потеря захвата), стохастический детектор спуфинга времени (энергетический тест Неймана–Пирсона / χ²₁ с P_fa/P_md по Монте-Карло и показателем безопасности 1 − P_md) и многоуровневый детектор спуфинга, объединяющий паритетный тест согласованности RAIM, РЧ-монитор мощности AGC и монитор качества сигнала (SQM). Плюс бюджет ошибок квантового инерциального счисления пути, объединяющий белошумовой дрейф атомного интерферометра на холодных атомах с остаточным смещением (перекрёстно проверен независимым интегратором) и ошибку масштабного коэффициента в показатель дрейфа положения за время holdover — инерциальный двойник holdover часов.

Слой характеристик сигнала между бюджетом линии и областью измерений: спектральные плотности мощности единичной площади для BPSK-R(n) и sine-BOC(m,n), коэффициент спектрального разделения, из которого помехоустойчивость Q, потребляемая моделью подавления (jamming), выводится прямо из фактических спектров сигнала и генератора помех, среднеквадратичная (Габора) ширина полосы, задающая информационное содержание дальнометрии (BOC > BPSK), тепловой джиттер слежения за кодом когерентной петлёй DLL «раньше–позже», огибающая ошибки многолучевости когерентной разности «раньше минус позже» с подавлением узким коррелятором и проектный компромисс по дальномерным кодам (боковые лепестки автокорреляции m-последовательностей/кодов Голда и трёхзначная граница взаимной корреляции кодов Голда, плюс обращение длины кода в однозначную дальность). Это анализ характеристик сигнала, а не проектирование РЧ-полезной нагрузки или антенной аппаратуры.

Определение местоположения генератора помех или спуфера (или оппортунистического источника для обратного PNT) по гиперболоидам разности времён прихода в сети приёмников, решаемое методом наименьших квадратов Гаусса–Ньютона; добавление разности частот прихода при движущихся приёмниках совместно восстанавливает положение и скорость излучателя, с границей Крамера–Рао для ковариации положения по геометрии сети. Модель точечного источника прямой видимости — без многолучевости / NLOS, смещения часов приёмника и слагаемых рефракции.

Приём широковещательных эфемерид RINEX-3 для нескольких GNSS (GPS, Galileo, QZSS, BeiDou, ГЛОНАСС), разборщик наблюдений RINEX-3 (компоновка наблюдений RINEX 4,00, как ожидается, разбирается, но ни один файл 4,00 через него не прочитан; навигационные файлы RINEX 4 отвергаются по имени), читатель/писатель точных эфемерид SP3-c/d с интерполяцией Лагранжа, экспорт CCSDS OEM 2,0 + OMM (средние элементы) для средств динамики полёта (GMAT, Orekit, STK) и разбор + выдача сообщений с данными слежения CCSDS-TDM (503) для радиометрического слежения в дальнем космосе.

Перекрёстная ссылка «требование — модуль — тест — оракул — статус», формируемая самим движком (Markdown/CSV), с проверенными модульными тестами инвариантами честности: строка может быть помечена как проверенная по внешнему эталону, только если у неё есть независимый внешний оракул (NIST / AIAA / SOFA / IGS / опубликованное значение), так что внутренняя проверка самосогласованности не может выдавать себя за валидацию, — а аппаратные возможности и возможности PA, которых Kshana не обеспечивает, записаны как пробелы, принадлежащие партнёру. Исполняемая основа для перекрёстной ссылки верификации по ECSS-E-ST-10-02.

Каждое числовое поле, которое выдаёт сценарий, несёт единицу измерения и класс происхождения из замкнутого словаря, с определением там, где оно есть, и публикуется в виде машиночитаемой схемы рядом с движком. Ужесточаемая проверка прогоняет каждый встроенный вид и отклоняет поле, у которого их нет; виды, ещё не завершённые, названы по одному с причиной, по которой каждый ещё открыт, и список может только сокращаться. Отчёты, которые сами указывают свои константы — бюджет односторонней линии, оптический и РЧ бюджет, — позволяют читателю пересчитать главный показатель только по отчёту.

Бюджеты проектирования миссии первого порядка, каждый — запускаемый сценарий: геометрия запуска и выведения в задаче двух тел (азимут запуска, минимальное наклонение, выигрыш от вращения Земли, Δv смены плоскости с «дог-леггом», суточные возможности), коридор баллистического входа Аллена–Эггерса (пиковое замедление, скорости пиковой перегрузки и пикового нагрева), геометрия покрытия наблюдения Земли (полоса захвата / GSD в надире / доступ вне надира / повторный пролёт через космический треугольник SMAD), бюджет ошибок ориентации и наведения в 3 степенях свободы (момент от градиента гравитации + бюджет наведения RSS), прогноз проходов над наземной станцией (AOS/TCA/LOS, максимальный угол места, доступ) и бюджет односторонней линии по уравнению линии CCSDS 401 / DSN 810-005 (FSPL, C/N₀, Eb/N₀, запас, замыкание). Аналитический слой до появления аппаратуры, расположенный ниже STK/GMAT/Basilisk — смоделированные бюджеты первого порядка, а не замена 6-степенной или радиометрической модели.

На входе — план контактов и число раскрывов; на выходе — навигационная скважность, скважность связи, перерывы по сеансам и конкуренция. Политика арбитража названа в отчёте, а не подразумевается, а сеанс, который нельзя обслужить полностью, сообщает долю потерянного, а не теряется в среднем.

Модель космической погоды: индексы солнечной (F10.7 / центрированный по 81 суткам F10.7a) и геомагнитной (Kp, с определяющей таблицей Kp↔ap) активности, экзосферная температура по Jacchia-1971, которую они задают, и нейтральная плотность термосферы на высоте с поправкой на активность в сравнении со статической — зависимость плотности от солнечного цикла, которую статическая атмосфера опускает. Калиброванная связь по высоте однородной атмосферы первого порядка, а не атмосфера NRLMSISE, проверенная по данным.

Испытательный стенд для оценки обнаружения РЧ-искажений: размеченный синтетический корпус с обоснованными параметрами (штатный режим / подавление (jamming) / спуфинг времени / спуфинг положения / многолучевость), не зависящий от детектора стенд ROC/AUC, оценивающий любой детектор по Pd для каждого класса при целевой Pfa, и разрыв оптимизма между данными из распределения и вне него. Более глубокое исследование разрыва оптимизма распространяет это на панель из 13 детекторов (энергетический / AGC / SQM / паритетный плюс логистическая регрессия и MLP с одним скрытым слоем с начальным значением (seed)), законы масштабирования внутри и вне распределения с перестановочным нулём и предсказатель деградации вне распределения по схеме «исключить один»; входной каскад программно-определяемого приёмника (сырые IQ/IF → отводы коррелятора раньше/в точке/позже → SQM) и адаптеры приёма реальных данных (RINEX, u-blox UBX, GnssLogger, JammerTest, Yunnan, SatGrid) позволяют прогонять те же детекторы по записям, предоставленным локально. Плюс сравнение квантовых и классических PNT, которое количественно оценивает выигрыш кандидата в часы по синхронизации времени и по инерциальному holdover по измеренной кривой ADEV относительно классического базового уровня, с огибающей устойчивости без GNSS во времени. Модельные рабочие характеристики — никогда не полевые данные и не данные IQ, без вердикта «хорошо / плохо».

Воспроизводимая карта того, где квантовый датчик обгоняет классический аналог при неопределённости параметров: счисление пути на холодных атомах в сравнении с навигационным классом и holdover оптических часов в сравнении с чип-масштабными, по длительности перерыва и вибрации платформы, причём каждая кривая несёт метку уровня технологической готовности. Воспроизводится командой cargo run --bin crossover_study. Модельные бюджеты характеристик — входные данные — опубликованные или ограниченные коэффициенты, а не лётные данные.

Ограниченная holdover граница необнаруженной ошибки времени при спуфинге GNSS: при наличии независимой перекрёстной проверки ошибка выдаваемого времени ограничена порогом монитора в k сигм, дисперсией выбега по Ван Лоану за время задержки обнаружения и временем до тревоги по CUSUM. Калибровано по реальному записанному спуфингу (JammerTest 2024) и воспроизводимо командой cargo run --example tpl_jammertest. Смоделированная композиция при условии обнаружения — конечной безусловной границы нет, поскольку достаточно медленная рампа обходит одиночный монитор с привязкой к часам.

Механизм оценки, согласованный с рамочным документом (категории DHS RPCF), который сопоставляет смоделированное поведение архитектуры с частными оценками по измерениям, а затем спрашивает, служит ли какая-либо единая сводная оценка или уровень зрелости устойчивой основой для решения, — через симплекс весов Дирихле, неустойчивость рангов по тау Кендалла, долю смен победителя top-1 и коллапс разнообразия по общим причинам (Hill-N2) — с отчётом об обеспечении уверенности, защищённым хешем целостности. Воспроизводится командой cargo run --example resilience_report. Смоделированные синтетические архитектуры, согласованные с RPCF v2.0; самооценка, а не сертификация.

Мост от пропуска обнаружения к целостности: необнаруженное смещение, оставленное пропущенным обнаружением спуфинга / подавления (jamming) / RAIM, раздувает эффективную ошибку положения, которая — при сопоставлении с пределами тревоги для конкретного контекста — относится к областям целостности Stanford-ESA (доступно / недоступно / вводит в заблуждение / опасно). Использует классификацию Stanford для RAIM, привязанную к внешним данным; новой математики целостности не добавляет.

Взгляд через ROI на единицу покрытия — стоимость единицы обеспеченного покрытия при сравнении группировок / архитектур. Составляющая покрытия использует проверенную геометрию покрытия, а арифметика проверена модульными тестами, но стоимость вводит пользователь — поэтому отношение служит вспомогательным средством планирования, а не величиной, проверенной по внешнему эталону (отсюда, честно, и отсутствие значка подтверждения).

Версионированный самоописывающийся конверт, в который заключён результат сценария вместе с его видом, версией схемы и метками «вычислено по модели» и «проверено по внешнему эталону», так что сохранённый артефакт остаётся самодокументируемым, а более старые конверты читаются с прямой совместимостью.

Оценивает, можно ли доверять навигационному определению судна, по NMEA 0183, которое его приёмник и приборы и так выдают: оценка от 0 до 100, три полосы и причины за ними — по эпохам, пакетно, в реальном времени или как шлюз. Мониторы сравнивают определение с собственным движением судна, датчиком курса, лагом и уровнями спутниковых сигналов. Программное обеспечение консультативного характера, не навигационное оборудование с утверждённым типом: ответственность остаётся на операторе. Арифметика мониторов проверена по независимым библиотекам; правило и пороги оценки — собственные для проекта и остаются смоделированными.

Записывает синтетический мостиковый NMEA 0183 для сценарного рейса с заданными инструктором событиями подавления (jamming), увода положения, спуфинга времени и повтора, с журналом инструктора, чтобы экипаж мог увидеть на собственных приборах, как выглядит ухудшенное определение. Только текст, ни в коем случае не для действующих навигационных систем судна; ничего не передаётся, и радиосигнал не создаётся. Предложения и их декодированные значения проверены; модели приёмника, неба и событий — модельные (вычислены по модели).

Строит посуточную карту GeoJSON мест, где воздушные суда (ADS-B) и суда (AIS) сообщали об ухудшенных навигационных данных, из открыто лицензируемых входных данных, а также долю маршрута, проходящую через ячейки с ухудшением. Ячейка с ухудшением — это утверждение о сообщённых полях точности или о неправдоподобных положениях, а не вывод о наличии помех, а ячейка, которую никто не наблюдал, не служит доказательством чистоты маршрута. Прошлые сообщения, а не прогноз.

Экспортирует поток доверия как метрики Prometheus, OpenTelemetry (OTLP/HTTP) и события syslog CEF или LEEF через stdout, HTTP, UDP или TCP, чтобы центр управления безопасностью видел навигационный сбой рядом с другими оповещениями. Недоступный сборщик не останавливает оценку и не остаётся незамеченным. Prometheus, OTLP и CEF прочитаны обратно независимыми разборщиками; LEEF проверен только по собственной спецификации.

Собирает окно вокруг события доверия в пакет с цепочкой хешей, подписанный Ed25519, который любой может проверить автономно: изменённый, удалённый, подменённый или добавленный файл, повторно подписанный пакет или неверный закреплённый ключ называются прямо. К нему привязан необязательный токен метки времени RFC 3161. Техническая запись, а не юридическое заключение, не установление факта и не аттестация.

Записывает движение транспортного средства и события сценария как траекторию CSV и NMEA 0183 для лабораторного имитатора GNSS: столбцы в земной, геодезической и локальной системах скорости, ориентация и UTC. Только движение и события: сигнал не записывается, и характеристики имитатора или приёмника не заявляются.

Сопоставляет выходные данные Kshana с пунктами общедоступных документов (руководство IMO для судов, статья 21 директивы ЕС NIS2, EN 16803, рамочный документ DHS США по устойчивым PNT и руководство EASA для авиации) только по номеру пункта, заполняя по прогонам, которые вы ему даёте, и сообщает, какие строки набор прогонов подкрепляет доказательствами, с пробелом по каждой строке. Это не заключение о том, что какой-либо документ выполнен, и не оценка или одобрение кем-либо.

Открытый верификатор на чистом Rust на стороне приёмника для аутентификации навигационных сообщений открытой службы Galileo: он проверяет, навигационные данные каких спутников приёмник может аутентифицировать по страницам I/NAV или по потоку u-blox UBX, через проверки открытого ключа, цепочки ключей и тегов по спецификации сигнала в пространстве, и сообщает об аутентификации по каждому спутнику и по времени. Он аутентифицирует данные; никакой стойкости к спуфингу он не заявляет.

Какие спутники видит пункт, когда здания, причалы, краны или рельеф закрывают часть неба, и как это влияет на геометрический фактор DOP (ухудшение точности) и горизонтальный эллипс ошибок. Горизонт, зависящий от азимута, заменяет единую маску по углу места; набор видимых спутников, его DOP и эллипс выдаются по эпохам и по орбитальным группировкам. Горизонт убирает спутники прямой видимости и ничего больше: он не моделирует ни отражений, ни дифракции, ни уровня сигнала.

Сведение городской улицы, секторов и рельефа к таблице горизонта, четыре репрезентативных пресета (городская улица, подход к гавани, фьорд, контейнерный терминал) и функции, которые собирают их в скайплот и облако Монте-Карло, из командной строки, MCP, Python и браузера. Пресеты — репрезентативные геометрии с выбранными, указанными размерами, а не съёмки, а сведения проверены только по значениям, вычисленным вручную.

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

Одно воспроизводимое исследование того, на что способна лунная опорная станция на южном полюсе при публичных допущениях: карта покрытия и точности над полярным районом (процентили ошибки положения с поправками и без них, доступность с причиной для каждой недоступной эпохи, уровни защиты и бюджет линии передачи поправок), лаборатория времени, удерживающая лунную опорную шкалу времени на атомных часах, и геодезия добавленного лазерного ретрорефлектора и маяка РСДБ относительно датума по пяти матрицам. Каждый входной параметр помечен публичным источником или как иллюстративный. Это не утверждение о характеристиках какой-либо реальной системы, и Kshana не связана ни с каким ведомством.

Как часто оптическая линия передачи времени работает, когда на трассе есть атмосфера. Для каждого наземного пункта движок выдаёт потери в чистом воздухе, состояние турбулентности Хуфнагеля–Вэлли с гамма-гамма замираниями от сцинтилляции и усреднением по апертуре, доступность относительно запаса линии при заданном облачном климате, потолок, который не поднять никаким запасом, распределение длительностей перерывов и ошибку времени, которую перерыв стоит часам в режиме holdover. Затем он показывает, что дают дополнительные пункты, большая апертура, другая длина волны или адаптивная оптика. Встроенные облачные климаты иллюстративны, а не измерены; результат носит консультативный характер.

Для космического аппарата на сфере (глобальная оболочка из буклета о космической зоне обслуживания ICG) или на кеплеровской траектории от LEO до лунного перелёта подсчитывает по каждой орбитальной группировке (GPS, ГЛОНАСС, Galileo, BDS, QZSS, NavIC) и для всех вместе сигналы выше порога C/N0: доступность одного и четырёх сигналов, самый долгий перерыв, принятое C/N0, геометрический фактор DOP (ухудшение точности) и линии связи по главному лепестку против боковых. Диаграммы направленности передачи — из буклета, параметрический заменитель или ваши собственные; модель ионосферы, плазмосферы и атмосферы по лучу у лимба и проект приёмника слабых сигналов необязательны; включены бортовой фильтр GNSS для высоких орбит и орбит лунного перелёта и относительная навигация построения. MODELLED: при сравнении с таблицами буклета по предварительной регистрации, зафиксированной до прогона, константы минимальной излучаемой мощности и лунный порог согласуются, остальные пороги NOT MET при предварительно зарегистрированном прочтении (почти все — из-за несогласованного угла луча ГЛОНАСС в буклете), а параметрический заменитель боковых лепестков не воспроизводит измеренные диаграммы панелей GPS.

Пять исследований в ограниченной модели трёх тел: бортовое определение орбиты по GNSS Земли на околопрямолинейной гало-орбите относительно независимого определения по наземной дальности и скорости изменения дальности; совместное разрешение целочисленных неоднозначностей фазы несущей по поверхностной станции и орбитальному аппарату (LAMBDA); информация Фишера семипараметрического лунного датума с дальностями «орбитальный аппарат — поверхность» и без них; смещения GNSS, РСДБ и лазерной дальнометрии относительно локальной привязки; и чувствительность к приливным и либрационным параметрам Луны. MODELLED с иллюстративными входными данными: численные методы проверены по независимым программам на numpy и scipy, а не физика. По заранее зарегистрированным порогам три NOT MET: введённая ошибка силы не обнаруживается с заявленной частотой (C3), доля успеха по бутстрепу отличается от оракула numpy на 1.7e-6 при пороге 1e-9 (Q3), и добавление семейства дальностей не всегда снижает след псевдообратной матрицы (G3, половина по следу).