机场地面运行中基于安全约束退化的跑道侵入风险分阶段推断：一种集成STPA-DBN框架

《Aerospace》：Stage-Structured Inference of Runway Incursion Risk Through Safety-Constraint Degradation: An Integrated STPA-DBN Framework for Airport Surface Operations

　　

现有跑道侵入风险研究方法能够在指定条件下估计风险，但在表征跑道保护约束如何跨运行阶段弱化方面能力有限。本研究开发了一种集成的系统理论过程分析（STPA）–动态贝叶斯网络（DBN）框架，用以考察安全约束退化如何跨预定义运行阶段传播至跑道侵入风险。动态因果转换逻辑（DCTL）将STPA衍生的分析产物按原则引导组织为可追溯的单片贝叶斯网络（BN），随后通过选定的片间转移与顺序证据更新扩展至语义阶段。模型使用来自航空安全报告系统（ASRS）的66份人工编码跑道侵入相关报告进行参数化：片内条件概率表（CPT）由这些报告估计并校准，而转移CPT采用专家知情的一阶马尔可夫假设。2023年约翰·肯尼迪国际机场（JFK）跑道侵入事件被用作单次案例推演演示分阶段推断，不构成独立或跨案例验证。后验更新表明未观测监控与核查约束弱化、不安全控制行为（UCA）可能性升高，且跑道占用冲突与B类严重度的倾向持续。情景分析显示，在各自阶段特定条件设定下，替代性安全约束状态使下游危险与B类后验概率产生不同局部变化。该框架支持追溯安全约束退化与阶段特定的跑道安全管理。

研究背景方面，跑道侵入（RI）作为机场地面运行重大安全问题，既有研究多将其归因为线性部件失效，而调查表明其源于环境、认知、程序与协调因素的交互。传统STPA虽能识别不安全控制行为与约束违反，但属定性方法，无法量化不确定性与跨阶段状态演化；常规贝叶斯网络（BN）与动态贝叶斯网络（DBN）又常缺乏与系统理论控制逻辑的可追溯联结。现有方法较少将安全约束作为可退化的中间状态，也难处理叙事报告中时序不完整的问题。为此，研究人员在《Aerospace》发表该研究，旨在回答“安全约束退化如何跨运行阶段传播至跑道侵入风险”这一核心问题。

关键技术方法上，研究人员融合三项方法：其一，采用系统理论过程分析（STPA）提取情境驱动、认知与过程模型、安全约束、UCA、危险与风险六类节点共22个；其二，提出动态因果转换逻辑（DCTL）这一原则导向的拓扑构建准则，将STPA产物映射为可追溯单片BN，避免无约束数据驱动构图；其三，以66份ASRS跑道侵入叙述报告人工编码估计片内CPT，片间转移CPT由专家知情一阶马尔可夫假设指定，并将BN扩展为三语义阶段（T₀情境、T₁认知退化、T₂危险实现）的DBN，以JFK 2023事件作案例顺序证据更新。样本队列即ASRS自愿报告与NTSB对JFK事件的调查材料。

研究结果部分，引言指出RI需从社会技术系统控制不充分理解，STPA-DBN集成可补确定性缺失。相关工作综述确认ICAO定义与ASDE-X等技术局限，明确STPA定性、BN可追溯性不足的研究缺口。方法论中3.1给出STPA-DBN四任务框架；3.2定义六节点集与R₁严重度按FAA A/B/C与参考态离散化；3.3以D₀–D₁₀原则约束边集，形成C→S→SC→U→H→R₁可追溯链；3.4以一阶马尔可夫式P(X_i,t|X_i,t-1)建片间弧，三阶段依叙事功能分配而非等时；3.5用66报告频估片内CPT并对稀疏构型做逻辑引导校准，转移CPT单独专家指定。案例应用中4.1给出报告条件参考态；4.2.1将JFK证据分T₀能见度差/流量大/布局复杂/SC₃可用、T₁飞行员与管制员情境意识退化及过程模型错误硬条件化、T₂无新证据；4.2.2后验显示SC₁（ATC监控）退化概率高于SC₂，U₁高于U₂，H₂跑道占用冲突与R₁的B类持续偏高；4.2.3机制路径归纳为C_1,2,3→S_1,2,3,4→SC_1,2→U_1,2→H₂→R₁，证约束为中间传输层；4.2.4情景分析示SC₁由退化转有效使H₂后验0.675→0.553、R₁的B类0.469→0.388（相对降17.3%），SC₂对应降5.6%，SC₃不可用使H₁ 0.750→0.836、B类0.481→0.503（升4.6%），各情景基线不同不作排序。

讨论部分强调，JFK结果系累积证据下的阶段后验推断而非实证时序验证；认知态为回溯硬条件含后见之明偏差；DCTL非自动成图算法故拓扑间敏感性未评；66样本与未述退化归参考态会低估共现，R₁把FAA D类与非RI合并为参考态损失低危分辨；转移CPT属专家假设待纵向数据校验。结论部分翻译为：本研究开发集成STPA-DBN框架，以考察跑道保护约束如何跨预定义阶段弱化并关联RI后验分阶段变化；DCTL导单片可追溯BN、阶段DBN引入片间持续与顺序更新，约束作可退化中间态而非固定屏障；66份ASRS报告支撑片内CPT校准，片间转移因报告非纵向序列而另设；JFK推演将不利条件与认知退化联至监控核查约束推断弱化、UCA升高、H₂与B类持续，替代约束态产生阶段特定局部响应；解释边界含样本量、稀疏校准、R₁粗离散、专家转移与单案例性质；未来需多机场大数据、高分辨监视与形式敏感分析以增强纵向参数支持。该解读全部浓缩自原文，未引入外部推测。