一种基于可处理不等式约束的动态几何自动作图软件GeoDraw  

GEODRAW:A DYNAMIC AND AUTOMATIC GEOMETRIC DIAGRAMS DRAWING SOFTWARE WITH INEQUALITY CONSTRAINTS PROCESSING CAPABILITY

作　　者：赵婷[1,2] 

机构地区：[1]北京航空航天大学SKLSDE-LIMB-数学与系统科学学院,北京100191 [2]巴黎六大计算机科学实验室,巴黎f75252

出　　处：《计算机应用与软件》2012年第9期41-44,65,共5页Computer Applications and Software

基　　金：法国国家科研署和中国国家自然科学基金联合项目(ANR-09-BLAN-0371-01/60911130369);软件开发环境国家重点实验室开放课题项目(SKLSDE-2011KF-02)

摘　　要：针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw。该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形,能通过鼠标点击和拖拽图形中的自由元素改变更新图形,并且在图形变化中动态地保持几何约束关系,主要应用于几何教学与研究。整个作图过程包括Maple中的三角分解,QEPCAD中的实量词消去以及Java中的语义解析、数值计算和图形生成等,且是完全自动的。In light of the deficiency that most existing geometric diagrams drawing software can only deal with equality constraints,a dynamic and automatic geometric diagrams drawing software GeoDraw,with the capability of processing inequality constraints,is designed and implemented.The software can effectively generate dynamic geometric diagrams containing inequality constraints by applying symbolic and numerical mixed computation and combining the drawing approaches of construction mode and generation mode together.It can alter and update the graphics through clicking mouse and dragging free elements in diagram,and maintain dynamically the geometric constraints relation when the diagram is altering.It is mainly used in geometric teaching and study.The whole process of diagram drawing including triangular decomposition in Maple,real quantifier elimination in QEPCAD and semantics parsing in Java,numerical computation and graphics generation,etc.,all are completely automatic.

关 键 词：动态几何图形 自动作图 不等式约束 符号和数值计算 生成式作图 三角分解 量词消去 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]