機器人技術中的碰撞問題可以被表示成量詞消去問題，但由于有些碰撞問題的復雜性
使得這些問題在單個微機上求解需要花費的時間很長或者根本就解不出來。本文提出了基于分布Maple 系統下量詞消去算法的并行化，并針對分布Maple 系統的特點以及算法的特點，通過實例分析，給出了兩種并行策略，以達到在Maple 軟件環境下提高處理器利用率，提高量詞消去算法的效率的目的。
關鍵詞：碰撞問題；并行計算；量詞消去算法；分布 Maple
Abstract:In robotics we are often interested in whether two objects will collide with each other.the collision problems can be easily formulated as quantifier elimination problems. Some collision problems are still very time consuming and Some seems to be challenging problems. To raise efficiency of the quantifier elimination algorithm, parallelization of the quantifier elimination algorithm on the Distributed Maple environment is proposed and taking the characteristics of the Distributed Maple system and the algorithm ,and one example ,two kinds of parallel tactic are introduced in this paper. These parallel tactics are of advantage to raise
rate of using processors .
Key words: collision problems ,parallel computing,quantifier elimination algorithm, distributed maple