一种基于可处理不等式约束的动态几何自动作图软件geodraw geodrawa dynamic and automatic geometric diagrams drawing software with inequality constraints processing capability.pdfVIP

V01．29 第29卷第9期 计算机应用与软件 NO．9 2012年9月 andSoftware ComputerApplications Sep．2012 赵 婷 (北京航空航天大学SKLSDE．LIMB一数学与系统科学学院北京100191) (巴黎六大计算机科学实验室 巴黎F-75252) 摘要 针对目前大部分几何作图软件只能处理等式约束的不足，设计并实现一神基于可处理不等式约束的动态几何自动作图 软件GeoDraw。该软件应用符号和数值混合计算，将构造式和生成式作图方法相结合，可以有效地生成含有不等式约束的动态几何 图形，能通过鼠标点击和拖拽图形中的自由元素改变更新图形，并且在图形变化中动态地保持几何约束关系