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

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

lunar-time-offset (вид сценарію)

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

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

Модельована релятивістська швидкість ходу годинників Земля–Місяць (Координований місячний час, LTC/TCL): вікова швидкість LTC−TT, що випливає з різниці власних потенціалів і кінетичного складника Місяця, подана з опублікованою смугою 56–59 мкс/добу, плюс накопичений зсув на горизонті.

Один прогін scenarios/lunar-time-offset.toml підсумовується так: lunar-time-offset | вікова швидкість LTC−TT 57,04 мкс/добу (смуга 56–59) | власний потенціал 57,50 кінетичний -0.46 | зсув @ 1,00 доба = 57,04 мкс

Входи#

Зі схеми (kshana kinds --json):

  • Обов'язкові поля: немає
  • Необов'язкові поля: epoch_year, epoch_month, epoch_day, horizon_days

Приклад scenarios/lunar-time-offset.toml задає, зокрема:

Поле Значення Одиниця
epoch_day 1 d
epoch_month 1 не вказано
epoch_year 2000 не вказано
horizon_days 1 доба
kind lunar-time-offset text

Запуск#

kshana scenarios/lunar-time-offset.toml

Що це дає#

Скалярні результати цього прогону з одиницями, які вказує рушій:

Результат Значення Одиниця
band_high 59 us/day
band_low 56 us/day
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
horizon_days 1 доба
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 мкс
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
Діаграма, яку рушій записує для scenarios/lunar-time-offset.toml, вид lunar-time-offset

Докази#

Жоден рядок матриці не називає цей тип за назвою; позначка на його результаті — власна позначка рушія, наведена вище.

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

  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • VALIDATED Релятивістська швидкість ходу годинників Земля–Місяць (LTC/TCL) + ланцюжок TT/TAI/UTC + ансамбль. Оракул (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; основа для IAU/IAG LunaNet LTC): власний потенціал поверхні Місяця L_m = 3.13881e-11 і вікова сума 56,02 мкс/добу збігаються як опубліковані числові значення; геоцентричну швидкість Місяця перехресно перевірено за JPL DE440 (de440s.bsp через SPICE)

Обмеження#

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

  • Чесність: MODELLED, не сертифіковано. Головний показник мкс/добу залежить від еталона (геоїд Землі W0 проти місячного селеноїда, вікно усереднення, знехтувані центробіжні поправки/поправки J2 нижче мкс/добу) -> чесним виходом є смуга, а не одне число. Нічого тут не перевірено до субнаносекундної абсолютної точності й не сертифіковано для операційного підтримання часу. Звіт також дає накопичений зсув LTC-TT на гори (коментар у файлі сценарію, рядки 11–16)
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#