柔性制造系统中生产调度问题求解的一种符号算法  

Novel symbolic OBDD algorithm for production scheduling in FMS

作　　者：古天龙[1] 熊太平[1] 赵岭忠[1] 

机构地区：[1]桂林电子科技大学计算机系,广西桂林541004

出　　处：《计算机集成制造系统》2007年第2期338-344,共7页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(60563005;60243002)。~~

摘　　要：讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,避免了状态和搜索的显示枚举,实现了隐式高效操作,进而改善了算法的计算性能。仿真实验表明了算法的有效性。Bounded Petri net symbolic analysis based on Ordered Binary Decision Diagram （OBDD） was discussed. and a novel image algorithm was presented, then the symbolic OBDD algorithm for production scheduling in Flexible Manufacturing System （FMS） was put forward. In this method, the relative data in state space and search process were represented by OBDD, thereby avoided the explicit enumeration of state and search, and the implicit high effi- ciency manipulation was realized so that the algorithm performance was improved. Simulation experiment illustrated the effectiveness of this algorithm.

关 键 词：赋时PETRI网 柔性制造系统调度 有序二叉决策图 符号算法 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]