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

• 作者: 李晓霞
• 来源期刊: 智能计算机与应用
• 学科: 工学
• 关键词: 几何约束关系 约束求解 谓词语句 构造语句 三角列
• 年，卷（期）: 2013,（6）
• 页码范围: 88-90,94
• 页数: 4页
• 分类号: TP181
• 字数: 4798字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓霞	广东第二师范学院计算机科学系	5	3	1.0	1.0