期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于逻辑程序的调机路径规划研究
被引量:
1
1
作者
谢小天
赵岭忠
《计算机工程》
CAS
CSCD
北大核心
2018年第1期98-103,共6页
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(C...
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法。在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律。实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响。
展开更多
关键词
调机路径规划
回答集程序
有限域的约束逻辑程序
求解器
逻辑程序
下载PDF
职称材料
题名
基于逻辑程序的调机路径规划研究
被引量:
1
1
作者
谢小天
赵岭忠
机构
桂林电子科技大学计算机与信息安全学院
广西可信软件重点实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2018年第1期98-103,共6页
基金
国家自然科学基金(61262008
61562015)
+4 种基金
广西自然科学基金(2015GXNSFAA139307
2015GXNSFDA139038)
广西高等学校高水平创新团队及卓越学者计划项目
广西可信软件重点实验室基金(kx201505)
桂林电子科技大学创新团队基金
文摘
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法。在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律。实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响。
关键词
调机路径规划
回答集程序
有限域的约束逻辑程序
求解器
逻辑程序
Keywords
shunting
engine
path
planning
Answer
Set
Program
(ASP)
Constraint
Logic
Program
over
Finite
Domains(
CLP
(FD)
)
solver
logic
program
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于逻辑程序的调机路径规划研究
谢小天
赵岭忠
《计算机工程》
CAS
CSCD
北大核心
2018
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部