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

一种改进的动态几何图形的生成算法
引用本文:李晓霞. 一种改进的动态几何图形的生成算法[J]. 智能计算机与应用, 2013, 0(6): 88-90,94
作者姓名:李晓霞
作者单位:广东第二师范学院计算机科学系,广州510310
摘    要:如何根据用户输入的已知条件生成几何图形是几何定理机器可读证明过程中首先要解决的问题。针对几何定理机器证明过程中图形的生成及动态变换问题,结合几何命题的构造性特点,提出了一种改进的几何约束求解算法,该方法通过代数方程组来表示和处理几何图形的约束关系,并将代数方程组化简为三角列式,通过对三角列式的求解来完成图形的生成和变换。通过对比证明该算法克服了传统方法的一些缺陷,并能较好地实现几何图形的动态特性。

关 键 词:几何约束关系  约束求解  谓词语句  构造语句  三角列

An Improved Algorithm for Dynamic Geometry Generation
LI Xiaoxia. An Improved Algorithm for Dynamic Geometry Generation[J]. INTELLIGENT COMPUTER AND APPLICATIONS, 2013, 0(6): 88-90,94
Authors:LI Xiaoxia
Affiliation:LI Xiaoxia (Department of Computer Science, GuangDong University of education, Guangzhou 510310, China)
Abstract:How to generate geometric graph according to the known condition of user input is the first problem to solve in the process of geometric theorem machine readable proof. Aiming at the generation and dynamic transformation of the graph, combining with the structural characteristics of geometry proposition, this paper presents an improved geometric con- straint solving algorithm, this method represents geometric constraints by algebraic equations, which are simplified to trian- gular column type, then complete the generation and transformation graph through solving the triangular column. And the comparison show that the algorithm overcomes some defects of traditional methods, and can better realize the dynamic geom- et~.
Keywords:Geometric Constraint  Constraint Solving  Pediatric Statement  Structural Statement  Triangular Column
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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