Automated Reasoning Based On The Geometry Of Parallel Technology Owes Over Constraint To Determine The Study

The traditional CAD system is very efficient on building engineering drawing and three-dimensioned entity model, but it does not satisfy disigner who often encounters modification and choice in the conceptualism design phase. Since 1963, put forward the CAD concept, the CAD system has gone through four significant technology innovations. Intelligent CAD is fourth innovation, and geometric automatic reasoning is the core of intelligent CAD, which is automaticlly construct a geometric graph that consists of a given set of geometric entities and satisfying geometric constraints between the entities by computer.The unconventional analysis of geometric automatic reasoning is very important question. It includes some questions as follows: judging under constrainted and over constrainted, more solutions, the astringency of solutions. This paper uses parallel technology to judge under constrainted and over constrainted, recommend the approaches of choosing the initialized points, grouping entities and finding constraints -loop. Through importing the parallel technology, supply a gap that inefficient reasoning. After judging under constrainted and over constrainted, recommend the modify strategy, make it become well constrainted.This paper uses the distributed component object model to implement parallel reasoning arithmetic. The experiment results show that the parallel reasoning improves the reasoning speed on largescale geometrical problem, judges under constrainted and over constrainted quickly, and plays an important role in geometric automatic reasoning.