新的算法可以在很短的天富注册网址时间内协调数百个机器人之间的复杂行为

时间:2020-08-10 04:35 作者:http://zdtnx.com.cn/ 分享到:
天富注册网址

 

 
一种设计多机器人运动计划的新方法在搜索空间中生长“树”,可以在很短的时间内解决复杂问题。
 
2002年轰动的电影《少数派报告》中有一个令人难忘的场景,汤姆·克鲁斯被迫躲避一群蜘蛛一样的机器人,它们在一幢高耸的公寓大楼里搜索。当大多数观众被小巧敏捷的猎犬替代品惊呆时,计算机工程师可能会对它们优雅的控制系统惊叹不已。
 
在一栋几层楼高、有许多房间、数百个障碍物和数千个检查场所的建筑里,几十个机器人作为一个整体移动。它们以搜索模式分散开来,彻底检查整个建筑,同时分散任务,以免浪费时间沿自己的路径重复搜索,或重新检查其他机器人已经访问过的地方。
 
这样的内聚对于人类控制器来说很难实现,更不用说人工控制器的实时计算了。
 
“如果一个控制问题有三个或四个机器人,生活在这样一个世界,只有少量的房间,如果指定的协作任务是简单的逻辑规则,有最先进的工具,可以计算出一个最优解,在合理的时间内满足任务,”迈克尔·m . Zavlanos说玛丽Milus麻和哈罗德·l .麻Jr .)副教授杜克大学的机械工程和材料科学。
 
扎夫拉诺斯说:“如果你不关心可能的最佳解决方案,你可以在几分钟内解决更多的房间和更复杂的任务,天富注册网址但仍然只有十几个机器人是最好的。”“不能再多了,目前的算法无法克服找到解决方案的巨大可能性。”
 
在4月29日在网上发表的一篇新论文机器人研究的国际期刊,Zavlanos最近和他的博士研究生,Yiannis Kantaros,现在是宾夕法尼亚大学的博士后研究员,提出一个新方法这一挑战叫做笔*,对大规模优化时序逻辑综合,可以解决问题大大超过目前的算法可以处理什么,成百上千的机器人,成千上万的房间和高度复杂的任务,在很短的时间内。
 
要理解这种新方法的基础,首先必须理解线性时序逻辑,它并不像听起来那么可怕。假设你想让几个机器人每天从一个社区收集邮件并把它送到邮局。线性时态逻辑是记录完成此任务所需命令的一种方法。
 
例如,这些命令可能包括按顺序访问每家每户,返回邮局,然后在再次出发前等待某人取回收集到的邮件。虽然这在英语中可能很容易说出来,但用数学表达就比较困难了。线性时态逻辑可以通过使用自己的符号来实现这一点,尽管在一般观察者看来,这些符号可能类似于克林贡语,但它们在表示复杂的控制问题时非常有用。
 
“使用线性这个术语是因为时间点在离散线性时间模型的基础上有一个独特的后继,而时态指的是使用诸如直到、下一个、最终和总是这样的操作符,”Kantaros说。“使用这种数学形式主义,我们可以建立复杂的命令,如‘参观除2号房子以外的所有房子’,‘按照顺序参观3号和4号房子’,以及‘先参观1号房子再去5号房子’。”’”
 
传统控制器在找出最佳导航方式之前,会搜索每一个节点以及它们之间的可能路径。天富注册网址但是随着机器人数量和访问地点的增加,以及需要遵循的逻辑规则变得更加复杂,解决方案空间在非常短的时间内变得难以置信的大
 
 
一个简单的问题是,5个机器人生活在一个有10个房子的世界里,可能包含数百万个节点,捕捉所有可能的机器人位置和行为来完成任务。这需要大量内存来存储,并需要强大的搜索处理能力。
 
为了绕开这个问题,研究人员提出了一种新的方法,即使用树形结构创建更小的近似,而不是将这些难以置信的大图完整地构建出来。在该过程的每一步,算法都从大图中随机选择一个节点,将其添加到树中,并重新连接树中节点之间的现有路径,以找到从开始到结束的更多直接路径。
版权所有:http://zdtnx.com.cn 转载请注明出处

成功案例success case