44、空中交通管制中的协同到达管理与过程发现研究

空中交通管制中的协同到达管理与过程发现研究

1. 协同到达管理相关内容

在航空交通管制的协同到达管理中，Select 转换的任务是在所有候选序列中，为每个输入配置找出“获胜者”，也就是具有最高质量值的序列。它会逐个遍历所有候选序列，同时将每个输入配置下已知的最佳候选序列存储在 Winner 位置，而将代表质量值较低候选序列的令牌丢弃在 Loser 位置。具体来说，这种比较和数据处理是通过 Select 转换子页面 new、equal、worse、better 和 remove 上的网络实现的。

当状态空间中的所有死标记（或候选序列）都被检查完毕，并且为每个输入配置找到了最优序列后，转换及其关联的子页面 SaveResults 会将分析结果写入不同的文本文件。使用三个不同的写文件监视器，分别将获胜候选序列、失败候选序列以及所检查输入配置的描述保存到三个单独的文件中。

ProgressionGraph 页面实现了模块 M3，它在状态空间模式下执行。除了 SaveResults 页面的写文件监视器外，ProgressionGraph 页面还提供了第二种访问和处理模拟结果的方式。SaveResults 页面基于监视器的解决方案是孤立地考虑单个序列规划周期的行为，而 ProgressionGraph 则用于整合多个连续规划周期的结果。为此，ProgressionGraph 依赖于与每个序列（特别是每个“获胜序列”）一起保存的字符串签名，该签名使得能够识别特定获胜序列是从哪个父序列（在前一个规划周期中实现）派生而来的。

ProgressionGraph 页面上的转换实现了三种不同的操作：
- 页面通过单个输入端口 ModuleSwitch 启用。init 转换读