线性时序逻辑

作品数：73被引量：185H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧林林禹鑫燚郭永奎李永明肖云涛更多>>
相关机构：浙江工业大学国防科学技术大学中国科学院软件研究所清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=高技术通讯x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于线性时序逻辑的移动端快递派送路径规划被引量：3
《高技术通讯》2017年第6期544-553,共10页禹鑫燚 郭永奎 欧林林 汪涛 卢靓 张爱美 
863计划(2014AA041601-05);浙江省公益项目(2016C31064);浙江省自然科学基金(LY15F030015)资助项目
研究了快递派送的路径规划。针对目前快递派送任务点较多,快递员不熟悉派送区域的问题,提出了一种基于线性时序逻辑(LTL)的移动端多点快递派送路径规划方法。该方法利用移动端的百度地图应用包实现快递员的定位与导航任务,提出两层(顶...
关键词：快递派送 路径规划 线性时序逻辑(LTL) 移动端 
基于线性时序逻辑理论的仓储机器人路径规划被引量：9
《高技术通讯》2016年第1期16-23,共8页禹鑫燚 陈浩 郭永奎 程诚 欧林林 俞立 
国家自然科学基金(61273116);863计划(2014AA041601-05);浙江省自然科学基金(LY15F030015)资助项目
首先根据仓储物流环境的特点构建了可灵活扩展的仓储环境模型，并制定了适合仓储物流需求的机器人运动规则，使该模型能够适用于动态的仓储物流环境；其次采用线性时序逻辑任务公式描述具体的任务需求，使其可以适用于实际应用中更加复...
关键词：路径规划 线性时序逻辑(LTL) 仓储机器人 DIJKSTRA算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部