首页 | 本学科首页   官方微博 | 高级检索  
     

碰撞问题中的量词消去算法的并行化研究
引用本文:吴素萍,王定康.碰撞问题中的量词消去算法的并行化研究[J].微计算机信息,2007,23(32):251-252,293.
作者姓名:吴素萍  王定康
作者单位:1. 750021 银川 宁夏大学数学计算机学院;100080 北京 中国科学院数学机械化重点实验室
2. 100080,北京 中国科学院数学机械化重点实验室
基金项目:宁夏自然科学基金;中国科学院数学机械化重点实验室项目;宁夏大学校科研和教改项目
摘    要:机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来。本文提出了基于分布Maple系统下量词消去算法的并行化.并针对分布Maple系统的特点以及算法的特点,通过实例分析,给出了两种并行策略,以达到在Maple软件环境下提高处理器利用率,提高量词消去算法的效率的目的。

关 键 词:碰撞问题  并行计算  量词消去算法  分布Maple
文章编号:1008-0570(2007)11-2-0251-D2
修稿时间:2007-08-102007-10-15

Research of the Quantifier Elimination Algorithm Parallelization on collision Problems
WU SUPING,WANG DINGKANG.Research of the Quantifier Elimination Algorithm Parallelization on collision Problems[J].Control & Automation,2007,23(32):251-252,293.
Authors:WU SUPING  WANG DINGKANG
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
Keywords:collision problems  parallel computing  qnantifier elimination algorithm  distributed maple
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号