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

摘要：

调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务.但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题.为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法.在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律.实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响.

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

所属期刊栏目：44

分类号：TPTP311

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

在线出版日期：2018-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：98-103