27、空域冲突解决算法与柔性作业车间调度算法选择研究

空域冲突解决算法与柔性作业车间调度算法选择研究

空域冲突解决中的证据理论应用

在空域冲突解决中，综合考虑冲突优先级顺序容易导致决策困境。Dempster在1967年提出了Dempster - Shafer理论（DST），其学生Shafer在1976年进一步发展和完善了该理论，能够对多源不确定信息进行不精确推理并获得问题的解决方案。证据理论方法可以融合两种优先级评分方法的信息，解决空域冲突解决的决策问题。

DST对于空域冲突解决（ACR）的定义

证据理论首先确定识别框架（或假设空间）Θ，它被定义为一组不相容事件的完整集合，在数据融合中可视为平台数据库（PDB）。空域冲突解决可看作是空域使用计划（AUP）的综合优先级设置。对于N个空域使用计划，会有N个不相容事件，形成一个识别框架Θ。对于每个事件，基本概率分配（即质量函数）是一个从定义域2Θ到值域[0, 1]的函数，且满足：
- (m(\varphi) = 0)
- (\sum_{A\subseteq2^{\Theta}} m(A) = 1)

其中(m(A))称为事件A的基本可靠性分配，表示对事件A的支持程度。对于ACR问题，事件A的基本可靠性分配定义为：
(m(A) = \frac{p(A)}{\sum_{B\subset2^{\Theta}} p(B)})

这里(p(A))表示事件A的优先级得分。也就是说，决策者对空域使用计划A（或其组合）的优先级得分越高，对它的支持程度就越高。基本可靠性分配与优先级得分成比例，且满足识别框架的基本可靠性分配之和为1。(m(\phi) = 0)表示没有空域使用计划具有最高的总体优先级。

同时，根据DST理