acm-link (вид сценария)
Вид сценария движка v0.40.0, семейство Анализ миссий, линии связи и космические операции. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Каждая метка здесь принадлежит движку или матрице верификации; вид считается MODELLED, если матрица не говорит иного (как заслуживается метка: раздел README «Evidence»).
Что делает#
Один спутник над одной станцией: наклонная дальность, угол места и Es/N0 вдоль каждого прохода, MODCOD DVB-S2, выбранный на каждом шаге (пороги ETSI EN 302 307-1, таблица 13, плюс запас реализации), и объём данных, который ACM передаёт по сравнению с базовым вариантом постоянного кодирования, замыкающимся на маске. MODELLED.
Один прогон scenarios/acm-link.toml сводится к следующему: acm-link: 3 прохода(ов); ACM 92866 Mbit против CCM 8PSK 3/4 58495 Mbit -> выигрыш x1.59 (MODELLED)
Входные параметры#
Из схемы (kshana kinds --json):
- Обязательные поля: нет
- Необязательные поля:
epoch,duration_hours,step_s,refraction,light_time,link,satellite,station
Пример scenarios/acm-link.toml задаёт, среди прочего:
| Поле | Значение | Единица |
|---|---|---|
duration_hours |
12 | h |
epoch |
[2024, 1, 1, 0, 0, 0] | не указано |
kind |
acm-link | текст |
light_time |
true | флаг |
link.acm_step_s |
10 | s |
link.eirp_dbw |
7 | dBW |
link.frequency_ghz |
8.2 | GHz |
link.implementation_margin_db |
1 | dB |
link.other_losses_db |
2 | dB |
link.symbol_rate_msps |
20 | Msymbol/s |
link.zenith_atm_loss_db |
0.3 | dB |
refraction |
true | флаг |
Запустите#
kshana scenarios/acm-link.toml
Что он даёт#
Скалярные результаты этого прогона с единицами, которые указывает движок:
| Результат | Значение | Единица |
|---|---|---|
acm_gain |
1.587588 | 1 |
acm_volume_mbit |
92866.013644 | Mbit |
altitude_km |
550 | km |
ccm_es_n0_at_mask_db |
9.550995 | dB |
ccm_modcod |
8PSK 3/4 | текст |
ccm_volume_mbit |
58495.039442 | Mbit |
duration_hours |
12 | h |
eirp_dbw |
7 | dBW |
evidence.id_rule |
стабильный идентификатор строки матрицы (ID | текст |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | текст |
Метка результата (движка): MODELLED — адаптивное кодирование и модуляция DVB-S2 на проходах одного спутника у одной станции: Es/N0 при ясном небе вдоль каждого видимого прохода, наиболее эффективный MODCOD, преодолевающий порог ETSI EN 302 307-1, таблица 13, плюс запас, по сравнению с MODCOD постоянного кодирования, замыкающимся на маске; без дожде
Доказательства#
MODELLED: строки матрицы верификации, называющие этот вид.
- MODELLED Es/N0 нисходящей линии вдоль каждого прохода одного спутника над одной станцией (EIRP, потери в свободном пространстве, косекансные атмосферные потери, прочие потери, G/T, постоянная Больцмана, символьная скорость), наиболее эффективный MODCOD DVB-S2, преодолевающий свой порог ETSI EN 302 307-
Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):
- MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
- VALIDATED Проходы видимости (AOS, TCA, LOS, максимальный видимый угол места, длительность) набора элементов SGP4 над станцией WGS-84 на валидированном пути околоземной орбиты (IAU 2006. Оракул (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) с Hipparchus 4.0.3: TLEPropagator на тех же наборах элементов в TEME, который Orekit строит по заявленному определению (его IERS 2010 TOD, повёрнутая на GAST - GMST), ElevationDetector и ElevationExtremumDetector с ITURP834AtmosphericRefraction и без неё, а также AngularAzEl с AngularRadioRefractionModifier для случая с временем распространения света, пересечения и максимум решаются Hipparchus; 60 случаев (f
- MODELLED Es/N0 нисходящей линии вдоль каждого прохода одного спутника над одной станцией (EIRP, потери в свободном пространстве, косекансные атмосферные потери, прочие потери, G/T, постоянная Больцмана,. Оракул (InternalConsistency): Внутренняя согласованность: спектральная эффективность, вычисленная в замкнутом виде по K_bch из таблицы 5a и длинам кадров, согласуется с эффективностями, которые печатает таблица 13 (проверка переписывания таблицы порогов); части бюджета линии согласуются со своими замкнутыми формами; выбор монотонен по Es/N0 и учитывает запас; ACM передаёт не меньше объёма при постоянном кодировании. Геометрия проходов получена из отдельно VALIDATED a
Ограничения#
Что отчёт самого прогона называет не смоделированным или не проверенным:
- MODELLED — адаптивное кодирование и модуляция DVB-S2 на проходах одного спутника у одной станции: Es/N0 при ясном небе вдоль каждого видимого прохода, наиболее эффективный MODCOD, преодолевающий порог ETSI EN 302 307-1, таблица 13, плюс запас, по сравнению с MODCOD постоянного кодирования, замыкающимся на маске; без дождевого замирания и потерь наведения вдоль прохода (результат
label) - MODELLED. (каталог видов (
kshana kinds --json)) - Каждое число ниже ILLUSTRATIVE: это не орбита, не станция и не бюджет линии какого-либо оператора. MODELLED. (комментарий в файле сценария, строка 8)
- Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
- Адаптивное кодирование и модуляция DVB-S2 на проходе нисходящей линии LEO — MODELLED, а не validated: проверено по собственному замкнутому / аналитическому тождеству — это выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
См. также#
- Страница семейства: Анализ миссий, линии связи и космические операции
- Все виды: KINDS.md
- Тематическая страница: CONTACT-SCHEDULING.md