首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
郭海燕  刘清堂  陈矛  黄焕  葛强 《计算机科学》2012,39(103):503-506
在计算机几何作图软件日趋成熟的情况下,如何让用自然语言描述的几何命题自动生成几何图形一直是几何作图软件研究中的难题。结合已有几何作图软件的需求,通过对几何自然语言的研究,建立了一套有效可行的语言理解模型,设计并开发了由几何自然语言向几何作图命令转换的接口,实现了将自然语言描述的几何命题自动转换为几何作图命令并生成几何图形的功能。测试结果表明,其转换正确率在84.17%以上。  相似文献   

2.
基于几何约束求解的完备方法   总被引:2,自引:0,他引:2  
针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIMO算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果.  相似文献   

3.
吴文文  于俊清 《计算机工程与设计》2007,28(17):4257-4259,4262
为了提高科技文档中几何作图的效率,在科技文档字处理软件ScienceWord中实现了一种基于约束的平面几何作图系统.为了构建基于约束的作图系统,对约束的相关理论作了研究,讨论了该作图系统的总体设计框架和构建约束作图系统的一般步骤,介绍了系统中建立元素之间约束的用户界面设计.由于系统充分考虑了图形元素之间的几何关系,用户不必求助于别的软件就能在科技文档中高效地绘制出各种复杂的几何图形.  相似文献   

4.
基于SVG的动态几何智能电子白板研究   总被引:2,自引:0,他引:2  
陈联 《计算机工程》2006,32(10):25-27
通过平面几何图形形式化描述方法,利用新型网络图形标准SVG实现了支持Web动态几何智能作图的电子白板。讨论了动态几何智能电子白板中的信息表示、信息处理、信息交互、信息传递和信息存储等环节。  相似文献   

5.
黄焕  刘清堂  陈矛 《计算机科学》2013,40(8):196-199,226
随着初等几何命题可视化机器证明的发展,如何让几何教学辅助软件能够直接理解几何命题的含义,自动生成对应的几何图形并进行推理证明,成为当前研究的一个新问题。现有的几何命题理解方法虽然在一定程度上实现了几何命题向形式化命令的转化,但是这些方法均没有考虑几何命题中分句间的逻辑关系,无法解决分句间形式化命令的冗余和冲突问题,导致后期自动作图和推理的准确率不高。针对这一问题,在前期工作的基础上提出了一个几何命题分句间形式化命令融合算法,并将该融合算法集成应用于已有的自然语言几何作图接口进行实验论证。结果显示,几何命题分句间形式化命令融合算法将自然语言几何作图的准确率从原来的84.17%提高到了91.67%,能够有效提高几何命题理解的准确性。  相似文献   

6.
本文介绍了Windows环境下设计图形编辑软件中常遇到的图元存储格式、动态作图、图元的动态移动及拷贝的处理方案及具体实现步骤,并给出了C Builder运用于这几种操作的编程实现。  相似文献   

7.
管皓  秦小林  饶永生  曹晟 《计算机应用》2020,40(4):1127-1132
动态几何软件以其动态、直观的特点广泛应用于几何约束作图。针对数据结构缺乏对动态几何领域内可复用的抽象描述的问题,提出一种动态几何软件领域模型的设计方法。首先经过领域分析来识别并划分出最基本的上下文边界,然后通过领域模型设计得到动态几何软件核心领域模型,最后在体系结构建模过程中,在纵向与横向两个维度对动态几何软件进行解耦。实验结果表明,利用该领域模型设计方法研发的动态几何软件能正确地处理图形在临界位置退化的情形。该模型表达的领域知识同时适用于二维及三维的动态几何软件,并支持对不同设备分别设计布局与交互,实现了领域知识的高层次复用。  相似文献   

8.
依据有向图理论提出了去并拟合方法,由此导出了对于几何约束求解问题的去并拟合的并行处理及串行处理策略,进而得到了一套求解几何约束问题的完备算法。通过将该理论引入到参数化CAD的设计中,使得在算法复杂度增加不大的情况下,几何自动作图的范围大大拓宽。还将其应用于智能动态几何软件的设计中,取得了较好的结果。  相似文献   

9.
基于拓展LIMD算法的智能动态几何软件设计   总被引:4,自引:0,他引:4  
林强  任磊  陈颖  范科峰  戴国忠 《计算机学报》2006,29(12):2163-2171
几何约束求解技术是新一代智能化参数化CAD的核心技术之一,是CAD领域的一个前沿课题.其目的是提供工程图形的自动求解,其主要特点是:自由拖动元素、动态图形生成、动态测量、动态轨迹生成.LIMD是约束求解中一个应用较广的算法,作者对该算法进行了拓宽和改进,提出了具体解决方法,并得到了较好结果.  相似文献   

10.
周明伟  黄曼绮  袁丁  陈联 《计算机工程与设计》2007,28(18):4501-4503,4506
可伸缩矢量图(SVG)是一种基于XML的语言,用于绘制二维图形以及用户定制图形的呈现.利用这种新型网络图形标准,可以构建出初等数学函数的基本结构.应用该结构,实现了支持Web的动态函数作图.详尽讨论了基于SVG的函数表示方法和动态作图的策略及算法,同时确定了一种能够根据用户数据自动确定最佳比例,以缩放SVG图形的方法.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号