機(jī)器人技術(shù)中的碰撞問(wèn)題可以被表示成量詞消去問(wèn)題，但由于有些碰撞問(wèn)題的復(fù)雜性
使得這些問(wèn)題在單個(gè)微機(jī)上求解需要花費(fèi)的時(shí)間很長(zhǎng)或者根本就解不出來(lái)。本文提出了基于分布Maple 系統(tǒng)下量詞消去算法的并行化，并針對(duì)分布Maple 系統(tǒng)的特點(diǎn)以及算法的特點(diǎn)，通過(guò)實(shí)例分析，給出了兩種并行策略，以達(dá)到在Maple 軟件環(huán)境下提高處理器利用率，提高量詞消去算法的效率的目的。
關(guān)鍵詞：碰撞問(wèn)題；并行計(jì)算；量詞消去算法；分布 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