基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务.但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题.为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法.在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律.实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响.
推荐文章
基于单逻辑程序的一致性规划任务有限域表示方法
一致性规划
有限域表示
数据记录搜索算法
逻辑程序
PPDDL
信念状态
基于逻辑程序的档案信息安全技术研究
逻辑程序
档案信息安全
信息安全技术
存储技术
FPGA 组合逻辑程序的 Petri 网建模方法
现场可编程门阵列
组合逻辑
Petri 网
建模方法
状态可达图
基于逻辑程序的免疫识别器动态覆盖性初探
免疫识别器
动态覆盖性
逻辑程序
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于逻辑程序的调机路径规划研究
来源期刊 计算机工程 学科 工学
关键词 调机路径规划 回答集程序 有限域的约束逻辑程序 求解器 逻辑程序
年,卷(期) 2018,(1) 所属期刊栏目 体系结构与软件技术
研究方向 页码范围 98-103
页数 6页 分类号 TPTP311
字数 6047字 语种 中文
DOI 10.3969/j.issn.1000-3428.2018.01.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 赵岭忠 桂林电子科技大学计算机与信息安全学院 64 229 8.0 11.0
5 谢小天 桂林电子科技大学计算机与信息安全学院 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (137)
共引文献  (45)
参考文献  (14)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1959(1)
  • 参考文献(0)
  • 二级参考文献(1)
1973(1)
  • 参考文献(0)
  • 二级参考文献(1)
1977(2)
  • 参考文献(0)
  • 二级参考文献(2)
1978(1)
  • 参考文献(0)
  • 二级参考文献(1)
1980(1)
  • 参考文献(0)
  • 二级参考文献(1)
1981(1)
  • 参考文献(0)
  • 二级参考文献(1)
1982(2)
  • 参考文献(0)
  • 二级参考文献(2)
1983(1)
  • 参考文献(0)
  • 二级参考文献(1)
1984(2)
  • 参考文献(0)
  • 二级参考文献(2)
1985(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(4)
  • 参考文献(0)
  • 二级参考文献(4)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(2)
  • 参考文献(0)
  • 二级参考文献(2)
1993(3)
  • 参考文献(0)
  • 二级参考文献(3)
1994(3)
  • 参考文献(1)
  • 二级参考文献(2)
1996(4)
  • 参考文献(0)
  • 二级参考文献(4)
1997(6)
  • 参考文献(0)
  • 二级参考文献(6)
1998(5)
  • 参考文献(0)
  • 二级参考文献(5)
1999(4)
  • 参考文献(0)
  • 二级参考文献(4)
2000(10)
  • 参考文献(0)
  • 二级参考文献(10)
2001(4)
  • 参考文献(0)
  • 二级参考文献(4)
2002(5)
  • 参考文献(0)
  • 二级参考文献(5)
2003(10)
  • 参考文献(1)
  • 二级参考文献(9)
2004(7)
  • 参考文献(0)
  • 二级参考文献(7)
2005(4)
  • 参考文献(0)
  • 二级参考文献(4)
2006(7)
  • 参考文献(2)
  • 二级参考文献(5)
2007(11)
  • 参考文献(1)
  • 二级参考文献(10)
2008(11)
  • 参考文献(0)
  • 二级参考文献(11)
2009(11)
  • 参考文献(0)
  • 二级参考文献(11)
2010(13)
  • 参考文献(0)
  • 二级参考文献(13)
2011(10)
  • 参考文献(6)
  • 二级参考文献(4)
2013(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(2)
  • 参考文献(2)
  • 二级参考文献(0)
2018(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
调机路径规划
回答集程序
有限域的约束逻辑程序
求解器
逻辑程序
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
总被引数(次)
317027
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导