空中交通运行的优雅降级

除非能证明新技术和新运行概念不仅在标称条件下，而且在降级条件下也不会对系统运行产生不利影响，否则无法将其引入空中交通系统。在极端情景下，因部分或完全技术故障导致的降级运行绝不应危及系统安全。过去的许多系统演进，无论是地面还是机载系统，都基于试错法，只有在特定事件导致严重或近乎严重的后果后才解决系统安全问题。然而，未来的系统演进必须利用可用的计算能力、先验知识和抽象推理，来预见所有可能的系统降级，并证明此类降级是优雅且安全的。本文关注高密度、结构化进场交通在部分或完全监视失效情况下的优雅降级。研究表明，对于相同的性能要求，某些交通构型可能比其他构型更易于处理，从而为这些交通构型提供了定量视角以评估其“优雅降级”的能力。为了支持我们的工作，我们还引入了一种新的冲突解脱算法，旨在解决当航空器位置信息正在降级过程中涉及多架航空器的冲突。