调度系统中指派题的符号算法研究.pdfVIP

摘 要 调度系统中指派问题的符号算法研究 摘 要 调度问题是一类 NP 完全问题，多年来一直吸引着无数研究人员的注意。调度问 题的复杂性、调度领域知识的多样性和生产环境的动态性决定了调度问题的解决必须 融合多种技术的手段加以解决。本文将调度系统中的指派问题归结为逻辑函数及其序 列的操作和运算，利用符号技术来进行求解。 论文的主要研究内容包括： 第一，分析了有序二叉决策图及其扩展结构，并对其在符号技术中的应用进行了 探讨,为本文所提出的符号算法实验仿真打下基础； 第二，分析了调度系统中的指派问题特点及求解方法；针对实际生产中存在的并 行加工现象，给出了加权指派问题的数学模型及其相应的二部图加权最优半匹配算 法，将二部图加权半匹配问题转化为经典的二部图权匹配问题进行求解； 第三，比较分析了二部图最优半匹配符号算法与 ASM1 和 ASM2 的执行效果， 实验结果表明，符号算法在处理高密度大规模图时具有优势； 第四，基于 CUDD 软件包，给出了二部图加权最优半匹配符号算法，实验结果 表明，符号技术有效地缓解了二部图半匹配的扩展以及权值增大时所带来的状态爆炸 问题。 关键词：指派问题，有序二叉决策图(OBDD) ，代数决策图(ADD)，最优半匹配，加 权最优半匹配 I 万方数据 Abstract RESEARCH ON THE SYMBOLIC ALGORITHM FOR ASSIGNMENT PROBLEM IN SCHEDULING SYSTEMS Abstract Scheduling problem is one of the NP complete problems which attract the attention of thousands of researchers. Due to the complexity of scheduling problem, diversity of scheduling knowledge and dynamics of manufactural environment, scheduling problems must be solved by considering multiple factors. This dissertation reduces the assignment problem in scheduling systems to the manipulation and calculation of Boolean functions, and solves the problem by symbolic technology. The mainly works of this dissertation are as follows: At first, we study the ordered binary decision diagram and data structures that develop from it and analyze their properties and applications in symbolic technology, which serves as the basis for developing our symbolic algorithm.