一种改进的动态几何图形的生成算法

摘要：

如何根据用户输入的已知条件生成几何图形是几何定理机器可读证明过程中首先要解决的问题.针对几何定理机器证明过程中图形的生成及动态变换问题,结合几何命题的构造性特点,提出了一种改进的几何约束求解算法,该方法通过代数方程组来表示和处理几何图形的约束关系,并将代数方程组化简为三角列式,通过对三角列式的求解来完成图形的生成和变换.通过对比证明该算法克服了传统方法的一些缺陷,并能较好地实现几何图形的动态特性.

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

所属期刊栏目：3

分类号：TP181(自动化基础理论)

在线出版日期：2014-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：88-90,94