调度问题是一类NP完全问题,多年来一直吸引着无数研究人员的注意。调度问题的复杂性、调度领域知识的多样性和生产环境的动态性决定了调度问题的解决必须融合多种技术的手段加以解决。本文将调度系统中的指派问题归结为逻辑函数及其序列的操作和运算,利用符号技术来进行求解。　　论文的主要研究内容包括:　　第一,分析了有序二叉决策图及其扩展结构,并对其在符号技术中的应用进行了探讨,为本文所提出的符号算法实验仿真打下基础;　　第二,分析了调度系统中的指派问题特点及求解方法;针对实际生产中存在的并行加工现象,给出了加权指派问题的数学模型及其相应的二部图加权最优半匹配算法,将二部图加权半匹配问题转化为经典的二部图权匹配问题进行求解;　　第三,比较分析了二部图最优半匹配符号算法与ASM1和ASM2的执行效果,实验结果表明,符号算法在处理高密度大规模图时具有优势;　　第四,基于 CUDD软件包,给出了二部图加权最优半匹配符号算法,实验结果表明,符号技术有效地缓解了二部图半匹配的扩展以及权值增大时所带来的状态爆炸问题。