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

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

quantum-trade (тип сценарію)

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

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

Компроміс квантового та класичного PNT (13503): вигода від holdover часу + інерційного holdover кандидатного годинника (виміряна крива ADEV — опора захищеності — або клас квантового годинника) проти базового класичного класу, із застереженням про припущення щодо підлоги на довгих tau, яке несе артефакт, плюс огинаюча стійкості від часу в умовах відсутності GNSS. MODELLED; кількісно оцінює (ніколи не підтверджує) пристрій партнера. Кандидатний годинник — це виміряна крива (candidate_adev_taus + candidate_adev_values, однакової довжини, щонайменше 2 точки; має перевагу, коли задано обидві форми) або candidate_clock_class.

Один прогін scenarios/quantum-trade.toml підсумовується так: quantum-trade | кандидат виміряний ADEV | holdover часу 2621947s проти 203s (12943.62x) | інерційний 14108s проти 378s (37.34x) | інерційний рух для стійкості 14108s | MODELLED [із застереженням про припущену підлогу]

Входи#

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

  • Обов'язкові поля: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
  • Необов'язкові поля: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

Приклад scenarios/quantum-trade.toml задає, серед іншого:

Поле Значення Одиниця
baseline_clock_class csac text
candidate_adev_taus [1, 10, 100, 1000, 10000, 100000] не вказано
candidate_adev_values [5.0000e-16, 1.6000e-16, 6.0000e-17, 4.0000e-17, 6.0000e-17, не вказано
kind quantum-trade text
position_threshold_m 100 m
resilience_times_s [1, 60, 600, 1800, 3600, 7200, 14400, 28800] s
timing_threshold_s 2.0000e-8 s

Запуск#

kshana scenarios/quantum-trade.toml

Що це дає#

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

Результат Значення Одиниця
candidate_source measured-ADEV text
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
resilience.alt_pnt_active false flag
resilience.coast_time_s 14108.310907 s
resilience.exceeds_horizon false flag
resilience.threshold_m 100 m
trade.baseline.floor_assumed true flag
trade.baseline.inertial_holdover_s 377.849037 s

Мітка результату (рушія): MODELLED — кількісно оцінює (ніколи не підтверджує) годинник/датчик партнера; не продемонстровано в польоті

Діаграма, яку рушій записує для scenarios/quantum-trade.toml, тип quantum-trade

Докази#

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

  • VALIDATED Відновлення степеневого закону (білий FM + підлога червоного шуму) методом NNLS з опублікованої виміряної девіації Аллана переходу оптичного годинника ⁸⁸Sr — відтворення σ_y(τ) і основного масштабування 4.7e-16/√τ на коротких τ зі справжньою виміряною підлогою на довгих τ, а не Тести: optical_clock_adev_reference.rs.
  • VALIDATED Підгонка виміряної ADEV методом NNLS, смуги узгодженості χ² для NEES/NIS і дискретна коваріація процесного шуму годинника за ван Лоаном (інерційний рух у holdover) — обчислювальний хребет рушія компромісів Тести: scipy_reference.rs.
  • MODELLED Уведення виміряної ADEV (NNLS), таблиця компромісів (holdover часу/інерційний + вигода), огинаюча стійкості від часу; застереження щодо підлоги несе артефакт.

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

  • VALIDATED Підгонка виміряної ADEV методом NNLS, смуги узгодженості χ² для NEES/NIS і дискретна коваріація процесного шуму годинника за ван Лоаном (інерційний рух у holdover) — обчислювальний хребет рушія компромісів. Оракул (ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q точно, χ² <5e-4 при робочих ступенях свободи. Лише ядра — показники продуктивності пристроїв лишаються на рівні «обчислено за моделлю» (наступний рядок)
  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • MODELLED Уведення виміряної ADEV (NNLS), таблиця компромісів (holdover часу/інерційний + вигода), огинаюча стійкості від часу; застереження щодо підлоги несе артефакт. Запускається з. Оракул (ExternalDataset): ядро підгонки виміряної ADEV→PSD (NNLS) збігається з scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — незалежне зовнішнє ядро; але ЧИСЛА компромісу кількісно оцінюють (ніколи не підтверджують) годинник/CAI партнера, тож сам компроміс лишається MODELLED, без ореолу перевірки
  • PARTNER Не надається — лише моделі продуктивності; обладнання на холодних атомах і годинники належать партнеру. Оракул (NoneKind): немає: дисципліна у власності партнера, без модуля й без тесту за задумом

Обмеження#

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

  • MODELLED — кількісно оцінює (ніколи не підтверджує) годинник/датчик партнера; не продемонстровано в польоті (результат label)
  • Компроміс квантового та класичного PNT (13503): вигода від holdover часу + інерційного holdover кандидатного годинника (виміряна крива ADEV — опора захищеності — або клас квантового годинника) проти базового класичного класу, із застереженням про припущення щодо підлоги на довгих tau, яке несе артефакт, плюс огинаюча стійкості від часу в умовах відсутності GNSS. (каталог типів (kshana kinds --json))
  • MODELLED; кількісно оцінює (ніколи не підтверджує) пристрій партнера. (каталог типів (kshana kinds --json))
  • Обчислює вигоду від holdover часу та інерційного holdover КАНДИДАТНОГО годинника порівняно з КЛАСИЧНИМ базовим, плюс огинаючу стійкості від часу в умовах відсутності GNSS. Підлога кандидата визначається MEASURED кривою перекривної ADEV годинника партнера (опора захищеності), підігнаною методом невід'ємних найменших квадратів — тож бюджет holdover спирається на реальні дані, а не на припущену підлогу на довгих tau. (коментар у файлі сценарію, рядки 3–7)
  • ЧЕСНИЙ ОБСЯГ: MODELLED — він КІЛЬКІСНО ОЦІНЮЄ вигоду від квантового годинника партнера; він НЕ підтверджує пристрій і ніколи не запозичує острівці перевірки SGP4/Allan/IGS. Коли підлога в будь-якому рядку є припущеним класовим значенням за замовчуванням, застереження щодо підлоги відображається на артефакті. Запуск: kshana scenarios/quantum-trade.toml (коментар у файлі сценарію, рядки 9–12)
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Компроміс квантового та класичного PNT і стійкість за відсутності GNSS (13503) має рівень MODELLED, а не незалежно підтверджений: підтвердження стосується окремого підпункту, але вся можливість складається з обчислених за моделлю частин, тож можливість лишається на рівні «обчислено за моделлю». (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#