柔性制造系统中生产调度问题载誉归来的一种符号算法.pdfVIP

第 13 卷第 2 期 计算机集成制造系统 Vol . 13 No . 2 2 0 0 7 年 2 月 Comp ut er Int egrat ed Manufact uring Sy st em s Feb . 2 0 0 7 ( ) 文章编号 :1006 - 59 11 2007 02 - 0338 - 07 柔性制造系统中生产调度问题求解的一种符号算法 古天龙 ,熊太平 ,赵岭忠 (桂林电子科技大学 计算机系 ,广西 　桂林 　54 1004) 摘 　要 : 讨论了基于有序二叉决策图的有界 Pet ri 网符号分析 ,给出了其中镜像计算的一种新算法 ,进而建立 了柔性制造系统生产调度问题的符号有序二叉决策图求解算法 。该算法在求解过程中通过对状态空间及其有哪些信誉好的足球投注网站 过程中相关数据的有序二叉决策图表示 ,避免了状态和有哪些信誉好的足球投注网站的显示枚举 ,实现了隐式高效操作 ,进而改善了算法的 计算性能 。仿真实验表明了算法的有效性 。 关键词 : 赋时 Pet ri 网;柔性制造系统调度 ;有序二叉决策图;符号算法 中图分类号 : TP39 　　　文献标识码 :A Novel symbol ic OBDD algorithm f or production schedul ing in FMS GU Ti an - long , X I ON G Tai - p i ng , Z H A O L i ng - z hong ( Sch . of Comp ut er Sci . , Guilin U niv . of Elect ronic Tech . , Guilin 　54 1004 , China) Abstract : Bounded Pet ri net symbolic analy si s based on Or dered Binary Deci sion Diagram ( OBDD) wa s di scu ssed , and a novel image algorit hm wa s p resent ed , t hen t he symbolic OBDD algorit hm for p roduction scheduling in Flexible Manufact uring Sy st em ( FM S) wa s p ut forwar d . In t hi s met hod , t he relative dat a in st at e sp ace and search p rocess were rep resent ed by OBDD , t hereby avoided t he explicit enumeration of st at e and search , and t he imp licit high effi ciency manip ulation wa s realized so t hat t he algorit hm p erformance wa s imp roved . Simulation exp eriment illu st rat ed t he effectiveness of t hi s algorit hm . Key words : timed Pet ri net s ; flexible manufact uring syst em scheduling ; or dered binary deci sion diagram ; sy