Research On Interaction Technology Based On Automated Geometry Reasoning

With the development of CAD technology, CAD system is applied in every walks of life. CAD technology with intelligence is generated by the combination of CAD technology with Artificial Intelligence, which becomes the front-subject in science research and is the important research focus in the field of computer application. The efficiency of a good CAD systems depends on the efficiency of interactive geometrical design system.For traditional graphical interactive technology, the computer is completely passive and deal with the graph complicated and tediously. Although some progress in intelligent interaction technology has been made, the products are not satisfied completely in the realization of intelligent interaction. Automated geometry reasoning is one of the core technique of CAD. There are four inference methods in the field of automated geometry reasoning. However, every inference method presents some imperfection.To solve above problems, automated geometry reasoning and intelligent interaction technology are investigsted in the paper. And also translation, rotation methods of geometric solid were given in-plane of frame of axes in the paper. For intelligent interaction, a series of methods, such as conic approximation, lagrangianinterpolation, spline interpolating, data fitting, method and algorithm of Bezier curve and method of derivation of polynomial function are proposed.Mathematical expression of geometric solid is obtained by using mathematical methods. When a designer modifies the graph, the computer could suggest some possible constraints to achieve ideal effect in human-computer interaction, which may exist in the automated geometry reasoning and intelligent interaction technology.In the paper, intelligent interaction arithmetic and time complexity of the arithmetic are proposed. A series of examples are conducted to test the reliability of the validity of the arithmetic.