基于逻辑程序的调机路径规划研究  

Research on Shunting Engine Path Planning Based on Logic Program

作　　者：谢小天 赵岭忠 

机构地区：[1]桂林电子科技大学计算机与信息安全学院,广西桂林541004 [2]广西可信软件重点实验室,广西桂林541004

出　　处：《计算机工程》2018年第1期98-103,共6页Computer Engineering

基　　金：国家自然科学基金(61262008;61562015);广西自然科学基金(2015GXNSFAA139307;2015GXNSFDA139038);广西高等学校高水平创新团队及卓越学者计划项目;广西可信软件重点实验室基金(kx201505);桂林电子科技大学创新团队基金

摘　　要：调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法。在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律。实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响。The core of the shunting engine path planning is to arrange the moving path of each group （disintegration） to complete the grouping（disintegration） task. But the current preparation work is still man-mode,there is big workload, planning is not timely and difficult to adjust. Therefore, a logic programming method based on Answer Set Program （ASP） and Constraint Logic Program over Finite Domains（CLP（FD）） is given. In the case of increasing orbital scale, the time efficiency of the two methods in solving different problem scales and the operation of the corresponding solver are discussed. Experimental results show that ASP is better than CLP（FD） in solving this kind of problem, and the results of path scheduling can be obtained quickly. The corresponding DLV solver can overcome the influence of increasing or decreasing the number of tracks

关 键 词：调机路径规划 回答集程序 有限域的约束逻辑程序 求解器 逻辑程序 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]