-
题名基于几何规则和前向模拟的机器人自主探索
被引量：1
- 1
-
-
作者
胡家豪
庞鲁超
李晟浩
刘爽
-
机构
华东理工大学机械与动力工程学院
-
出处
《控制工程》
CSCD
北大核心
2022年第6期1119-1128,共10页
-
文摘
在未知环境下进行自主探索和地图创建问题,现有自主探索方法主要集中于基于边界扫描的自主探索,其计算量大、效率低下、在复杂环境中耗时长。针对此问题,提出一种基于探索区域几何规则的前向模拟(G-FS)方法。该方法利用探索区域的几何规则、序贯蒙特卡洛规划选取最终目标点。该方法有效增加了机器人单次探索的移动距离,并解决了前向模拟方法的局部问题,提高了自主探索的效率。通过G-FS与前向模拟、边界扫描方法的对比实验证明,在相同环境下,所提出的G-FS算法计算量大幅降低,制图所耗时间明显减少,效率提高。
-
关键词
自主探索
几何规则
边界检测
前向模拟
-
Keywords
Autonomous exploration
geometric rules
frontier detection
forward simulation
-
分类号
TP24
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种改进的数据求精证明规则
- 2
-
-
作者
张宏
贺也平
石志国
-
机构
中国科学院软件研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第1期23-25,共3页
-
基金
国家“973”计划基金资助项目(G1999035802)
-
文摘
提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。
-
关键词
多级安全系统
数据求精
前向模拟
后向模拟
-
Keywords
multilevel secure system
data refinement
forward simulation
backward simulation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
