conflict-resilience（场景类型）
引擎v0.40.0的场景类型，所属类别为GPS拒止下的替代PNT。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。
作用#
MODELLED分层PNT冲突韧性（P7）：处于对抗环境中的用户配置若干PNT层（开放服务GNSS、宽带GNSS、经认证的星座、增强中继），每层有基础可用性、1σ 精度，以及对共同的压制干扰/欺骗干扰威胁的逐向量拒止脆弱性。按强度扫描、带随机种子的蒙特卡罗以概率clamp(vulnerability·intensity·vector_weight,0,1) 拒止每一层，用闭式的逆方差规则 σ_fused=(Σ 1/σ_i²)^(−1/2) 融合幸存的层，并报告全部丧失的概率（所有层均被拒止）、融合误差中位数，以及各层随强度变化的可用/拒止统计。在独立性假设下，标题性的韧性比（单层与分层的全部丧失概率之比）约为7x；随后的单因子高斯copula相关拒止扫描表明，随着拒止相关性上升，这个约7x会向1塌缩（相关性使分层失效）。先验敏感性部分通过mcda龙卷风图、狄利克雷威胁投入再分配和百分位置信区间，在有来源依据的脆弱性先验范围内给出该标题数字的变化范围。VALIDATED的核心：蒙特卡罗的全部丧失概率收敛到闭式的独立乘积 Π_i p_deny_i（在固定随机种子和足够大的N下，误差在蒙特卡罗标准误之内）；逆方差融合是闭式恒等式；在 ρ=0时copula退化为独立模型，且每个 ρ 都保持各层的边际拒止率。MODELLED：各层的脆弱性/可用性/精度量值是有来源但由模型设定的输入（JammerTest 2024、TEXBAT、EASA SIB、RTCA DO-229、LunaNet/IOAG，见conflict_threat_params），具体的约7x量值和比值对相关性的曲线形状由该参数化得出。随后的 §4.2逐向量生存分解把共同的RF威胁拆分为四个已命名的向量（压制干扰/欺骗干扰/动能/网络），并报告每个向量的可用PNT优雅降级曲线S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0,1)))：VALIDATED：带随机种子的逐层蒙特卡罗收敛到该闭式；对于相关RF基线，压制干扰是最尖锐的向量，而不受RF影响的惯性层是决定性的幸存者。不是经认证的导航可用性产品。
运行一次scenarios/conflict-resilience.toml的摘要为：conflict-resilience | 4层（0个基线）| 参考强度1.00 | 韧性比 闭式6.73x，蒙特卡罗6.19x（分层与单层之比）| 相关性使分层失效：比值在rho 0.00时为7.50x，在rho 0.95时为1.21x | 先验置信区间 [5.51-8.48]x | 逐向量生存率，参考 压制干扰26% 欺骗干扰80% 动能100% 网络99%（压制干扰最尖锐）| 约7x的标题数字为MODELLED，蒙特卡罗到闭式、融合恒等式、copula边际分布、逐向量生存率为VALIDATED
输入#
来自模式（kshana kinds --json）：
- 必填字段：无
- 可选字段：
layers、intensity、correlation、trials、seed、primary_layer
示例scenarios/conflict-resilience.toml设置了以下内容等：
| 字段 | 取值 | 单位 |
|---|---|---|
correlation.values |
[0, 0.2, 0.4, 0.6, 0.8, 0.95] | 未说明 |
intensity.max |
1 | 未说明 |
intensity.min |
0 | 未说明 |
intensity.steps |
11 | 未说明 |
kind |
conflict-resilience | 文本 |
layers[0].availability |
0.99 | 1 |
layers[0].name |
GNSS L1 C/A（开放服务） | 文本 |
layers[0].sigma_m |
4 | m |
layers[0].vector_profile.cyber |
0.18 | 1 |
layers[0].vector_profile.jamming |
0.98 | 1 |
layers[0].vector_profile.kinetic |
0.12 | 1 |
layers[0].vector_profile.spoofing |
0.85 | 1 |
运行#
kshana scenarios/conflict-resilience.toml给出什么#
该次运行的标量结果，单位为引擎所给出的单位：
| 结果 | 取值 | 单位 |
|---|---|---|
correlation_sweep.min_ratio_over_grid |
1.210978 | 1 |
correlation_sweep.reference_intensity |
1 | 1 |
evidence.id_rule |
矩阵行的稳定标识（ID | 文本 |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | 文本 |
evidence.tier |
MODELLED | 文本 |
per_vector_survival.reference_intensity |
1 | 1 |
per_vector_survival.sharpest_vector |
jamming | 文本 |
primary_layer |
0 | 计数 |
prior_sensitivity.nominal_ratio |
6.731912 | 1 |
prior_sensitivity.reference_intensity |
1 | 1 |
结果标签（引擎给出的）：MODELLED分层PNT冲突韧性（P7）。VALIDATED的核心：蒙特卡罗的全部丧失概率收敛到闭式的独立乘积Pi_i p_deny_i（在固定随机种子和足够大的N下，断言其在蒙特卡罗标准误之内）；逆方差位置融合sigma_fused = (sum_i 1/sig
证据#
验证矩阵中没有任何一行按名称列出此类型；其结果上的标签是引擎自己的，见上文。
本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：
- MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
- MODELLED基于Kshana自己的七个韧性类别（不是DHS术语）、RethinkPNT RDRR功能和Yang判据的逐维度子得分，每项都标记为由模型计算得出，并带有i。参考基准（InternalConsistency）：手工推导的逐指标公式：逆辛普森多样性、加权平均综合值、有界/无界时间线时长、最弱环节等级阶梯
局限#
本次运行自身的报告所说的未建模或未经独立验证的内容：
- MODELLED分层PNT冲突韧性（P7）。VALIDATED的核心：蒙特卡罗的全部丧失概率收敛到闭式的独立乘积Pi_i p_deny_i（在固定随机种子和足够大的N下，断言其在蒙特卡罗标准误之内）；逆方差位置融合sigma_fused = (sum_i 1/sigma_i^2)^(-1/2) 是闭式恒等式；在相关系数rho=0时，高斯copula恰好退化为独立模（结果
label） - MODELLED分层PNT冲突韧性（P7）：处于对抗环境中的用户配置若干PNT层（开放服务GNSS、宽带GNSS、经认证的星座、增强中继），每层有基础可用性、1σ 精度，以及对共同的压制干扰/欺骗干扰威胁的逐向量拒止脆弱性。（类型目录（
kshana kinds --json）） - 在独立性假设下，标题性的韧性比（单层与分层的全部丧失概率之比）约为7x；随后的单因子高斯copula相关拒止扫描表明，随着拒止相关性上升，这个约7x会向1塌缩（相关性使分层失效）。（类型目录（
kshana kinds --json）） - MODELLED：各层的脆弱性/可用性/精度量值是有来源但由模型设定的输入（JammerTest 2024、TEXBAT、EASA SIB、RTCA DO-229、LunaNet/IOAG，见conflict_threat_params），具体的约7x量值和比值对相关性的曲线形状由该参数化得出。（类型目录（
kshana kinds --json）） - 处于对抗环境中的用户配置四个RF PNT层，它们都使用同一频段，因此共用压制干扰/欺骗干扰这一拒止向量：这是脆弱且相关的情形。该场景报告：* 全部丧失概率随威胁强度的变化（蒙特卡罗对照其收敛到的闭式独立乘积），* 在独立性假设下，分层与单层的韧性比约为7x，* 这个约7x如何塌缩到（场景文件注释，第3至15行）
- 每个逐层量值都是带有出处的MODELLED输入；有来源的 [min, nominal, max] 先验和逐向量敏感度配置见src/conflict_threat_params.rs（JammerTest 2024、TEXBAT、EASA SIB 2022-02、RTCA DO-229、LunaNet/IOAG）。省略
layers会运行同样的有来源的四层基线；为透明起见，此处把它完整写出，包括每一层的vector_profile。（场景文件注释，第17至22行） - 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
- 与PNT韧性框架对齐的评分为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
另请参阅#
- 类别页面：GPS拒止下的替代PNT
- 所有类型：KINDS.md
- 主题页面：RESILIENCE-CROSSWALK.md