Finally, principal disjunctive normal form and DFS fast search are adopted to accomplish resources matching for all tasks concretely.

• 最后用主合取范式结合DFS快速搜索法具体地为所有的任务进行资源匹配。