收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于移动互联网的几何证明系统的研究与实现

张培友  
【摘要】:几何证明系统是一类强大的几何教学辅助系统,在几何教育应用中有着举足轻重的地位。目前成功的几何证明系统有MathXP、Z+Z智能教育平台和Geometry Explorer等,由于它们运行在传统PC之上,无法满足用户随时随地的应用需求。 随着移动互联网的发展,便携智能终端价格的降低以及处理能力的增强,使得实现一款能够运行于便携智能设备的几何证明系统成为可能。本文以研究几何定理自动证明为基础,结合几何命题的构造输入方法,使用目前流行的移动开发技术实现了一款基于移动互联网的几何证明系统。本文主要的工作有: 1、研究几何命题的描述与输入方法。介绍了使用一阶逻辑的几何命题谓词描述形式,并介绍了几何命题的谓词形式和构造形式的输入方法。在分析和研究两种输入方法的基础上,结合面向对象的设计思想,提出一种面向对象的形式化命题构造输入方法。 2、研究几何定理自动证明,探索定理自动证明在移动互联网上的应用方式。研究基于规则的前推搜索法的几何定理证明算法,分析了定理证明系统的实现过程,并实现了定理证明系统与移动互联网的结合。 3、设计和实现了一个基于移动互联网的几何证明系统。从系统需求分析、总体设计、详细设计和实现等方面对系统进行了详细的设计和实现。 本文系统将几何定理自动证明应用到移动互联网上,为用户创造了一个移动的几何学习环境,打破了设备的限制,很好地满足了用户的应用需求。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 许道云;不可满足公式的同态证明系统[J];软件学报;2005年03期
2 施光源;公备;冯聿梦;岳少园;;利用DTE技术的证明系统安全域模型研究[J];武汉大学学报(信息科学版);2010年05期
3 KrzysztofR.Apt;王新;余晓黎;;While程序的Hoare逻辑[J];计算机科学;1986年02期
4 冯培雄;邵志清;孙永强;;用带条件重写技术证明几何定理[J];模式识别与人工智能;1997年01期
5 周咸青;王铁成;;Boyer和Moore获1983年McCarthy奖[J];计算机研究与发展;1984年01期
6 郭建;韩俊刚;;三值逻辑证明系统及正例与反例的提取[J];计算机辅助设计与图形学学报;2011年07期
7 刘叙华,刘卓军;初等群论的证明系统EG-System[J];计算机学报;1987年08期
8 黎仁蔚;INCAPS:一个交互式计算机辅助定理证明系统[J];计算机学报;1989年12期
9 陈进才;何运;;两个改进的格的定理证明系统[J];长安大学学报(自然科学版);1990年02期
10 贾国平,郑国梁;一个统一的程序验证框架[J];软件学报;1997年02期
11 冯玉琳;林惠民;唐稚松;;时序逻辑程序的证明系统[J];计算机研究与发展;1985年10期
12 谭良;刘震;周明天;;TCG架构下的证明问题研究及进展[J];电子学报;2010年05期
13 郭晓林;;BCD—497激光唱机不进出盘故障[J];家电检修技术;1996年01期
14 张志政;高志强;邢汉承;;多偏好逻辑GMPL[J];软件学报;2008年11期
15 朱关铭,苗巍山;抽象数据类型的PROLOG实现[J];计算机工程;1988年01期
16 ;WKJ-1微电脑控制机床系统[J];排灌机械;1987年05期
17 吴意生;朱泽生;;一种通信协议的瞬时逻辑验证系统[J];计算机研究与发展;1988年07期
18 李萌,王旭,田健;1990年国际密码学年会(CRYPTO’90)概况及部分文献[J];信息安全与通信保密;1991年01期
19 陈国敏;陈晓峰;;一个安全的广义指定验证者签名证明系统[J];电子与信息学报;2009年02期
20 张建平;;模块化PROLOG语言的设计与实现[J];计算机科学;1988年04期
中国重要会议论文全文数据库 前10条
1 游之墨;;零知识公钥密码体制[A];第三次全国计算机安全技术交流会论文集[C];1988年
2 赵一鸣;;非交互式零知识公钥密码体制[A];第四次全国计算机安全技术交流会论文集[C];1989年
3 贺乃宝;高倩;刘永强;龚成龙;姜长生;;指数型FTSM控制[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
4 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年
5 李治;杨淑英;;基于双DSP的混合型电力有源滤波器的研究[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集(下册)[C];2008年
6 胡起秀;方棣棠;;语音识别与合成在电话查号中的应用[A];第一届全国语言识别学术报告与展示会论文集[C];1990年
7 章小辉;张璋;刘书元;于其淼;阮英明;;警察院校大学生体育锻炼与心理健康状况的调查研究[A];中华人民共和国第十届运动会科学大会论文摘要汇编[C];2005年
8 刘征;;通信协议机械证明的实现[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
9 郭美云;;一般群体知识的多主体认知逻辑[A];2005年逻辑研究专辑[C];2005年
10 侯学章;;具结构阻尼的弹性机械臂系统的镇定[A];1994中国控制与决策学术年会论文集[C];1994年
中国博士学位论文全文数据库 前10条
1 薛建新;传名演算变体的互模拟理论,表达能力和证明系统研究[D];上海交通大学;2013年
2 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
3 罗喜召;密码学中理性与抗泄漏关键技术的研究[D];苏州大学;2010年
4 封利强;司法证明系统论[D];中国政法大学;2009年
5 林宏刚;可信网络连接若干关键技术的研究[D];四川大学;2006年
6 赵运磊;广义公钥模型下并发及可重置的零知识证明系统[D];复旦大学;2004年
7 钟军;群数字签名方案的设计与研究[D];西南交通大学;2007年
8 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
9 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
10 张宗洋;承诺和零知识的非延展属性研究[D];上海交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 杜旭涛;π-演算交互式验证工具的研究与实现[D];国防科学技术大学;2002年
2 刘长云;概率可验证明(PCP)系统研究[D];贵州大学;2007年
3 邱震;通信管道人井监控报警系统中通信控制器的实现[D];四川大学;2004年
4 蒋军利;公开更新逻辑[D];西南大学;2007年
5 凤宝林;具有四个状态可修复系统解的半离散化分析[D];延边大学;2007年
6 程应娥;Isabelle中自动化证明策略的设计与实现[D];兰州大学;2007年
7 颜文波;可信平台中基于属性的远程证明系统[D];华中科技大学;2007年
8 朱鑫铨;具有白噪声的离散FitzHugh-Nagumo方程在加权空间中的全局吸引子[D];扬州大学;2007年
9 萧瑶;信念修正逻辑初探[D];西南大学;2008年
10 李兵;交互式并行定理证明环境的构建[D];兰州大学;2006年
中国重要报纸全文数据库 前10条
1 本报记者 杨谷;每一届奥运都不会沿用以往的通信网络[N];光明日报;2004年
2 丝雨;训练计算机辨别癌症类型[N];大众科技报;2001年
3 本报记者 刘志明 通讯员 戴波;有效增强网络控制力[N];华东电力报;2005年
4 物流分公司;自主创新硕果累 物流技术新突破[N];中国民航报;2007年
5 刘阳;显卡故障维修实例(一)[N];大众科技报;2000年
6 ;用好PCMCIA无线网卡[N];电脑报;2005年
7 记者 张桂敏;第一部国际饲料法有望出台[N];农资导报;2004年
8 记者 郑烨;TD—SCDMA技术论坛即将成立[N];通信产业报;2000年
9 陈锟;软驱引起的蓝屏故障[N];中国计算机报;2004年
10 本报特约通讯员 易 之;国产数据库 夹缝中求生存[N];中国国门时报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978