基于SAT的路径规划系统的设计

作     者：蔡莉莎 曾维鹏 吴恒玉 CAI Li-sha;ZENG Wei-peng;WU Heng-yu

作者机构：海南软件职业技术学院海南琼海571400 

基　　金：2015年海南省高等学校科学研究项目(Hnky2015-76) 2014海南省高等学校科学研究项目(HNKY2014-98) 

出 版 物：《电子设计工程》 (Electronic Design Engineering)

年 卷 期：2016年第24卷第7期

页      码：11-12,16页

摘      要：本文主要介绍了基于SAT路径规划算法以及路径规划系统的设计方案。通过移动机器人抓取积木为例,介绍了基于SAT路径规划算法包括的规划问题的命题表示方法以及如何使用SAT求解器对规划命题进行求解。该系统较传统的路径规划系统而言,路径规划解提取速度较快,无需传感器的反复检测初始状态及目标状态,规划效率较高。

主 题 词：可满足算法 路径规划系统 Mini SAT求解器 控制器 

学科分类：080901[080901] 0809[工学-计算机类] 08[工学] 

D　O　I：10.14022/j.cnki.dzsjgc.2016.07.004

馆 藏 号：203142796...