公共文化服务平台

SGARP中全角法的实现: 2014年; 在可持续发展的几何自动推理平台SGARP中,通过添加全角法相关的对象、谓词和定理,在SGARP中成功实现了全角法.添加了全角法的SGARP测试证明了100个几何定理.; 张传军郑焕邹宇

SGARP中符号计算模块的实现及其应用: 2014年; 可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.; 张景中张传军郑焕饶永生邹宇; 关键词：PYTHON语言

渐近拟非扩张映射的新型混合迭代算法及应用被引量：2: 2018年; 引入了关于两个渐近拟非扩张自映射和两个渐近拟非扩张非自映射的新型混合迭代算法,获得了渐近拟非扩张自映射和渐近拟非扩张非自映射在新型混合迭代算法下的强收敛定理的充分必要条件,并给出了关于该定理的一个应用.; 刘涌泉黄星饶永生; 关键词：BANACH空间公共不动点

一种面向Chrome浏览器的视频云笔记插件被引量：5: 2017年; 随着互联网的发展以及edx,Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及。互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源。然而,当前的互联网教学辅助平台中存在一个明显的不足:学生无法及时针对教学视频细节在云端记录并分享笔记或寻求帮助。这将会影响学生对视频形式的教学内容的理解,也不利于形成优质的学习生态系统。由此,设计了一种面向Chrome浏览器的视频云笔记工具,并采用了HTML5,Node.js,MongoDB等关键技术对其进行了实现。该工具能够针对互联网教学视频资源的细节内容记录、发布笔记并在云端共享,有利于学生对视频教学资源中细节的整理、理解、讨论和最终掌握;同时该工具可以根据学生人群在使用工具的过程中产生的数据对视频内容进行一定程度的解析,挖掘视频教学资源中的关键点,从而降低学生获取关键知识的难度,辅助学生的学习过程。最后,进行了相关的实例研究,结果证明了所提出的分析设计方案的可行性和有效性。; 辛超乔子健孙艳春; 关键词：互联网教学

利用方向梯度直方图实现基于手绘素描的三维模型检索: 我们提出了一种新的方法实现基于手绘素描的三维模型检索。因为手绘素描是二维的,而三维模型是三维的,为了进行更有效的比较,我们用二维的形式来表示三维模型。采用的方法是将三维模型转化为三视图。三视图本质上是三张图像,所以进行比...; 黄清颖饶洁林淑金高成英; 关键词：三维模型检索三视图方向梯度直方图; 文献传递

一种面向Chrome浏览器的课堂云笔记插件被引量：4: 2015年; 在当今的教学中,课堂教学和互联网教学是两大主流。然而,无论是在课堂教学还是在互联网教学中,当前的学习辅助平台都存在着一个明显的不足:学生无法及时针对讲义细节在云端共享笔记或寻求帮助,没有形成便于学习和交流的知识分享机制。这不利于学生对讲义知识的深刻理解,也不利于形成优质的学习生态系统。针对这一不足,在分析现有教学平台和云笔记产品的基础上,设计了一个面向Chrome浏览器的云笔记插件的系统架构,并采用HTML5、Node.js等关键技术进行实现。该插件能够针对互联网讲义资源中的任意细节记录笔记、提出问题并云端共享,有助于学生在课上、课下对讲义资源中的细节的理解、讨论与最终掌握,加强现有学习辅助平台的功能。最后进行了相应的实例研究,证明了所提出的方案是可行有效的。; 乔子健陈德健孙艳春; 关键词：插件

Smart SEP：基于Web图形操作记录与回放的在线同步教学平台被引量：1: 2014年; 在Web2.0和云计算的影响下,基于浏览器的在线教学平台发展迅速,在远程教学、课堂教学和协作学习等领域都产生了重大影响。然而,当前的教学平台很少关注基于Web图形的同步教学,它对于教学内容形成过程的展示、师生互动等十分有意义。在分析当前在线教学的3类主要应用背景的基础上,提出了一种基于Web图形操作记录与回放的在线同步教学方法。该方法一方面通过对演示者的操作进行高保真的记录、实时同步到各个观看者的终端并对操作进行自适应的回放,来实现基本的同步教学;另一方面通过交互式的同步控制来保证正常参与者和迟到者都能可靠地、有序地参与到在线教学中。在此基础上,实现了在线同步教学平台Smart SEP(Smart Synchronized Education Platform)并进行了详尽的实例研究,证明了所提方法具有可行性,实现了同步的、动态的、交互的教学过程。; 陈德健孙艳春黄罡; 关键词：WEB图形同步教学

Z+Z智能教育平台超级画板的发展之我见被引量：1: 2014年; 通过对《Z+Z智能教育平台超级画板》的培训和讲座形式的调研,得出各个省份的学生对《超级画板》的认同和喜爱是没有差别的。西部省份可以借鉴和吸收发达省份的成功做法,如效仿广州市的做法,来发展西部地区的信息化教学。只要《超级画板》不断改革和创新,必将是老师和学生最好的和终生的助手。; 张传军杨跃鸣刘军明; 关键词：数学实验课程改革

渐近拟非扩张映射关于混合迭代算法的收敛性: 2018年; 引入了关于两个渐近拟非扩张自映射和两个渐近拟非扩张非自映射的新型混合迭代算法.在Banach空间中,获得了渐近拟非扩张自映射和非自映射在新型混合迭代算法下的强收敛定理,所得结果推广了许多相关文献的结论.; 刘涌泉黄星饶永生; 关键词：公共不动点 BANACH空间

改进的P2P流媒体模式推送调度算法: 在P2P流媒体的数据调度过程中,由于节点失效或者传输错误等必然导致数据包的丢失,造成媒体流的延迟中断。为此本文提出一种改进的P2P流媒体模式推送调度算法。算法设计了一个位图来标识父节点缓存中当前要发送数据包周围的相关数据...; 冯玉财郑贵锋罗笑南林哲祺; 关键词：P2P流媒体数据调度; 文献传递

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(U1201252)