-
题名碰撞问题中的量词消去算法的并行化研究
- 1
-
-
作者
吴素萍
王定康
-
机构
宁夏大学数学计算机学院
中国科学院数学机械化重点实验室
-
出处
《微计算机信息》
北大核心
2007年第32期251-252,293,共3页
-
基金
宁夏自然科学基金资助项目吴方法的并行计算(NZ0729)
基于分布Maple系统的吴方法的并行计算中国科学院数学机械化重点实验室(200504)
宁夏大学科研基金资助项目基于分布Maple系统的特征列算法的并行计算(LG0505)
-
文摘
机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来。本文提出了基于分布Maple系统下量词消去算法的并行化,并针对分布Maple系统的特点以及算法的特点,通过实例分析,给出了两种并行策略,以达到在Maple软件环境下提高处理器利用率,提高量词消去算法的效率的目的。
-
关键词
碰撞问题
并行计算
量词消去算法
分布Maple
-
Keywords
collision problems ,parallel computing,qnantifier elimination algorithm, distributed maple
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP301.6
[自动化与计算机技术—计算机系统结构]
-