建立了任务指派问题的数学模型,采用差异演化算法对其进行求解,给出了差异演化算法求解该问题的具体方案,对不同的任务指派问题算......

In this paper, the authors continue the researches described in [1], that consists in a comparative study of two methods......

有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一，由于ＯＢＤＤ的最大对变量序非常敏感，使得变量排序问题成为最关键的一个问题。首先将ＯＢＤＤ变量排......