碰撞问题中的量词消去算法的并行化研究
机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来。本文提出了基于分布Maple 系统下量词消去算法的并
2024-04-15
1