碰撞问题中的量词消去算法的并行化研究

摘要：

机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来.本文提出了基于分布Maple系统下量词消去算法的并行化,并针对分布Maple系统的特点以及算法的特点,通过实例分析,给出了两种并行策略,以达到在Maple软件环境下提高处理器利用率,提高量词消去算法的效率的目的.

关键词：碰撞问题、并行计算、量词消去算法、分布Maple

所属期刊栏目：23

分类号：TP311;TP301.6(计算技术、计算机技术)

资助基金：宁夏自然科学基金NZ0729;中国科学院数学机械化重点实验室项目200504;宁夏大学校科研和教改项目LG0505

在线出版日期：2008-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：251-252,293