共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
基于几何约束求解的完备方法 总被引:2,自引:0,他引:2
针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIMO算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果. 相似文献
3.
为了提高科技文档中几何作图的效率,在科技文档字处理软件ScienceWord中实现了一种基于约束的平面几何作图系统.为了构建基于约束的作图系统,对约束的相关理论作了研究,讨论了该作图系统的总体设计框架和构建约束作图系统的一般步骤,介绍了系统中建立元素之间约束的用户界面设计.由于系统充分考虑了图形元素之间的几何关系,用户不必求助于别的软件就能在科技文档中高效地绘制出各种复杂的几何图形. 相似文献
4.
基于SVG的动态几何智能电子白板研究 总被引:2,自引:0,他引:2
通过平面几何图形形式化描述方法,利用新型网络图形标准SVG实现了支持Web动态几何智能作图的电子白板。讨论了动态几何智能电子白板中的信息表示、信息处理、信息交互、信息传递和信息存储等环节。 相似文献
5.
随着初等几何命题可视化机器证明的发展,如何让几何教学辅助软件能够直接理解几何命题的含义,自动生成对应的几何图形并进行推理证明,成为当前研究的一个新问题。现有的几何命题理解方法虽然在一定程度上实现了几何命题向形式化命令的转化,但是这些方法均没有考虑几何命题中分句间的逻辑关系,无法解决分句间形式化命令的冗余和冲突问题,导致后期自动作图和推理的准确率不高。针对这一问题,在前期工作的基础上提出了一个几何命题分句间形式化命令融合算法,并将该融合算法集成应用于已有的自然语言几何作图接口进行实验论证。结果显示,几何命题分句间形式化命令融合算法将自然语言几何作图的准确率从原来的84.17%提高到了91.67%,能够有效提高几何命题理解的准确性。 相似文献
6.
本文介绍了Windows环境下设计图形编辑软件中常遇到的图元存储格式、动态作图、图元的动态移动及拷贝的处理方案及具体实现步骤,并给出了C Builder运用于这几种操作的编程实现。 相似文献
7.
动态几何软件以其动态、直观的特点广泛应用于几何约束作图。针对数据结构缺乏对动态几何领域内可复用的抽象描述的问题,提出一种动态几何软件领域模型的设计方法。首先经过领域分析来识别并划分出最基本的上下文边界,然后通过领域模型设计得到动态几何软件核心领域模型,最后在体系结构建模过程中,在纵向与横向两个维度对动态几何软件进行解耦。实验结果表明,利用该领域模型设计方法研发的动态几何软件能正确地处理图形在临界位置退化的情形。该模型表达的领域知识同时适用于二维及三维的动态几何软件,并支持对不同设备分别设计布局与交互,实现了领域知识的高层次复用。 相似文献
8.
9.
10.
可伸缩矢量图(SVG)是一种基于XML的语言,用于绘制二维图形以及用户定制图形的呈现.利用这种新型网络图形标准,可以构建出初等数学函数的基本结构.应用该结构,实现了支持Web的动态函数作图.详尽讨论了基于SVG的函数表示方法和动态作图的策略及算法,同时确定了一种能够根据用户数据自动确定最佳比例,以缩放SVG图形的方法. 相似文献