lunar-frame-realisation (вид сценарію)

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

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

Модельована реалізація місячної системи відліку: підгонка 7-параметричного датуму Гельмерта (подібності) — 3 трансляції, 3 повороти малого кута, 1 масштаб — що прив'язує оцінений набір координат точок MCMF, виведених із селенографічних, до датуму зваженим методом найменших квадратів (crate::batch_ls::gauss_newton), плюс проста прив'язка орієнтації, що виражає реалізований малий поворот навколо осей ICRF відносно орієнтації тіла за IAU 2015 WGCCRE. Сценарій вводить відоме мале перетворення (трансляція ~десятки м, поворот ~мкрад, масштаб ~1e-7) у добре розподілену синтетичну мережу точок, додає гауссів шум із зерном, відновлює датум і звітує про відновлене перетворення, похибку відновлення за кожним параметром відносно введеної істини та післяпідгоночну середньоквадратичну нев'язку. MODELLED самоузгодженість — відновлює введене перетворення подібності (без шуму приблизно до машинної точності), а НЕ реалізацію за реальними даними трекінгу/VLBI; детермінований (із зерном); жодних TRL, спадщини чи схвалення агенцій.

Один прогін scenarios/lunar-frame-realisation.toml підсумовується так: lunar-frame-realisation | 8 точок | похибка трансляції 3.125e-1 м, похибка повороту 3.418e-7 рад, похибка масштабу -5.891e2 ppb | середньоквадр. нев'язка 0,887 м | converged false

Входи#

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

• Обов'язкові поля: немає
• Необов'язкові поля: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day

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

Запуск#

kshana scenarios/lunar-frame-realisation.toml

Що це дає#

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

Докази#

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

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

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• VALIDATED Підгонка 7-параметричного датуму Гельмерта + прив'язка орієнтації ICRF з мережі точок. Оракул (ExternalDataset): незалежний замкнений зважений розв'язувач перетворення подібності Умеяма (Хорна) (на основі SVD у numpy/scipy; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — інший алгоритм, ніж ітеративна підгонка Гаусса–Ньютона в kshana, що досягає того самого однозначно визначеного оптимуму зважених найменших квадратів на ідентичних за байтами мережах точок

Обмеження#

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

• MODELLED самоузгодженість — відновлює введене перетворення подібності (без шуму приблизно до машинної точності), а НЕ реалізацію за реальними даними трекінгу/VLBI; детермінований (із зерном); жодних TRL, спадщини чи схвалення агенцій. (каталог видів (kshana kinds --json))
• Чесність: MODELLED самоузгодженість. Оракул — це відновлення введеного 7-параметричного перетворення подібності (без шуму приблизно до машинної точності) плюс алгебраїчна тотожність прямого й зворотного перетворення apply_helmert. Це НЕ реалізація місячної системи відліку за реальними даними трекінгу / VLBI і не претендує на жодну абсолютну точність системи відліку. Детермінований (із зерном). Не заявляється жодних TRL, льотної спадщини чи схвалення агенцій. (коментар у файлі сценарію, рядки 23–27)
• Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

• Сторінка родини: Місячний і цисмісячний простір
• Усі різновиди: KINDS.md