基于Web的动态几何软件领域模型及其应用

doi:10.11772/j.issn.1001-9081.2019091672

计算机应用 ›› 2020, Vol. 40 ›› Issue (4): 1127-1132.DOI: 10.11772/j.issn.1001-9081.2019091672

基于Web的动态几何软件领域模型及其应用

管皓^1,2, 秦小林^1,2, 饶永生³, 曹晟⁴

1. 中国科学院大学计算机科学与技术学院, 北京 100049;
2. 中国科学院成都计算机应用研究所, 成都 610041;
3. 广州大学计算科技研究院, 广州 510006;
4. 电子科技大学信息与软件工程学院, 成都 610054

收稿日期:2019-09-30 修回日期:2019-11-22 出版日期:2020-04-10 发布日期:2019-12-06
通讯作者: 秦小林
作者简介:管皓(1991-),男,四川南充人,博士研究生,主要研究方向:计算机图形学、智能教育软件;秦小林(1980-),男,重庆人,研究员,博士,主要研究方向:自动推理、群智能、计算机数学;饶永生(1980-),男,江西抚州人,讲师,博士,主要研究方向:计算机图形学、智能教育软件;曹晟(1981-),男,湖北武汉人,副教授,博士,主要研究方向:智能教育、区块链。
基金资助:
国家自然科学基金资助项目（11701118）；四川省科技计划项目（2018GZDZX0041）。

Domain model of Web-based dynamic geometry software and its applications

GUAN Hao^1,2, QIN Xiaolin^1,2, RAO Yongsheng³, CAO Sheng⁴

1. School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing 100049, China;
2. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu Sichuan 610041, China;
3. Institute of Computing Science and Technology, Guangzhou University, Guangzhou Guangdong 510006, China;
4. School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu Sichuan 610054, China

Received:2019-09-30 Revised:2019-11-22 Online:2020-04-10 Published:2019-12-06
Supported by:
This work is partially supported by the the National Natural Science Foundation of China(11701118),the Sichuan Science and Technology Program(2018GZDZX0041).

摘要/Abstract

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

关键词: 动态几何, 软件方法, 领域模型, 几何约束求解

Abstract: Dynamic geometry software is widely applied to geometric constraint constructions because it is dynamic and intuitive. Aiming at a problem that the data structures in the field of dynamic geometry lack reusable abstract descriptions,a design method of the dynamic geometric software domain model was proposed. Firstly,the basic context boundaries were identified and outlined by means of domain analysis. Then,a dynamic geometry software core domain model was designed through the domain model. Finally,the dynamic geometry software was decoupled in both vertical and horizontal dimensions during the architecture modeling process. Experimental results show that the dynamic geometry software developed by using the design method of the proposed domain model can correctly deal with the graphic degradation situation at a critical position. The domain knowledge expressed by the model is applicable to 2D and 3D dynamic geometry software at the same time,and can design the layout and interaction for different devices respectively,thus a high-level reuse of the domain knowledge is achieved.

Key words: dynamic geometry, software method, domain model, geometric constraint solving

中图分类号:

TP319

管皓, 秦小林, 饶永生, 曹晟. 基于Web的动态几何软件领域模型及其应用[J]. 计算机应用, 2020, 40(4): 1127-1132.

GUAN Hao, QIN Xiaolin, RAO Yongsheng, CAO Sheng. Domain model of Web-based dynamic geometry software and its applications[J]. Journal of Computer Applications, 2020, 40(4): 1127-1132.

参考文献

[1] 张景中, 江春莲, 彭翕成.《动态几何》课程的开设在数学教与学中的价值[J]. 数学教育学报,2007,16(3):1-5. (ZHANG J Z, JIANG C L,PENG X C. The value of Dynamic Geometry course in mathematics teaching and learning[J]. Journal of Mathematics Education,2007,16(3):1-5.)
[2] BATTISTA M T. Learning geometry in a dynamic computer environment[J]. Teaching Children Mathematics,2002,8(6):333-339.
[3] BOKOSMATY S, MAVILIDI M F, PAAS F. Making versus observing manipulations of geometric properties of triangles to learn geometry using dynamic geometry software[J]. Computers and Education,2017,113:313-326.
[4] BANTCHEV B B. A brief tour to dynamic geometry software[EB/OL].[2019-07-03]. https://pdfs.semanticscholar.org/d7ed/66c5277510879e27274b483247449a8a690a.pdf.
[5] 陈联. 基于SVG的动态几何智能电子白板研究[J]. 计算机工程,2006,32(10):25-27. (CHEN L. Study of whiteboard supporting dynamic geometry intelligent drawing based on SVG[J]. Computer Engineering,2006,32(10):25-27.)
[6] 任磊, 杨海燕, 刘媛媛, 等. 基于笔交互的智能动态几何可视化白板系统[J]. 软件学报,2007,18(S):120-128.(REN L,YANG H Y,LIU Y Y,et al. An intelligent pen-based whiteboard system for dynamic geometry visualization[J]. Journal of Software,2007, 18(S):120-128.)
[7] MIN L,CHAO Y,ZHANG J,et al. Realization of Web dynamic geometry intelligent drawing system based on Silverlight[C]//Proceedings of the 2008 International Symposium on Knowledge Acquisition and Modeling. Piscataway:IEEE,2008:288-292.
[8] 刘郑. 面向教育的三维动态几何关键技术研究[D]. 武汉:华中师范大学,2012:36-40. (LIU Z. Research of education-oriented key technologies on three-dimensional dynamic geometry[D]. Wuhan:Central China Normal University,2012:36-40.)
[9] HIDALGO M R,JOAN-ARINYO R. The reachability problem in constructive geometric constraint solving based dynamic geometry[J]. Journal of Automated Reasoning,2014,52(1):99-122.
[10] ABÁNADES M Á,BOTANA F,MONTES A,et al. An algebraic taxonomy for locus computation in dynamic geometry[J]. Computer-Aided Design,2014,56:22-33.
[11] SCHIMPF F,SPANNAGEL C. Reducing the graphical user interface of a dynamic geometry system[J]. Zentralblatt für Didaktik der Mathematik,2011,43(3):389-397.
[12] NG O L,SINCLAIR N. Young children reasoning about symmetry in a dynamic geometry environment[J]. Zentralblatt für Didaktik der Mathematik,2015,47(3):421-434.
[13] LEUNG A,BACCAGLINI-FRANK A,MARIOTTI M A. Discernment of invariants in dynamic geometry environments[J]. Educational Studies in Mathematics,2013,84(3):439-460.
[14] 王卫军, 徐建利. Web2.0教育应用国际研究前沿综述[J]. 电化教育研究,2015,36(3):41-51,100. (WANG W J,XU J L. A summary of international research frontiers of Web2.0 education application[J]. e-Education Research, 2015, 36(3):41-51,100.)
[15] RICHTER-GEBERT J,KORTENKAMP U. The power of scripting:DGS meets programming[J]. Acta Didactica Napocensia, 2010,3(2):67-78.
[16] RICHTER-GEBERT J. Mikrolaboratorien und virtuelle modelle in universitären mathematiklehrveranstaltungen[M]//Zur doppelten Diskontinuität in der Gymnasiallehrerbildung. Wiesbaden:Springer Spektrum,2013:169-186.
[17] The Geometer's Sketchpad Resource Center. JavaSketchpad download center[EB/OL].[2019-11-16]. http://dynamicgeometry.com/JavaSketchpad/Download_Center.html.
[18] LAI X,WANG P. GeoSVG:a Web-based interactive plane geometry system for mathematics education[EB/OL].[2019-11-16]. http://icm.mcs.kent.edu/reports/2006/ICM-200601-0002.pdf.
[19] EHMANN M,GERHAUSER M,MILLER C,et al. Sketchometry and JSXGraph-dynamic geometry for mobile devices[J]. South Bohemia Mathematical Letters,2013,21(1):1-7.
[20] ANCSIN G,HOHENWARTER M,KOVÁCS Z. GeoGebra goes Mobile[J]. Electronic Journal of Mathematics and Technology, 2011,5(2):160-168.
[21] VON GAGERN M,KORTENKAMP U,RICHTER-GEBERT J, et al. CindyJS[C]//Proceedings of the 2016 International Congress on Mathematical Software,LNCS 9725. Cham:Springer, 2016:319-326.
[22] FREIXAS M,JOAN-ARINYO R,SOTO-RIERA A. A constraint-based dynamic geometry system[J]. Computer-Aided Design, 2010,42(2):151-161.
[23] LEUNG A. Dragging in a dynamic geometry environment through the lens of variation[J]. International Journal of Computers for Mathematical Learning,2008,13(2):135-157.
[24] KORTENKAMP U H. Foundations of dynamic geometry[D]. Zurich:Swiss Federal Institute of Technology,1999:125.
[25] ARANGO G. A brief introduction to domain analysis[C]//Proceedings of the 1994 ACM Symposium on Applied Computing. New York:ACM,1994:42-46.
[26] KANG K C,COHEN S G,HESS J A,et al. Feature-Oriented Domain Analysis (FODA) feasibility study[R]. Pittsburgh:Carnegie Mellon University,1990.
[27] AJILA S A,TIERNEY P J. The FOOM method-modeling software product lines in industrial settings[EB/OL].[2019-11-16]. https://pdfs.semanticscholar.org/195d/e21b076b9ee40d3236131d6656481c2b0dda.pdf.
[28] CHASTEK G,DONOHOE P,KANG K C,et al. Product line analysis:a practical introduction,CMU-SEI-2001-TR-001[R]. Pittsburgh:Carnegie Mellon University,2001.
[29] 王千祥, 吴琼, 李克勤, 等. 一种面向对象的领域工程方法[J]. 软件学报,2002,13(10):1977-1984.(WANG Q X,WU Q,LI K Q,et al. An object-oriented method for domain engineering[J]. Journal of Software,2002,13(10):1977-1984.)
[30] 秦严严, 田丰, 王晓春, 等. 一种笔式用户界面软件领域模型及其应用[J]. 软件学报,2006,17(1):69-78.(QIN Y Y,TIAN F,WANG X C,et al. A domain model of pen-based user interface software and its usage[J]. Journal of Software,2006,17(1):69-78.)
[31] NORMAN D. The Design of Everyday Things:Revised and Expanded Edition[M]. New York:Basic books,2013:26-31.

基于Web的动态几何软件领域模型及其应用

Domain model of Web-based dynamic geometry software and its applications

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

[1]	王德川, 战洪飞, 余军合. 面向业务问题求解的知识资源特定领域建模方法[J]. 计算机应用, 2016, 36(3): 837-842.
[2]	聂立钟珞. 主动服务中程序挖掘系统框架的设计与实现[J]. 计算机应用, 2009, 29(07): 1767-1770.
[3]	郭远华曾振柄毕忠勤郭远刚. 基于动态几何技术的平面几何资源库检索[J]. 计算机应用, 2008, 28(1): 239-241.
[4]	郭惠符红光罗东辉. 三维动态几何中直线消隐的实现[J]. 计算机应用, 2007, 27(3): 663-665.