Машинний переклад, не перевірений носієм мови. Еталоном є англійська версія.

Сторінки видів сценаріївРедагувати на GitHubДжерело: docs/kinds/by-kind/acm-link.md

acm-link (різновид сценарію)

Різновид сценарію рушія v0.40.0, родина Аналіз місій, лінії та космічні операції. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не навігаційне обладнання із затвердженням типу і не послуга забезпечення безпеки життя. Кожна позначка тут — рушія або матриці верифікації; різновид є MODELLED, якщо матриця не каже іншого (як заслужити позначку: розділ README про докази).

Що він робить#

Один супутник над однією станцією: похила дальність, висота над горизонтом та Es/N0 кожного проходу вздовж проходу, MODCOD DVB-S2, обраний на кожному кроці (пороги ETSI EN 302 307-1, таблиця 13, плюс запас реалізації), і обсяг даних, який ACM передає порівняно з базовим рівнем сталого кодування, що замикається на масці. MODELLED.

Один прогін scenarios/acm-link.toml підсумовується так: acm-link: 3 прохід(ів); ACM 92866 Мбіт проти CCM 8PSK 3/4 58495 Мбіт -> приріст 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 text
light_time true flag
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 flag

Запуск#

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 text
ccm_volume_mbit 58495.039442 Mbit
duration_hours 12 h
eirp_dbw 7 dBW
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text

Позначка результату (рушія): MODELLED — адаптивне кодування та модуляція DVB-S2 на проходах одного супутника над однією станцією: Es/N0 за ясного неба вздовж кожного видимого проходу, найефективніший MODCOD, що долає свій поріг із таблиці 13 ETSI EN 302 307-1 плюс запас, проти MODCOD зі сталим кодуванням, який замикається на масці; без дощового

Діаграма, яку рушій записує для scenarios/acm-link.toml, різновид acm-link

Докази#

MODELLED: рядки матриці верифікації, що називають цей різновид.

  • MODELLED Es/N0 низхідної лінії вздовж кожного проходу одного супутника над однією станцією (EIRP, втрати у вільному просторі, атмосферні втрати за косекансним законом, інші втрати, G/T, стала Больцмана, символьна швидкість), найефективніший MODCOD DVB-S2, що долає свій ETSI EN 302 307-

Рядки, які задіяв сам прогін, з оракулом, що його дає матриця кожному (публічні джерела названі там):

  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (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 а

Обмеження#

Що, за власним звітом прогону, не обчислено за моделлю або не перевірено за зовнішнім еталоном:

  • MODELLED — адаптивне кодування та модуляція DVB-S2 на проходах одного супутника над однією станцією: Es/N0 за ясного неба вздовж кожного видимого проходу, найефективніший MODCOD, що долає свій поріг із таблиці 13 ETSI EN 302 307-1 плюс запас, проти MODCOD зі сталим кодуванням, який замикається на масці; без дощового загасання чи втрат наведення вздовж проходу (результат label)
  • MODELLED. (каталог різновидів (kshana kinds --json))
  • Кожне число нижче є ILLUSTRATIVE: жодна орбіта, станція чи бюджет лінії жодного оператора. MODELLED. (коментар у файлі сценарію, рядок 8)
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Адаптивне кодування та модуляція DVB-S2 вздовж проходу низхідної лінії LEO — MODELLED, а не перевірено за зовнішнім еталоном: звірено з власною замкненою / аналітичною тотожністю — ловить помилки транскрипції та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#