安全域公理:连续与脉冲扰动的量化约束
-- 安全操作域公理的形式化定义
axiom-safety-domain :∀ (s : SystemState) (d : Disturbance) →is-safe s d ↔(case d ofcontinuous ns → amplitude d ≤ A_max (spectrum-index ns)pulsed pn → amplitude d ≤ 0.90 inter-arrival pn ≥ T* (amplitude d))该公理定义了…
2026/8/1 5:30:03