您的位置: 专家智库 > >

国家高技术研究发展计划(2008AA01Z127)

作品数:8 被引量:102H指数:4
相关作者:刘清堂张景中彭翕成黄涛杨宗凯更多>>
相关机构:华中师范大学广州大学中国科学院成都计算机应用研究所更多>>
发文基金:国家高技术研究发展计划国家科技支撑计划国家自然科学基金更多>>
相关领域:文化科学自动化与计算机技术更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 4篇文化科学

主题

  • 3篇教育
  • 2篇学科
  • 2篇知识元
  • 2篇数学
  • 2篇教育技术
  • 2篇画板
  • 2篇本体
  • 2篇超级画板
  • 1篇信息技术
  • 1篇信息检索
  • 1篇学科资源
  • 1篇学科资源库
  • 1篇数据挖掘
  • 1篇数学教学
  • 1篇数学学科
  • 1篇主题分析
  • 1篇资源库
  • 1篇资源库构建
  • 1篇组合WEB服...
  • 1篇向量

机构

  • 8篇华中师范大学
  • 1篇广州大学
  • 1篇河南大学
  • 1篇湖北第二师范...
  • 1篇西北师范大学
  • 1篇中国科学院成...

作者

  • 5篇刘清堂
  • 2篇杨宗凯
  • 2篇彭翕成
  • 2篇张景中
  • 2篇黄涛
  • 1篇上超望
  • 1篇蒋玲
  • 1篇周旭东
  • 1篇周莲
  • 1篇黄焕
  • 1篇王胜明
  • 1篇陶善菊
  • 1篇李汪丽
  • 1篇葛强
  • 1篇郭海燕
  • 1篇王凡
  • 1篇陈矛
  • 1篇赵呈领
  • 1篇韩淑云
  • 1篇邹军华

传媒

  • 2篇计算机科学
  • 1篇数学教育学报
  • 1篇中国电化教育
  • 1篇计算机学报
  • 1篇现代教育技术
  • 1篇中国教育技术...
  • 1篇湖北第二师范...

年份

  • 1篇2014
  • 1篇2011
  • 5篇2010
  • 1篇2009
8 条 记 录,以下是 1-8
排序方式:
基于知识元的教育技术学科资源库构建被引量:15
2011年
目前的数字化信息资源库,衍生于传统图书馆,资源组织是以文献为单位,基于传统的倒排索引的组织形式。用户通过标题、关键词等方式进行资源检索出来的是一篇篇的文献,不能为用户提供针对具体问题的知识服务,且由于它们之间的差异性导致它们之间的资源共享难以实现。基于这些问题,文章提出了基于知识元的资源库的构建,并以教育技术学科为例做了探讨:首先总结前人的研究成果并结合我们的研究提出了教育技术学科资源分类体系;然后详细介绍了基于知识元的资源组织;最后在学科资源分类与知识元标引技术的基础上,构建了教育技术学科资源库,并对该资源库的应用做了讨论。
陶善菊刘清堂王凡黄焕郭海燕王胜明
关键词:知识元教育技术学学科资源库
组合Web服务分层安全模型研究被引量:3
2010年
随着Web服务技术的应用与发展,组合Web服务的安全问题日益突出。已有的Web服务安全规范只是指定实现单独的自治Web服务安全需求应该遵循的协议,尚没有一个被广泛接受的组合Web服务安全体系架构。指出了现有的Web服务组合安全框架研究的不足,分析了组合Web服务的安全模型的要求。针对Web服务应用模式,提出了一种基于Web服务协议栈的组合Web服务分层安全模型(HSM-WSC),并对每个层的安全功能进行了论述。HSM-WSC模型具有灵活性和可扩展性,能够满足Web服务组合的安全需求。最后还给出了HSM-WSC模型的实施机制。
上超望杨宗凯刘清堂赵呈领
关键词:WEB服务组合
基于本体构建面向课程管理系统的数学知识元被引量:3
2010年
由于知识资源具有海量、密集、关联性强、异构等特点,各个领域的信息获取、集成和管理遇到诸多挑战。越来越多的研究者采用知识元来描述和链接知识对象,但是由于知识元本身的定义尚不明确,所以具体的构建方法非常缺乏;同时,许多教学软件过于注重多个学科的共性,没有针对具体学科进行设计和开发。针对这些问题,本文描述了构建基于本体面向课程管理系统的数学知识元的方法,该方法对于陈述性知识采用资源描述框架RDF(Resource Description Framework)或者本体描述语言OWL(Web Ontology Language)等本体技术来描述各个概念的内涵以及它们之间的相互关系;对于不便于本体技术处理的程序性知识用超级画板来表示,通过相关的工具打包,使其符合SCORM 2004标准,再将这些知识元发布到课程管理系统。本文提出的方法体现了在最新国际标准下教育技术结合具体学科的思想,使用开源的课程管理系统以及相关软件工具可以方便地推广到其它学科。最后本文还给出了实现这个方法的具体实例。
邹军华黄涛刘清堂
关键词:超级画板课程管理系统SCORM知识元
基于向量的几何可读自动证明被引量:2
2014年
几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为出发点,提出了基于回路的向量可读证明新方法,开发了机器证明新程序.该程序对常见的构造类型欧氏几何题目能快速作图,并依据题目类型的不同,分别用不同的向量方法对其进行自动推理,证明结果简短可读.经过大量实例测试,证明将向量用于几何自动推理是可行和高效的.与《超级画板》等中的证明器相比,文中算法在自动推理能力和证明过程可读性方面有较大提高.文中给出的基于向量的几何可读证明算法丰富了几何定理自动推理方法,并且具有应用于几何教学实践的价值.
葛强张景中陈矛彭翕成
关键词:机器证明可读证明向量回路
一种基于虚拟路径的本体匹配算法被引量:3
2010年
本体匹配是实体之间关系的体现,不仅单个概念之间的关系影响本体的匹配关系,概念相邻元素及其语义联系对本体的匹配关系的影响也不容忽视。提出了基于虚拟路径的本体匹配新方法,通过为两个本体元素分别建立由具有语义联系的相邻元素及其联系所构成的虚拟路径,将两个目标元素的虚拟路径中各独立要素分别对应地进行概念语义相似性比较;综合虚拟路径内各独立要素的概念语义相似性,获取两个目标元素虚拟路径的图形语义相似性;根据虚拟路径的图形语义相似性推导两个目标元素之间的映射关系。实验表明,该方法能够有效提高本体匹配的质量和性能。
黄涛黄涛刘清堂杨宗凯
关键词:本体匹配
深入数学学科的信息技术被引量:66
2009年
信息技术只有深入学科才能真正发挥其作用.数学教学中的信息技术可以分为3类:普适信息技术、数学教学中常用的信息技术、专题教学活动所需的信息技术.信息技术对数学教学的影响主要有:使用信息技术引发学生兴趣,使用信息技术让学生深入理解数学,使用信息技术提高教学效率,使用信息技术帮助解题,使用信息技术帮助学生创新,使用信息技术联系生活和大自然.
张景中彭翕成
关键词:信息技术数学教学超级画板
主题分析法在教育技术专业文献分析中的应用研究被引量:4
2010年
设计一个面向学科的主题分析模型,提出采用计算机语言学进行分词、自动摘要、分类与关键词统计等对教育技术学专业文献进行主题分析的方法;对专业教材进行分析,构建学科主题词库,并利用学科语料库对专业文献进行主题分析,为教育技术学发展趋势的文献研究提供一种方法。
周莲刘清堂周旭东韩淑云
关键词:信息检索主题分析词频分析
数据挖掘在中国教育领域的应用研究综述被引量:7
2010年
本文试图通过对我国数据挖掘应用研究的相关文献中分析数据挖掘在中国教育领域的应用现状。本文从研究文献数量、研究趋势、研究者的专业背景,研究内容和研究方法方面分析了数据挖掘在中国的研究现状,最后对研究中存在的问题作了总结。
李汪丽蒋玲
关键词:数据挖掘教育应用研究
共1页<1>
聚类工具0